14 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] |
8568 | A property is merely a constituent of laws of nature; temperature is just part of thermodynamics [Mellor] |
8564 | There is obviously a possible predicate for every property [Mellor] |
15797 | All structures are dispositional, objects are dispositions sets, and events manifest dispositions [Fetzer] |
8566 | We need universals for causation and laws of nature; the latter give them their identity [Mellor] |
8565 | If properties were just the meanings of predicates, they couldn't give predicates their meaning [Mellor] |
15800 | All events and objects are dispositional, and hence all structural properties are dispositional [Fetzer] |
15798 | Kinds are arrangements of dispositions [Fetzer] |
8567 | Singular causation requires causes to raise the physical probability of their effects [Mellor] |
15799 | Lawlike sentences are general attributions of disposition to all members of some class [Fetzer] |