display all the ideas for this combination of philosophers
3 ideas
19192 | The truth definition proves semantic contradiction and excluded middle laws (not the logic laws) [Tarski] |
17924 | Excluded middle says P or not-P; bivalence says P is either true or false [Colyvan] |
18759 | Identity is invariant under arbitrary permutations, so it seems to be a logical term [Tarski, by McGee] |