Dictionary of Arguments

Screenshot Tabelle Begriffe

 
Author Item Summary Meta data
Berka I 118
Complete induction/logical form/Hilbert:(1)

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


((s) 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.)


1. D. Hilbert und W. Ackermann, Grundzüge der theoretischen Logik, Berlin (6. Aufl. Berlin/Göttingen/Heidelberg 1972, §§ 1,2)


_____________
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.
The note [Author1]Vs[Author2] or [Author]Vs[term] is an addition from the Dictionary of Arguments. If a German edition is specified, the page numbers refer to this edition.

Berka I
Karel Berka
Lothar Kreiser
Logik Texte Berlin 1983


Send Link
> Counter arguments against Hilbert

Authors A   B   C   D   E   F   G   H   I   J   K   L   M   N   O   P   Q   R   S   T   U   V   W   Z  


Concepts A   B   C   D   E   F   G   H   I   J   K   L   M   N   O   P   Q   R   S   T   U   V   W   Z  



Ed. Martin Schulz, access date 2018-11-15
Legal Notice   Contact   Data protection declaration