Combining Texts

All the ideas for 'Frege's Theory of Numbers', 'Possible Worlds and Necessary A Posteriori' and 'How to Russell a Frege-Church'

unexpand these ideas     |    start again     |     specify just one area for these texts


9 ideas

5. Theory of Logic / F. Referring in Logic / 2. Descriptions / c. Theory of definite descriptions
For Russell, expressions dependent on contingent circumstances must be eliminated [Kaplan]
     Full Idea: It is a tenet of Russell's theory that all expressions, and especially definite descriptions, whose denotation is dependent upon contingent circumstances must be eliminated.
     From: David Kaplan (How to Russell a Frege-Church [1975], II)
6. Mathematics / A. Nature of Mathematics / 4. Using Numbers / c. Counting procedure
Parsons says counting is tagging as first, second, third..., and converting the last to a cardinal [Parsons,C, by Heck]
     Full Idea: In Parsons's demonstrative model of counting, '1' means the first, and counting says 'the first, the second, the third', where one is supposed to 'tag' each object exactly once, and report how many by converting the last ordinal into a cardinal.
     From: report of Charles Parsons (Frege's Theory of Numbers [1965]) by Richard G. Heck - Cardinality, Counting and Equinumerosity 3
     A reaction: This sounds good. Counting seems to rely on that fact that numbers can be both ordinals and cardinals. You don't 'convert' at the end, though, because all the way you mean 'this cardinality in this order'.
9. Objects / D. Essence of Objects / 9. Essence and Properties
How do we tell a table's being contingently plastic from its being essentially plastic? [Jackson]
     Full Idea: On a friendly reading of Quine, there is nothing to make the difference between a table's being contingently plastic and its being essentially plastic.
     From: Frank Jackson (Possible Worlds and Necessary A Posteriori [2010], 5)
     A reaction: This is, of course, the dreaded modern usage of 'essential' to just mean 'necessary' and nothing more. In my view, there may be a big problem with knowing whether a problem is necessary, but knowing whether it is essential is much easier.
An x is essentially F if it is F in every possible world in which it appears [Jackson]
     Full Idea: On the possible world's account, x's being essentially F is nothing more nor less than x's being F in every world in which it appears.
     From: Frank Jackson (Possible Worlds and Necessary A Posteriori [2010], 6)
     A reaction: There you go - 'true in every possible world' is the definition of metaphysical necessity, not the definition of essence. Either get back to Aristotle, or stop (forever!) talking about 'essence'!
9. Objects / D. Essence of Objects / 15. Against Essentialism
Quine may have conflated de re and de dicto essentialism, but there is a real epistemological problem [Jackson]
     Full Idea: The unfriendly response to Quine's objection to essentialism is that it conflates the de re and the de dicto. The friendly response is that behind that conflation is a real epistemological problem for essentialism.
     From: Frank Jackson (Possible Worlds and Necessary A Posteriori [2010], 1)
     A reaction: He cites Richard Cartwright 1968 for the friendly response. The epistemological question is how we can know the essentialness of an essence.
10. Modality / D. Knowledge of Modality / 3. A Posteriori Necessary
How can you show the necessity of an a posteriori necessity, if it might turn out to be false? [Jackson]
     Full Idea: If something is offered as a candidate necessary a posteriori truth, how could we show that it is necessary, in the face of the fact that it takes investigation to show that it is true, and so, in some sense, it might have turned out to be false?
     From: Frank Jackson (Possible Worlds and Necessary A Posteriori [2010], 1)
     A reaction: This is the topic of his paper, which he compares with how we can know that essences are essential.
10. Modality / E. Possible worlds / 3. Transworld Objects / d. Haecceitism
'Haecceitism' says that sameness or difference of individuals is independent of appearances [Kaplan]
     Full Idea: The doctrine that we can ask whether this is the same individual in another possible world, and that a common 'thisness' may underlie extreme dissimilarity, or distinct thisnesses may underlie great resemblance, I call 'Haecceitism'.
     From: David Kaplan (How to Russell a Frege-Church [1975], IV)
     A reaction: Penelope Mackie emphasises that this doctrine, that each thing is somehow individuated, is not the same as believing in actual haecceities, specific properties which achieve the individuating.
'Haecceitism' is common thisness under dissimilarity, or distinct thisnesses under resemblance [Kaplan]
     Full Idea: That a common 'thisness' may underlie extreme dissimilarity or distinct thisnesses may underlie great resemblance I call 'haecceitism'. (I prefer the pronunciation Hex'-ee-i-tis-m).
     From: David Kaplan (How to Russell a Frege-Church [1975], IV)
     A reaction: [odd pronunciation, if 'haec' is pronounced haeek] The view seems to be very unpopular (e.g. with Lewis, Bird and Mumford). But there is an intuitive sense of whether or not two things are identical when they seem dissimilar.
If quantification into modal contexts is legitimate, that seems to imply some form of haecceitism [Kaplan]
     Full Idea: If one regards the usual form of quantification into modal and other intensional contexts - modality de re - as legitimate (without special explanations), then one seems committed to some form of haecceitism.
     From: David Kaplan (How to Russell a Frege-Church [1975], IV)
     A reaction: That is, modal reference requires fixed identities, irrespective of possible changes in properties. Why could one not refer to objects just as bundles of properties, with some sort of rules about when it ceased to be that particular bundle (keep 60%?)?