16 ideas
| 17266 | Using modal logic, philosophers tried to handle all metaphysics in modal terms [Correia/Schnieder] |
| 17263 | Why do rationalists accept Sufficient Reason, when it denies the existence of fundamental facts? [Correia/Schnieder] |
| 17963 | The facts of geometry, arithmetic or statics order themselves into theories [Hilbert] |
| 17966 | Axioms must reveal their dependence (or not), and must be consistent [Hilbert] |
| 17967 | To decide some questions, we must study the essence of mathematical proof itself [Hilbert] |
| 17965 | The whole of Euclidean geometry derives from a basic equation and transformations [Hilbert] |
| 17964 | Number theory just needs calculation laws and rules for integers [Hilbert] |
| 17270 | Is existential dependence by grounding, or do grounding claims arise from existential dependence? [Correia/Schnieder] |
| 17268 | Grounding is metaphysical and explanation epistemic, so keep them apart [Correia/Schnieder] |
| 17267 | The identity of two facts may depend on how 'fine-grained' we think facts are [Correia/Schnieder] |
| 10993 | Ramsey's Test: believe the consequent if you believe the antecedent [Ramsey, by Read] |
| 14279 | Asking 'If p, will q?' when p is uncertain, then first add p hypothetically to your knowledge [Ramsey] |
| 6894 | Mental terms can be replaced in a sentence by a variable and an existential quantifier [Ramsey] |
| 9418 | All knowledge needs systematizing, and the axioms would be the laws of nature [Ramsey] |
| 9420 | Causal laws result from the simplest axioms of a complete deductive system [Ramsey] |
| 17968 | By digging deeper into the axioms we approach the essence of sciences, and unity of knowedge [Hilbert] |