display all the ideas for this combination of texts
3 ideas
639 | Socrates developed definitions as the basis of syllogisms, and also inductive arguments [Socrates, by Aristotle] |
19209 | Simple Quantified Modal Logc doesn't work, because the Converse Barcan is a theorem [Merricks] |
19208 | The Converse Barcan implies 'everything exists necessarily' is a consequence of 'necessarily, everything exists' [Merricks] |