Combining Philosophers

Ideas for Pyrrho, Alex Orenstein and Arend Heyting

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

display all the ideas for this combination of philosophers

---

1 idea

4. Formal Logic / D. Modal Logic ML / 4. Alethic Modal Logic

8480	S4: 'poss that poss that p' implies 'poss that p'; S5: 'poss that nec that p' implies 'nec that p' [Orenstein]