16 ideas
23449 | Interpreting a text is representing it as making sense [Morris,M] |
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] |
23484 | Bipolarity adds to Bivalence the capacity for both truth values [Morris,M] |
13851 | Unlike most other signs, = cannot be eliminated [Engelbretsen/Sayward] |
23494 | Conjunctive and disjunctive quantifiers are too specific, and are confined to the finite [Morris,M] |
13852 | Axioms are ω-incomplete if the instances are all derivable, but the universal quantification isn't [Engelbretsen/Sayward] |
23460 | To count, we must distinguish things, and have a series with successors in it [Morris,M] |
23451 | Counting needs to distinguish things, and also needs the concept of a successor in a series [Morris,M] |
23452 | Discriminating things for counting implies concepts of identity and distinctness [Morris,M] |
7435 | Dispositions are second-order properties, the property of having some property [Jackson/Pargetter/Prior, by Armstrong] |
23491 | There must exist a general form of propositions, which are predictabe. It is: such and such is the case [Morris,M] |