display all the ideas for this combination of texts
3 ideas
14965 | Truth rests on Elimination ('A' is true → A) and Introduction (A → 'A' is true) [Gupta] |
14968 | A weakened classical language can contain its own truth predicate [Gupta] |
14008 | The redundancy theory conflates metalinguistic bivalence with object-language excluded middle [Bourne] |