Combining Philosophers

Ideas for Lynch,MP/Glasgow,JM, Paul O'Grady and David Bostock

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 / 1. Bivalence
A third value for truth might be "indeterminate", or a point on a scale between 'true' and 'false' [O'Grady]
5. Theory of Logic / D. Assumptions for Logic / 4. Identity in Logic
|= α=α and α=β |= φ(α/ξ ↔ φ(β/ξ) fix identity [Bostock]
If we are to express that there at least two things, we need identity [Bostock]
The sign '=' is a two-place predicate expressing that 'a is the same thing as b' (a=b) [Bostock]