Philosophy Lexicon of Arguments

Screenshot Tabelle Begriffe

Author Item Summary Meta data

Books on Amazon

II 213
Goedel/Incompleteness/Hilbert/Genz: In 1917 Hilbert had drawn up the program to summarize all mathematics in a scheme in the logic of the 1st level, Goedel proved in 1931 that this was not possible. It works well for Euclidean and non-Euclidean geometry, but not for addition and multiplication, if you take their derivation rules together.
It is always about sentences that are formulated in a language, but cannot be derived or refuted.
Abundance/Genz: in poor languages, all statements that can be formulated in them can either be derived or disproved. The richer they are, the more statements can be formulated that do not succeed.
II 214
These sentences make a statement about themselves, namely that they cannot be derived.
Solution: Extension of the language. For example, to accept his negation as an axiom.
Problem: In every extension there are new non-derivable sentences.
Deductibility: A language in which any sensible phrase at all could be derived would allow to derive contradictions.

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.

Gz I
H. Genz
Gedankenexperimente Weinheim 1999

Henning Genz
Wie die Naturgesetze Wirklichkeit schaffen. Über Physik und Realität München 2002

Send Link
> Counter arguments against Genz

Authors A   B   C   D   E   F   G   H   I   J   K   L   M   N   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  

> Suggest your own contribution | > Suggest a correction | > Export as BibTeX Datei
Ed. Martin Schulz, access date 2018-03-22