14 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] |
| 19513 | A contextualist coherentist will say that how strongly a justification must cohere depends on context [DeRose] |
| 19514 | Classical invariantism combines fixed truth-conditions with variable assertability standards [DeRose] |
| 19515 | We can make contextualism more precise, by specifying the discrimination needed each time [DeRose] |
| 19510 | In some contexts there is little more to knowledge than true belief. [DeRose] |
| 19516 | Contextualists worry about scepticism, but they should focus on the use of 'know' in ordinary speech [DeRose] |
| 19511 | If contextualism is about knowledge attribution, rather than knowledge, then it is philosophy of language [DeRose] |
| 1513 | The Egyptians were the first to say the soul is immortal and reincarnated [Herodotus] |