17 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] |
16062 | A necessary relation between fact-levels seems to be a further irreducible fact [Lynch/Glasgow] |
16061 | If some facts 'logically supervene' on some others, they just redescribe them, adding nothing [Lynch/Glasgow] |
16060 | Nonreductive materialism says upper 'levels' depend on lower, but don't 'reduce' [Lynch/Glasgow] |
16064 | The hallmark of physicalism is that each causal power has a base causal power under it [Lynch/Glasgow] |
7301 | The phenomenalist says that to be is to be perceivable [Cardinal/Hayward/Jones] |
7302 | Linguistic phenomenalism says we can eliminate talk of physical objects [Cardinal/Hayward/Jones] |
7303 | If we lack enough sense-data, are we to say that parts of reality are 'indeterminate'? [Cardinal/Hayward/Jones] |
7299 | Primary qualities can be described mathematically, unlike secondary qualities [Cardinal/Hayward/Jones] |
7300 | An object cannot remain an object without its primary qualities [Cardinal/Hayward/Jones] |
7297 | My justifications might be very coherent, but totally unconnected to the world [Cardinal/Hayward/Jones] |