The Lowenheim-Skolem theorem

If a countable collection of sentences in a first order language describes a model (that is, some state of affairs in the world), then it describes more than one model.

Leopold Lowenheim (1915) & Thoralf Skolem (1922).

Note: Hilary Putnam's version (1981) of this argument employs a strengthened version of the Lowenheim-Skolem theorem and claims that the theorem shows that any statement in natural language has an unintended interpretation if it has any interpretation at all.
RELATED ARTICLESExplain
Artificial Intelligence
Can computers think? [1]
Yes: physical symbol systems can think [3]
The Representationalist Assumption
The Objectivist account of cognition
Objectivist account of cognition is inconsistent
The Lowenheim-Skolem theorem
Graph of this discussion
Enter the title of your article


Enter a short (max 500 characters) summation of your article
Enter the main body of your article
Lock
+Comments (0)
+Citations (0)
+About
Enter comment

Select article text to quote
welcome text

First name   Last name 

Email

Skip