display all the ideas for this combination of texts
2 ideas
639 | Socrates developed definitions as the basis of syllogisms, and also inductive arguments [Socrates, by Aristotle] |
16985 | Possible worlds allowed the application of set-theoretic models to modal logic [Kripke] |