Combining Texts

Ideas for 'works', 'What is Logic?' and 'Two Notions of Being: Entity and Essence'

unexpand these ideas     |    start again     |     choose another area for these texts

display all the ideas for this combination of texts

---

1 idea

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

13843	If it is a logic, the Löwenheim-Skolem theorem holds for it [Hacking]
	Full Idea: A Löwenheim-Skolem theorem holds for anything which, on my delineation, is a logic.
	From: Ian Hacking (What is Logic? [1979], §13)
	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.