am going to discuss some issues inspired by a well-known paper ofKeith Donnellan, "Reference and Definite Descriptions,”2 but the interest—to me—of the contrast mentioned in my title goes beyond Donnellan's paper: I think it is of considerable constructive as well as critical importance to the philosophy oflanguage. These applications, however, and even everything I might want to say relative to Donnellan’s paper, cannot be discussed in full here because of problems of length. Moreover, although I have a considerable interest in (...) the substantive issues raised by Donnellan’s paper, and by related literature, my own conclusions will be methodological, not substantive. I can put the matter this way: Donnellan’s paper claims to give decisive objections both to Russell’s theory of definite descriptions (taken as a theory about English) and to Strawson’s. My concem is not primarily with the question; is Donnellan right, or is Russell (or Strawson)? Rather, it is with the question: do the considerations in Donneilarfs paper refute Russell’s theory (or Strawson’s)? For definiteness, I will concentrate on Donnellan versus Russell, leaving Strawson aside. And about this issue I will draw a definite conclusion, one which I think will illuminate a few methodological maxims about language. Namely, I will conclude that the considerations in Donnellan’s paper, by themselves, do not refute Russell’s theory. Any conclusions about Russell’s views per se, or Donnellan’s, must be tentative, IfI were to be asked for a tentative stab about Russell, I would say that although his theory does a far better job of handling ordinary discourse than many have thought, and although many popular arguments against it are inconclusive, probably it ultimately fails. The considerations I have in mind have to do with the existence of “improper” definite descriptions, such as “the table," where uniquely specifying conditions are not contained in the description itself.. (shrink)

Frege's theory of indirect contexts and the shift of sense and reference in these contexts has puzzled many. What can the hierarchy of indirect senses, doubly indirect senses, and so on, be? Donald Davidson gave a well-known 'unlearnability' argument against Frege's theory. The present paper argues that the key to Frege's theory lies in the fact that whenever a reference is specified (even though many senses determine a single reference), it is specified in a particular way, so that giving a (...) reference implies giving a sense; and that one must be 'acquainted' with the sense. It is argued that an indirect sense must be 'immediately revelatory' of its reference. General principles for Frege's doctrine of sense and reference are sated, for both direct and indirect quotation, to be understood iteratively. I also discuss Frege's doctrine of tensed and first person statements in the light of my analysis. The views of various other authors are examined. The conclusion is to ascribe to Frege an implicit doctrine of acquaintance similar to that of Russell. (shrink)

Traditionally, many writers, following Kleene (1952), thought of the Church-Turing thesis as unprovable by its nature but having various strong arguments in its favor, including Turing’s analysis of human computation. More recently, the beauty, power, and obvious fundamental importance of this analysis, what Turing (1936) calls “argument I,” has led some writers to give an almost exclusive emphasis on this argument as the unique justification for the Church-Turing thesis. In this chapter I advocate an alternative justification, essentially presupposed by Turing (...) himself in what he calls “argument II.” The idea is that computation is a special form of mathematical deduction. Assuming the steps of the deduction can be stated in a first order language, the Church-Turing thesis follows as a special case of Gödel’s completeness theorem (first order algorithm theorem). I propose this idea as an alternative foundation for the Church-Turing thesis, both for human and machine computation. Clearly the relevant assumptions are justified for computations presently known. Other issues, such as the significance of Gödel’s 1931 Theorem IX for the Entscheidungsproblem, are discussed along the way. (shrink)

In this book Saul Kripke brings his powerful philosophical intelligence to bear on Wittgenstein's analysis of the notion of following a rule.

A formal theory of truth, alternative to tarski's 'orthodox' theory, based on truth-value gaps, is presented. the theory is proposed as a fairly plausible model for natural language and as one which allows rigorous definitions to be given for various intuitive concepts, such as those of 'grounded' and 'paradoxical' sentences.

Reference and Existence, Saul Kripke's John Locke Lectures for 1973, can be read as a sequel to his classic Naming and Necessity. It confronts important issues left open in that work -- among them, the semantics of proper names and natural kind terms as they occur in fiction and in myth; negative existential statements; the ontology of fiction and myth. In treating these questions, he makes a number of methodological observations that go beyond the framework of his earlier book (...) -- including the striking claim that fiction cannot provide a test for theories of reference and naming. In addition, these lectures provide a glimpse into the transition to the pragmatics of singular reference that dominated his influential paper, " Speaker's Reference and Semantic Reference " -- a paper that helped reorient linguistic and philosophical semantics. Some of the themes have been worked out in later writings by other philosophers -- many influenced by typescripts of the lectures in circulation -- but none have approached the careful, systematic treatment provided here. The virtuosity of Naming and Necessity -- the colloquial ease of the tone, the dazzling, on-the-spot formulations, the logical structure of the overall view gradually emerging over the course of the lectures -- is on display here as well. (shrink)

Under the influence of Quine’s famous manifesto, many philosophers have thought that logical theories are scientific theories that can be ‘adopted’ and tested as scientific theories. Here we argue that this idea is untenable. We discuss it with special reference to Putnam’s proposal to ‘adopt’ a particular non-classical logic to solve the foundational problems of quantum mechanics in his famous paper ‘Is Logic Empirical?’ (1968), which we argue was not really coherent.

Despite the renown of ‘On Denoting’, much criticism has ignored or misconstrued Russell's treatment of scope, particularly in intensional, but also in extensional contexts. This has been rectified by more recent commentators, yet it remains largely unnoticed that the examples Russell gives of scope distinctions are questionable or inconsistent with his own philosophy. Nevertheless, Russell is right: scope does matter in intensional contexts. In Principia Mathematica, Russell proves a metatheorem to the effect that the scope of a single occurrence of (...) a description in an extensional context does not matter, provided existence and uniqueness conditions are satisfied. But attempts to eliminate descriptions in more complicated cases may produce an analysis with more occurrences of descriptions than featured in the analysand. Taking alternation and negation to be primitive (as in the first edition of Principia), this can be resolved, although the proof is non-trivial. Taking the Sheffer stroke to be primitive (as proposed by Russell in the second edition), with bad choices of scope the analysis fails to terminate. (shrink)

In his paper on the incompleteness theorems, Gödel seemed to say that a direct way of constructing a formula that says of itself that it is unprovable might involve a faulty circularity. In this note, it is proved that ‘direct’ self-reference can actually be used to prove his result.

This important new book is the first of a series of volumes collecting essential work by an influential philosopher. It presents a mixture of published and unpublished works from various stages of Kripke's storied career. Included here are seminal and much discussed pieces such as “Identity and Necessity,” “Outline of a Theory of Truth,” and “A Puzzle About Belief.” More recent published work include “Russell's Notion of Scope” and “Frege's Theory of Sense and Reference” among others. Several of the (...) works included here are published for the first time, including both older works “Two Paradoxes of Knowledge,” “Vacuous Names and Fictional Entities,” “Nozick on Knowledge” as well as newer “The First Person” and “Unrestricted Exportation.” “A Puzzle on Time and Thought” was written for this volume. The publication of this volume—which ranges over epistemology, linguistics, pragmatics, philosophy of language, history of analytic philosophy, theory of truth, and metaphysics—represents a major event in contemporary analytic philosophy. This collection aims to be a testament to one of philosophy's greatest living figures. (shrink)

The Hilbert program was actually a specific approach for proving consistency, a kind of constructive model theory. Quantifiers were supposed to be replaced by ε-terms. εxA(x) was supposed to denote a witness to ∃xA(x), or something arbitrary if there is none. The Hilbertians claimed that in any proof in a number-theoretic system S, each ε-term can be replaced by a numeral, making each line provable and true. This implies that S must not only be consistent, but also 1-consistent. Here we (...) show that if the result is supposed to be provable within S, a statement about all Pi-0-2 statements that subsumes itself within its own scope must be provable, yielding a contradiction. The result resembles Gödel's but arises naturally out of the Hilbert program itself. (shrink)

Several writers have assumed that when in “Outline of a Theory of Truth” I wrote that “the orthodox approach” – that is, Tarski’s account of the truth definition – admits descending chains, I was relying on a simple compactness theorem argument, and that non-standard models must result. However, I was actually relying on a paper on ‘pseudo-well-orderings’ by Harrison. The descending hierarchy of languages I define is a standard model. Yablo’s Paradox later emerged as a key to interpreting the result.

This important new book is the first of a series of volumes collecting the essential articles by the eminent and highly influential philosopher Saul A. Kripke. It presents a mixture of published and unpublished articles from various stages of Kripke's storied career.

In the Handbook of Mathematical Logic, the Paris-Harrington variant of Ramsey's theorem is celebrated as the first result of a long ‘search’ for a purely mathematical incompleteness result in first-order Peano arithmetic. This paper questions the existence of any such search and the status of the Paris-Harrington result as the first mathematical incompleteness result. In fact, I argue that Gentzen gave the first such result, and that it was restated by Goodstein in a number-theoretic form.

Wittgenstein gave a clearly erroneous refutation of Russell’s logicist project. The errors were ably pointed out by Mark Steiner. Nevertheless, I was motivated by Wittgenstein and Steiner to consider various ideas about the natural numbers. I ask which notations for natural numbers are ‘buck-stoppers’. For us it is the decimal notation and the corresponding verbal system. Based on the idea that a proper notation should be ‘structurally revelatory’, I draw various conclusions about our own concept of the natural numbers.

This book was inadvertently published with the addition of the editor’s name, C. J. Posy, as co-author of the chapter. His name has been removed now and the author’s name Saul A. Kripke has been updated in the chapter.

Most philosophers seem to be under a misleading impression about the difference between ‘and’ and ‘but’. They hold that they are truth-functional equivalents but that ‘but’ adds a Gricean ‘conventional implicature’ to ‘and’. Frege thought that the implicature attached to ‘but’ was that the second clause is unlikely given the first; others have simply said they express a contrast between the two. Though the second formulation may seem more general, in practice writers seem to agree with Frege's idea. The present (...) note will argue against this conventional view. Indeed, ‘and’ and ‘but’ may both convey conflicting implicatures; and the traditional characterization of the implicature of ‘but’ is outright mistaken, or at least misleading. (shrink)

Frege’s system of first-order logic is presented in a contemporary framework. The system described is distinguished by economy of expression and an unusual syntax.

Linsky’s central point is correct; Kripke’s distinction between rigid and nonrigid designators can be extended in a straightforward way from singular terms to general terms. In both cases, for an expression to rigidly designate its extension is for it to designate the same extension with respect to every possible world-state (in which it has an extension at all). On this account, simple natural kind terms like water, gold, electricity, blue, and tiger – as well as ordinary general terms like (...) bachelor, philosopher, automobile and triangle – designate the same extension with respect to each world-state. As I see it, however, the two differ importantly in the metaphysics of their designata. Whereas a term like bachelor designates a property that may be distinguished from other properties that are necessarily coextensive with it, natural kinds differ from one another only if there are possible world-states in which some of their instances are different. Intuitively this seems plausible; it is hard to imagine two distinct species of animal, two distinct substances, or two distinct colors which have precisely the same instances in every possible world-state. This is important for my linguistic model. Consider, for example, the color blue (which I take to be a natural kind). Color science tells us that the object-color blue is determined.. (shrink)

The paper provides a new semantics for positive modal logic using Kripke frames having a quasi ordering on the set of possible worlds and an accessibility relation connected to the quasi ordering by the conditions (1) that the composition of with is included in the composition of with and (2) the analogous for the inverse of and . This semantics has an advantage over the one used by Dunn in "Positive modal logic," Studia Logica (1995) and works fine for (...) extensions of the minimal system of normal positive modal logic. (shrink)

Intuitionistic logic is presented here as part of familiar classical logic which allows mechanical extraction of programs from proofs. to make the material more accessible, basic techniques are presented first for propositional logic; Part II contains extensions to predicate logic. This material provides an introduction and a safe background for reading research literature in logic and computer science as well as advanced monographs. Readers are assumed to be familiar with basic notions of first order logic. One device for making this (...) book short was inventing new proofs of several theorems. The presentation is based on natural deduction. The topics include programming interpretation of intuitionistic logic by simply typed lambda-calculus (Curry-Howard isomorphism), negative translation of classical into intuitionistic logic, normalization of natural deductions, applications to category theory, Kripke models, algebraic and topological semantics, proof-search methods, interpolation theorem. The text developed from materal for several courses taught at Stanford University in 1992-1999. (shrink)

Kripke-Armstrongovim argumentom tvrdi se da branilac postojanja temporalnih delova materijalnih objekata ne može da utvrdi da li usamljeni homogeni disk sačinjen od kontinuirane materije rotira oko svoje ose ili miruje. Perdurantista ne može da razlikuje dve mogućnosti pozivajući se na različite trenutne brzine trenutnih temporalnih delova diska, zbog toga što bi time prekršio tezu hjumovske supervenijencije. U ovom radu ću, sledeći Džeremija Baterfilda, pokazati kako se na KripkeArmstrongov izazov može odgovoriti zadržavajući hjumovsku supervenijenciju: pozivanjem na različite trenutne brzine netrenutnih (...) temporalnih delova Kripke-Armstrongovog usamljenog diska. (shrink)

Dynamic topological logic provides a context for studying the confluence of the topological semantics for S4, topological dynamics, and temporal logic. The topological semantics for S4 is based on topological spaces rather than Kripke frames. In this semantics, is interpreted as topological interior. Thus S4 can be understood as the logic of topological spaces, and can be understood as a topological modality. Topological dynamics studies the asymptotic properties of continuous maps on topological spaces. Let a dynamic topological system be (...) a topological space X together wError: Corrupted memory profileError: read ICCBased color space profile errorith a continuous function f. f can be thought of in temporal terms, moving the points of the topological space from one moment to the next. Dynamic topological logics are the logics of dynamic topological systems, just as S4 is the logic of topological spaces. Dynamic topological logics are defined for a trimodal language with an S4-ish topological modality, and two temporal modalities, and ∗, both interpreted using the continuous function. (shrink)

This book introduces the central issues of metaphysics and epistemology, from skepticism, justification, and perception to universals, personal identity, and free will. Though topically organized, the book integrates positions and examples from the history of philosophy. Plato, Descartes, and Leibniz are discussed alongside Quine, Kripke, and Haslanger. Peripheral ideas and related historical asides are offered in boxes interspersed within the text, providing further depth without disrupting the author’s lucid explanations of central themes and arguments. Original illustrations by Gillian Wilson (...) are included throughout, giving interesting and clear visual representations of many of the book’s examples and thought experiments. (shrink)

We construct logical languages which allow one to represent a variety of possible types of changes affecting the information states of agents in a multi-agent setting. We formalize these changes by defining a notion of epistemic program. The languages are two-sorted sets that contain not only sentences but also actions or programs. This is as in dynamic logic, and indeed our languages are not significantly more complicated than dynamic logics. But the semantics is more complicated. In general, the semantics of (...) an epistemic program is what we call aprogram model. This is a Kripke model of ‘actions’,representing the agents' uncertainty about the current action in a similar way that Kripke models of ‘states’ are commonly used in epistemic logic to represent the agents' uncertainty about the current state of the system. Program models induce changes affecting agents' information, which we represent as changes of the state model, called epistemic updates. Formally, an update consists of two operations: the first is called the update map, and it takes every state model to another state model, called the updated model; the second gives, for each input state model, a transition relation between the states of that model and the states of the updated model. Each variety of epistemic actions, such as public announcements or completely private announcements to groups, gives what we call an action signature, and then each family of action signatures gives a logical language. The construction of these languages is the main topic of this paper. We also mention the systems that capture the valid sentences of our logics. But we defer to a separate paper the completeness proof. (shrink)

I have been told that for some twenty minutes after reading this paper Kripke believed I had shown that proper names could be non-rigid designators. (Then, apparently, he found a crucial error in the set-up.) I take great pride in this (alleged) fact.

CZF is an intuitionistic set theory that does not contain Power Set, substituting instead a weaker version, Subset Collection. In this paper a Kripke model of CZF is presented in which Power Set is false. In addition, another Kripke model is presented of CZF with Subset Collection replaced by Exponentiation, in which Subset Collection fails.

In ‘Naming and Necessity,’ Saul Kripke defends a number of essentialist claims. One of them is that having a certain origin is a necessary property of a material thing. Used in connection with a human being or, presumably, a living thing of another kind whose members sexually reproduce, ‘necessity of origin’ means that the organism must have been born of those individuals who are its parents, i.e., whose body tissues are sources of the sperm and egg from which it (...) issued, in the actual world. To say that the origin of an inanimate material thing is necessary is to say that having its origin in the hunk of matter from which it came is essential to it. (shrink)

Chalmers' anti-materialist arguments are an interesting twist on a well-known argument form, and his naturalistic dualism is exciting to contemplate. Nevertheless, we think we can save materialism from the Chalmerian attack. This is what we do in the present paper.

In order to build the collection of Cauchy reals as a set in constructive set theory, the only power set-like principle needed is exponentiation. In contrast, the proof that the Dedekind reals form a set has seemed to require more than that. The main purpose here is to show that exponentiation alone does not suffice for the latter, by furnishing a Kripke model of constructive set theory, Constructive Zermelo–Fraenkel set theory with subset collection replaced by exponentiation, in which the (...) Cauchy reals form a set while the Dedekind reals constitute a proper class. (shrink)