13 ideas
9358 | There are several logics, none of which will ever derive falsehoods from truth [Lewis,CI] |
13831 | Logic is based on transitions between sentences [Prawitz] |
9357 | Excluded middle is just our preference for a simplified dichotomy in experience [Lewis,CI] |
13825 | Natural deduction introduction rules may represent 'definitions' of logical connectives [Prawitz] |
9364 | Names represent a uniformity in experience, or they name nothing [Lewis,CI] |
13823 | In natural deduction, inferences are atomic steps involving just one logical constant [Prawitz] |
13230 | Particular essence is often captured by generality [Steiner,M] |
9362 | Necessary truths are those we will maintain no matter what [Lewis,CI] |
9365 | We can maintain a priori principles come what may, but we can also change them [Lewis,CI] |
13229 | Maybe an instance of a generalisation is more explanatory than the particular case [Steiner,M] |
13231 | Explanatory proofs rest on 'characterizing properties' of entities or structure [Steiner,M] |
9361 | We have to separate the mathematical from physical phenomena by abstraction [Lewis,CI] |
9363 | Science seeks classification which will discover laws, essences, and predictions [Lewis,CI] |