5 ideas
10845 | To be true a sentence must express a proposition, and not be ambiguous or vague or just expressive [Lewis] |
10847 | Truthmakers are about existential grounding, not about truth [Lewis] |
10846 | Truthmaker is correspondence, but without the requirement to be one-to-one [Lewis] |
17743 | De Morgan introduced a 'universe of discourse', to replace Boole's universe of 'all things' [De Morgan, by Walicki] |
13166 | Essences are no use in mathematics, if all mathematical truths are necessary [Mancosu] |