25 ideas
17729 | Examining concepts can recover information obtained through the senses [Jenkins] |
17740 | Instead of correspondence of proposition to fact, look at correspondence of its parts [Jenkins] |
17730 | Combining the concepts of negation and finiteness gives the concept of infinity [Jenkins] |
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] |
17719 | Arithmetic concepts are indispensable because they accurately map the world [Jenkins] |
17717 | Senses produce concepts that map the world, and arithmetic is known through these concepts [Jenkins] |
17635 | Arithmetic can have even simpler logical premises than the Peano Axioms [Russell on Peano] |
17724 | It is not easy to show that Hume's Principle is analytic or definitive in the required sense [Jenkins] |
17727 | We can learn about the world by studying the grounding of our concepts [Jenkins] |
17720 | There's essential, modal, explanatory, conceptual, metaphysical and constitutive dependence [Jenkins, by PG] |
17728 | The concepts we have to use for categorising are ones which map the real world well [Jenkins] |
17726 | Examining accurate, justified or grounded concepts brings understanding of the world [Jenkins] |
17734 | It is not enough that intuition be reliable - we need to know why it is reliable [Jenkins] |
17723 | Knowledge is true belief which can be explained just by citing the proposition believed [Jenkins] |
17718 | Grounded concepts are trustworthy maps of the world [Jenkins] |
17739 | The physical effect of world on brain explains the concepts we possess [Jenkins] |
17731 | Verificationism is better if it says meaningfulness needs concepts grounded in the senses [Jenkins] |
17732 | Success semantics explains representation in terms of success in action [Jenkins] |
17725 | 'Analytic' can be conceptual, or by meaning, or predicate inclusion, or definition... [Jenkins] |
1558 | Clearly the gods ignore human affairs, or they would have given us justice [Thrasymachus] |