Combining Philosophers

Ideas for William W. Tait, Volker Halbach and Agathon

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

display all the ideas for this combination of philosophers

---

6 ideas

4. Formal Logic / E. Nonclassical Logics / 3. Many-Valued Logic

16335

In Strong Kleene logic a disjunction just needs one disjunct to be true [Halbach]

16334

In Weak Kleene logic there are 'gaps', neither true nor false if one component lacks a truth value [Halbach]

4. Formal Logic / F. Set Theory ST / 1. Set Theory

15657

To prove the consistency of set theory, we must go beyond set theory [Halbach]

16309

Every attempt at formal rigour uses some set theory [Halbach]

4. Formal Logic / F. Set Theory ST / 3. Types of Set / b. Empty (Null) Set

9986	The null set was doubted, because numbering seemed to require 'units' [Tait]

4. Formal Logic / F. Set Theory ST / 7. Natural Sets

9984	We can have a series with identical members [Tait]