47 ideas
| 15924 | Predicative definitions are acceptable in mathematics if they distinguish objects, rather than creating them? [Zermelo, by Lavine] |
| 17608 | We take set theory as given, and retain everything valuable, while avoiding contradictions [Zermelo] |
| 17607 | Set theory investigates number, order and function, showing logical foundations for mathematics [Zermelo] |
| 10870 | ZFC: Existence, Extension, Specification, Pairing, Unions, Powers, Infinity, Choice [Zermelo, by Clegg] |
| 13012 | Zermelo published his axioms in 1908, to secure a controversial proof [Zermelo, by Maddy] |
| 17609 | Set theory can be reduced to a few definitions and seven independent axioms [Zermelo] |
| 9565 | Zermelo made 'set' and 'member' undefined axioms [Zermelo, by Chihara] |
| 3339 | For Zermelo's set theory the empty set is zero and the successor of each number is its unit set [Zermelo, by Blackburn] |
| 17832 | Zermelo showed that the ZF axioms in 1930 were non-categorical [Zermelo, by Hallett,M] |
| 13017 | Zermelo introduced Pairing in 1930, and it seems fairly obvious [Zermelo, by Maddy] |
| 13028 | Replacement was added when some advanced theorems seemed to need it [Zermelo, by Maddy] |
| 13015 | Zermelo used Foundation to block paradox, but then decided that only Separation was needed [Zermelo, by Maddy] |
| 13486 | Not every predicate has an extension, but Separation picks the members that satisfy a predicate [Zermelo, by Hart,WD] |
| 13020 | The Axiom of Separation requires set generation up to one step back from contradiction [Zermelo, by Maddy] |
| 17626 | The antinomy of endless advance and of completion is resolved in well-ordered transfinite numbers [Zermelo] |
| 13487 | In ZF, the Burali-Forti Paradox proves that there is no set of all ordinals [Zermelo, by Hart,WD] |
| 15897 | Zermelo realised that Choice would facilitate the sort of 'counting' Cantor needed [Zermelo, by Lavine] |
| 18178 | For Zermelo the successor of n is {n} (rather than n U {n}) [Zermelo, by Maddy] |
| 13027 | Zermelo believed, and Von Neumann seemed to confirm, that numbers are sets [Zermelo, by Maddy] |
| 9627 | Different versions of set theory result in different underlying structures for numbers [Zermelo, by Brown,JR] |
| 1212 | Replacing timbers on Theseus' ship was the classic illustration of the problem of growth and change [Plutarch] |
| 5958 | The sun is always bright; it doesn't become bright when it emerges [Plutarch] |
| 19682 | Internalists are much more interested in evidence than externalists are [McGrew] |
| 19687 | Absence of evidence proves nothing, and weird claims need special evidence [McGrew] |
| 19684 | Does spotting a new possibility count as evidence? [McGrew] |
| 19688 | Every event is highly unlikely (in detail), but may be perfectly plausible [McGrew] |
| 19686 | Criminal law needs two separate witnesses, but historians will accept one witness [McGrew] |
| 19680 | Maybe all evidence consists of beliefs, rather than of facts [McGrew] |
| 19681 | If all evidence is propositional, what is the evidence for the proposition? Do we face a regress? [McGrew] |
| 19689 | Several unreliable witnesses can give good support, if they all say the same thing [McGrew] |
| 19683 | Narrow evidentialism relies wholly on propositions; the wider form includes other items [McGrew] |
| 19685 | Falsificationism would be naive if even a slight discrepancy in evidence killed a theory [McGrew] |
| 5960 | When the soul is intelligent and harmonious, it is part of god and derives from god [Plutarch] |
| 5959 | Some philosophers say the soul is light [Plutarch] |
| 5952 | Rather than being the whole soul, maybe I am its chief part? [Plutarch] |
| 5951 | If atoms have no qualities, they cannot possibly produce a mind [Plutarch] |
| 5963 | Some say emotion is a sort of reason, and others say virtue concerns emotion [Plutarch] |
| 17613 | We should judge principles by the science, not science by some fixed principles [Zermelo] |
| 20796 | Action needs an affinity for a presentation, and an impulse toward the affinity [Plutarch] |
| 1477 | Being manly and brave is the result of convention, not of human nature [Plutarch] |
| 1478 | Animals don't value pleasure, as they cease sexual intercourse after impregnation [Plutarch] |
| 5948 | The good life involves social participation, loyalty, temperance and honesty [Plutarch] |
| 1479 | Animals have not been led into homosexuality, because they value pleasure very little [Plutarch] |
| 5950 | If only atoms exist, how do qualities arise when the atoms come together? [Plutarch] |
| 5974 | People report seeing through rocks, or over the horizon, or impossibly small works [Plutarch] |
| 5957 | Absurd superstitions make people atheist, not disharmony in nature [Plutarch] |
| 5955 | No one will ever find a city that lacks religious practices [Plutarch] |