display all the ideas for this combination of texts
4 ideas
24048 | Demonstrations move from starting-points to deduced conclusions [Aristotle] |
16647 | Demonstration starts from a definition of essence, so we can derive (or conjecture about) the properties [Aristotle] |
18699 | Carnap tried to define all scientific predicates in terms of primitive relations, using type theory [Carnap, by Button] |
16646 | To understand a triangle summing to two right angles, we need to know the essence of a line [Aristotle] |