13 ideas
3338 | Numbers have been defined in terms of 'successors' to the concept of 'zero' [Peano, by Blackburn] |
13949 | All models of Peano axioms are isomorphic, so the models all seem equally good for natural numbers [Cartwright,R on Peano] |
18113 | PA concerns any entities which satisfy the axioms [Peano, by Bostock] |
17634 | Peano axioms not only support arithmetic, but are also fairly obvious [Peano, by Russell] |
5897 | 0 is a non-successor number, all successors are numbers, successors can't duplicate, if P(n) and P(n+1) then P(all-n) [Peano, by Flew] |
15653 | We can add Reflexion Principles to Peano Arithmetic, which assert its consistency or soundness [Halbach on Peano] |
17635 | Arithmetic can have even simpler logical premises than the Peano Axioms [Russell on Peano] |
22179 | Explanatory facts also predict, and predictive facts also explain [Hempel, by Okasha] |
3214 | The models we use in reasoning may be more like perceptions than like language [Johnson-Laird] |
21507 | Scientific explanation aims at a unifying account of underlying structures and processes [Hempel] |
6755 | For Hempel, explanations are deductive-nomological or probabilistic-statistical [Hempel, by Bird] |
17083 | The covering-law model is for scientific explanation; historical explanation is quite different [Hempel] |
13052 | Hempel rejects causation as part of explanation [Hempel, by Salmon] |