Combining Texts

Ideas for 'works', 'Axiomatic Theories of Truth' and 'Metaphysics: the logical approach'

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

display all the ideas for this combination of texts

---

7 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

3326	Set theory attempts to reduce the 'is' of predication to mathematics [Benardete,JA]

3327	The set of Greeks is included in the set of men, but isn't a member of it [Benardete,JA]

16309

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

4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / a. Axioms for sets

3335	The standard Z-F Intuition version of set theory has about ten agreed axioms [Benardete,JA, by PG]

4. Formal Logic / G. Formal Mereology / 1. Mereology

13282

Aristotle relativises the notion of wholeness to different measures [Aristotle, by Koslicki]