Single Idea 10773

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

Full Idea

The Löwenheim-Skolem property seems to be undesirable, in that it states a limitation concerning the distinctions the logic is capable of making, such as saying there are uncountably many reals ('Skolem's Paradox').

Gist of Idea

The Löwenheim-Skolem property is a limitation (e.g. can't say there are uncountably many reals)

Source

Leslie H. Tharp (Which Logic is the Right Logic? [1975], §2)

Book Reference

'Philosophy of Logic: an anthology', ed/tr. Jacquette,Dale [Blackwell 2002], p.39

---