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.
Immediately related elementsHow this works
-
Artificial Intelligence Â»Artificial Intelligence
▲
Can computers think? [1] Â»Can computers think? [1]
▲
Yes: physical symbol systems can think [3] Â»Yes: physical symbol systems can think [3]
▲
The Representationalist Assumption Â»The Representationalist Assumption
▲
The Objectivist account of cognition Â»The Objectivist account of cognition
▲
Objectivist account of cognition is inconsistent Â»Objectivist account of cognition is inconsistent
■
The Lowenheim-Skolem theorem
+Kommentare (0)
+Verweise (0)
+About