24 ideas
9208 | Philosophers with a new concept are like children with a new toy [Fine,K] |
9331 | How do we determine which of the sentences containing a term comprise its definition? [Horwich] |
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] |
9333 | A priori belief is not necessarily a priori justification, or a priori knowledge [Horwich] |
9342 | Understanding needs a priori commitment [Horwich] |
9332 | Meaning is generated by a priori commitment to truth, not the other way around [Horwich] |
9341 | Meanings and concepts cannot give a priori knowledge, because they may be unacceptable [Horwich] |
9334 | If we stipulate the meaning of 'number' to make Hume's Principle true, we first need Hume's Principle [Horwich] |
9339 | A priori knowledge (e.g. classical logic) may derive from the innate structure of our minds [Horwich] |
9207 | If sentence content is all worlds where it is true, all necessary truths have the same content! [Fine,K] |