Abstract
The threefold correspondence between things , thoughts , and words , discussed in the previous chapter, will now be investigated in further detail, with particular emphasis on mathematical entities; this investigation constitutes the first section of this chapter. In the next two sections, I attempt to show that common sense realism is not in conflict with intuitionistic type theory even though the latter primafacie seems to be a conceptualist framework. The judgement , and its syntactic counterpart assertion , are investigated in the fourth section. The fifth section treats of reasoning and the sixth section introduces the intuitionistic notion of proposition . In the seventh section, the laws of propositional logic are justified under the intuitionistic notion of proposition. The eighth section treats of schematic letters and variables. The ninth and last section treats of definitions.