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] |
17292 | Avoid 'in virtue of' for grounding, since it might imply a reflexive relation such as identity [Audi,P] |
17295 | Ground relations depend on the properties [Audi,P] |
17297 | A ball's being spherical non-causally determines its power to roll [Audi,P] |
17302 | Ground is irreflexive, asymmetric, transitive, non-monotonic etc. [Audi,P] |
17303 | The best critique of grounding says it is actually either identity or elimination [Audi,P] |
17294 | Grounding is a singular relation between worldly facts [Audi,P] |
17300 | If grounding relates facts, properties must be included, as well as objects [Audi,P] |
17296 | We must accept grounding, for our important explanations [Audi,P] |
17301 | Reduction is just identity, so the two things are the same fact, so reduction isn't grounding [Audi,P] |
17293 | Worldly facts are obtaining states of affairs, with constituents; conceptual facts also depend on concepts [Audi,P] |
17298 | Two things being identical (like water and H2O) is not an explanation [Audi,P] |
17299 | There are plenty of examples of non-causal explanation [Audi,P] |
18762 | A maxim claims that if we are allowed to assert a sentence, that means it must be true [McGee] |