16 ideas
| 13913 | The four 'perfect syllogisms' are called Barbara, Celarent, Darii and Ferio [Engelbretsen/Sayward] |
| 13914 | Syllogistic logic has one rule: what is affirmed/denied of wholes is affirmed/denied of their parts [Engelbretsen/Sayward] |
| 13915 | Syllogistic can't handle sentences with singular terms, or relational terms, or compound sentences [Engelbretsen/Sayward] |
| 13916 | Term logic uses expression letters and brackets, and '-' for negative terms, and '+' for compound terms [Engelbretsen/Sayward] |
| 15544 | If what is actual might have been impossible, we need S4 modal logic [Armstrong, by Lewis] |
| 13850 | In modern logic all formal validity can be characterised syntactically [Engelbretsen/Sayward] |
| 13849 | Classical logic rests on truth and models, where constructivist logic rests on defence and refutation [Engelbretsen/Sayward] |
| 13851 | Unlike most other signs, = cannot be eliminated [Engelbretsen/Sayward] |
| 13852 | Axioms are ω-incomplete if the instances are all derivable, but the universal quantification isn't [Engelbretsen/Sayward] |
| 7024 | Properties are universals, which are always instantiated [Armstrong, by Heil] |
| 9478 | Even if all properties are categorical, they may be denoted by dispositional predicates [Armstrong, by Bird] |
| 10729 | Universals explain resemblance and causal power [Armstrong, by Oliver] |
| 4031 | It doesn't follow that because there is a predicate there must therefore exist a property [Armstrong] |
| 10024 | The type-token distinction is the universal-particular distinction [Armstrong, by Hodes] |
| 10728 | A thing's self-identity can't be a universal, since we can know it a priori [Armstrong, by Oliver] |
| 8119 | Art aims only at beauty, of form, of idea, and (above all) of expression [Winckelmann, by Tolstoy] |