18 ideas
| 23445 | Naïve set theory says any formula defines a set, and coextensive sets are identical [Linnebo] |
| 23447 | In classical semantics singular terms refer, and quantifiers range over domains [Linnebo] |
| 23443 | The axioms of group theory are not assertions, but a definition of a structure [Linnebo] |
| 23444 | To investigate axiomatic theories, mathematics needs its own foundational axioms [Linnebo] |
| 23446 | You can't prove consistency using a weaker theory, but you can use a consistent theory [Linnebo] |
| 23448 | Mathematics is the study of all possible patterns, and is thus bound to describe the world [Linnebo] |
| 23441 | Logical truth is true in all models, so mathematical objects can't be purely logical [Linnebo] |
| 23442 | Game Formalism has no semantics, and Term Formalism reduces the semantics [Linnebo] |
| 18431 | Internal relations combine some tropes into a nucleus, which bears the non-essential tropes [Simons, by Edwards] |
| 19712 | Maybe there is plain 'animal' knowledge, and clearly justified 'reflective' knowledge [Vahid] |
| 19703 | Epistemic is normally marked out from moral or pragmatic justifications by its truth-goal [Vahid] |
| 19705 | 'Mentalist' internalism seems to miss the main point, if it might not involve an agent's access [Vahid] |
| 19706 | Strong access internalism needs actual awareness; weak versions need possibility of access [Vahid] |
| 19707 | Maybe we need access to our justification, and also to know why it justifies [Vahid] |
| 19709 | Internalism in epistemology over-emphasises deliberation about beliefs [Vahid] |
| 19704 | Externalism may imply that identical mental states might go with different justifications [Vahid] |
| 19710 | With a counterfactual account of the causal theory, we get knowledge as tracking or sensitive to truth [Vahid] |
| 19711 | Externalism makes the acquisition of knowledge too easy? [Vahid] |