more from Stewart Shapiro

Single Idea 10297

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

Full Idea

The L÷wenheim-Skolem theorem is usually taken as a sort of defect (often thought to be inevitable) of the first-order logic.

Gist of Idea

The L÷wenheim-Skolem theorem seems to be a defect of first-order logic


Stewart Shapiro (Higher-Order Logic [2001], 2.4)

Book Reference

'Blackwell Guide to Philosophical Logic', ed/tr. Goble,Lou [Blackwell 2001], p.49

A Reaction

[He is quoting Wang 1974 p.154]