Combining Texts

Ideas for 'works', 'Intro to 'Self-Representational Consciousness'' and 'Intermediate Logic'

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

display all the ideas for this combination of texts

---

1 idea

4. Formal Logic / E. Nonclassical Logics / 6. Free Logic

13846	A 'free' logic can have empty names, and a 'universally free' logic can have empty domains [Bostock]
	Full Idea: A 'free' logic is one in which names are permitted to be empty. A 'universally free' logic is one in which the domain of an interpretation may also be empty.
	From: David Bostock (Intermediate Logic [1997], 8.6)