6 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] |
6408 | Russell needed three extra axioms to reduce maths to logic: infinity, choice and reducibility [Grayling] |
6019 | If someone squashed a horse to make a dog, something new would now exist [Mnesarchus] |
6414 | Two propositions might seem self-evident, but contradict one another [Grayling] |