28 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] |
| 18755 | Validity is explained as truth in all models, because that relies on the logical terms [McGee] |
| 13851 | Unlike most other signs, = cannot be eliminated [Engelbretsen/Sayward] |
| 18751 | Natural language includes connectives like 'because' which are not truth-functional [McGee] |
| 18761 | Second-order variables need to range over more than collections of first-order objects [McGee] |
| 18753 | An ontologically secure semantics for predicate calculus relies on sets [McGee] |
| 18754 | Logically valid sentences are analytic truths which are just true because of their logical words [McGee] |
| 18757 | Soundness theorems are uninformative, because they rely on soundness in their proofs [McGee] |
| 13852 | Axioms are ω-incomplete if the instances are all derivable, but the universal quantification isn't [Engelbretsen/Sayward] |
| 18760 | The culmination of Euclidean geometry was axioms that made all models isomorphic [McGee] |
| 23805 | Some explanations offer to explain a mystery by a greater mystery [Schulte] |
| 23796 | Naturalists must explain both representation, and what is represented [Schulte] |
| 23793 | On the whole, referential content is seen as broad, and sense content as narrow [Schulte] |
| 23795 | Naturalistic accounts of content cannot rely on primitive mental or normative notions [Schulte] |
| 23806 | Naturalist accounts of representation must match the views of cognitive science [Schulte] |
| 23804 | Maybe we can explain mental content in terms of phenomenal properties [Schulte] |
| 23792 | Phenomenal and representational character may have links, or even be united [Schulte] |
| 23802 | Conceptual role semantics says content is determined by cognitive role [Schulte] |
| 23797 | Cause won't explain content, because one cause can produce several contents [Schulte] |
| 23799 | Teleosemantics explains content in terms of successful and unsuccessful functioning [Schulte] |
| 23800 | Teleosemantic explanations say content is the causal result of naturally selected functions [Schulte] |
| 23798 | Information theories say content is information, such as smoke making fire probable [Schulte] |
| 18762 | A maxim claims that if we are allowed to assert a sentence, that means it must be true [McGee] |