50 ideas
| 10468 | A metaphysics has an ontology (objects) and an ideology (expressed ideas about them) [Oliver] |
| 10471 | Ockham's Razor has more content if it says believe only in what is causal [Oliver] |
| 10749 | Necessary truths seem to all have the same truth-maker [Oliver] |
| 10750 | Slingshot Argument: seems to prove that all sentences have the same truth-maker [Oliver] |
| 22271 | Aristotle was the first to use schematic letters in logic [Aristotle, by Potter] |
| 11060 | Aristotelian syllogisms are three-part, subject-predicate, existentially committed, with laws of thought [Aristotle, by Hanna] |
| 18909 | Aristotelian sentences are made up by one of four 'formative' connectors [Aristotle, by Engelbretsen] |
| 8080 | Aristotelian identified 256 possible syllogisms, saying that 19 are valid [Aristotle, by Devlin] |
| 13912 | Aristotle replaced Plato's noun-verb form with unions of pairs of terms by one of four 'copulae' [Aristotle, by Engelbretsen/Sayward] |
| 8071 | Aristotle listed nineteen valid syllogisms (though a few of them were wrong) [Aristotle, by Devlin] |
| 13819 | Aristotle's said some Fs are G or some Fs are not G, forgetting that there might be no Fs [Bostock on Aristotle] |
| 9403 | There are three different deductions for actual terms, necessary terms and possible terms [Aristotle] |
| 11148 | Deduction is when we suppose one thing, and another necessarily follows [Aristotle] |
| 18896 | Aristotle places terms at opposite ends, joined by a quantified copula [Aristotle, by Sommers] |
| 3300 | Aristotle's logic is based on the subject/predicate distinction, which leads him to substances and properties [Aristotle, by Benardete,JA] |
| 11149 | Affirming/denying sentences are universal, particular, or indeterminate [Aristotle] |
| 8079 | Aristotelian logic has two quantifiers of the subject ('all' and 'some') [Aristotle, by Devlin] |
| 10747 | Accepting properties by ontological commitment tells you very little about them [Oliver] |
| 10748 | Reference is not the only way for a predicate to have ontological commitment [Oliver] |
| 10719 | There are four conditions defining the relations between particulars and properties [Oliver] |
| 10721 | If properties are sui generis, are they abstract or concrete? [Oliver] |
| 10716 | There are just as many properties as the laws require [Oliver] |
| 10720 | We have four options, depending whether particulars and properties are sui generis or constructions [Oliver] |
| 10714 | The expressions with properties as their meanings are predicates and abstract singular terms [Oliver] |
| 10715 | There are five main semantic theories for properties [Oliver] |
| 10738 | Tropes are not properties, since they can't be instantiated twice [Oliver] |
| 10739 | The property of redness is the maximal set of the tropes of exactly similar redness [Oliver] |
| 10740 | The orthodox view does not allow for uninstantiated tropes [Oliver] |
| 10741 | Maybe concrete particulars are mereological wholes of abstract particulars [Oliver] |
| 10742 | Tropes can overlap, and shouldn't be splittable into parts [Oliver] |
| 10472 | 'Structural universals' methane and butane are made of the same universals, carbon and hydrogen [Oliver] |
| 10724 | Located universals are wholly present in many places, and two can be in the same place [Oliver] |
| 7963 | Aristotle's instantiated universals cannot account for properties of abstract objects [Oliver] |
| 10730 | If universals ground similarities, what about uniquely instantiated universals? [Oliver] |
| 10727 | Uninstantiated universals seem to exist if they themselves have properties [Oliver] |
| 7962 | Uninstantiated properties are useful in philosophy [Oliver] |
| 10722 | Instantiation is set-membership [Oliver] |
| 10744 | Nominalism can reject abstractions, or universals, or sets [Oliver] |
| 10726 | Things can't be fusions of universals, because two things could then be one thing [Oliver] |
| 10725 | Abstract sets of universals can't be bundled to make concrete things [Oliver] |
| 12066 | Aristotelian and Kripkean essentialism are very different theories [Witt] |
| 12067 | An Aristotelian essence is a nonlinguistic correlate of the definition [Witt] |
| 12082 | If unity is a matter of degree, then essence may also be a matter of degree [Witt] |
| 12089 | Essences mainly explain the existence of unified substance [Witt] |
| 12102 | Essential properties of origin are too radically individual for an Aristotelian essence [Witt] |
| 14641 | A deduction is necessary if the major (but not the minor) premise is also necessary [Aristotle] |
| 10745 | Science is modally committed, to disposition, causation and law [Oliver] |
| 18911 | Linguistic terms form a hierarchy, with higher terms predicable of increasing numbers of things [Aristotle, by Engelbretsen] |
| 10746 | Conceptual priority is barely intelligible [Oliver] |
| 12085 | Reality is directional [Witt] |