44 ideas
15924 | Predicative definitions are acceptable in mathematics if they distinguish objects, rather than creating them? [Zermelo, by Lavine] |
4901 | Truth has to be correspondence to facts, and a match between relations of ideas and relations in the world [Perry] |
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] |
13020 | The Axiom of Separation requires set generation up to one step back from contradiction [Zermelo, by Maddy] |
13486 | Not every predicate has an extension, but Separation picks the members that satisfy a predicate [Zermelo, by Hart,WD] |
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] |
4885 | Identity is a very weak relation, which doesn't require interdefinability, or shared properties [Perry] |
12155 | Statements of 'relative identity' are really statements of resemblance [Perry] |
4899 | Possible worlds thinking has clarified the logic of modality, but is problematic in epistemology [Perry] |
4898 | Possible worlds are indices for a language, or concrete realities, or abstract possibilities [Perry] |
12149 | Indexicals are a problem for beliefs being just subject-proposition relations [Perry] |
4887 | We try to cause other things to occur by causing mental events to occur [Perry] |
4884 | Brain states must be in my head, and yet the pain seems to be in my hand [Perry] |
4888 | It seems plausible that many animals have experiences without knowing about them [Perry] |
4891 | If epiphenomenalism just says mental events are effects but not causes, it is consistent with physicalism [Perry] |
4900 | Prior to Kripke, the mind-brain identity theory usually claimed that the identity was contingent [Perry] |
4892 | If physicalists stick with identity (not supervenience), Martian pain will not be like ours [Perry] |
17613 | We should judge principles by the science, not science by some fixed principles [Zermelo] |
16391 | Indexical thoughts are about themselves, and ascribe properties to themselves [Perry, by Recanati] |
4889 | Although we may classify ideas by content, we individuate them differently, as their content can change [Perry] |
4896 | The intension of an expression is a function from possible worlds to an appropriate extension [Perry] |
12151 | If we replace 'I' in sentences about me, they are different beliefs and explanations of behaviour [Perry] |
18412 | Indexicals individuate certain belief states, helping in explanation and prediction [Perry] |
4897 | A proposition is a set of possible worlds for which its intension delivers truth [Perry] |
12150 | Indexicals reveal big problems with the traditional idea of a proposition [Perry] |
4890 | A sharp analytic/synthetic line can rarely be drawn, but some concepts are central to thought [Perry] |
6017 | Nomos is king [Pindar] |
15203 | Tense is essential for thought and action [Perry, by Le Poidevin] |
15204 | Actual tensed sentences cannot be tenseless, because they can cite their own context [Perry, by Le Poidevin] |