display all the ideas for this combination of philosophers
4 ideas
4700 | A third value for truth might be "indeterminate", or a point on a scale between 'true' and 'false' [O'Grady] |
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] |