17 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] |
| 6007 | If you know your father, but don't recognise your father veiled, you know and don't know the same person [Eubulides, by Dancy,R] |
| 6006 | If you say truly that you are lying, you are lying [Eubulides, by Dancy,R] |
| 6008 | Removing one grain doesn't destroy a heap, so a heap can't be destroyed [Eubulides, by Dancy,R] |
| 8329 | Either causal relations are given in experience, or they are unobserved and theoretical [Sosa/Tooley] |
| 8324 | The problem is to explain how causal laws and relations connect, and how they link to the world [Sosa/Tooley] |
| 8328 | Causation isn't energy transfer, because an electron is caused by previous temporal parts [Sosa/Tooley] |
| 8327 | If direction of causation is just direction of energy transfer, that seems to involve causation [Sosa/Tooley] |
| 8330 | Are causes sufficient for the event, or necessary, or both? [Sosa/Tooley] |
| 8325 | The dominant view is that causal laws are prior; a minority say causes can be explained singly [Sosa/Tooley] |