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.
CONTEXT(Help)
-
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
+Comments (0)
+Citations (0)
+About