zbMATH — the first resource for mathematics

On understanding and believing. (English) Zbl 0565.03004
Based on TichĂ˝’s transparent intensional logic the paper argues that both the problem of synonymy and the problem of omniscience (connected with the semantics of belief sentences and with the so called ”hyperintensional contexts”) can be solved without using Hintikka’s ”impossible possible worlds”; in case of empirical subordinate sentences one has to distinguish between what the sentence says and which proposition is associated with it by an ill understanding addressee; in case of mathematical subordinate sentences no problem arises if the sentence is conceived of as denoting a logical construction instead of the logically valid proposition TRUE.

03A05 Philosophical and critical aspects of logic and foundations
Full Text: DOI