more from this thinker     |     more from this text

Single Idea 23026

[filed under theme 6. Mathematics / B. Foundations for Mathematics / 4. Axioms for Number / a. Axioms for numbers ]

Full Idea

It is by the natural light that the axioms of mathematics are recognised. If we take away the same quantity from two equal things, …a thing we can easily predict without having experienced it.

Gist of Idea

We know mathematical axioms, such as subtracting equals from equals leaves equals, by a natural light

Source

Gottfried Leibniz (Letters to Queen Charlotte [1702], p.189)

Book Ref

Leibniz,Gottfried: 'Philosophical Essays', ed/tr. Arlew,R /Garber,D [Hackett 1989], p.189

A Reaction

He also says two equal weights will keep a balance level. Plato thinks his slave boy understands halving an area by the natural light, but that is just as likely to be experience. It is too easy to attribut thoughts to a 'natural light'.

The 20 ideas with the same theme [general ideas about giving arithmetic a formal basis]:

23026 We know mathematical axioms, such as subtracting equals from equals leaves equals, by a natural light [Leibniz]
8737 Kant suggested that arithmetic has no axioms [Kant, by Shapiro]
5557 Axioms ought to be synthetic a priori propositions [Kant]
8742 The only axioms needed are for equality, addition, and successive numbers [Mill, by Shapiro]
13508 Dedekind gives a base number which isn't a successor, then adds successors and induction [Dedekind, by Hart,WD]
16883 Arithmetical statements can't be axioms, because they are provable [Frege, by Burge]
16864 If principles are provable, they are theorems; if not, they are axioms [Frege]
3338 Numbers have been defined in terms of 'successors' to the concept of 'zero' [Peano, by Blackburn]
17964 Number theory just needs calculation laws and rules for integers [Hilbert]
14431 The definition of order needs a transitive relation, to leap over infinite intermediate terms [Russell]
14124 Axiom of Archimedes: a finite multiple of a lesser magnitude can always exceed a greater [Russell]
9939 It is conceivable that the axioms of arithmetic or propositional logic might be changed [Putnam]
9900 For Zermelo 3 belongs to 17, but for Von Neumann it does not [Benacerraf]
9899 The successor of x is either x and all its members, or just the unit set of x [Benacerraf]
10808 Mathematics is generalisations about singleton functions [Lewis]
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]
10174 Mereological arithmetic needs infinite objects, and function definitions [Reck/Price]
17715 The truth of the axioms doesn't matter for pure mathematics, but it does for applied [Mares]
17312 It is more explanatory if you show how a number is constructed from basic entities and relations [Koslicki]