Combining Philosophers

Ideas for David Bostock, A.J. Ayer and Trenton Merricks

expand these ideas     |    start again     |     choose another area for these philosophers

display all the ideas for this combination of philosophers

---

2 ideas

4. Formal Logic / E. Nonclassical Logics / 2. Intuitionist Logic

18122

Classical interdefinitions of logical constants and quantifiers is impossible in intuitionism [Bostock]

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]