display all the ideas for this combination of texts
2 ideas
14880 | Logic is just slavery to language [Nietzsche] |
Full Idea: Logic is merely slavery in the fetters of language. | |
From: Friedrich Nietzsche (Unpublished Notebooks 1872-74 [1873], 29 [008]) | |
A reaction: I don't think I agree with this, but I still like it. |
17878 | If a 1st-order proposition is satisfied, it is satisfied in a denumerably infinite domain [Skolem] |
Full Idea: Löwenheim's theorem reads as follows: If a first-order proposition is satisfied in any domain at all, it is already satisfied in a denumerably infinite domain. | |
From: Thoralf Skolem (Remarks on axiomatised set theory [1922], p.293) |