41 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] |
13017 | Zermelo introduced Pairing in 1930, and it seems fairly obvious [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] |
13487 | In ZF, the Burali-Forti Paradox proves that there is no set of all ordinals [Zermelo, by Hart,WD] |
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] |
18431 | Internal relations combine some tropes into a nucleus, which bears the non-essential tropes [Simons, by Edwards] |
2730 | Because 'gold is malleable' is necessary does not mean that it is analytic [Audi,R] |
2715 | Beliefs are based on perception, memory, introspection or reason [Audi,R] |
2735 | Could you have a single belief on its own? [Audi,R] |
2736 | We can make certain of what we know, so knowing does not entail certainty [Audi,R] |
2722 | Sense-data theory is indirect realism, but phenomenalism is direct irrealism [Audi,R] |
2721 | If you gradually remove a book's sensory properties, what is left at the end? [Audi,R] |
2728 | The concepts needed for a priori thought may come from experience [Audi,R] |
2727 | Red and green being exclusive colours seems to be rationally graspable but not analytic [Audi,R] |
2716 | To see something as a field, I obviously need the concept of a field [Audi,R] |
2717 | How could I see a field and believe nothing regarding it? [Audi,R] |
2719 | Sense data imply representative realism, possibly only representing primary qualities [Audi,R] |
2720 | Sense-data (and the rival 'adverbial' theory) are to explain illusions and hallucinations [Audi,R] |
2718 | Perception is first simple, then objectual (with concepts) and then propositional [Audi,R] |
2741 | The principles of justification have to be a priori [Audi,R] |
2729 | Virtually all rationalists assert that we can have knowledge of synthetic a priori truths [Audi,R] |
2725 | To remember something is to know it [Audi,R] |
2724 | I might remember someone I can't recall or image, by recognising them on meeting [Audi,R] |
2731 | Justification is either unanchored (infinite or circular), or anchored (in knowledge or non-knowledge) [Audi,R] |
2739 | Internalism about justification implies that there is a right to believe something [Audi,R] |
2732 | Maths may be consistent with observations, but not coherent [Audi,R] |
2733 | It is very hard to show how much coherence is needed for justification [Audi,R] |
2734 | A consistent madman could have a very coherent belief system [Audi,R] |
2738 | Consistent accurate prediction looks like knowledge without justified belief [Audi,R] |
2740 | A reliability theory of knowledge seems to involve truth as correspondence [Audi,R] |
2737 | 'Reliable' is a very imprecise term, and may even mean 'justified' [Audi,R] |
2726 | We can be ignorant about ourselves, for example, our desires and motives [Audi,R] |