15 ideas
| 14025 | The weaker version of Truthmaker: 'truth supervenes on being' [Crisp,TM] |
| 14023 | The Truthmaker thesis spells trouble for presentists [Crisp,TM] |
| 14024 | Truthmaker has problems with generalisation, non-existence claims, and property instantiations [Crisp,TM] |
| 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] |
| 14021 | Worm Perdurantism has a fusion of all the parts; Stage Perdurantism has one part at a time [Crisp,TM] |
| 7907 | Human killing is worse if the victim is virtuous [Buddhaghosa] |
| 14020 | 'Eternalism' is the thesis that reality includes past, present and future entities [Crisp,TM] |
| 14026 | Presentists can talk of 'times', with no more commitment than modalists have to possible worlds [Crisp,TM] |
| 14022 | The only three theories are Presentism, Dynamic (A-series) Eternalism and Static (B-series) Eternalism [Crisp,TM] |