33 ideas
3695 | Philosophy is a priori if it is anything [Bonjour] |
3651 | Perceiving necessary connections is the essence of reasoning [Bonjour] |
3700 | Coherence can't be validated by appeal to coherence [Bonjour] |
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] |
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] |
11211 | If a sound conclusion comes from two errors that cancel out, the path of the argument must matter [Rumfitt] |
11210 | Standardly 'and' and 'but' are held to have the same sense by having the same truth table [Rumfitt] |
11212 | The sense of a connective comes from primitively obvious rules of inference [Rumfitt] |
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] |
3697 | The concept of possibility is prior to that of necessity [Bonjour] |
3704 | Moderate rationalists believe in fallible a priori justification [Bonjour] |
3707 | Our rules of thought can only be judged by pure rational insight [Bonjour] |
3696 | A priori justification requires understanding but no experience [Bonjour] |
3703 | You can't explain away a priori justification as analyticity, and you can't totally give it up [Bonjour] |
3706 | A priori justification can vary in degree [Bonjour] |
3699 | The induction problem blocks any attempted proof of physical statements [Bonjour] |
3701 | Externalist theories of justification don't require believers to have reasons for their beliefs [Bonjour] |
3702 | Externalism means we have no reason to believe, which is strong scepticism [Bonjour] |
3709 | Induction must go beyond the evidence, in order to explain why the evidence occurred [Bonjour] |
3708 | All thought represents either properties or indexicals [Bonjour] |
11214 | We learn 'not' along with affirmation, by learning to either affirm or deny a sentence [Rumfitt] |
3698 | Indeterminacy of translation is actually indeterminacy of meaning and belief [Bonjour] |