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] |
10190 | From the axiomatic point of view, mathematics is a storehouse of abstract structures [Bourbaki] |
6019 | If someone squashed a horse to make a dog, something new would now exist [Mnesarchus] |