17 ideas
| 22334 | Analysis must include definitions, search for simples, concept analysis, and Kant's analysis [Glock] |
| 1812 | All discussion is full of uncertainty and contradiction (Mode 11) [Agrippa, by Diog. Laertius] |
| 1811 | Proofs often presuppose the thing to be proved (Mode 15) [Agrippa, by Diog. Laertius] |
| 1813 | All reasoning endlessly leads to further reasoning (Mode 12) [Agrippa, by Diog. Laertius] |
| 1815 | Reasoning needs arbitrary faith in preliminary hypotheses (Mode 14) [Agrippa, by Diog. Laertius] |
| 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] |
| 22332 | German and British idealism is not about individual ideas, but the intelligibility of reality [Glock] |
| 8850 | Agrippa's Trilemma: justification is infinite, or ends arbitrarily, or is circular [Agrippa, by Williams,M] |
| 1814 | Everything is perceived in relation to another thing (Mode 13) [Agrippa, by Diog. Laertius] |
| 22335 | The variety of uses of 'game' may be that it has several meanings, and isn't a single concept [Glock] |
| 22336 | We might say that the family resemblance is just a consequence of meaning-as-use [Glock] |