Combining Philosophers

Ideas for David Bostock, Edmund O. Wilson and Nicholas Rescher

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

display all the ideas for this combination of philosophers

---

3 ideas

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

13799

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

13800

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

13803

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