19 ideas
9208 | Philosophers with a new concept are like children with a new toy [Fine,K] |
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] |
9210 | Possible objects are abstract; actual concrete objects are possible; so abstract/concrete are compatible [Fine,K] |
9211 | A non-standard realism, with no privileged standpoint, might challenge its absoluteness or coherence [Fine,K] |
9202 | Objects, as well as sentences, can have logical form [Fine,K] |
9206 | We must distinguish between the identity or essence of an object, and its necessary features [Fine,K] |
9205 | The three basic types of necessity are metaphysical, natural and normative [Fine,K] |
9209 | Metaphysical necessity may be 'whatever the circumstance', or 'regardless of circumstances' [Fine,K] |
9200 | Empiricists suspect modal notions: either it happens or it doesn't; it is just regularities. [Fine,K] |
2614 | Modern phenomenalism holds that objects are logical constructions out of sense-data [Ayer] |
2615 | The concept of sense-data allows us to discuss appearances without worrying about reality [Ayer] |
9207 | If sentence content is all worlds where it is true, all necessary truths have the same content! [Fine,K] |