Philosophy Lexicon of Arguments

Search  
 
Author Item Excerpt Meta data

 
Books on Amazon
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."


_____________
Explanation of symbols: Roman numerals indicate the source, arabic numerals indicate the page number. The corresponding books are indicated on the right hand side. ((s)…): Comment by the sender of the contribution.

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 Datei
 
Ed. Martin Schulz, access date 2017-06-28