11 ideas
| 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] |
| 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] |
| 5500 | Biologists see many organic levels, 'abstract' if seen from below, 'structural' if seen from above [Lycan] |
| 5494 | 'Lightning is electric discharge' and 'Phosphorus is Venus' are synthetic a posteriori identities [Lycan] |
| 5496 | Functionalism has three linked levels: physical, functional, and mental [Lycan] |
| 5499 | A mental state is a functional realisation of a brain state when it serves the purpose of the organism [Lycan] |
| 5501 | People are trying to explain biological teleology in naturalistic causal terms [Lycan] |
| 2116 | The concept of an existing thing must contain more than the concept of a non-existing thing [Leibniz] |