7 ideas
| 8447 | In 'Etna is higher than Vesuvius' the whole of Etna, including all the lava, can't be the reference [Frege] |
| Full Idea: The reference of 'Etna' cannot be Mount Etna itself, because each piece of frozen lava which is part of Mount Etna would then also be part of the thought that Etna is higher than Vesuvius. | |
| From: Gottlob Frege (Letters to Jourdain [1910], p.43) | |
| A reaction: This seems to be a straight challenge to Kripke's baptismal account of reference. I think I side with Kripke. Frege is allergic to psychological accounts, but the mind only has the capacity to think of the aspect of Etna that is relevant. |
| 8448 | Any object can have many different names, each with a distinct sense [Frege] |
| Full Idea: An object can be determined in different ways, and every one of these ways of determining it can give rise to a special name, and these different names then have different senses. | |
| From: Gottlob Frege (Letters to Jourdain [1910], p.44) | |
| A reaction: This seems right. No name is an entirely neutral designator. Imagine asking a death-camp survivor their name, and they give you their prison number. Sense clearly intrudes into names. But picking out the object is what really matters. |
| 3425 | Reduction has been defined as deriving one theory from another by logic and maths [Nagel,E, by Kim] |
| Full Idea: Ernest Nagel defines reduction as the possibility of deriving all laws of one theory by logic and mathematics to another theory, with appropriate 'bridging principles' (either definitions, or empirical laws) connecting the expressions of the two theories. | |
| From: report of Ernest Nagel (The Structure of Science [1961]) by Jaegwon Kim - Philosophy of Mind p.213 | |
| A reaction: This has been labelled as 'weak' reduction, where 'strong' reduction would be identity, as when lightning is reduced to electrical discharge. You reduce x by showing that it is y in disguise. |
| 14082 | No sortal could ever exactly pin down which set of particles count as this 'cup' [Schaffer,J] |
| Full Idea: Many decent candidates could the referent of this 'cup', differing over whether outlying particles are parts. No further sortal I could invoke will be selective enough to rule out all but one referent for it. | |
| From: Jonathan Schaffer (Deflationary Metaontology of Thomasson [2009], 3.1 n8) | |
| A reaction: I never had much faith in sortals for establishing individual identity, so this point comes as no surprise. The implication is strongly realist - that the cup has an identity which is permanently beyond our capacity to specify it. |
| 14081 | Identities can be true despite indeterminate reference, if true under all interpretations [Schaffer,J] |
| Full Idea: There can be determinately true identity claims despite indeterminate reference of the terms flanking the identity sign; these will be identity claims true under all admissible interpretations of the flanking terms. | |
| From: Jonathan Schaffer (Deflationary Metaontology of Thomasson [2009], 3.1) | |
| A reaction: In informal contexts there might be problems with the notion of what is 'admissible'. Is 'my least favourite physical object' admissible? |
| 8446 | We understand new propositions by constructing their sense from the words [Frege] |
| Full Idea: The possibility of our understanding propositions which we have never heard before rests on the fact that we construct the sense of a proposition out of parts that correspond to words. | |
| From: Gottlob Frege (Letters to Jourdain [1910], p.43) | |
| A reaction: This is the classic statement of the principle of compositionality, which seems to me so obviously correct that I cannot understand anyone opposing it. Which comes first, the thought or the word, may be a futile debate. |
| 8449 | Senses can't be subjective, because propositions would be private, and disagreement impossible [Frege] |
| Full Idea: If the sense of a name was subjective, then the proposition and the thought would be subjective; the thought one man connects with this proposition would be different from that of another man. One man could not then contradict another. | |
| From: Gottlob Frege (Letters to Jourdain [1910], p.44) | |
| A reaction: This is an implicit argument for the identity of 'proposition' and 'thought'. This argument resembles Plato's argument for universals (Idea 223). See also Kant on existence as a predicate (Idea 4475). But people do misunderstand one another. |