Single Idea 9913

[catalogued under 5. Theory of Logic / J. Model Theory in Logic / 3. Löwenheim-Skolem Theorems]

Full Idea

The Löwenheim-Skolem Theorem says that a satisfiable first-order theory (in a countable language) has a countable model. ..I argue that this is not a logical antinomy, but close to one in philosophy of language.

Gist of Idea

The Löwenheim-Skolem Theorem is close to an antinomy in philosophy of language

Source

Hilary Putnam (Models and Reality [1977], p.421)

Book Reference

'Philosophy of Mathematics: readings (2nd)', ed/tr. Benacerraf/Putnam [CUP 1983], p.421


A Reaction

See the rest of this paper for where he takes us on this.