display all the ideas for this combination of texts
3 ideas
18904 | 'Predicable' terms come in charged pairs, with one the negation of the other [Sommers, by Engelbretsen] |
18895 | Logic which maps ordinary reasoning must be transparent, and free of variables [Sommers] |
18170 | The Axiom of Reducibility is self-effacing: if true, it isn't needed [Quine] |