It has been argued that a combination of game-theoretic semantics and independence-friendly (IF) languages can provide a novel approach to the conceptual foundations of mathematics and the sciences. I introduce and motivate an IF first-order modal language endowed with a game-theoretic semantics of perfect information. The resulting interpretive independence-friendly logic (IIF) allows to formulate some basic model-theoretic notions that are inexpressible in the ordinary quantified modal logic. Moreover, I argue that some key concepts of Kripke’s new theory of reference (...) are adequately modeled within IIF. Finally, I compare the logic IIF to David Lewis' counterpart theory, drawing some morals concerning the interrelation between metaphysical and semantic issues in possible-world semantics. (shrink)
Davidson’s later philosophy of language has been inspired by Wittgenstein’s Investigations, but Davidson by no means sympathizes with the sceptical problem and solution Kripke attributes to Wittgenstein. Davidson criticizes the sceptical argument for relying on the rule-following conception of meaning, which is, for him, a highly problematic view. He also casts doubt on the plausibility of the sceptical solution as unjustifiably bringing in shared practices of a speech community. According to Davidson, it is rather success in mutual interpretation that (...) explains success in the practice of meaning something by an utterance. I will argue that Davidson’s objections to the sceptical problem and solution are misplaced as they rely on a misconstrual of Kripke’s Wittgenstein’s view. I will also argue that Davidson’s alternative solution to the sceptical problem is implausible, since it fails to block the route to the sceptical problem. I will then offer a problematic trilemma for Davidson. (shrink)
Kripke’s theory of truth, 690–716; 1975) has been very successful but shows well-known expressive difficulties; recently, Field has proposed to overcome them by adding a new conditional connective to it. In Field’s theories, desirable conditional and truth-theoretic principles are validated that Kripke’s theory does not yield. Some authors, however, are dissatisfied with certain aspects of Field’s theories, in particular the high complexity. I analyze Field’s models and pin down some reasons for discontent with them, focusing on the meaning (...) of the new conditional and on the status of the principles so successfully recovered. Subsequently, I develop a semantics that improves on Kripke’s theory following Field’s program of adding a conditional to it, using some inductive constructions that include Kripke’s one and feature a strong evaluation for conditionals. The new theory overcomes several problems of Kripke’s one and, although weaker than Field’s proposals, it avoids the difficulties that affect them; at the same time, the new theory turns out to be quite simple. Moreover, the new construction can be used to model various conceptions of what a conditional connective is, in ways that are precluded to both Kripke’s and Field’s theories. (shrink)
No other recent book in Anglophone philosophy has attracted as much criticism and has found so few friends as Saul Kripke's "Wittgenstein on Rules and Private Language". Amongst its critics, one finds the very top of the philosophical profession. Yet, it is rightly counted amongst the books that students of philosophy, at least in the Anglo-American world, have to read at some point in their education. Enormously influential, it has given rise to debates that strike at the very heart (...) of contemporary philosophy of mind and language. In this major new interpretation, Martin Kusch defends Kripke's account against the numerous weighty objections that have been put forward over the past twenty years and argues that none of them is decisive. He shows that many critiques are based on misunderstandings of Kripke's reasoning; that many attacks can be blocked by refining and developing Kripke's position; and that many alternative proposals turn out either to be unworkable or to be disguised variants of the view they are meant to replace. Kusch argues that the apparent simplicity of Kripke's text is deceptive and that a fresh reading gives Kripke's overall argument a new strength. (shrink)
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 ‘Kripke on epistemic and metaphysical possibility: two routes to the necessary a posteriori’, Scott Soames identifies two arguments for the existence of necessary a posteriori truths in Naming and Necessity . He argues that Kripke's second argument relies on either of two principles, each of which leads to contradiction. He also claims that it has led to ‘two-dimensionalist’ approaches to the necessary a posteriori which are fundamentally at odds with the insights about meaning and modality expressed in (...) NN. I argue that the alleged second argument is not in NN. I identify the mistakes that lead to Soames' misinterpretation. (shrink)
In 'kripke's argument against the identity theory' michael levin argues that the private language argument can be used to undermine saul kripke's cartesian claim to be able to imagine mental states and brain states existing apart, and, thus, refute his argument for dualism. in this paper it is argued that levin's use of the private language argument relies implicitly upon the descriptivist theory of mental language, to which kripke has provided a plausible alternative, "viz"., the causal theory (...) of reference. thus, using the private language argument in the way levin suggests begs the question against the cartesian line of argument. (shrink)
In footnote 56 of his Naming and Necessity, Kripke offers a ‘proof’ of the essentiality of origin. On its most literal reading the argument is clearly flawed, as was made clear by Nathan Salmon. Salmon attempts to save the literal reading of the argument, but I argue that the new argument is flawed as well, and that it can’t be what Kripke intended. I offer an alternative reconstruction of Kripke’s argument, but I show that this suffers from (...) a more subtle fault. (shrink)
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)
A central part of Kripke's influential interpretation of Wittgenstein's sceptical argument about meaning is the rejection of dispositional analyses of what it is for a word to mean what it does. In this paper I show that Kripke's arguments prove too much: if they were right, they would preclude not only the idea that dispositional properties can make statements about the meanings of words true, but also the idea that dispositional properties can make true statements about paradigmatic dispositional (...) properties such as a cup's fragility or a person's bravery. However, since dispositional properties can make such statements true, Kripke-Wittgenstein's arguments against dispositionalism about meaning are mistaken. (shrink)
In his famous essay, "A Puzzle About Belief," Saul Kripke poses a puzzle regarding belief. In this paper I shall first describe Kripke's puzzle. Second, I shall introduce and examine five positions one might take in attempting to solve Kripke's Puzzle. In so doing, I shall show why each of these attempts fails to solve Kripke's Puzzle. The significance of this analysis is that if Kripke's Puzzle remains unresolved, then (as Kripke himself claims) the (...) normal apparatus for belief ascription needs rethinking. (shrink)
Most readers of the Investigations take skepticism as a target of Wittgenstein’s remarks, something to be refuted by means of a clear grasp of our criteria. Stanley Cavell was the first to challenge that consensual view by reminding us that our criteria are constantly open to skeptical repudiation, hence that privacy is a standing human possibility. In an apparently similar vein, Saul Kripke has argued that a skeptical paradox concerning rules and meaning is the central problem of the Investigations (...) – and one that receives a skeptical solution. Following the orthodoxy, however, Kripke does not take privacy as a real threat but instead reads Wittgenstein as offering an argument against its very possibility. This paper offers a critical assessment of Kripke’s and Cavell’s readings, and concludes by delineating an understanding of our linguistic practices that acknowledges the seriousness of skepticism while avoiding the kind of evasion shared by Kripke and the orthodoxy, enabling us to see agreement and meaning as continual tasks whose failure is imbued with high existential costs. (shrink)
Recently Saul Kripke has drawn attention to a puzzle about belief and proper names, a puzzle of which philosophers have been aware for a long time, but which has never been completely resolved. Kripke gives a new, bilingual illustration of the puzzle:1 Pierre, while living in his native France, learns much about the city of London, which he calls ‘Londres,’ and comes to believe something which he would express in French with the words, ‘Londres est jolie.’ Using standard (...) principle of translation, it seems correct for us to say, ‘Pierre believes that London is pretty.’ Suppose however that Pierre learns English, travels to London, learns that the name of the city he is in is ‘London,’ and sincerely and comprehendingly asserts, ‘London is not pretty.’ On the basis of his assertion, it seems correct for us to say, ‘Pierre believes that London is not pretty.’ But suppose he does not realize that ‘Londres’ is also a name for the city he is in, so he retains the belief which he would express with the French words, ‘Londres est jolie.’ Then, by the same principles of translation as before, it seems that we are still justified in saying, ‘Pierre believes that London is pretty.’ But now we have attributed to Pierre contradictory beliefs, and that does not seem acceptable, since Pierre has committed no logical oversight.Kripke believes that this is the same puzzle as one that arises in older, monolingual examples, such as that used by Quine: suppose Tom believes that Cicero denounced Cataline. Since ‘Tully’ is another name for Cicero, it seems acceptable to paraphrase his belief and say, ‘Tom believes that Tully denounced Cataline.’ But suppose Tom does not realize that Cicero and Tully are the same person, and suppose, in fact, that he sincerely and comprehendingly asserts, ‘Tully did not denounce Cataline.’ Then it also seems acceptable to say, on the basis of Tom’s assertion, ‘Tom believes that Tully did not denounce Cataline.’ But now we have attributed to Tom contradictory beliefs, and, as in the Pierre example, that does not seem acceptable. (shrink)
This article systematically challenges Kripke's modal argument and Soames's defence of this argument by arguing that, just like descriptions, names can take narrow or wide scopes over modalities, and that there is a big difference between the wide scope reading and the narrow scope reading of a modal sentence with a name. Its final conclusions are that all of Kripke's and Soames's arguments are untenable due to some fallacies or mistakes; names are not “rigid designators”; if there were (...) rigid designators, description(s) could be rigidified to refer fixedly to objects; so names cannot be distinguished in this way from the corresponding descriptions. A descriptivist account of names is still correct; and there is no justification for Kripke's theory of rigid designation and its consequences. (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.
The response to Kripke’s modal argument I wish to propose appeals to the distinction between indicative descriptions, i.e., descriptions formed using indicative verb forms, and what I shall call subjunctive descriptions, descriptions formed using non-indicative verb forms used in subjunctive conditionals. The contrast is between ‘the person who is richer than anyone else in the world’ and ‘the person who would have been richer than anyone else in the world’. The response to Kripke’s modal argument is that indicative (...) descriptions are always rigid designators and so do not contrast with proper names. (shrink)
A common complaint against Kripke’s Wittgenstein on Rules and Private Language is that whereas the aim of “the real” Wittgenstein’s private language argument is to establish the impossibility of a necessarily private language, the communitarian account of meaning proposed by Kripke’s Wittgenstein (KW), if successful, would establish the impossibility of a contingently private language. I show that this common complaint is based on a failure of Kripke’s critics (a failure that is justified, in part, by Kripke’s (...) text) to recognize and understand his distinction between a “physically isolated” individual (PII) and an individual “considered in isolation” (ICl) . It is only an ICI for whom rule following and language are rendered impossible by KW. l then show that an lel speaks a necessarily private language. Thus, KW’s private language argument gives us, at best, the same story about the impossibility of private language as pre-Kripke accounts of Wittgenstein’s private language argument. (shrink)
In Wittgenstein on Rules and Private Language, Saul Kripke presents a controversial skeptical argument, which he attributes to Wittgenstein’s interlocutor in the Philosophical Investigations [PI]. The argument purports to show that there are no facts that correspond to what we mean by our words. Kripke maintains, moreover, that the conclusion of Wittgenstein’s so-called private language argument is a corollary of results Wittgenstein establishes in §§137-202 of PI concerning the topic of following-a-rule, and not the conclusion of an independently (...) developed argument in §§243ff of PI, as most commentators take it to be. In this work, I assess Kripke’s skeptical argument both in its own right, and as an interpretation of the rule-following sections of PI. In its own right, I try to show that it is critically flawed. However, as an interpretation of the rule-following sections of PI, I try to show that it is essentially correct. I do this by showing that Kripke’s interpretation squares with and supports the meta-philosophical framework developed by Wittgenstein in §§107-136 of PI, which immediately precedes his remarks on following-a-rule. (Oct 16, 2008. Committee: Paul Horwich, Galen Strawson, Stephen Neale, Michael Levin) -/- . (shrink)
This paper analyses and criticizes S. Kripke's celebrated argument against materialist identity?theories. While criticisms of Kripke in the literature attack one or more of his premisses, an attempt is made here to show that Kripke's conclusion is unjustified even if his premisses are accepted. Kripke's premisses have sufficient independent plausibility to make this strategy interesting. Having stated Kripke's argument, it is pointed out that Kripke must assume that the contents of the Cartesian intuitions are (...) clear and of a kind suited for the type of explanation he favours, while his own result concerning contents in epistemic contexts is precisely that this might not be so when objects or events we thought distinct happen to be identical. The point is that only by assuming that the identity?theory is false, can Kripke maintain that the Cartesian intuitions express contents which can be explained in his favoured way. But such an assumption is clearly illegitimate when the aim is to establish that the identity?theory is false. Kripke cannot conclude that the identity?theory is false because no explanation of epistemic possibilities is produced, since by his own standards no such explanation can be produced if the identity?theory is true. (shrink)
We think that Kripke’s arguments that there are contingent a priori truths and that there are necessary a posteriori truths about named and essentially described entities fail. They fail for the reasons that there are ambiguities in each of the three eases. In the first ease, what is known apriori is not what is contingent. In the latter two cases, what is necessary or essential is not what is known a posteriori.
In Naming and Necessity Kripke accuses Frege of conflating two notions of meaning (or sense), one is meaning proper, the other is determining of reference (p. 59). More precisely, Kripke argues that Frege conflated the question of how the meaning of a word is given or determined with the question of how its reference is determined. The criterial mark of meaning determination, according to Kripke, is a statement of synonymy: if we give the sense of “a” by (...) means of “b”, then the two expressions must be synonymous. The criterial mark of reference-determination is knowledge, typically a priori, of the truth of their identity: If the reference of “a” is given by “b”, then we know a priori that a is b. Kripke then argues that Frege’s conceptions of both meaning-determination and of reference determination were wrong, and proposes an alternative picture of reference determination. (shrink)
We think that Kripke’s arguments that there are contingent a priori truths and that there are necessary a posteriori truths about named and essentially described entities fail. They fail for the reasons that there are ambiguities in each of the three eases. In the first ease, what is known apriori is not what is contingent. In the latter two cases, what is necessary or essential is not what is known a posteriori.
Recently Saul Kripke has drawn attention to a puzzle about belief and proper names, a puzzle of which philosophers have been aware for a long time, but which has never been completely resolved. Kripke gives a new, bilingual illustration of the puzzle:1 Pierre, while living in his native France, learns much about the city of London, which he calls ‘Londres,’ and comes to believe something which he would express in French with the words, ‘Londres est jolie.’ Using standard (...) principle of translation, it seems correct for us to say, ‘Pierre believes that London is pretty.’ Suppose however that Pierre learns English, travels to London, learns that the name of the city he is in is ‘London,’ and sincerely and comprehendingly asserts, ‘London is not pretty.’ On the basis of his assertion, it seems correct for us to say, ‘Pierre believes that London is not pretty.’ But suppose he does not realize that ‘Londres’ is also a name for the city he is in, so he retains the belief which he would express with the French words, ‘Londres est jolie.’ Then, by the same principles of translation as before, it seems that we are still justified in saying, ‘Pierre believes that London is pretty.’ But now we have attributed to Pierre contradictory beliefs, and that does not seem acceptable, since Pierre has committed no logical oversight.Kripke believes that this is the same puzzle as one that arises in older, monolingual examples, such as that used by Quine: suppose Tom believes that Cicero denounced Cataline. Since ‘Tully’ is another name for Cicero, it seems acceptable to paraphrase his belief and say, ‘Tom believes that Tully denounced Cataline.’ But suppose Tom does not realize that Cicero and Tully are the same person, and suppose, in fact, that he sincerely and comprehendingly asserts, ‘Tully did not denounce Cataline.’ Then it also seems acceptable to say, on the basis of Tom’s assertion, ‘Tom believes that Tully did not denounce Cataline.’ But now we have attributed to Tom contradictory beliefs, and, as in the Pierre example, that does not seem acceptable. (shrink)
We investigate axiomatizations of Kripke's theory of truth based on the Strong Kleene evaluation scheme for treating sentences lacking a truth value. Feferman's axiomatization KF formulated in classical logic is an indirect approach, because it is not sound with respect to Kripke's semantics in the straightforward sense: only the sentences that can be proved to be true in KF are valid in Kripke's partial models. Reinhardt proposed to focus just on the sentences that can be proved to (...) be true in KF and conjectured that the detour through classical logic in KF is dispensable. We refute Reinhardt's Conjecture, and provide a direct axiomatization PKF of Kripke's theory in partial logic. We argue that any natural axiomatization of Kripke's theory in Strong Kleene logic has the same proof-theoretic strength as PKF, namely the strength of the system RA< ωω ramified analysis or a system of Tarskian ramified truth up to ωω. Thus any such axiomatization is much weaker than Feferman's axiomatization KF in classical logic, which is equivalent to the system RA<ε₀ of ramified analysis up to ε₀. (shrink)
A common complaint against Kripke’s Wittgenstein on Rules and Private Language is that whereas the aim of “the real” Wittgenstein’s private language argument is to establish the impossibility of a necessarily private language, the communitarian account of meaning proposed by Kripke’s Wittgenstein, if successful, would establish the impossibility of a contingently private language. I show that this common complaint is based on a failure of Kripke’s critics to recognize and understand his distinction between a “physically isolated” individual (...) and an individual “considered in isolation”. It is only an ICI for whom rule following and language are rendered impossible by KW. l then show that an lel speaks a necessarily private language. Thus, KW’s private language argument gives us, at best, the same story about the impossibility of private language as pre-Kripke accounts of Wittgenstein’s private language argument. (shrink)
A common complaint against Kripke’s Wittgenstein on Rules and Private Language is that whereas the aim of “the real” Wittgenstein’s private language argument is to establish the impossibility of a necessarily private language, the communitarian account of meaning proposed by Kripke’s Wittgenstein , if successful, would establish the impossibility of a contingently private language. I show that this common complaint is based on a failure of Kripke’s critics to recognize and understand his distinction between a “physically isolated” (...) individual and an individual “considered in isolation” . It is only an ICI for whom rule following and language are rendered impossible by KW. l then show that an lel speaks a necessarily private language. Thus, KW’s private language argument gives us, at best, the same story about the impossibility of private language as pre-Kripke accounts of Wittgenstein’s private language argument. (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)
According to the sceptic Saul Kripke envisages in his celebrated book on Wittgenstein on rules and private language, there are no facts about an individual that determine what she means by any given expression. If there are no such facts, the question then is, what justifies the claim that she does use expressions meaningfully? Kripke’s answer, in a nutshell, is that she by and large uses her expressions in conformity with the linguistic standards of the community she belongs (...) to. While Kripke’s sceptical problem has gripped philosophers for over three decades, few, if any, have been satisfied by his proposed solution, and many have struggled to come up with one of their own. The purpose of this paper is to show that a more satisfactory answer to Kripke’s challenge can be developed on the basis of Donald Davidson’s writings on triangulation, the idea of two individuals interacting simultaneously with each other and the world they share. It follows from the triangulation argument that the facts that can be regarded as determining meaning are irreducible. Yet, contra Kripke, they are not mysterious, for the argument does spell out what is needed for an individual’s expressions to be meaningful. (shrink)
In Naming and Necessity' Saul A. Kripke gives two types of examples of contingent truths knowable a priori. So he disagrees with the first leg of the thesis. As we will see later, his examples depend on the direct designation theory of names. While there have been attempts to provide examples of the contingent a priori that do not depend on that theory, most of those examples should be viewed as expansions, or modifications, of Kripke's examples. Philip Kitcher, (...) for example, gives an interesting example that has nothing to do with theories of names, but is produced using the indexical 'actual'.2 His example, however, is a variation of Kripke's Neptune Type example.' In what follows I will focus on Kripke's two types of examples and modifications of them. I will argue that although both types of example fail, it is possible to modify his Standard Metre example in such a way that we have an example of the contingent a priori. (shrink)