18 ideas
9358 | There are several logics, none of which will ever derive falsehoods from truth [Lewis,CI] |
9357 | Excluded middle is just our preference for a simplified dichotomy in experience [Lewis,CI] |
9364 | Names represent a uniformity in experience, or they name nothing [Lewis,CI] |
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] |
9362 | Necessary truths are those we will maintain no matter what [Lewis,CI] |
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] |
9365 | We can maintain a priori principles come what may, but we can also change them [Lewis,CI] |
6894 | Mental terms can be replaced in a sentence by a variable and an existential quantifier [Ramsey] |
9361 | We have to separate the mathematical from physical phenomena by abstraction [Lewis,CI] |
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] |
9363 | Science seeks classification which will discover laws, essences, and predictions [Lewis,CI] |
17968 | By digging deeper into the axioms we approach the essence of sciences, and unity of knowedge [Hilbert] |