Ideas from 'Naming and Necessity lectures' by Saul A. Kripke [1970], by Theme Structure
[found in 'Naming and Necessity' by Kripke,Saul [Blackwell 1980,0-631-12801-8]].
green numbers give full details |
back to texts
|
expand these ideas
1. Philosophy / E. Nature of Metaphysics / 2. Possibility of Metaphysics
16395
|
Kripke separated semantics from metaphysics, rather than linking them, making the latter independent [Stalnaker]
|
1. Philosophy / F. Analytic Philosophy / 4. Conceptual Analysis
17034
|
Analyses of concepts using entirely different terms are very inclined to fail
|
2. Reason / D. Definition / 2. Aims of Definition
4955
|
Some definitions aim to fix a reference rather than give a meaning
|
4. Formal Logic / D. Modal Logic ML / 1. Modal Logic
10559
|
Kripke's modal semantics presupposes certain facts about possible worlds [Zalta]
|
5. Theory of Logic / F. Referring in Logic / 1. Naming / a. Names
10437
|
Names are rigid, making them unlike definite descriptions [Sainsbury]
|
4949
|
Names are rigid designators, which designate the same object in all possible worlds
|
5. Theory of Logic / F. Referring in Logic / 1. Naming / b. Names as descriptive
4951
|
A bundle of qualities is a collection of abstractions, so it can't be a particular
|
17031
|
A name can still refer even if it satisfies none of its well-known descriptions
|
5. Theory of Logic / F. Referring in Logic / 1. Naming / c. Names as referential
8957
|
Some references, such as 'Neptune', have to be fixed by description rather than baptism [Szabó]
|
10428
|
Proper names must have referents, because they are not descriptive [Sainsbury]
|
4959
|
A name's reference is not fixed by any marks or properties of the referent
|
7. Existence / D. Theories of Reality / 2. Realism
14896
|
Kripke's metaphysics (essences, kinds, rigidity) blocks the slide into sociology [Ladyman/Ross]
|
9. Objects / A. Existence of Objects / 5. Individuation / b. Individuation by properties
17647
|
Kripke individuates objects by essential modal properties (and presupposes essentialism) [Putnam]
|
9. Objects / C. Structure of Objects / 6. Constitution of an Object
16995
|
Given that a table is made of molecules, could it not be molecular and still be this table?
|
17047
|
If we imagine this table made of ice or different wood, we are imagining a different table
|
9. Objects / D. Essence of Objects / 2. Types of Essence
5450
|
For Kripke, essence is origin; for Putnam, essence is properties; for Wiggins, essence is membership of a kind [Mautner]
|
9. Objects / D. Essence of Objects / 5. Essence as Kind
17055
|
Atomic number 79 is part of the nature of the gold we know
|
9. Objects / D. Essence of Objects / 7. Essence and Necessity / a. Essence as necessary properties
16997
|
An essential property is true of an object in any case where it would have existed
|
17045
|
De re modality is an object having essential properties
|
9. Objects / D. Essence of Objects / 9. Essence and Properties
17030
|
Important properties of an object need not be essential to it
|
9. Objects / D. Essence of Objects / 10. Essence as Species
16955
|
Kripke says internal structure fixes species; I say it is genetic affinity and a common descent [Dummett]
|
16996
|
Given that Nixon is indeed a human being, that he might not have been does not concern knowledge
|
9. Objects / D. Essence of Objects / 14. Knowledge of Essences
13971
|
Kripke claims that some properties, only knowable posteriori, are known a priori to be essential [Soames]
|
12100
|
An essence is the necessary properties, derived from an intuitive identity, in origin, type and material [Witt]
|
9. Objects / E. Objects over Time / 1. Objects over Time
16991
|
No one seems to know the identity conditions for a material object (or for people) over time
|
9. Objects / E. Objects over Time / 12. Origin as Essential
11867
|
If we lose track of origin, how do we show we are maintaining a reference? [Wiggins]
|
12018
|
Kripke argues, of the Queen, that parents of an organism are essentially so [Forbes,G]
|
17046
|
Could the actual Queen have been born of different parents?
|
8274
|
Socrates can't have a necessary origin, because he might have had no 'origin' [Lowe]
|
9. Objects / F. Identity among Objects / 6. Identity between Objects
17038
|
If Hesperus and Phosophorus are the same, they can't possibly be different
|
17036
|
Identity statements can be contingent if they rely on descriptions
|
10. Modality / A. Necessity / 2. Nature of Necessity
11880
|
Kripke says his necessary a posteriori examples are known a priori to be necessary [Mackie,P]
|
10. Modality / A. Necessity / 7. Natural Necessity
4797
|
Instead of being regularities, maybe natural laws are the weak a posteriori necessities of Kripke [Psillos]
|
17037
|
Physical necessity may be necessity in the highest degree
|
10. Modality / D. Knowledge of Modality / 1. A Priori Necessary
4728
|
Kripke separates necessary and a priori, proposing necessary a posteriori and contingent a priori examples [O'Grady]
|
16990
|
A priori = Necessary because we imagine all worlds, and we know without looking at actuality?
|
10. Modality / D. Knowledge of Modality / 2. A Priori Contingent
9386
|
The meter is defined necessarily, but the stick being one meter long is contingent a priori
|
10. Modality / D. Knowledge of Modality / 3. A Posteriori Necessary
2408
|
Kripke has demonstrated that some necessary truths are only knowable a posteriori [Chalmers]
|
4960
|
"'Hesperus' is 'Phosphorus'" is necessarily true, if it is true, but not known a priori
|
4966
|
Theoretical identities are between rigid designators, and so are necessary a posteriori
|
10. Modality / D. Knowledge of Modality / 4. Conceivable as Possible / a. Conceivable as possible
13967
|
Kripke's essentialist necessary a posteriori opened the gap between conceivable and really possible [Soames]
|
13970
|
Kripke gets to the necessary a posteriori by only allowing conceivability when combined with actuality [Soames]
|
10. Modality / E. Possible worlds / 2. Nature of Possible Worlds / a. Nature of possible worlds
16992
|
Possible worlds aren't puzzling places to learn about, but places we ourselves describe
|
10. Modality / E. Possible worlds / 3. Transworld Objects / a. Transworld identity
16993
|
If we discuss what might have happened to Nixon, we stipulate that it is about Nixon
|
16998
|
Transworld identification is unproblematic, because we stipulate that we rigidly refer to something
|
17001
|
A table in some possible world should not even be identified by its essential properties
|
4952
|
Identification across possible worlds does not need properties, even essential ones
|
10. Modality / E. Possible worlds / 3. Transworld Objects / b. Rigid designation
7761
|
Test for rigidity by inserting into the sentence 'N might not have been N' [Lycan]
|
7693
|
Kripke avoids difficulties of transworld identity by saying it is a decision, not a discovery [Jacquette]
|
5821
|
Saying that natural kinds are 'rigid designators' is the same as saying they are 'indexical' [Putnam]
|
14068
|
If Kripke names must still denote a thing in a non-actual situation, the statue isn't its clay [Gibbard]
|
10436
|
A rigid expression may refer at a world to an object not existing in that world [Sainsbury]
|
4953
|
We do not begin with possible worlds and place objects in them; we begin with objects in the real world
|
4961
|
It is a necessary truth that Elizabeth II was the child of two particular parents
|
10. Modality / E. Possible worlds / 3. Transworld Objects / e. Possible Objects
16986
|
That there might have been unicorns is false; we don't know the circumstances for unicorns
|
12. Knowledge Sources / A. A Priori Knowledge / 1. Nature of the A Priori
8259
|
Kripke has breathed new life into the a priori/a posteriori distinction [Lowe]
|
16989
|
Rather than 'a priori truth', it is best to stick to whether some person knows it on a priori evidence
|
4947
|
A priori truths can be known independently of experience - but they don't have to be
|
12. Knowledge Sources / A. A Priori Knowledge / 8. A Priori as Analytic
13975
|
Kripke was more successful in illuminating necessity than a priority (and their relations to analyticity) [Soames]
|
17048
|
Analytic judgements are a priori, even when their content is empirical
|
12. Knowledge Sources / E. Direct Knowledge / 2. Intuition
4948
|
Intuition is the strongest possible evidence one can have about anything
|
14. Science / B. Scientific Theories / 1. Scientific Theory
4958
|
Identities like 'heat is molecule motion' are necessary (in the highest degree), not contingent
|
17. Mind and Body / A. Mind-Body Dualism / 7. Zombies
4967
|
It seems logically possible to have the pain brain state without the actual pain
|
17. Mind and Body / E. Mind as Physical / 1. Physical Mind
7430
|
Kripke assumes that mind-brain identity designates rigidly, which it doesn't [Armstrong]
|
17. Mind and Body / E. Mind as Physical / 7. Anti-Physicalism / e. Modal argument
7867
|
If consciousness could separate from brain, then it cannot be identical with brain [Papineau]
|
3228
|
Kripke says pain is necessarily pain, but a brain state isn't necessarily painful [Rey]
|
5832
|
Identity must be necessary, but pain isn't necessarily a brain state, so they aren't identical [Schwartz,SP]
|
4968
|
Identity theorists seem committed to no-brain-event-no-pain, and vice versa, which seems wrong
|
19. Language / B. Reference / 3. Direct Reference / a. Direct reference
17874
|
Kripke has a definitional account of kinds, but not of naming [Almog]
|
16394
|
Kripke derives accounts of reference and proper names from assumptions about worlds and essences [Stalnaker]
|
19. Language / B. Reference / 3. Direct Reference / b. Causal reference
5822
|
The important cause is not between dubbing and current use, but between the item and the speaker's information [Evans]
|
17033
|
We may refer through a causal chain, but still change what is referred to
|
19. Language / B. Reference / 3. Direct Reference / c. Social reference
4689
|
Kripke makes reference a largely social matter, external to the mind of the speaker [McGinn]
|
17504
|
Kripke's theory is important because it gives a collective account of reference [Putnam]
|
17035
|
We refer through the community, going back to the original referent
|
19. Language / B. Reference / 4. Descriptive Reference / b. Reference by description
16988
|
Descriptive reference shows how to refer, how to identify two things, and how to challenge existence [PG]
|
17029
|
It can't be necessary that Aristotle had the properties commonly attributed to him
|
19. Language / C. Assigning Meanings / 10. Two-Dimensional Semantics
14893
|
Rigid designation creates a puzzle - why do some necessary truths appear to be contingent? [Macià/Garcia-Carpentiro]
|
26. Natural Theory / B. Natural Kinds / 5. Reference to Natural Kinds
17056
|
Terms for natural kinds are very close to proper names
|
4963
|
The properties that fix reference are contingent, the properties involving meaning are necessary
|
26. Natural Theory / B. Natural Kinds / 6. Necessity of Kinds
17053
|
Gold's atomic number might not be 79, but if it is, could non-79 stuff be gold?
|
4964
|
'Cats are animals' has turned out to be a necessary truth
|
26. Natural Theory / B. Natural Kinds / 7. Critique of Kinds
6765
|
Nominal essence may well be neither necessary nor sufficient for a natural kind [Bird]
|
26. Natural Theory / D. Laws of Nature / 8. Scientific Essentialism / b. Scientific necessity
9387
|
The scientific discovery (if correct) that gold has atomic number 79 is a necessary truth
|
17054
|
Scientific discoveries about gold are necessary truths
|
17057
|
Once we've found that heat is molecular motion, then that's what it is, in all possible worlds
|
26. Natural Theory / D. Laws of Nature / 8. Scientific Essentialism / d. Knowing essences
4965
|
Science searches basic structures in search of essences
|
27. Natural Reality / G. Biology / 5. Species
17049
|
'Tiger' designates a species, and merely looking like the species is not enough
|
17051
|
The original concept of 'cat' comes from paradigmatic instances
|
17050
|
Tigers may lack all the properties we originally used to identify them
|