@misc{Lexicon of Arguments, title = {Quotation from: Lexicon of Arguments – Concepts - Ed. Martin Schulz, 29 Mar 2024}, author = {Poincaré,Henri}, subject = {Induction}, note = {Waismann I 70 Induction/Brouwer/Poincaré/Waismann: the power of induction: it is not a conclusion that carries to infinity. The sentence a + b = b + a is not an abbreviation for infinitely many individual equations, as well as 0.333 ... is not an abbreviation, and the inductive proof is not the abbreviation for infinitely many syllogisms (VsPoincaré). In fact, with the formulation of the formulas we begin a+b = b+a a+(b+c) = (a+b)+c a whole new calculus, which cannot be inferred from the calculations of arithmetic in any way. >Calculus, >Infinity, >Abbreviations, >Equations. But: Principle/Induction/Calculus/Definition/Poincaré/Waismann: ... this is the correct thing in Poincaré's assertion: the principle of induction cannot be proved logically. >Proofs, >Provability. VsPoincaré: But he does not represent, as he thought, a synthetic judgment a priori; it is not a truth at all, but a determination: If the formula f(x) applies for x = 1, and f(c + 1) follows from f(c), let us say that "the formula f(x) is proved for all natural numbers". --- A. d'Abro Die Kontroversen über das Wesen der Mathematik 1939 in Kursbuch 8 Mathematik 1967 46 Induction/PoincaréVsHilbert: in some of his demonstrations, the principle of induction is used and he asserts that this principle is the expression of an extra-logical view of the human mind. Poincaré concludes that the geometry cannot be derived in a purely logical manner from a group of postulates. >Geometry, >Postulates, >Derivation, >Derivability. 46 Induction is continually applied in mathematics, inter alia also in Euclid's proof of the infinity of the prime numbers. >Euclid, >Primes. Induction principle/Poincaré: it cannot be a law of logic, for it is quite possible to construct a mathematics in which the principle of induction is denied. Hilbert, too, does not postulate it among his postulates, so he also seems to be of the opinion that it is not a pure postulate.}, note = { Waismann I F. Waismann Einführung in das mathematische Denken Darmstadt 1996 Waismann II F. Waismann Logik, Sprache, Philosophie Stuttgart 1976 }, file = {http://philosophy-science-humanities-controversies.com/listview-details.php?id=479126} url = {http://philosophy-science-humanities-controversies.com/listview-details.php?id=479126} }