16 ideas
| 5831 | The new view is that "water" is a name, and has no definition [Schwartz,SP] |
| 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] |
| 5829 | We refer to Thales successfully by name, even if all descriptions of him are false [Schwartz,SP] |
| 5830 | The traditional theory of names says some of the descriptions must be correct [Schwartz,SP] |
| 13852 | Axioms are ω-incomplete if the instances are all derivable, but the universal quantification isn't [Engelbretsen/Sayward] |
| 14590 | If we accept scattered objects such as archipelagos, why not think of cars that way? [Hawthorne] |
| 14591 | Four-dimensionalists say instantaneous objects are more fundamental than long-lived ones [Hawthorne] |
| 14589 | A modal can reverse meaning if the context is seen differently, so maybe context is all? [Hawthorne] |
| 5826 | The intension of "lemon" is the conjunction of properties associated with it [Schwartz,SP] |
| 14588 | Modern metaphysicians tend to think space-time points are more fundamental than space-time regions [Hawthorne] |