Combining Philosophers

Ideas for Eubulides, David Bostock and James Robert Brown

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

display all the ideas for this combination of philosophers

---

4 ideas

5. Theory of Logic / D. Assumptions for Logic / 2. Excluded Middle

9605	If a proposition is false, then its negation is true [Brown,JR]

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

13800

|= α=α and α=β |= φ(α/ξ ↔ φ(β/ξ) fix identity [Bostock]

13803

If we are to express that there at least two things, we need identity [Bostock]

13799

The sign '=' is a two-place predicate expressing that 'a is the same thing as b' (a=b) [Bostock]