display all the ideas for this combination of texts
4 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] |
573 | The axioms of mathematics are part of philosophy [Aristotle] |
562 | Axioms are the underlying principles of everything, and who but the philosopher can assess their truth? [Aristotle] |