display all the ideas for this combination of texts
3 ideas
6023 | Every proposition is either true or false [Chrysippus, by Cicero] |
21539 | Excluded middle can be stated psychologically, as denial of p implies assertion of not-p [Russell] |
18759 | Identity is invariant under arbitrary permutations, so it seems to be a logical term [Tarski, by McGee] |