26 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] |
10017 | Truth in a model is more tractable than the general notion of truth [Hodes] |
10018 | Truth is quite different in interpreted set theory and in the skeleton of its language [Hodes] |
10015 | Higher-order logic may be unintelligible, but it isn't set theory [Hodes] |
10011 | Identity is a level one relation with a second-order definition [Hodes] |
10016 | When an 'interpretation' creates a model based on truth, this doesn't include Fregean 'sense' [Hodes] |
10027 | Mathematics is higher-order modal logic [Hodes] |
10026 | Arithmetic must allow for the possibility of only a finite total of objects [Hodes] |
10021 | It is claimed that numbers are objects which essentially represent cardinality quantifiers [Hodes] |
10022 | Numerical terms can't really stand for quantifiers, because that would make them first-level [Hodes] |
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] |
10023 | Talk of mirror images is 'encoded fictions' about real facts [Hodes] |
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] |