Combining Philosophers

Ideas for Rescher,N/Oppenheim,P, Brian Davies and Peter Smith

expand these ideas     |    start again     |     choose another area for these philosophers

display all the ideas for this combination of philosophers

10 ideas

6. Mathematics / B. Foundations for Mathematics / 4. Axioms for Number / a. Axioms for numbers
10608 The number of Fs is the 'successor' of the Gs if there is a single F that isn't G [Smith,P]
10618 All numbers are related to zero by the ancestral of the successor relation [Smith,P]
6. Mathematics / B. Foundations for Mathematics / 4. Axioms for Number / b. Baby arithmetic
10849 Baby arithmetic covers addition and multiplication, but no general facts about numbers [Smith,P]
10850 Baby Arithmetic is complete, but not very expressive [Smith,P]
6. Mathematics / B. Foundations for Mathematics / 4. Axioms for Number / c. Robinson arithmetic
10852 Robinson Arithmetic (Q) is not negation complete [Smith,P]
10851 Robinson Arithmetic 'Q' has basic axioms, quantifiers and first-order logic [Smith,P]
6. Mathematics / B. Foundations for Mathematics / 4. Axioms for Number / d. Peano arithmetic
10068 Natural numbers have zero, unique successors, unending, no circling back, and no strays [Smith,P]
6. Mathematics / B. Foundations for Mathematics / 4. Axioms for Number / f. Mathematical induction
10603 The logic of arithmetic must quantify over properties of numbers to handle induction [Smith,P]
6. Mathematics / B. Foundations for Mathematics / 4. Axioms for Number / g. Incompleteness of Arithmetic
10848 Multiplication only generates incompleteness if combined with addition and successor [Smith,P]
10604 Incompleteness results in arithmetic from combining addition and successor with multiplication [Smith,P]