Single Idea 13843

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

Full Idea

A L÷wenheim-Skolem theorem holds for anything which, on my delineation, is a logic.

Gist of Idea

If it is a logic, the L÷wenheim-Skolem theorem holds for it


Ian Hacking (What is Logic? [1979], ž13)

Book Reference

'A Philosophical Companion to First-Order Logic', ed/tr. Hughes,R.I.G. [Hackett 1993], p.246

A Reaction

I take this to be an unusually conservative view. Shapiro is the chap who can give you an alternative view of these things, or Boolos.