Philosophy Lexicon of Arguments

Author Item Excerpt Meta data
Hilbert, D.
Books on Amazon
Induction Berka I 118
Complete induction/logical form/Hilbert:

{P(1) & (x)(y) [P(x) & Seq (x,y) > P(y)]} > (x)P(x)

"If a predicate applies to the number 1, and if it applies to any number, also of the next following, then the predicate applies to every number."

Brk I
K. Berka/L. Kreiser
Logik Texte Berlin 1983

> Counter arguments against Hilbert
> Counter arguments in relation to Induction

> Suggest your own contribution | > Suggest a correction | > Export as BibTeX file
Ed. Martin Schulz, access date 2017-04-27