Philosophy Dictionary of Arguments

Screenshot Tabelle Begriffe

 
Author Item Summary Meta data
Berka I 314
Löwenheim-Skolem/validity/Gödel: if something "universally valid in every domain of individuals", then it says the same as "universally valid in a countable domain".(1)


1. K. Gödel, Die Vollständighkeit der Axiome des logischen Funktionenkalküls, in: Mh, Math. Phys. 37 (1930) 349-360


_____________
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.

Göd II
Kurt Gödel
Collected Works: Volume II: Publications 1938-1974 Oxford 1990

Berka I
Karel Berka
Lothar Kreiser
Logik Texte Berlin 1983


Send Link
> Counter arguments against Gödel

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 2019-08-19
Legal Notice   Contact   Data protection declaration