Combining Texts

All the ideas for 'Confessions', 'Naming and Necessity lectures' and 'The Nature of Mathematical Knowledge'

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


144 ideas

1. Philosophy / E. Nature of Metaphysics / 2. Possibility of Metaphysics
Kripke separated semantics from metaphysics, rather than linking them, making the latter independent [Kripke, by Stalnaker]
     Full Idea: Kripke's contribution was not to connect metaphysical and semantic issues, but to separate them: to provide a context in which questions about essences of things could be posed independently of assumptions about semantic rules of reference.
     From: report of Saul A. Kripke (Naming and Necessity lectures [1970]) by Robert C. Stalnaker - Reference and Necessity Intro
     A reaction: In other words, Kripke set metaphysics free from the tyranny of Quine, and facilitated its modern rebirth. Bravo.
1. Philosophy / F. Analytic Philosophy / 4. Conceptual Analysis
Analyses of concepts using entirely different terms are very inclined to fail [Kripke]
     Full Idea: Philosophical analyses of some concept like reference, in completely different terms which make no mention of reference, are very apt to fail.
     From: Saul A. Kripke (Naming and Necessity lectures [1970], Lecture 2)
     A reaction: Kripke consistently criticises analysic, and philosophical 'theories'. It is why he wanted a 'direct' theory of reference, with just you and the object.
2. Reason / D. Definition / 2. Aims of Definition
Some definitions aim to fix a reference rather than give a meaning [Kripke]
     Full Idea: Some things called definitions really intend to fix a reference rather than to give the meaning of a phrase, to give a synonym.
     From: Saul A. Kripke (Naming and Necessity lectures [1970], Lecture 1)
     A reaction: His example is pi. Some definitions relate to reality (e.g. ostensive definition), and others are part of a language game. But then some concepts are dictated to us by reality, and others are arbitrarily invented by us for convenience.
4. Formal Logic / D. Modal Logic ML / 1. Modal Logic
Kripke's modal semantics presupposes certain facts about possible worlds [Kripke, by Zalta]
     Full Idea: Kripke's modal semantics presupposes that worlds are maximal and consistent, that there is a unique actual world, and that worlds are coherent (e.g. lack contradiction, obey conjunction).
     From: report of Saul A. Kripke (Naming and Necessity lectures [1970]) by Edward N. Zalta - Deriving Kripkean Claims with Abstract Objects
4. Formal Logic / E. Nonclassical Logics / 2. Intuitionist Logic
Intuitionists rely on assertability instead of truth, but assertability relies on truth [Kitcher]
     Full Idea: Though it may appear that the intuitionist is providing an account of the connectives couched in terms of assertability conditions, the notion of assertability is a derivative one, ultimately cashed out by appealing to the concept of truth.
     From: Philip Kitcher (The Nature of Mathematical Knowledge [1984], 06.5)
     A reaction: I have quite a strong conviction that Kitcher is right. All attempts to eliminate truth, as some sort of ideal at the heart of ordinary talk and of reasoning, seems to me to be doomed.
5. Theory of Logic / F. Referring in Logic / 1. Naming / a. Names
Names are rigid, making them unlike definite descriptions [Kripke, by Sainsbury]
     Full Idea: It was important to Kripke to contrast the rigidity of names with the non-rigidity of many or most definite descriptions.
     From: report of Saul A. Kripke (Naming and Necessity lectures [1970]) by Mark Sainsbury - The Essence of Reference 18.6
     A reaction: Philosophers always want sharp distinctions, but there are tricky names like 'Homer' and 'Jack the Ripper' where the name is stable, but its referent wobbles.
Names are rigid designators, which designate the same object in all possible worlds [Kripke]
     Full Idea: I will call something a 'rigid designator' if in every possible world it designates the same object, ..and I will maintain the intuitive thesis that names are rigid designators.
     From: Saul A. Kripke (Naming and Necessity lectures [1970], Lecture 1)
     A reaction: The immediate problem seems to be objects that change across possible worlds. Did nature rigidly designate Aristotle (e.g. by his DNA)? Could Aristotle have been shorter, female, cleverer, his own twin? Is the River Thames rigid?
5. Theory of Logic / F. Referring in Logic / 1. Naming / b. Names as descriptive
A bundle of qualities is a collection of abstractions, so it can't be a particular [Kripke]
     Full Idea: I deny that a particular is nothing but a 'bundle of qualities', whatever that may mean. If a quality is an abstract object, a bundle of qualities is an object of an even higher degree of abstraction, not a particular.
     From: Saul A. Kripke (Naming and Necessity lectures [1970], Lecture 1)
     A reaction: Supports the 'baptism' view of reference, rather than Searle's bundle of descriptions. It shows that theories of reference must tie in with theories of universals, and that Searle is a nominalist. Is Kripke trying to duck metaphysical responsibility?
A name can still refer even if it satisfies none of its well-known descriptions [Kripke]
     Full Idea: Suppose the vote yields no object, that nothing satisfies most, or even any, substantial number, of the φ's. Does that mean the name doesn't refer? No.
     From: Saul A. Kripke (Naming and Necessity lectures [1970], Lecture 2)
     A reaction: As example he gives the case of 'Gödel' referring to the famous man, even if none of the descriptions of him are true. In Note 42 he blames the descriptivists for relying too much on famous people.
5. Theory of Logic / F. Referring in Logic / 1. Naming / c. Names as referential
Some references, such as 'Neptune', have to be fixed by description rather than baptism [Kripke, by Szabó]
     Full Idea: Kripke explicitly allows for the introduction of names through initial reference-fixing via descriptions. Versions of the causal theory of reference that disallow this would have a difficult time explaining how the name 'Neptune' came to refer.
     From: report of Saul A. Kripke (Naming and Necessity lectures [1970]) by Zoltán Gendler Szabó - Nominalism 4.2 n35
     A reaction: The initial reference to Neptune has to be by description, but you could still give a baptismal account once it is discovered. The direct contact now takes precedence. Suppose another similar planet was found nearby...
Proper names must have referents, because they are not descriptive [Kripke, by Sainsbury]
     Full Idea: A common source of the view that proper names must have referents is that they are not descriptive (as expressed by Kripke).
     From: report of Saul A. Kripke (Naming and Necessity lectures [1970]) by Mark Sainsbury - The Essence of Reference 18.2
     A reaction: Sainsbury observes that there might be some other way for a name to be intelligible, with describing or referring.
A name's reference is not fixed by any marks or properties of the referent [Kripke]
     Full Idea: It is in general not the case that the reference of a name is determined by some uniquely identifying marks, some unique properties satisfied by the referent and known or believed to be true of that referent by the speaker.
     From: Saul A. Kripke (Naming and Necessity lectures [1970], Lecture 3)
     A reaction: He is proposing, instead, his historical/causal theory. There does seem to be a problem with objects which have a historical 'baptism', and then entirely change their properties. Kripke us desperate for a simple account of reference.
6. Mathematics / A. Nature of Mathematics / 1. Mathematics
Kitcher says maths is an idealisation of the world, and our operations in dealing with it [Kitcher, by Resnik]
     Full Idea: Kitcher says maths is an 'idealising theory', like some in physics; maths idealises features of the world, and practical operations, such as segregating and matching (numbering), measuring, cutting, moving, assembling (geometry), and collecting (sets).
     From: report of Philip Kitcher (The Nature of Mathematical Knowledge [1984]) by Michael D. Resnik - Maths as a Science of Patterns One.4.2.2
     A reaction: This seems to be an interesting line, which is trying to be fairly empirical, and avoid basing mathematics on purely a priori understanding. Nevertheless, we do not learn idealisation from experience. Resnik labels Kitcher an anti-realist.
Mathematical a priorism is conceptualist, constructivist or realist [Kitcher]
     Full Idea: Proposals for a priori mathematical knowledge have three main types: conceptualist (true in virtue of concepts), constructivist (a construct of the human mind) and realist (in virtue of mathematical facts).
     From: Philip Kitcher (The Nature of Mathematical Knowledge [1984], 02.3)
     A reaction: Realism is pure platonism. I think I currently vote for conceptualism, with the concepts deriving from the concrete world, and then being extended by fictional additions, and shifts in the notion of what 'number' means.
The interest or beauty of mathematics is when it uses current knowledge to advance undestanding [Kitcher]
     Full Idea: What makes a question interesting or gives it aesthetic appeal is its focussing of the project of advancing mathematical understanding, in light of the concepts and systems of beliefs already achieved.
     From: Philip Kitcher (The Nature of Mathematical Knowledge [1984], 09.3)
     A reaction: Kitcher defends explanation (the source of understanding, presumably) in terms of unification with previous theories (the 'concepts and systems'). I always have the impression that mathematicians speak of 'beauty' when they see economy of means.
The 'beauty' or 'interest' of mathematics is just explanatory power [Kitcher]
     Full Idea: Insofar as we can honor claims about the aesthetic qualities or the interest of mathematical inquiries, we should do so by pointing to their explanatory power.
     From: Philip Kitcher (The Nature of Mathematical Knowledge [1984], 09.4)
     A reaction: I think this is a good enough account for me (but probably not for my friend Carl!). Beautiful cars are particularly streamlined. Beautiful people look particularly healthy. A beautiful idea is usually wide-ranging.
6. Mathematics / A. Nature of Mathematics / 3. Nature of Numbers / g. Real numbers
Real numbers stand to measurement as natural numbers stand to counting [Kitcher]
     Full Idea: The real numbers stand to measurement as the natural numbers stand to counting.
     From: Philip Kitcher (The Nature of Mathematical Knowledge [1984], 06.4)
6. Mathematics / A. Nature of Mathematics / 3. Nature of Numbers / j. Complex numbers
Complex numbers were only accepted when a geometrical model for them was found [Kitcher]
     Full Idea: An important episode in the acceptance of complex numbers was the development by Wessel, Argand, and Gauss, of a geometrical model of the numbers.
     From: Philip Kitcher (The Nature of Mathematical Knowledge [1984], 07.5)
     A reaction: The model was in terms of vectors and rotation. New types of number are spurned until they can be shown to integrate into a range of mathematical practice, at which point mathematicians change the meaning of 'number' (without consulting us).
6. Mathematics / A. Nature of Mathematics / 4. Using Numbers / a. Units
A one-operation is the segregation of a single object [Kitcher]
     Full Idea: We perform a one-operation when we perform a segregative operation in which a single object is segregated.
     From: Philip Kitcher (The Nature of Mathematical Knowledge [1984], 06.3)
     A reaction: This is part of Kitcher's empirical but constructive account of arithmetic, which I find very congenial. He avoids the word 'unit', and goes straight to the concept of 'one' (which he treats as more primitive than zero).
6. Mathematics / A. Nature of Mathematics / 4. Using Numbers / g. Applying mathematics
The old view is that mathematics is useful in the world because it describes the world [Kitcher]
     Full Idea: There is an old explanation of the utility of mathematics. Mathematics describes the structural features of our world, features which are manifested in the behaviour of all the world's inhabitants.
     From: Philip Kitcher (The Nature of Mathematical Knowledge [1984], 06.1)
     A reaction: He only cites Russell in modern times as sympathising with this view, but Kitcher gives it some backing. I think the view is totally correct. The digression produced by Cantorian infinities has misled us.
6. Mathematics / A. Nature of Mathematics / 5. The Infinite / k. Infinitesimals
With infinitesimals, you divide by the time, then set the time to zero [Kitcher]
     Full Idea: The method of infinitesimals is that you divide by the time, and then set the time to zero.
     From: Philip Kitcher (The Nature of Mathematical Knowledge [1984], 10.2)
6. Mathematics / C. Sources of Mathematics / 2. Intuition of Mathematics
Mathematical intuition is not the type platonism needs [Kitcher]
     Full Idea: The intuitions of which mathematicians speak are not those which Platonism requires.
     From: Philip Kitcher (The Nature of Mathematical Knowledge [1984], 03.3)
     A reaction: The point is that it is not taken to be a 'special' ability, but rather a general insight arising from knowledge of mathematics. I take that to be a good account of intuition, which I define as 'inarticulate rationality'.
If mathematics comes through intuition, that is either inexplicable, or too subjective [Kitcher]
     Full Idea: If mathematical statements are don't merely report features of transient and private mental entities, it is unclear how pure intuition generates mathematical knowledge. But if they are, they express different propositions for different people and times.
     From: Philip Kitcher (The Nature of Mathematical Knowledge [1984], 03.1)
     A reaction: This seems to be the key dilemma which makes Kitcher reject intuition as an a priori route to mathematics. We do, though, just seem to 'see' truths sometimes, and are unable to explain how we do it.
Intuition is no basis for securing a priori knowledge, because it is fallible [Kitcher]
     Full Idea: The process of pure intuition does not measure up to the standards required of a priori warrants not because it is sensuous but because it is fallible.
     From: Philip Kitcher (The Nature of Mathematical Knowledge [1984], 03.2)
6. Mathematics / C. Sources of Mathematics / 4. Mathematical Empiricism / a. Mathematical empiricism
Mathematical knowledge arises from basic perception [Kitcher]
     Full Idea: Mathematical knowledge arises from rudimentary knowledge acquired by perception.
     From: Philip Kitcher (The Nature of Mathematical Knowledge [1984], Intro)
     A reaction: This is an empiricist manifesto, which asserts his allegiance to Mill, and he gives a sophisticated account of how higher mathematics can be accounted for in this way. Well, he tries to.
My constructivism is mathematics as an idealization of collecting and ordering objects [Kitcher]
     Full Idea: The constructivist position I defend claims that mathematics is an idealized science of operations which can be performed on objects in our environment. It offers an idealized description of operations of collecting and ordering.
     From: Philip Kitcher (The Nature of Mathematical Knowledge [1984], Intro)
     A reaction: I think this is right. What is missing from Kitcher's account (and every other account I've met) is what is meant by 'idealization'. How do you go about idealising something? Hence my interest in the psychology of abstraction.
We derive limited mathematics from ordinary things, and erect powerful theories on their basis [Kitcher]
     Full Idea: I propose that a very limited amount of our mathematical knowledge can be obtained by observations and manipulations of ordinary things. Upon this small base we erect the powerful general theories of modern mathematics.
     From: Philip Kitcher (The Nature of Mathematical Knowledge [1984], 05.2)
     A reaction: I agree. The three related processes that take us from the experiential base of mathematics to its lofty heights are generalisation, idealisation and abstraction.
The defenders of complex numbers had to show that they could be expressed in physical terms [Kitcher]
     Full Idea: Proponents of complex numbers had ultimately to argue that the new operations shared with the original paradigms a susceptibility to construal in physical terms. The geometrical models of complex numbers answered to this need.
     From: Philip Kitcher (The Nature of Mathematical Knowledge [1984], 07.5)
     A reaction: [A nice example of the verbose ideas which this website aims to express in plain English!] The interest is not that they had to be described physically (which may pander to an uninformed audience), but that they could be so described.
6. Mathematics / C. Sources of Mathematics / 6. Logicism / d. Logicism critique
Analyticity avoids abstract entities, but can there be truth without reference? [Kitcher]
     Full Idea: Philosophers who hope to avoid commitment to abstract entities by claiming that mathematical statements are analytic must show how analyticity is, or provides a species of, truth not requiring reference.
     From: Philip Kitcher (The Nature of Mathematical Knowledge [1984], 04.I)
     A reaction: [the last part is a quotation from W.D. Hart] Kitcher notes that Frege has a better account, because he provides objects to which reference can be made. I like this idea, which seems to raise a very large question, connected to truthmakers.
6. Mathematics / C. Sources of Mathematics / 10. Constructivism / a. Constructivism
Arithmetic is an idealizing theory [Kitcher]
     Full Idea: I construe arithmetic as an idealizing theory.
     From: Philip Kitcher (The Nature of Mathematical Knowledge [1984], 06.2)
     A reaction: I find 'generalising' the most helpful word, because everyone seems to understand and accept the idea. 'Idealisation' invokes 'ideals', which lots of people dislike, and lots of philosophers seem to have trouble with 'abstraction'.
Arithmetic is made true by the world, but is also made true by our constructions [Kitcher]
     Full Idea: I want to suggest both that arithmetic owes its truth to the structure of the world and that arithmetic is true in virtue of our constructive activity.
     From: Philip Kitcher (The Nature of Mathematical Knowledge [1984], 06.2)
     A reaction: Well said, but the problem seems no more mysterious to me than the fact that trees grow in the woods and we build houses out of them. I think I will declare myself to be an 'empirical constructivist' about mathematics.
We develop a language for correlations, and use it to perform higher level operations [Kitcher]
     Full Idea: The development of a language for describing our correlational activity itself enables us to perform higher level operations.
     From: Philip Kitcher (The Nature of Mathematical Knowledge [1984], 06.2)
     A reaction: This is because all language itself (apart from proper names) is inherently general, idealised and abstracted. He sees the correlations as the nested collections expressed by set theory.
Constructivism is ontological (that it is the work of an agent) and epistemological (knowable a priori) [Kitcher]
     Full Idea: The constructivist ontological thesis is that mathematics owes its truth to the activity of an actual or ideal subject. The epistemological thesis is that we can have a priori knowledge of this activity, and so recognise its limits.
     From: Philip Kitcher (The Nature of Mathematical Knowledge [1984], 06.5)
     A reaction: The mention of an 'ideal' is Kitcher's personal view. Kitcher embraces the first view, and rejects the second.
6. Mathematics / C. Sources of Mathematics / 10. Constructivism / c. Conceptualism
Conceptualists say we know mathematics a priori by possessing mathematical concepts [Kitcher]
     Full Idea: Conceptualists claim that we have basic a priori knowledge of mathematical axioms in virtue of our possession of mathematical concepts.
     From: Philip Kitcher (The Nature of Mathematical Knowledge [1984], 04.1)
     A reaction: I sympathise with this view. If concepts are reasonably clear, they will relate to one another in certain ways. How could they not? And how else would you work out those relations other than by thinking about them?
If meaning makes mathematics true, you still need to say what the meanings refer to [Kitcher]
     Full Idea: Someone who believes that basic truths of mathematics are true in virtue of meaning is not absolved from the task of saying what the referents of mathematical terms are, or ...what mathematical reality is like.
     From: Philip Kitcher (The Nature of Mathematical Knowledge [1984], 04.6)
     A reaction: Nice question! He's a fan of getting at the explanatory in mathematics.
7. Existence / A. Nature of Existence / 2. Types of Existence
I prefer a lack of form to mean non-existence, than to think of some quasi-existence [Augustine]
     Full Idea: I sooner judged that what lacks all form does not exist, than thought of as something in between form and nothing, neither formed nor nothing, unformed and next to nothing.
     From: Augustine (Confessions [c.398], XII.6), quoted by Robert Pasnau - Metaphysical Themes 1274-1671 03.1
     A reaction: Scholastics were struck by the contrast between this remark, and the remark of Averroes (Idea 16587) that prime matter was halfway existence. Their two great authorities disagreed! This sort of thing stimulated the revival of metaphysics.
7. Existence / D. Theories of Reality / 1. Ontologies
Three main questions seem to be whether a thing is, what it is, and what sort it is [Augustine]
     Full Idea: I am told that I can ask three sorts of questions - whether a thing is, what it is, and what sort it is.
     From: Augustine (Confessions [c.398], X.10)
     A reaction: This seems to be a very Aristotelian approach. I am pleased to see that what it is and what sort it is are not conflated. The first one must be its individual essence, and the second its generic essence.
7. Existence / D. Theories of Reality / 2. Realism
Kripke's metaphysics (essences, kinds, rigidity) blocks the slide into sociology [Kripke, by Ladyman/Ross]
     Full Idea: Kripke's metaphysics of essences, natural kinds, and rigid designation gave philosophers a means of avoiding the relativist path that was bound to end in the tears of sociology.
     From: report of Saul A. Kripke (Naming and Necessity lectures [1970]) by J Ladyman / D Ross - Every Thing Must Go 1.2
     A reaction: They are contemptuous of Kripke's project, but this is the core of it. He was making a stand against Kuhn, and trying to build a metaphysics for realism. Good for Kripke.
9. Objects / A. Existence of Objects / 2. Abstract Objects / b. Need for abstracta
Abstract objects were a bad way of explaining the structure in mathematics [Kitcher]
     Full Idea: The original introduction of abstract objects was a bad way of doing justice to the insight that mathematics is concerned with structure.
     From: Philip Kitcher (The Nature of Mathematical Knowledge [1984], 06.1)
     A reaction: I'm a fan of explanations in metaphysics, and hence find the concept of 'bad' explanations in metaphysics particularly intriguing.
9. Objects / A. Existence of Objects / 5. Individuation / b. Individuation by properties
Kripke individuates objects by essential modal properties (and presupposes essentialism) [Kripke, by Putnam]
     Full Idea: The difficulty is that Kripke individuates objects by their modal properties, by what they (essentially) could and could not be. Kripke's ontology presupposes essentialism; it can not be used to ground it.
     From: report of Saul A. Kripke (Naming and Necessity lectures [1970]) by Hilary Putnam - Why there isn't a ready-made world 'Essences'
9. Objects / C. Structure of Objects / 6. Constitution of an Object
Given that a table is made of molecules, could it not be molecular and still be this table? [Kripke]
     Full Idea: This table is composed of molecules. …Could anything be this very object and not be composed of molecules? …It's hard to imagine under what circumstances you would have this very object and find that it is not composed of molecules.
     From: Saul A. Kripke (Naming and Necessity lectures [1970], Lecture 1)
     A reaction: This is the thesis of essentiality of constitution. Given that it is square, might it have been round? Yes. Given that it is wood, might it have been metal? No? Given that it is molecular, might it have been plasma? No. ….Maybe.
If we imagine this table made of ice or different wood, we are imagining a different table [Kripke]
     Full Idea: Though we can imagine a table identical to this one in this room, but made of ice (or different wood), it seems to me that this is not to imagine this table as made of ice, but to imagine another table, resembling this one, made of ice.
     From: Saul A. Kripke (Naming and Necessity lectures [1970], Lecture 3)
     A reaction: This is the Necessity of Constitution thesis, which I doubt. Might this table have had one leg different? Why not? Then you have a Ship of Theseus question. How much could be different? How much of the constitution is necessary?
9. Objects / D. Essence of Objects / 2. Types of Essence
For Kripke, essence is origin; for Putnam, essence is properties; for Wiggins, essence is membership of a kind [Kripke, by Mautner]
     Full Idea: Kripke makes the origin of an organism essential to it, according to Putnam the fundamental physical properties of a thing are essential, Wiggins sees an organism's essence in belonging to a particular kind, etc.
     From: report of Saul A. Kripke (Naming and Necessity lectures [1970]) by Thomas Mautner - Penguin Dictionary of Philosophy p.179
     A reaction: This is helpful for seeing where the problems remain, if you embrace essentialism (as I feel inclined to do). It is vital to remember Putnam's point, that we could suddenly discover that cats are alien robots. This seems to undermine Kripke and Wiggins.
9. Objects / D. Essence of Objects / 5. Essence as Kind
Atomic number 79 is part of the nature of the gold we know [Kripke]
     Full Idea: It is part of the nature of gold as we have it to be an element with atomic number 79.
     From: Saul A. Kripke (Naming and Necessity lectures [1970], Lecture 3)
     A reaction: The word 'nature' directly invokes Aristotle's concept of an essence. Scientific essentialism arises from the idea that by discovering the atomic number, we have somehow 'arrived' at the essence, and enquiry is reaching its terminus.
9. Objects / D. Essence of Objects / 7. Essence and Necessity / a. Essence as necessary properties
An essential property is true of an object in any case where it would have existed [Kripke]
     Full Idea: When we think of a property as essential to an object we usually mean that it is true of that object in any case where it would have existed.
     From: Saul A. Kripke (Naming and Necessity lectures [1970], Lecture 1)
     A reaction: This seems to equate essence with necessary properties, which is the view attacked nicely be Fine in 1994. I take essence (in Aristotle's sense) to be quite different from necessary properties (in being non-trivial, for example).
De re modality is an object having essential properties [Kripke]
     Full Idea: De re modality is an object having essential properties.
     From: Saul A. Kripke (Naming and Necessity lectures [1970], Lecture 3)
     A reaction: [Plucked out of context] It is because Kripke says there are necessities about things, and not just about statements about things, that he has caused a revival of essentialism. Fine has famously said modality depends on essence.
9. Objects / D. Essence of Objects / 9. Essence and Properties
Important properties of an object need not be essential to it [Kripke]
     Full Idea: Important properties of an object need not be essential, unless 'importance' is used as a synonym for essence.
     From: Saul A. Kripke (Naming and Necessity lectures [1970], Lecture 2)
     A reaction: Kripke's examples are the writings of Aristotle and the actions of Hitler, but these don't strike me as being 'properties' of those people. They are not intrinsic. Kripke, of course, is concerned with how we identify them, not who they actually are.
9. Objects / D. Essence of Objects / 10. Essence as Species
Kripke says internal structure fixes species; I say it is genetic affinity and a common descent [Kripke, by Dummett]
     Full Idea: Kripke stresses that membership of a single animal species requires identity or similarity of internal structure. In my view, what matters is genetic affinity - a common descent. Internal structure is merely a clue.
     From: report of Saul A. Kripke (Naming and Necessity lectures [1970]) by Michael Dummett - Could There Be Unicorns? 2
     A reaction: The crucial test question would be whether we can make a tiger artificially (even constructing the DNA). I would say that if you make a tiger, that's a tiger, so Kripke is right and Dummett is wrong. The species is what it is, not where it came from.
Given that Nixon is indeed a human being, that he might not have been does not concern knowledge [Kripke]
     Full Idea: Suppose Nixon actually turned out to be an automaton. That might happen. But that is a question about our knowledge. The question of whether he might not have been a human being, given that he is one, is not a question about knowledge.
     From: Saul A. Kripke (Naming and Necessity lectures [1970], Lecture 1)
     A reaction: Given that you are sitting, might you be standing? Yes. Given that you are human, might you be non-human? No. Maybe!
9. Objects / D. Essence of Objects / 14. Knowledge of Essences
Kripke claims that some properties, only knowable posteriori, are known a priori to be essential [Kripke, by Soames]
     Full Idea: Kripke's first (good) route to the necessary a posteriori is based on the idea that certain properties of objects that they can be known to have only a posteriori, may be known a priori to be essential properties of anything that has them.
     From: report of Saul A. Kripke (Naming and Necessity lectures [1970]) by Scott Soames - Significance of the Kripkean Nec A Posteriori p.180
     A reaction: Interesting, and a key issue. I think this is precisely where I disagree with the Kripkean view of necessities. Logicians want to know a priori what is essential for identity, but scientists want to know what makes things tick. See Kripke on pain.
An essence is the necessary properties, derived from an intuitive identity, in origin, type and material [Kripke, by Witt]
     Full Idea: For Kripke an object's essence simply consists of its necessary properties. ...His essential properties of individual objects follow from our intuitions about their identity. ...They are of three sorts: of origin, of sortals, and of material.
     From: report of Saul A. Kripke (Naming and Necessity lectures [1970]) by Charlotte Witt - Substance and Essence in Aristotle 6 n3
     A reaction: This is because Kripke is only interested in identity, whereas Aristotle is interested in explanation. The sorts are efficient, formal, material. Big Q: could Aristotle's account of essence do all the work that is required of essences by Kripke?
9. Objects / E. Objects over Time / 1. Objects over Time
No one seems to know the identity conditions for a material object (or for people) over time [Kripke]
     Full Idea: Adequate necessary and sufficient conditions for identity which do not beg the question are very rare. …I don't know of such conditions for identity of material objects over time, or for people. Everyone knows what a problem this is.
     From: Saul A. Kripke (Naming and Necessity lectures [1970], Lecture 1)
     A reaction: Typical of Kripke, who only seems to commit to conclusions suggested to him by his modal logic, and is baffled by almost everything else. I think one can at least attempt an essentialist approach to this problem.
9. Objects / E. Objects over Time / 12. Origin as Essential
If we lose track of origin, how do we show we are maintaining a reference? [Kripke, by Wiggins]
     Full Idea: Perhaps Kripke's argument for the necessity to a thing of its actual origin is that the speculator has to be able to rebut the charge that he has lost his grasp of his subject of discourse if he conceives of this subject with changed parents or origin.
     From: report of Saul A. Kripke (Naming and Necessity lectures [1970]) by David Wiggins - Sameness and Substance Renewed 4.10
     A reaction: On the whole Wiggins opposes necessity of origin (cf. Forbes, who defends it). If this idea is right, then any means of ensuring reference will do the job, and it clearly wouldn't be an argument that guaranteed necessity of origin.
Kripke argues, of the Queen, that parents of an organism are essentially so [Kripke, by Forbes,G]
     Full Idea: If we generalise what Kripke says about the Queen, then he is arguing that the parents of any organism are essentially the parents of that organism.
     From: report of Saul A. Kripke (Naming and Necessity lectures [1970]) by Graeme Forbes - The Metaphysics of Modality 6.1
     A reaction: It strikes me that we have to be extremely careful in specifying what it is that Kripke is saying. I take it that either Kripke is saying something rather uninteresting, or he is saying what Forbes suggests. Parenthood is essential, not just necessary.
Could the actual Queen have been born of different parents? [Kripke]
     Full Idea: Could the Queen - could this woman herself - have been born of different parents from the parents from whom she actually came?
     From: Saul A. Kripke (Naming and Necessity lectures [1970], Lecture 3)
     A reaction: Tricky! No, because the past is fixed? Could the Queen have visited Russia when she was 20? I suppose so. Might she not have had parents, given who she is? I don't see why not. Could this desk have been made by someone else? Why not?
Socrates can't have a necessary origin, because he might have had no 'origin' [Lowe on Kripke]
     Full Idea: Against Kripke's thesis of 'necessity of origin' I will just point out the intuitive force of the claim that Socrates - that very person - could, logically, have had no beginning to his existence at all, or have come into existence ex nihilo.
     From: comment on Saul A. Kripke (Naming and Necessity lectures [1970], p.110-) by E.J. Lowe - The Possibility of Metaphysics 6.5
     A reaction: It also strikes me that one base-pair difference in his DNA (by a mutation, or a fractionally different parent) would still leave him as Socrates. People are not good candidates for 'rigid' designation. Counterparts seems a better account here.
9. Objects / F. Identity among Objects / 6. Identity between Objects
Identity statements can be contingent if they rely on descriptions [Kripke]
     Full Idea: If the man who invented bifocals was the first Postmaster General of the United States - that they were one and the same - it's contingently true. …So when you make identity statements using descriptions, that can be a contingent fact.
     From: Saul A. Kripke (Naming and Necessity lectures [1970], Lecture 2)
If Hesperus and Phosophorus are the same, they can't possibly be different [Kripke]
     Full Idea: If Hesperus and Phosphorus are one and the same, then in no other possible world can they be different.
     From: Saul A. Kripke (Naming and Necessity lectures [1970], Lecture 2)
     A reaction: If we ask whether one object could possibly be two objects, and deny that possibility, then Kripke's novel thought seems just right and obvious.
10. Modality / A. Necessity / 2. Nature of Necessity
Kripke says his necessary a posteriori examples are known a priori to be necessary [Kripke, by Mackie,P]
     Full Idea: Kripke claims that all of his examples of the necessary a posteriori have the characteristic that we can know a priori that if they are true, they are necessarily true.
     From: report of Saul A. Kripke (Naming and Necessity lectures [1970], 159) by Penelope Mackie - How Things Might Have Been 1.4
     A reaction: That is, it seems, that they are not really necessary a posteriori! The necessity seems to only arrive with the addition of a priori judgements, thus endorsing the traditional view that necessity is only derivable a priori. Hm.
10. Modality / A. Necessity / 7. Natural Necessity
Instead of being regularities, maybe natural laws are the weak a posteriori necessities of Kripke [Kripke, by Psillos]
     Full Idea: By defending a posteriori necessary statements, Kripke introduced the concept of a necessity in nature that was weaker than logical necessity; ..as a result, the dominant view of laws as mere regularities started to be seriously challenged.
     From: report of Saul A. Kripke (Naming and Necessity lectures [1970]) by Stathis Psillos - Causation and Explanation §6.1
     A reaction: Most of Kripke's examples of discovered necessities seem to be identities, which seem to be as strong as any logical necessity. I'm not sure I can make sense of a 'less strong necessity'. Necessity sounds all-or-nothing to me.
Physical necessity may be necessity in the highest degree [Kripke]
     Full Idea: Physical necessity might turn out to be necessity in the highest degree. But that's a question which I don't wish to prejudge.
     From: Saul A. Kripke (Naming and Necessity lectures [1970], Lecture 2)
     A reaction: Presumably necessity 'in the highest degree' is 'metaphysical' necessity, but Kripke is a bit coy about that. This is the germ of modern scientific essentialism.
10. Modality / D. Knowledge of Modality / 1. A Priori Necessary
Kripke separates necessary and a priori, proposing necessary a posteriori and contingent a priori examples [Kripke, by O'Grady]
     Full Idea: It is now recognised that the apriori and the necessary don't always have to go together, ..and Kripke has suggested examples of necessary-aposteriori and contingent-apriori beliefs.
     From: report of Saul A. Kripke (Naming and Necessity lectures [1970]) by Paul O'Grady - Relativism Ch.4
     A reaction: The simple point is that whether something is necessary or contingent is a quite separate question from how we come to know that they are. There isn't a new mode of reality called 'necessary a posteriori'.
A priori = Necessary because we imagine all worlds, and we know without looking at actuality? [Kripke]
     Full Idea: People think 'necessary' and 'a priori' mean the same for two reasons: we can assess what is feasible in all possible world by running them through our heads, and something known a priori avoids looking at the world, so it must be necessary.
     From: Saul A. Kripke (Naming and Necessity lectures [1970], Lecture 1)
     A reaction: [compressed] Kripke denies this doctrine, and pulls the concepts apart. Kant seems to be the chief representative of the view he is attacking. Hossack defends the older view.
10. Modality / D. Knowledge of Modality / 2. A Priori Contingent
The meter is defined necessarily, but the stick being one meter long is contingent a priori [Kripke]
     Full Idea: In 'one meter is the length of stick S at t', one designator (one meter) is rigid and the other (length of S at t) is not. 'S is one meter long at t' is contingent, as it could have a different length. In this sense, there are contingent a priori truths.
     From: Saul A. Kripke (Naming and Necessity lectures [1970], Lecture 1)
     A reaction: [very compressed] Not convincing. He is proposing that a truth is knowable a priori, though knowledge of it is utterly dependent on a ceremony having taken place. It would not be true if that event hadn't taken place, so how can be it be known a priori?
10. Modality / D. Knowledge of Modality / 3. A Posteriori Necessary
"'Hesperus' is 'Phosphorus'" is necessarily true, if it is true, but not known a priori [Kripke]
     Full Idea: An identity statement between names (such as 'Hesperus' and 'Phosphorus'), when true at all, is necessarily true, even though one may not know it a priori.
     From: Saul A. Kripke (Naming and Necessity lectures [1970], Lecture 3)
     A reaction: This seems correct, but one should not read too much into it. What should we say if Venus fissions into two, one for the morning, one for the evening? That identity implies x=x doesn't prove the existence of unchanging essences.
Theoretical identities are between rigid designators, and so are necessary a posteriori [Kripke]
     Full Idea: Theoretical identities, according to the conception I advocate, are generally identities involving rigid designators and therefore are examples of the necessary a posteriori.
     From: Saul A. Kripke (Naming and Necessity lectures [1970], Lecture 3)
     A reaction: This doesn't open up a huge new realm of a posteriori necessity. We just cured some of our ignorance. I remain unconvinced that the Morning Star is necessarily the Evening Star, except in the boring way that if it is, it is. Venus could fission.
Kripke has demonstrated that some necessary truths are only knowable a posteriori [Kripke, by Chalmers]
     Full Idea: Kripke has demonstrated the existence of necessary truths such as "water is H2O" whose necessity is only knowable a posteriori.
     From: report of Saul A. Kripke (Naming and Necessity lectures [1970]) by David J.Chalmers - The Conscious Mind 2.4.2
10. Modality / D. Knowledge of Modality / 4. Conceivable as Possible / a. Conceivable as possible
Kripke's essentialist necessary a posteriori opened the gap between conceivable and really possible [Soames on Kripke]
     Full Idea: With Kripke's essentialist route to the necessary a posteriori came a sharp distinction between conceivability and genuine possibility - ways things could conceivably be versus ways things could really be (or have been).
     From: comment on Saul A. Kripke (Naming and Necessity lectures [1970]) by Scott Soames - Significance of the Kripkean Nec A Posteriori p.167
     A reaction: A key idea, for me. I love 'could there be a bonfire on the moon?' Imagining it is easy-peasy. 'Could wood combine with oxygen when there is no oxygen present?' We imagined it all right, but did we 'conceive' it?
Kripke gets to the necessary a posteriori by only allowing conceivability when combined with actuality [Kripke, by Soames]
     Full Idea: Kripke's first (superior) route to necessary a posteriori has a sharp distinction between how the universe could conceivably and really be. ..On this picture conceivability is a fallible but useful guide, when combined with knowledge of actuality.
     From: report of Saul A. Kripke (Naming and Necessity lectures [1970]) by Scott Soames - Significance of the Kripkean Nec A Posteriori p.168
     A reaction: [compressed from p.168 and 170] To dismiss conceivability is ridiculous (see Williamson on that), and this formula of Soames sound right. To understand possibility, you have to study actuality (across time and space). Study history!
10. Modality / E. Possible worlds / 2. Nature of Possible Worlds / a. Nature of possible worlds
Possible worlds aren't puzzling places to learn about, but places we ourselves describe [Kripke]
     Full Idea: A possible world isn't a distant country that we are coming across, or viewing through a telescope. …A possible world is given by the descriptive conditions we associate with it. …Possible worlds are stipulated, not discovered by powerful telescopes.
     From: Saul A. Kripke (Naming and Necessity lectures [1970], Lecture 1)
     A reaction: His point is that it is absurd to be puzzling over the identity of what exists in some possible world, because the world is specified by us. If I say 'Nixon might have been a frog', I must be referring to Nixon. The problem is whether it is true.
10. Modality / E. Possible worlds / 3. Transworld Objects / a. Transworld identity
If we discuss what might have happened to Nixon, we stipulate that it is about Nixon [Kripke]
     Full Idea: There is no reason why we cannot stipulate that, in talking about what would have happened to Nixon in a certain counterfactual situation, we are talking about what would have happened to HIM.
     From: Saul A. Kripke (Naming and Necessity lectures [1970], Lecture 1)
     A reaction: For many people (including me now, I think) this lays to rest the supposed problem of 'transworld identity' wrestled with by Kaplan and Lewis.
Transworld identification is unproblematic, because we stipulate that we rigidly refer to something [Kripke]
     Full Idea: It is because we refer (rigidly) to Nixon, and stipulate that we are speaking of what might have happened to him (under certain circumstances), that 'transworld identifications' are unproblematic in such cases.
     From: Saul A. Kripke (Naming and Necessity lectures [1970], Lecture 1)
     A reaction: This responds to those who say you need transworld identification before you can rigidly designate something, which has 'reversed the cart and horse' says Kripke. Nice.
A table in some possible world should not even be identified by its essential properties [Kripke]
     Full Idea: A table should not be identified with the set or 'bundle' of its properties, nor with the subset of its essential properties. Don't ask: how can I identify this table in another possible world, except by its properties? I have the table in my hands.
     From: Saul A. Kripke (Naming and Necessity lectures [1970], Lecture 1)
     A reaction: You identify the table by what's in front of you, but the essence might be relevant to deciding how far this table could change and remain this table.
Identification across possible worlds does not need properties, even essential ones [Kripke]
     Full Idea: Some properties of an object may be essential to it, in that it could not have failed to have them. But these properties are not used to identify the object in another possible world, for such an identification is not needed.
     From: Saul A. Kripke (Naming and Necessity lectures [1970], Lecture 1)
     A reaction: So how DO you identify objects in other possible worlds, or in this one? You may say he was baptised 'Aristotle' so that's rigid, but if Athens is full of pseudo-Aristotles I want to pick out the real one. I say Kripke muddles epistemology and ontology.
10. Modality / E. Possible worlds / 3. Transworld Objects / b. Rigid designation
Test for rigidity by inserting into the sentence 'N might not have been N' [Kripke, by Lycan]
     Full Idea: Kripke offers an intuitive test for telling whether a term is rigid: try the term in the sentence-frame "N might not have been N". (For example, try the terms 'Nixon' and 'President of the USA').
     From: report of Saul A. Kripke (Naming and Necessity lectures [1970]) by William Lycan - Philosophy of Language Ch.4
     A reaction: Helpful, but if you try it, the results do not seem to be conclusive. You are left saying 'Well, it depends what you mean by...' Think of possible worlds with a crippled Nixon, twin Nixons, an honest Nixon, a robot Nixon, a dark skinned Nixon...
Kripke avoids difficulties of transworld identity by saying it is a decision, not a discovery [Kripke, by Jacquette]
     Full Idea: Objects we find in the actual world might have been so different than they actually are that it appears impossible to identify the same objects from world to world. Kripke sidesteps the problem by saying transworld identity is a decision, not a discovery.
     From: report of Saul A. Kripke (Naming and Necessity lectures [1970]) by Dale Jacquette - Ontology Ch.2
     A reaction: This is the strategy that opposes Lewis's proposal of 'counterpart' objects that have properties in common. It is also the source of Kripke's causal theory of reference, and hence a key to massive modern debates.
Saying that natural kinds are 'rigid designators' is the same as saying they are 'indexical' [Kripke, by Putnam]
     Full Idea: Kripke's doctrine that natural kind words are rigid designators and our doctrine that they are indexical are two ways of making the same point.
     From: report of Saul A. Kripke (Naming and Necessity lectures [1970]) by Hilary Putnam - Meaning and Reference p.161
     A reaction: I think I prefer Putnam's terminology, because it is more modest in its claims Kripke gets into trouble when a natural kind in some other possible world is only subtly different from the original. How 'rigid'? Putnam sticks to how the word gets started.
If Kripke names must still denote a thing in a non-actual situation, the statue isn't its clay [Gibbard on Kripke]
     Full Idea: Kripke gives an account of proper names from which it follows that Goliath (the statue) cannot be identical the lumpl (the clay), ..because if a proper name denotes a thing in the actual world, then it denotes that same thing in non-actual situations.
     From: comment on Saul A. Kripke (Naming and Necessity lectures [1970]) by Allan Gibbard - Contingent Identity III
     A reaction: This strikes me as a powerful criticism of Kripke's claim - and has led to extensive discussion which I will now have to pursue. Watch this space.
A rigid expression may refer at a world to an object not existing in that world [Kripke, by Sainsbury]
     Full Idea: In the Kripkean perspective, rigidity is understood in such a way that an expression may have as referent at a world an object which does not exist at that world.
     From: report of Saul A. Kripke (Naming and Necessity lectures [1970]) by Mark Sainsbury - The Essence of Reference 18.6
     A reaction: This means that 'the present King of France' is a rigid designator.
We do not begin with possible worlds and place objects in them; we begin with objects in the real world [Kripke]
     Full Idea: We do not begin with worlds (which are supposed somehow to be real), and then ask about criteria of transworld identification; on the contrary, we begin with objects, which we have, and can identify, in the real world.
     From: Saul A. Kripke (Naming and Necessity lectures [1970], Lecture 1)
     A reaction: This gives us clearly Kripke's underlying empiricist metaphysics, I take it. I find the realism of it appealing, but am uneasy about the idea of an object as basic, when Heraclitus said that they tend to fluctuate. Platonism waits in the wings.
It is a necessary truth that Elizabeth II was the child of two particular parents [Kripke]
     Full Idea: How could a person originating from different parents, from a totally different sperm and egg, be this very woman (Elizabeth II)? ..It seems to me that anything coming from a different origin would not be this very object.
     From: Saul A. Kripke (Naming and Necessity lectures [1970], Lecture 3)
     A reaction: Since baby Elizabeth could have been smuggled into the palace in a bedpan, it seems to me that her properties now are rather more obvious than her origin. I fear the only necessity here is that you can't change the past. An intriguing puzzle.
10. Modality / E. Possible worlds / 3. Transworld Objects / e. Possible Objects
That there might have been unicorns is false; we don't know the circumstances for unicorns [Kripke]
     Full Idea: I think it is not the case that there might have been unicorns. I wouldn't say it is necessary that there are no unicorns, but that we just can't say under what circumstances there would have been unicorns.
     From: Saul A. Kripke (Naming and Necessity lectures [1970], Lecture 1)
     A reaction: His point seems to be that unicorns are insufficiently individuated by the legends, whereas a typical sample of an actual creature contains everything that will individuate the species.
12. Knowledge Sources / A. A Priori Knowledge / 1. Nature of the A Priori
Kripke has breathed new life into the a priori/a posteriori distinction [Kripke, by Lowe]
     Full Idea: The a priori/a posteriori is still taken seriously, and has had new life breathed into it by the work of Saul Kripke.
     From: report of Saul A. Kripke (Naming and Necessity lectures [1970]) by E.J. Lowe - The Possibility of Metaphysics 1.1
     A reaction: The distinction may be a good one, despite a blurred borderline. Did Egyptian quantity surveyors begin to suspect that Pythagoras's Theorem was a necessary truth, though they couldn't prove it? A priori understanding creeps into experience.
Rather than 'a priori truth', it is best to stick to whether some person knows it on a priori evidence [Kripke]
     Full Idea: A priori is supposed to mean something which can be known independently of experience, …but possible for whom? God, or the Martians? …Instead of 'a priori truth' it is best to stick to whether some person knows it based on a priori evidence.
     From: Saul A. Kripke (Naming and Necessity lectures [1970], Lecture 1)
     A reaction: [compressed] This is Kripke's famous attempt to establish that 'a priori' is strictly an epistemological term, and should not be taken as a term of metaphysics (or modal semantics?). I definitely prefer the Kripke view, though it downgrades the a priori.
A priori truths can be known independently of experience - but they don't have to be [Kripke]
     Full Idea: The traditional characterisation (since Kant) goes: a priori truths are those which can be known independently of any experience - ..but that doesn't mean they MUST be known a priori.
     From: Saul A. Kripke (Naming and Necessity lectures [1970], Lecture 1)
     A reaction: You may discover through experience that nine matches can't be divided into two equal piles, but Leibniz (and others) say you will only see the necessity of this a priori. No necessity is visible in the matches.
A priori knowledge comes from available a priori warrants that produce truth [Kitcher]
     Full Idea: X knows a priori that p iff the belief was produced with an a priori warrant, which is a process which is available to X, and this process is a warrant, and it makes p true.
     From: Philip Kitcher (The Nature of Mathematical Knowledge [1984], 01.4)
     A reaction: [compression of a formal spelling-out] This is a modified version of Goldman's reliabilism, for a priori knowledge. It sounds a bit circular and uninformative, but it's a start.
12. Knowledge Sources / A. A Priori Knowledge / 6. A Priori from Reason
In long mathematical proofs we can't remember the original a priori basis [Kitcher]
     Full Idea: When we follow long mathematical proofs we lose our a priori warrants for their beginnings.
     From: Philip Kitcher (The Nature of Mathematical Knowledge [1984], 02.2)
     A reaction: Kitcher says Descartes complains about this problem several times in his 'Regulae'. The problem runs even deeper into all reasoning, if you become sceptical about memory. You have to remember step 1 when you do step 2.
12. Knowledge Sources / A. A Priori Knowledge / 8. A Priori as Analytic
Kripke was more successful in illuminating necessity than a priority (and their relations to analyticity) [Kripke, by Soames]
     Full Idea: Kripke was far more successful in illuminating the nature of necessity, and distinguishing it from both apriority and analyticity, than he was in illuminating the nature of apriority, and distinguishing that from analyticity.
     From: report of Saul A. Kripke (Naming and Necessity lectures [1970]) by Scott Soames - Significance of the Kripkean Nec A Posteriori p.187
Analytic judgements are a priori, even when their content is empirical [Kripke]
     Full Idea: All analytic judgements are a priori even when the concepts are empirical, as, for example, 'Gold is a yellow metal'; for to know this I require no experience beyond my concept of gold as a yellow metal.
     From: Saul A. Kripke (Naming and Necessity lectures [1970], Lecture 3)
     A reaction: So I relate a priori to 'turquoise is a shade of red', even though my concepts are confused? It is my concept, perhaps, but it is false. I thought a priori had something to do with knowing, not with reporting the confused nonsense in my mind?
12. Knowledge Sources / A. A Priori Knowledge / 9. A Priori from Concepts
Knowledge is a priori if the experience giving you the concepts thus gives you the knowledge [Kitcher]
     Full Idea: Knowledge is independent of experience if any experience which would enable us to acquire the concepts involved would enable us to have the knowledge.
     From: Philip Kitcher (The Nature of Mathematical Knowledge [1984], 01.3)
     A reaction: This is the 'conceptualist' view of a priori knowledge, which Kitcher goes on to attack, preferring a 'constructivist' view. The formula here shows that we can't divorce experience entirely from a priori thought. I find conceptualism a congenial view.
12. Knowledge Sources / A. A Priori Knowledge / 10. A Priori as Subjective
We have some self-knowledge a priori, such as knowledge of our own existence [Kitcher]
     Full Idea: One can make a powerful case for supposing that some self-knowledge is a priori. At most, if not all, of our waking moments, each of us knows of herself that she exists.
     From: Philip Kitcher (The Nature of Mathematical Knowledge [1984], 01.6)
     A reaction: This is a begrudging concession from a strong opponent to the whole notion of a priori knowledge. I suppose if you ask 'what can be known by thought alone?' then truths about thought ought to be fairly good initial candidates.
12. Knowledge Sources / E. Direct Knowledge / 2. Intuition
Intuition is the strongest possible evidence one can have about anything [Kripke]
     Full Idea: I think something's having intuitive content is very heavy evidence in favour of it. I really don't know what more conclusive evidence one can have about anything, ultimately speaking.
     From: Saul A. Kripke (Naming and Necessity lectures [1970], Lecture 1)
     A reaction: This seems to me a very appealing remark, especially coming from a great logician. It seems to me, though, that some intuitions are more rational than others, and we must occasionally give up intuitions that are proved wrong.
12. Knowledge Sources / E. Direct Knowledge / 4. Memory
Mind and memory are the same, as shown in 'bear it in mind' or 'it slipped from mind' [Augustine]
     Full Idea: The mind and the memory are one and the same. We even call the memory the mind, for when we tell a person to remember something, we tell them to 'bear this in mind', and when we forget something 'it slipped out of my mind'.
     From: Augustine (Confessions [c.398], X.14)
     A reaction: This idea has become familiar in modern neuroscience, I think, presumably because we do not find distinct types of neurons for consciousness and for memory.
Memory contains innumerable principles of maths, as well as past sense experiences [Augustine]
     Full Idea: The memory contains the innumerable principles and laws of numbers and dimensions. None of these can have been conveyed to me by the bodily senses.
     From: Augustine (Confessions [c.398], X.12)
     A reaction: Even if you have a fairly empirical view of the sources of mathematics (a view with which I sympathise), it must by admitted that our endless extrapolations from the sources also reside in memory. So we remember thoughts as well as experiences.
We would avoid remembering sorrow or fear if that triggered the emotions afresh [Augustine]
     Full Idea: If we had to experience sorrow or fear every time that we mentioned these emotions, no one would be willing to speak of them.
     From: Augustine (Confessions [c.398], X.14)
     A reaction: Remembering the death of a loved one can trigger fresh grief, but remembering their dangerous illness from which they recovered no longer contains the feeling of fear.
I can distinguish different smells even when I am not experiencing them [Augustine]
     Full Idea: I can distinguish the scent of lilies from that of violets, even though there is no scent at all in my nostrils.
     From: Augustine (Confessions [c.398], X.08)
     A reaction: Augustine has a nice introspective account of how we experience memory, and identifies lots of puzzling features. I know I can identify the smell of vinegar, but I can't bring it to mind, the way I can the appearance of roses.
Why does joy in my mind make me happy, but joy in my memory doesn't? [Augustine]
     Full Idea: How can it be that my mind can be happy because of the joy that is in it, and yet my memory is not sad by reason of the sadness that is in it?
     From: Augustine (Confessions [c.398], X.14)
     A reaction: This seems to contradict his thought in Idea 22981, that memory and mind are the same. Recall seems to be a part of consciousness which is not fully wired up to the rest of the mind.
13. Knowledge Criteria / A. Justification Problems / 1. Justification / a. Justification issues
A 'warrant' is a process which ensures that a true belief is knowledge [Kitcher]
     Full Idea: A 'warrant' refers to those processes which produce belief 'in the right way': X knows that p iff p, and X believes that p, and X's belief that p was produced by a process which is a warrant for it.
     From: Philip Kitcher (The Nature of Mathematical Knowledge [1984], 01.2)
     A reaction: That is, a 'warrant' is a justification which makes a belief acceptable as knowledge. Traditionally, warrants give you certainty (and are, consequently, rather hard to find). I would say, in the modern way, that warrants are agreed by social convention.
13. Knowledge Criteria / A. Justification Problems / 1. Justification / c. Defeasibility
If experiential can defeat a belief, then its justification depends on the defeater's absence [Kitcher, by Casullo]
     Full Idea: According to Kitcher, if experiential evidence can defeat someone's justification for a belief, then their justification depends on the absence of that experiential evidence.
     From: report of Philip Kitcher (The Nature of Mathematical Knowledge [1984], p.89) by Albert Casullo - A Priori Knowledge 2.3
     A reaction: Sounds implausible. There are trillions of possible defeaters for most beliefs, but to say they literally depend on trillions of absences seems a very odd way of seeing the situation
14. Science / B. Scientific Theories / 1. Scientific Theory
Identities like 'heat is molecule motion' are necessary (in the highest degree), not contingent [Kripke]
     Full Idea: I hold that characteristic theoretical identifications like 'heat is the motion of molecules', are not contingent truths but necessary truths, and I don't just mean physically necessary, but necessary in the highest degree.
     From: Saul A. Kripke (Naming and Necessity lectures [1970], Lecture 2)
     A reaction: This helps to keep epistemology and ontology separate. The contingency was in the epistemology. That the identity is 'physically necessary' seems obvious; that it is necessary 'in the highest degrees' implies an essentialist view of nature.
15. Nature of Minds / A. Nature of Mind / 6. Anti-Individualism
Memory is so vast that I cannot recognise it as part of my mind [Augustine]
     Full Idea: The memory is a vast immeasurable sanctuary. It is part of my nature, but I cannot understand all that I am. Hence the mind is too narrow to contain itself entirely. Is the other part outside of itself, and not within it? How then can it be a part?
     From: Augustine (Confessions [c.398], X.08)
     A reaction: He seems to understand the mind as entirely consisting of consciousness. Nevertheless, this seems to be the first inklings of the modern externalist view of the mind.
15. Nature of Minds / C. Capacities of Minds / 6. Idealisation
Idealisation trades off accuracy for simplicity, in varying degrees [Kitcher]
     Full Idea: To idealize is to trade accuracy in describing the actual for simplicity of description, and the compromise can sometimes be struck in different ways.
     From: Philip Kitcher (The Nature of Mathematical Knowledge [1984], 06.5)
     A reaction: There is clearly rather more to idealisation than mere simplicity. A matchstick man is not an ideal man.
16. Persons / D. Continuity of the Self / 2. Mental Continuity / a. Memory is Self
Without memory I could not even speak of myself [Augustine]
     Full Idea: I do not understand the power of memory that is in myself, although without it I could not even speak of myself.
     From: Augustine (Confessions [c.398], X.16)
     A reaction: Even if the self is not identical with memory, this idea seems to establish that memory is an essential aspect of the self. This point is neglected by those who see the self as an entity (the 'soul pearl') which persists through all experience.
16. Persons / F. Free Will / 6. Determinism / a. Determinism
If the future does not exist, how can prophets see it? [Augustine]
     Full Idea: How do prophets see the future, if there is not a future to be seen?
     From: Augustine (Confessions [c.398], XI.17)
     A reaction: The answer, I suspect, is that prophets can't see the future. The prospect that the future already exists would seem to saboutage human freedom and responsibility, and point to Calvinist predestination, and even fatalism.
17. Mind and Body / A. Mind-Body Dualism / 7. Zombies
It seems logically possible to have the pain brain state without the actual pain [Kripke]
     Full Idea: Prima facie, it would seem that it is a least logically possible the brain state corresponding to pain should have existed (Jones's brain could have been in exactly that state at the time in question) without Jones feeling any pain at all.
     From: Saul A. Kripke (Naming and Necessity lectures [1970], Lecture 3)
     A reaction: This is Kripke's commitment to the possibility of zombies, which are only possible if the mind-body connection is a contingent one, and he shows that there are no contingent 'identities'. The answer is necessary identity, and no zombies.
17. Mind and Body / E. Mind as Physical / 1. Physical Mind
Kripke assumes that mind-brain identity designates rigidly, which it doesn't [Armstrong on Kripke]
     Full Idea: In his attempted disproof of materialism about the mind, Kripke assumes that the physical description is a rigid designator, but this seems to be begging the question against the causal theory, which says the description is non-rigid.
     From: comment on Saul A. Kripke (Naming and Necessity lectures [1970]) by David M. Armstrong - Pref to new 'Materialist Theory' p.xiv
     A reaction: A crucial part of this is that Armstrong believes that the laws of nature are contingent, and hence mind-brain identity has to be. Personally I incline to say that the identity is rigid, but that Kripke is still wrong.
17. Mind and Body / E. Mind as Physical / 7. Anti-Physicalism / e. Modal argument
If consciousness could separate from brain, then it cannot be identical with brain [Kripke, by Papineau]
     Full Idea: Kripke's argument is that the possibility of conscious properties coming apart from material properties shows that they cannot be identical with material properties.
     From: report of Saul A. Kripke (Naming and Necessity lectures [1970]) by David Papineau - Thinking about Consciousness 3.3
     A reaction: A nice clear and simple summary. How can the possibility of coming apart be demonstrated? Only, it seems, by using our imaginations. But that is quite a good guide in areas we know well, but not in recondite areas like the brain.
Kripke says pain is necessarily pain, but a brain state isn't necessarily painful [Kripke, by Rey]
     Full Idea: Kripke's argument against mind-brain identity is that a pain is necessarily pain (just as a stone is necessarily matter), but a brain state is not necessarily painful (just as a stone is not necessarily a doorstep).
     From: report of Saul A. Kripke (Naming and Necessity lectures [1970]) by Georges Rey - Contemporary Philosophy of Mind 11.6.2
     A reaction: As with Descartes' argument from necessity for dualism, this seems to me to beg the question. It seems to me fairly self-evident that certain brain states have to be painful, just as stones always have to be hard or massive.
Identity must be necessary, but pain isn't necessarily a brain state, so they aren't identical [Kripke, by Schwartz,SP]
     Full Idea: The identity theorist, it appears, can admit that the identity is necessary if true without substantially altering his position, but Kripke argues that the identity between pain and some brain states is not necessary.
     From: report of Saul A. Kripke (Naming and Necessity lectures [1970], Lecture 3) by Stephen P. Schwartz - Intro to Naming,Necessity and Natural Kinds §IV
     A reaction: This appears to depend on being able to imagine the pain occurring with a different brain state, or no brain state. Bad argument. See Idea 5819.
Identity theorists seem committed to no-brain-event-no-pain, and vice versa, which seems wrong [Kripke]
     Full Idea: The identity theorist is committed to the view that there could not be a C-fibre stimulation which was not a pain, nor a pain which was not a C-fibre stimulation; these consequences are certainly surprising and counterintuitive.
     From: Saul A. Kripke (Naming and Necessity lectures [1970], Lecture 3)
     A reaction: If Kripke saw a glow in an area of his brain every time he felt a pain, he would cease to find it 'counterintuitive'. Far from this conclusion being 'surprising', its opposite is absurd. Pain with no brain event? C-fibres blaze away, and I feel nothing?
18. Thought / B. Mechanics of Thought / 5. Mental Files
Memories are preserved separately, according to category [Augustine]
     Full Idea: In memory everything is preserved separately, according to its category.
     From: Augustine (Confessions [c.398], X.08)
     A reaction: This strikes me as the first seeds of the idea that the mind functions by means of mental files. Our memories of cats are 'close to' or 'linked to' our memories of dogs.
19. Language / B. Reference / 3. Direct Reference / a. Direct reference
Kripke has a definitional account of kinds, but not of naming [Almog on Kripke]
     Full Idea: There seems to be an incongruity between Kripke's definitionalist account of the essence of kinds (and the induced necessities), and his definition-free account of naming.
     From: comment on Saul A. Kripke (Naming and Necessity lectures [1970]) by Joseph Almog - Nature Without Essence X
     A reaction: Putnam places more emphasis on baptising a prototypical example, just as we baptise named things.
Kripke derives accounts of reference and proper names from assumptions about worlds and essences [Stalnaker on Kripke]
     Full Idea: One might think that the direction of Kripke's arguments goes the other way - that conclusions about reference and proper names were derived in part from controversial metaphysical assumptions about possible worlds and essential properties.
     From: comment on Saul A. Kripke (Naming and Necessity lectures [1970]) by Robert C. Stalnaker - Reference and Necessity Intro
     A reaction: Nathan Salmon is famous for charging Kripke with trying to get a metaphysics from a semantics, but this remark of Stalnaker's seems much more accurate. Kripke certainly assumes realism, and robust identity.
19. Language / B. Reference / 3. Direct Reference / b. Causal reference
The important cause is not between dubbing and current use, but between the item and the speaker's information [Evans on Kripke]
     Full Idea: Kripke has mislocated the important causal relation, which lies between the item's states and doings and the speaker's body of information - not between the item's being dubbed with a name and the speaker's contemporary use of it.
     From: comment on Saul A. Kripke (Naming and Necessity lectures [1970]) by Gareth Evans - The Causal Theory of Names §I
     A reaction: This feels sort of right. I sympathise with the much more social view of matters like reference, which grows out of Wittgenstein's anti-private language claims. I'm not sure where 'causation' come into Evans's picture.
We may refer through a causal chain, but still change what is referred to [Kripke]
     Full Idea: There may be a causal chain from our use of the term 'Santa Claus' to a certain historical saint, but still children, when they use this, by this time probably do not refer to that saint.
     From: Saul A. Kripke (Naming and Necessity lectures [1970], Lecture 2)
     A reaction: This is quite a significant concession to critics of the causal theory. I take it that community agreement is much more significant for reference than the actual causal chain, which may be riddled with errors from beginning to end, and so isn't causal.
19. Language / B. Reference / 3. Direct Reference / c. Social reference
Kripke makes reference a largely social matter, external to the mind of the speaker [Kripke, by McGinn]
     Full Idea: Kripke's theory brought a social element into the function of language: a speaker is socially connected to others who may know far more than she does about the reference of her terms, and the mechanism of reference is now not in her mind, but is external.
     From: report of Saul A. Kripke (Naming and Necessity lectures [1970]) by Colin McGinn - The Making of a Philosopher Ch. 3
     A reaction: Hence this theory of reference leads on to Putnam's 'wide content' and Twin Earth. I remain unconvinced. See ideas under 'Thought'.
Kripke's theory is important because it gives a collective account of reference [Kripke, by Putnam]
     Full Idea: What is important about Kripke's theory is not that the use of proper names is 'causal' - what is not? - but that the use of proper names is collective.
     From: report of Saul A. Kripke (Naming and Necessity lectures [1970]) by Hilary Putnam - Explanation and Reference II B
     A reaction: This is the best response to Kripke. Reference is achieved by thinkers and speakers, but it is also a team activity, as in the case of the elm, or of Amenhotep II.
We refer through the community, going back to the original referent [Kripke]
     Full Idea: It's in virtue of our connection with other speakers in the community, going back to the referent himself, that we refer to a certain man.
     From: Saul A. Kripke (Naming and Necessity lectures [1970], Lecture 2)
     A reaction: There may be two theories of reference getting tangled up here. Going back to the origin is one thing, and relying on the community is another. Do I always know who I am referring to? 'The funniest man in London'.
19. Language / B. Reference / 4. Descriptive Reference / b. Reference by description
Descriptive reference shows how to refer, how to identify two things, and how to challenge existence [Kripke, by PG]
     Full Idea: Summary: in favour of the descriptive theory of names are it gives you a mechanism for doing the referring (and Mill doesn't), we can identify two descriptions if there is one referent, and it allows us to question the existence of a referent.
     From: report of Saul A. Kripke (Naming and Necessity lectures [1970], Lecture 1) by PG - Db (ideas)
     A reaction: If this problem is seen in terms of mental files (with labels and contents) this whole problem becomes a lot clearer. I take reference to be the action of a thinker, not a function of language.
It can't be necessary that Aristotle had the properties commonly attributed to him [Kripke]
     Full Idea: It is just not, in any intuitive sense of necessity, a necessary truth that Aristotle had the properties commonly attributed to him.
     From: Saul A. Kripke (Naming and Necessity lectures [1970], Lecture 2)
     A reaction: This replies to Searle's claim that to be Aristotle he must have a fair number of the properties. Even if Searle is right, you can hardly pick the properties out individually and claim they are necessary. Kripke pulls epistemology away from metaphysics.
19. Language / C. Assigning Meanings / 10. Two-Dimensional Semantics
Rigid designation creates a puzzle - why do some necessary truths appear to be contingent? [Kripke, by Maciŕ/Garcia-Carpentiro]
     Full Idea: Kripke's proposal that referential expressions like indexicals, demonstratives, proper names and natural kind terms are de jure rigid designators created a puzzle - it entails 'modal illusions', truths that are in fact necessary appear to be contingent.
     From: report of Saul A. Kripke (Naming and Necessity lectures [1970], p.143-4) by Maciŕ/Garcia-Carpentiro - Introduction to 'Two-Dimensional Semantics' 1
     A reaction: They are identifying this puzzle as the source of the need for two-dimensional semantics. Kripke notes that rigid designators may have their reference fixed by non-rigid descriptions.
22. Metaethics / C. The Good / 2. Happiness / c. Value of happiness
Everyone wants happiness [Augustine]
     Full Idea: Surely happiness is what everyone wants, so much so that there can be none who do not want it?
     From: Augustine (Confessions [c.398], X.20)
     A reaction: His concept of happiness is, of course, religious. Occasionally you meet habitual grumblers about life who give the impression that they are only happy when they are discontented. So happiness is achieving desires, not feeling good?
26. Natural Theory / B. Natural Kinds / 5. Reference to Natural Kinds
Terms for natural kinds are very close to proper names [Kripke]
     Full Idea: According to the view I advocate, terms for natural kinds are much closer to proper names than is ordinarily supposed. …'Common name' is appropriate for species …and also for certain mass terms such as 'gold' and 'water'.
     From: Saul A. Kripke (Naming and Necessity lectures [1970], Lecture 3)
The properties that fix reference are contingent, the properties involving meaning are necessary [Kripke]
     Full Idea: Bear in mind the contrast between the a priori but perhaps contingent properties carried with a natural kind term, given by the way its reference was fixed, and the analytic (and hence necessary) properties a term may carry, given by its meaning.
     From: Saul A. Kripke (Naming and Necessity lectures [1970], Lecture 3)
     A reaction: The second half of this is the 'new essentialism'. Complex. We need to distinguish 'reference' from 'definition'. The 'analytic properties' seem to be the definition, but we sometimes change our definitions (e.g. of units of time).
26. Natural Theory / B. Natural Kinds / 6. Necessity of Kinds
Gold's atomic number might not be 79, but if it is, could non-79 stuff be gold? [Kripke]
     Full Idea: Gold could turn out not to have atomic number 79. …But given that gold does have the atomic number 79, could something be gold without having the atomic number 79?
     From: Saul A. Kripke (Naming and Necessity lectures [1970], Lecture 3)
     A reaction: The question seems to be 'is atomic number 79 essential to gold?', and on p.124 Kripke seems to say 'yes'. I agree. But how do we decide which features are essential to gold? Why do we think molten gold does count as gold?
'Cats are animals' has turned out to be a necessary truth [Kripke]
     Full Idea: 'Cats are animals' has turned out to be a necessary truth.
     From: Saul A. Kripke (Naming and Necessity lectures [1970], Lecture 3)
     A reaction: False! As Putnam has pointed out, we could yet discover that cats are subtly designed alien robots. This is a revealing error by Kripke, showing his desire to move from a useful logical clarification to an excessively amibitious metaphysics.
26. Natural Theory / B. Natural Kinds / 7. Critique of Kinds
Nominal essence may well be neither necessary nor sufficient for a natural kind [Kripke, by Bird]
     Full Idea: Kripke's tiger example shows that a nominal essence is not necessary for the existence of a natural kind; examples from Putnam show that a nominal essence is not sufficient either.
     From: report of Saul A. Kripke (Naming and Necessity lectures [1970]) by Alexander Bird - Philosophy of Science Ch.3
     A reaction: None of the characteristics of a tiger is essential to it. The appearance of water doesn't fix its reference. The move is towards an external view, that what matters for natural kinds is the real essence, not human conventions about it. I agree.
26. Natural Theory / D. Laws of Nature / 8. Scientific Essentialism / b. Scientific necessity
The scientific discovery (if correct) that gold has atomic number 79 is a necessary truth [Kripke]
     Full Idea: Scientific discoveries about what gold is are not contingent truths, but are necessary truths in the strictest possible sense. ..If scientists are right, then it will be necessary and not contingent that gold be an element with atomic number 79.
     From: Saul A. Kripke (Naming and Necessity lectures [1970], Lecture 3)
     A reaction: I think this glorious and controversial claim is correct. It is hard to find supporting arguments, but the picture of nature that emerges (where the essences of the stuffs precede the laws of their behaviour) seems to me far more coherent.
Scientific discoveries about gold are necessary truths [Kripke]
     Full Idea: Statement representing scientific discoveries about what this stuff (gold) is are not contingent truths but necessary truths in the strictest possible sense.
     From: Saul A. Kripke (Naming and Necessity lectures [1970], Lecture 3)
     A reaction: People take him to mean 'metaphysically necessary' here. How do we distinguish the 'scientific' discoveries, which are necessary, from the more casual discoveries, which may not be? Presumably being yellow is also necessary?
Once we've found that heat is molecular motion, then that's what it is, in all possible worlds [Kripke]
     Full Idea: We have discovered a phenomenon (heat) which in all possible worlds will be molecular motion - which could not have failed to be molecular motion, because that's what the phenomenon is.
     From: Saul A. Kripke (Naming and Necessity lectures [1970], Lecture 3)
     A reaction: He refers to the identification as an 'essential property' of the phenomenon (and not merely a necessity). For my taste, Kripke uses the word 'property' too widely.
26. Natural Theory / D. Laws of Nature / 8. Scientific Essentialism / d. Knowing essences
Science searches basic structures in search of essences [Kripke]
     Full Idea: Science attempts, by investigating basic structural traits, to find the nature, and thus the essence (in the philosophical sense) of the kind.
     From: Saul A. Kripke (Naming and Necessity lectures [1970], Lecture 3)
     A reaction: The 'necessity' of essences should be treated with caution, but this account of science strikes me as right, with the inbuilt assumption that the 'laws' are the consequence of the essences. A regularity becomes a law when it is explained by an essence.
27. Natural Reality / D. Time / 1. Nature of Time / c. Idealist time
Maybe time is an extension of the mind [Augustine]
     Full Idea: I begin to wonder whether time is an extension of the mind itself.
     From: Augustine (Confessions [c.398], XI.26)
     A reaction: The observation that the mind creates a 'specious present' (spreading experience out over a short fraction of second) reinforces this. Personally I like David Marshall's proposal that consciousness is entirely memory, which would deny this idea.
To be aware of time it can only exist in the mind, as memory or anticipation [Augustine, by Bardon]
     Full Idea: Augustine answers that for us to be aware of time it must exist only in the mind, …and the difference between past and future is just the difference between memory and anticipation.
     From: report of Augustine (Confessions [c.398]) by Adrian Bardon - Brief History of the Philosophy of Time 1 'Augustine's'
     A reaction: This is an extreme idealist view. Are we to say that the past consists only of what can be remembered, and the future only of what is anticipated? Absurd anti-realism, in my view. Where do his concepts come from, asks Le Poidevin.
27. Natural Reality / D. Time / 1. Nature of Time / g. Growing block
How can ten days ahead be a short time, if it doesn't exist? [Augustine]
     Full Idea: A short time ago or a short time ahead we might put at ten days, but how can anything which does not exist be either long or short?
     From: Augustine (Confessions [c.398], XI.15)
     A reaction: A nice question, which gets at the paradoxical nature of time very nicely. How can it be long, but non-existent? We could break the paradox by concluding '..and therefore time does exist', even though we can't see how.
27. Natural Reality / D. Time / 1. Nature of Time / h. Presentism
If the past is no longer, and the future is not yet, how can they exist? [Augustine]
     Full Idea: Of the three divisions of time, how can two, the past and the future, be, when the past no longer is, and the future is not yet?
     From: Augustine (Confessions [c.398], XI.14)
     A reaction: This is the oldest bewilderment about time, which naturally leads us to the thought that time cannot actually 'exist'. The remark implies that at least 'now' is safe, but that also succumbs to paradox pretty quickly.
27. Natural Reality / D. Time / 1. Nature of Time / i. Denying time
The whole of the current year is not present, so how can it exist? [Augustine]
     Full Idea: We cannot say that the whole of the current year is present, and if the whole of it is not present, the year is not present.
     From: Augustine (Confessions [c.398], XI.15)
     A reaction: Another nice way of presenting the paradox of time. We are in a particular year, so it has to be real.
27. Natural Reality / D. Time / 2. Passage of Time / a. Experience of time
I know what time is, until someone asks me to explain it [Augustine]
     Full Idea: I know well enough what time is, provided that nobody asks me; but if I am asked what it is and try to explain, I am baffled.
     From: Augustine (Confessions [c.398], XI.14)
     A reaction: A justly famous remark, even though it adds nothing to our knowledge of time. This sort of thought pushes us towards accepting many things as axiomatic, such as time, space, identity, persons, mind.
27. Natural Reality / D. Time / 2. Passage of Time / h. Change in time
I disagree with the idea that time is nothing but cosmic movement [Augustine]
     Full Idea: I once heard a learned man say that time is nothing but the movement of the sun and the moon and the stars, but I do not agree.
     From: Augustine (Confessions [c.398], XI.22)
     A reaction: It is tempting to say that you either take time or movement as axiomatic, and describe one in terms of the other, but you are stuck unable to give the initial statement of the axiom without mentioning the second property you were saving for later.
27. Natural Reality / E. Cosmology / 3. The Beginning
Heaven and earth must be created, because they are subject to change [Augustine]
     Full Idea: The fact that heaven and earth are there proclaims that they were created, for they are subject to change and variation; ..the meaning of change and variation is that something is there which was not there before.
     From: Augustine (Confessions [c.398], XI.04)
     A reaction: It seems possible that the underlying matter is eternal (as in various conservation laws, such as that of energy), and that all change is in the form rather than the substance.
27. Natural Reality / G. Biology / 5. Species
Tigers may lack all the properties we originally used to identify them [Kripke]
     Full Idea: We might find out that tigers had none of the properties by which we originally identified them.
     From: Saul A. Kripke (Naming and Necessity lectures [1970], Lecture 3)
     A reaction: This sounds like a can of worms. If I baptise someone 'the tallest man in the room', and it turns out he isn't, I withdraw my baptism. Why would I never withdraw 'tiger'? I suppose Kripke is right.
The original concept of 'cat' comes from paradigmatic instances [Kripke]
     Full Idea: The original concept of cat is: that kind of thing, where the kind can be identified by paradigmatic instances.
     From: Saul A. Kripke (Naming and Necessity lectures [1970], Lecture 3)
     A reaction: Kripke evokes Putnam at this point, since he is famous for this proposal. Note that Kripke uses the plural, invoking more than one instance. Presumably we must abstract the fur colours from the instances?
'Tiger' designates a species, and merely looking like the species is not enough [Kripke]
     Full Idea: We can say in advance that we use the term 'tiger' to designate a species, and that anything not of this species, even though it looks like a tiger, is not in fact a tiger.
     From: Saul A. Kripke (Naming and Necessity lectures [1970], Lecture 3)
     A reaction: This is the 'baptismal' direct reference theory applied to species as well as to particular names. It seem to hinge on an internal structure being baptised, despite ignorance of what that structure is. Cf nominal essence? 'Tiger' denotes their essence?
28. God / A. Divine Nature / 5. God and Time
If God existed before creation, why would a perfect being desire to change things? [Augustine, by Bardon]
     Full Idea: If nothing existed by God before creation, then what could have happened to, or within, God that led God to decide to create the universe at that particular moment? Why would an eternal or perfect being want or need to change?
     From: report of Augustine (Confessions [c.398]) by Adrian Bardon - Brief History of the Philosophy of Time 1 'Augustine's'
     A reaction: I suppose you could reply that change is superior to stasis, but then why did God delay the creation?
If God is outside time in eternity, can He hear prayers? [Augustine]
     Full Idea: O Lord, since you are outside time in eternity, are you unaware of the things that I tell you?
     From: Augustine (Confessions [c.398], XI.01)
     A reaction: This strikes me as the single most difficult and most elusive question about the nature of a supreme divine being. If the being is trapped in time, as we are, it is greatly diminished, and if it is outside, it is hard to see how it could be a participant.