15 ideas
9915 | V = L just says all sets are constructible [Putnam] |
13655 | The Löwenheim-Skolem theorems show that whether all sets are constructible is indeterminate [Putnam, by Shapiro] |
14650 | Maybe proper names involve essentialism [Plantinga] |
9913 | The Löwenheim-Skolem Theorem is close to an antinomy in philosophy of language [Putnam] |
14648 | Could I name all of the real numbers in one fell swoop? Call them all 'Charley'? [Plantinga] |
9914 | It is unfashionable, but most mathematical intuitions come from nature [Putnam] |
18933 | Not-Being obviously doesn't exist, and the five modes of Being are all impossible [Gorgias, by Diog. Laertius] |
14647 | Surely self-identity is essential to Socrates? [Plantinga] |
14646 | An object has a property essentially if it couldn't conceivably have lacked it [Plantinga] |
14649 | Can we find an appropriate 'de dicto' paraphrase for any 'de re' proposition? [Plantinga] |
14642 | Expressing modality about a statement is 'de dicto'; expressing it of property-possession is 'de re' [Plantinga] |
14643 | 'De dicto' true and 'de re' false is possible, and so is 'de dicto' false and 'de re' true [Plantinga] |
14651 | What Socrates could have been, and could have become, are different? [Plantinga] |
9866 | Gorgias says rhetoric is the best of arts, because it enslaves without using force [Gorgias, by Plato] |
5864 | Destroy seriousness with laughter, and laughter with seriousness [Gorgias] |