8 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] |
15538 | Semantic indecision explains vagueness (if we have precisifications to be undecided about) [Lewis] |
15537 | If cats are vague, we deny that the many cats are one, or deny that the one cat is many [Lewis] |
15536 | We have one cloud, but many possible boundaries and aggregates for it [Lewis] |
15539 | Basic to pragmatics is taking a message in a way that makes sense of it [Lewis] |