15 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] |
| 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] |
| 22465 | We see a moral distinction between doing and allowing to happen [Foot] |
| 22466 | We see a moral distinction between our aims and their foreseen consequences [Foot] |
| 22467 | Acts and omissions only matter if they concern doing something versus allowing it [Foot] |
| 21836 | Philosophers after Aristotle endorsed the medical analogy for eudaimonia [Nussbaum, by Flanagan] |
| 22470 | A good moral system benefits its participants, and so demands reciprocity [Foot] |
| 22468 | Virtues can have aims, but good states of affairs are not among them [Foot] |
| 22469 | Some virtues imply rules, and others concern attachment [Foot] |