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] |
18189 | ZFC could contain a contradiction, and it can never prove its own consistency [MacLane] |
19384 | Space and time are the order of all possibilities, and don't just relate to what is actual [Leibniz] |