25 ideas
9331 | How do we determine which of the sentences containing a term comprise its definition? [Horwich] |
9161 | Maybe reasonableness requires circular justifications - that is one coherentist view [Field,H] |
13011 | New axioms are being sought, to determine the size of the continuum [Maddy] |
13013 | The Axiom of Extensionality seems to be analytic [Maddy] |
13014 | Extensional sets are clearer, simpler, unique and expressive [Maddy] |
13021 | The Axiom of Infinity states Cantor's breakthrough that launched modern mathematics [Maddy] |
13022 | Infinite sets are essential for giving an account of the real numbers [Maddy] |
13023 | The Power Set Axiom is needed for, and supported by, accounts of the continuum [Maddy] |
13024 | Efforts to prove the Axiom of Choice have failed [Maddy] |
13025 | Modern views say the Choice set exists, even if it can't be constructed [Maddy] |
13026 | A large array of theorems depend on the Axiom of Choice [Maddy] |
13019 | The Iterative Conception says everything appears at a stage, derived from the preceding appearances [Maddy] |
13018 | Limitation of Size is a vague intuition that over-large sets may generate paradoxes [Maddy] |
9333 | A priori belief is not necessarily a priori justification, or a priori knowledge [Horwich] |
9160 | Lots of propositions are default reasonable, but the a priori ones are empirically indefeasible [Field,H] |
9342 | Understanding needs a priori commitment [Horwich] |
9164 | We treat basic rules as if they were indefeasible and a priori, with no interest in counter-evidence [Field,H] |
9332 | Meaning is generated by a priori commitment to truth, not the other way around [Horwich] |
9341 | Meanings and concepts cannot give a priori knowledge, because they may be unacceptable [Horwich] |
9334 | If we stipulate the meaning of 'number' to make Hume's Principle true, we first need Hume's Principle [Horwich] |
9339 | A priori knowledge (e.g. classical logic) may derive from the innate structure of our minds [Horwich] |
9165 | Reliability only makes a rule reasonable if we place a value on the truth produced by reliable processes [Field,H] |
9162 | Believing nothing, or only logical truths, is very reliable, but we want a lot more than that [Field,H] |
9166 | People vary in their epistemological standards, and none of them is 'correct' [Field,H] |
9163 | If we only use induction to assess induction, it is empirically indefeasible, and hence a priori [Field,H] |