Combining Philosophers

Ideas for Eubulides, Panaetius and Engelbretsen,G/Sayward,C

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

display all the ideas for this combination of philosophers

---

1 idea

5. Theory of Logic / D. Assumptions for Logic / 4. Identity in Logic

13851	Unlike most other signs, = cannot be eliminated [Engelbretsen/Sayward]
	Full Idea: Unlike ∨, →, ↔, and ∀, the sign = is not eliminable from a logic.
	From: Engelbretsen,G/Sayward,C (Philosophical Logic: Intro to Advanced Topics [2011], Ch.3)