Combining Philosophers

Ideas for Hermarchus, Kit Fine and Anon (Lev)

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

display all the ideas for this combination of philosophers

---

5 ideas

4. Formal Logic / D. Modal Logic ML / 3. Modal Logic Systems / h. System S5

9560	S5 provides the correct logic for necessity in the broadly logical sense [Fine,K]

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

14263

Strong Kleene disjunction just needs one true disjunct; Weak needs the other to have some value [Fine,K]

4. Formal Logic / F. Set Theory ST / 5. Conceptions of Set / e. Iterative sets

10565

There is no stage at which we can take all the sets to have been generated [Fine,K]

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

13331

Part and whole contribute asymmetrically to one another, so must differ [Fine,K]

4. Formal Logic / G. Formal Mereology / 3. Axioms of Mereology

10564

We might combine the axioms of set theory with the axioms of mereology [Fine,K]