This paper argues that most of the alleged straight solutions to the sceptical paradox which Kripke ascribed to Wittgenstein can be regarded as the first horn of a dilemma whose second horn is the paradox itself. The dilemma is proved to be a by‐product of a foundationalist assumption on the notion of justification, as applied to linguistic behaviour. It is maintained that the assumption is unnecessary and that the dilemma is therefore spurious. To this end, an alternative conception of (...) the justification of linguistic behaviour is outlined, a conception that vindicates some of the insights behind Kripke's Wittgenstein's sceptical solution of the paradox. This alternative conception is defended against two objections (both familiar from McDowell's works): (1) that it would imply that for the linguistic community there is no authority, no standard to meet and, therefore, no possibility of error and (2) that it would lead to a kind of idealism. (shrink)

The received view of Kripke's Wittgenstein on Rules and Private Language is that it fails as an interpretation because, inter alia, it ignores or overlooks what Wittgenstein has to say in the second paragraph of Philosophical Investigations 201. In this paper, I demonstrate that the paragraph in question is in fact fully accommodated within Kripke's reading, and cannot therefore be reasonably utilised to object to it. -/- In part one I characterise the objection; in part two I explain (...) why it fails; in part three I suggest why commentators might have been motivated to offer it; and in part four I claim that two commentators who have offered it also imply otherwise. (shrink)

In “Naming and Necessity” Saul Kripke describes some cases which, he claims, provide counterexamples both to cluster theories and, more generally, to description theories of proper names. My view of these cases is that while they do not provide counterexamples to cluster theories, they can be used to provide evidence against single-description theories. In this paper I shall defend both of the claims involved in my view.

An introduction to Kripke’s semantics for propositional and quantified modal logic (with special reference to its historical development from the original 1959 version to the extended versions of 1963 and 1965) and to his theory of truth.

In this paper, I want to show that a reasonable thesis on truth in fiction, Fictional Vichianism (FV)—according to which fictional truths are true because they are stipulated to be true—can be positively endorsed if one grounds Kripke’s justification for (FV), that traces back to the idea that names used in fiction never refer to concrete real individuals, into a creationist position on fictional entities that allows for a distinction between the pretending and the characterizing use of fiction-involving sentences. (...) Thus, sticking to (FV) provides a reason for a metaphysically moderate ontological realism on fictional entities. (shrink)

Kripke’s main argument against descriptivism is rooted in a category error that confuses statements about the world with statements about models of the world. It is only because of the ambiguity introduced by the fact that a single sentence can frame two different propositions, one necessary and the other a posteriori, that one reaches the mistaken conclusion that there can be necessary a posteriori truths. This ambiguity from language was carried over into modal logic by Kripke. However, we (...) must consider the two different propositions (1) and (2) separately. Doing so reveals that a given proposition is either necessary and a priori or contingent and a posteriori. It cannot be both. (shrink)

In this paper I discuss a passage from *Naming and Necessity* where Kripke assumes that the essential properties by means of which a definite description designates are a sufficient condition of its rigidity. I put forward two examples that show the falsity of this assumption. Then I examine the non-rigid character of definite descriptions that designate by means of properties that are sufficient conditions of identity of the objects designated by those descriptions. I conclude that the properties by means (...) of which rigid descriptions designate must be both necessary and sufficient conditions of the identity of the designated objects. (shrink)

In his influential Naming and Necessity lectures, Saul Kripke made new sense of modal statements: “Kant might have been a bachelor”, “Königsberg is necessarily identical with Kaliningrad”. Many took the notions he introduced-metaphysical necessity and rigid designation -- to herald new metaphysical issues and have important consequences. In fact, the Kripkean insight is at bottom semantic, rather than metaphysical: it is part of how proper names work that they purport to refer to individuals to whom modal properties can be (...) ascribed. We can see this by reflecting on analytic truths that ground modal claims like the two examples above. (shrink)

This paper is a comparison of Kripke’s and Künne’s interpretations of Frege’s theory of indexicals, especially concerning Frege’s remarks on time as “part of the expression of thought”. I analyze the most contrasting features of Kripke’s and Künne’s interpretations of Frege’s remarks on indexicals. Subsequently, I try to identify a common ground between Kripke’s and Künne’s interpretations, and hint at a possible convergence between those two views, stressing the importance given by Frege to nonverbal signs in defining (...) the content of thought. I conclude by indicating a possible direction for further research. (shrink)

This chapter introduces Kripke's work to advanced undergraduates, mainly focussing on his "A Puzzle About Belief" and "Wittgenstein on Rules and Private Language".

بررسی استدلال و پاسخ شک‌گرایانة کریپکی و برخی از واکنش‌ها به آن .

In?201 of Philosophical Investigations, Ludwig Wittgenstein puts forward his famous? rule - following paradox.? The paradox is how can one follow in accord with a rule? the applications of which are potentially infinite? when the instances from which one learns the rule and the instances in which one displays that one has learned the rule are only finite? How can one be certain of rule - following at all? In Wittgenstein: On Rules and Private Language, Saul Kripke concedes the (...) skeptical position that there are no facts that we follow a rule but that there are still conditions under which we are warranted in asserting of others that they are following a rule. In this paper, I explain why Kripke?s solution to the rule - following paradox fails. I then offer an alternative. (shrink)

Предлагается виттгенштайновское решение скептического парадокса Крипке, который возникает в результате пренебрежения прагматикой и нормативным измерением производимых операций. Парадокс Крипке указывает на то, что натурализация смысла и проблемы следования правилу в рамках классического (ненормативного) натурализма невозможна. Анализируется и критикуется недавно предложенная Гинзборг интерпретация парадокса. Хотя её натуралистический «срединный путь» между диспозиционализмом и ментализмом и близок к нормативному виттгенштайновскому натурализму, вводимое ею понятие примитивной нормативности неудовлетворительно. Правильнее говорить не о натурализме с минимальным добавлением нормативности, как это делает Гинзборг, а о нормативном натурализме.

I aim at dissolving Kripke's dogmatism paradox by arguing that, with respect to any particular proposition p which is known by a subject A, it is not irrational for A to ignore all evidence against p. Along the way, I offer a definition of 'A is dogmatic with respect to p', and make a distinction between an objective and a subjective sense of 'should' in the statement 'A should ignore all the evidence against p'. For the most part, I (...) deal with Kripke's original version of the paradox, wherein the subject wishes, above all else, to avoid losing her true belief or gaining a false one; in the final section I investigate the possibility of having a paradox for a subject who values knowledge above anything else. (shrink)

This paper examines an argument of Saul Kripke for the necessity of theoretical identification statements and defends it against a criticism of M. Perrick ("Are Kripke's Theoretical Identifications Necessary Truths?", Logique et Analyse, Volume 115, September 1986, pages 381-384). It is argued that Perrick's criticism rests on a fallacy of ambiguity. Formal modal logic is used to examine a number of plausible interpretations of Kripke's argument, and Perrick's error is shown to arise from confusion concerning the scope (...) of the modal necessity operator. (shrink)

The Kripke/Wittgenstein paradox and Goodman’s riddle of induction can be construed as problems of multiple redescription, where the relevant sceptical challenge is to provide factual grounds justifying the description we favour. A choice of description or predicate, in turn, is tantamount to the choice of a curve over a set of data, a choice apparently governed by implicitly operating constraints on the relevant space of possibilities. Armed with this analysis of the two paradoxes, several realist solutions of Kripke’s (...) paradox are examined that appeal to dispositions or other non-occurrent properties. It is found that all neglect crucial epistemological issues: the entities typically appealed to are not observational and must be inferred on the basis of observed entities or events; yet, the relevant sceptical challenge concerns precisely the factual basis on which this inference is made and the constraints operating on it. All disposition ascriptions, the thesis goes on to argue, contain elements of idealization. To ward off the danger of vacuity resulting from the fact that any disposition ascription is true under just the right ideal conditions, dispositional theories need to specify limits on legitimate forms of idealization. This is best done by construing disposition ascriptions as forms of (implicit) curve-fitting, I argue, where the “data” is not necessarily numeric, and the “curve” fitted not necessarily graphic. This brings us full circle: Goodman’s and Kripke’s problems are problems concerning curve-fitting, and the solutions for it appeal to entities the postulation of which is the result of curve-fitting. The way to break the circle must come from a methodology governing the idealizations, or inferences to the best idealization, that are a part of curve-fitting. The thesis closes with an argument for why natural science cannot be expected to be of much help in this domain, given the ubiquity of idealization. (shrink)

It is well known that the following features hold of AR + T under the strong Kleene scheme, regardless of the way the language is Gödel numbered: 1. There exist sentences that are neither paradoxical nor grounded. 2. There are 2ℵ0 fixed points. 3. In the minimal fixed point the weakly definable sets (i.e., sets definable as {n∣ A(n) is true in the minimal fixed point where A(x) is a formula of AR + T) are precisely the Π1 1 sets. (...) 4. In the minimal fixed point the totally defined sets (sets weakly defined by formulae all of whose instances are true or false) are precisely the ▵1 1 sets. 5. The closure ordinal for Kripke's construction of the minimal fixed point is ωCK 1. In contrast, we show that under the weak Kleene scheme, depending on the way the Gödel numbering is chosen: 1. There may or may not exist nonparadoxical, ungrounded sentences. 2. The number of fixed points may be any positive finite number, ℵ0, or 2ℵ0 . 3. In the minimal fixed point, the sets that are weakly definable may range from a subclass of the sets 1-1 reducible to the truth set of AR to the Π1 1 sets, including intermediate cases. 4. Similarly, the totally definable sets in the minimal fixed point range from precisely the arithmetical sets up to precisely the ▵1 1 sets. 5. The closure ordinal for the construction of the minimal fixed point may be ω, ωCK 1, or any successor limit ordinal in between. In addition we suggest how one may supplement AR + T with a function symbol interpreted by a certain primitive recursive function so that, irrespective of the choice of the Godel numbering, the resulting language based on the weak Kleene scheme has the five features noted above for the strong Kleene language. (shrink)

Reading Kripke's "Wittgenstein on Rules and Private Language", at first one can easily get confused about his claim that the problem discovered was a sort of ontological skepticism. Contrary to the opinion of a great number of contemporary philosophers who hold that rule-following brings up merely epistemological problems I will argue that the scepticism presented by Kripke really is ontological because it is concerned with the exclusion of certain facts. The first section in this paper is dedicated to (...) a presentation of Kripke's paradox with a clarification of the position of "plus/quus-talk" in the argument. Section two is engaged in one of his classical direct solutions: the dispositional theory which will serve as a preparation for the last section. Section three is concerned with Kripke's solution to the skeptical problem, ending with the question of whether he is giving a real solution. In section four, I will try to give an answer to those questions, distinguishing between two different versions of the problem given by the paradox; a wrong one and a correct one. Readers who are really fed up with the sceptical problem and its sceptical solution can skip section one, two and three, concentrating instead on my own argument for the real nature of the problem. In section five, I will pick up on some ideas from Norwich, who tries to give a "straight solution" to the paradox reanimating some weaker version of a dispositional theory of meaning. I will argue that Horwich's solution is misleading because he aims at the wrong version of the paradox. (shrink)

Frege introduced the distinction between sense and reference to account for the information conveyed by identity statements. We can put the point like this: if the meaning of a term is exhausted by what it stands for, then how can 'a =a' and 'a =b' differ in meaning? Yet it seems they do, for someone who understands all the terms involved would not necessarily judge that a =b even though they judged that a =a. It seems that 'a =b' just (...) says something more than the trivial ’a = a' - it seems to contain more information, in some sense of 'information'. So either we have to add something to explain this extra information, or sever the very plausible links between meaning and understanding. This is what some writers have called 'Frege's Puzzle' It is undeniable that there is a phenomenon here to be explained, and it was Frege's insight to see the need for its explanation. But how should we explain it? Frege's idea was to add another semantic notion - Sinn, or Sense -— to account for the information conveyed. Sense is part of the meaning of an expression: it is the 'cognitive value' of the expression, or that ’wherein the mode of presentation is contained' (Frege 1957 p.57). Sense has a role to play in systematically determining the meanings of complex expressions, and ultimately in fixing the contents of judgements. It is the senses of whole sentences — Gedanken or Thoughts - which are candidates for truth and falsehood, and which are thus the objects of our propositional attitudes. Of course, introducing the notion of sense in this way does not, by itself, tell us what sense is. It only imposes a condition on a theory of meaning (and ultimately) belief: that it must account for distinctions in cognitive value or 'mode of presentation' (this is not a trivial thesis —- some philosophers today would deny that an explanation of Frege's Puzzle must occur within semantics or the theory of meaning: see Salmon 1985). In this paper I want to explore one way of meeting this condition for the theory of names in natural language, by examining Kripke's well-known 'Puzzle about Belief' (Kripke 1979).. (shrink)

In the first section of this paper we show that i Π1 ≡ W⌝⌝lΠ1 and that a Kripke model which decides bounded formulas forces iΠ1 if and only if the union of the worlds in any path in it satisflies IΠ1. In particular, the union of the worlds in any path of a Kripke model of HA models IΠ1. In the second section of the paper, we show that for equivalence of forcing and satisfaction of Πm-formulas in a (...) linear Kripke model deciding Δ0-formulas it is necessary and sufficient that the model be Σm-elementary. This implies that if a linear Kripke model forces PEMprenex, then it forces PEM. We also show that, for each n ≥ 1, iΦn does not prove ℋ(IΠn's are Burr's fragments of HA. (shrink)

Kripke (1977) presents an argument designed to show that the considerations in Donnellan (1966) concerning attributive and referential uses of (definite) descriptions do not, by themselves, refute Russell’s (1905) unitary theory of description sentences (RTD), which takes (utterances of) them to express purely general, quantificational, propositions. Against Kripke, Marga Reimer (1998) argues that the two uses do indeed reflect a semantic ambiguity (an ambiguity at the level of literal truth conditions). She maintains a Russellian (quantificational) analysis of utterances (...) involving attributively used descriptions but attempts to defend the following two claims about utterances involving referentially used descriptions (referential utterances) (1998, p. 89). (shrink)

Everyone knows what David Lewis' possible worlds are, what role they play in his account of possibility and necessity, and Saul Kripke's criticisms. But what, instead, are Kripke's possible worlds, and what role do they play in his account of possibility and necessity? The answers are not so obvious. Recently, it has even been claimed that, contrary to what is standardly assumed, Kripke's approach to modality has not always been consistently metaphysical. In particular, an interpretation of the (...) famous passage in the preface to Naming and Necessity with Kripke's discussion of the dice example has been put forward, according to which he purports there to clarify the modal notions in terms of that of possible world, model-theoretically construed, in a way which is reminiscent of Carnap's. In this paper, I shall point out some internal difficulties of this interpretation, and offer a different one, according to which in the dice passage Kripke is trying, consistently with his metaphysical approach, to legitimize the technically useful notion of possible world starting from modal notions, to be accounted for in another way (arguably, in an essentialistic framework). My final goal, however, will be philosophical elucidation rather than mere exegesis. Indeed, I am interested in shedding some light on what possible worlds might possibly be, if something like Kripke's metaphysical approach is on the right track. (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)

The semantic issues that Saul Kripke addressed in Naming and Necessity overlap substantially with those that were addressed by Michel Foucault in “What Is an Author?”. The present essay examines their area of overlap, with a view to showing that each of these works affords a perspective on the other, from which facets that are usually obscure can be brought into view. It shows that Foucault needs to take some assumptions from Kripke’s theory of naming in order to (...) secure one of his arguments for treating authorial names as special. It then shows that, once it has been placed on these Kripkean foundations, Foucault’s position avoids the metaphysically peculiar commitments that are sometimes thought to be essential... (shrink)

DOIhttps://doi.org/10.25247/P1982-999X.2019.v19n1.p103-134• Esta obra está licenciada sob uma licençaCreative Commons Atribuição 4.0 InternacionalISSN 1982-999x|Pragmatic ambiguity and Kripke’s dialogue against DonnellanAmbiguidade Pragmática e o diálogo de Kripke contra DonnellanCarlo Penco (Universidade de Genova, Itália)AbstractIn this paper I discuss Donnellan’s claim of the pragmatic ambiguity of the distinction between referential and attributive uses of definite des-criptions. The literature on the topic is huge and full of alternative analysis. I will restrict myself to a very classical topos: the challenge posed by (...) class='Hi'>Kripke to Donnellan’s distinction with the case of a dialogue on an attempt to update a misdescription. I claim that to treat the problem of the referential use of definite descriptions we need not only to take into account the context of utterance, but also the cognitive context with its epistemic restrictions and the possible different contexts of reception of the same utterance. I try to show different aspects of what can be called “pragmatic ambiguity”, which seem not correctly considered by Kripke, and connect them to the basic tenets of Grice Cooperative principle. (shrink)

The theory of proper names proposed by J.S. Mill in A system of logic (1843), and discussed in S. Kripke’s Naming and necessity (1980), is shown to be predated by A. Rosmini’s Nuovo saggio sull’origine delle idee (1830) and T. Reid’s Essays on the intellectual powers of man (1785). For philological reasons, Rosmini probably did not obtain his view of proper names from Reid. For philosophical reasons, it is unlikely that he got it from Hobbes, Locke, Smith, or Stewart. (...) Although not explicitly indicated by Rosmini himself, he may have been influenced by St. Thomas, who in Summa theologica discusses suppositum and natura in relation to the equivocal functions of the terms ”God” and ”sun” as common and proper names. As previously observed, forerunners of the idea can be found in Antiquity, in Plato’s Theaetetus and Aristotle’s Metaphysics. From a historical point of view, the fully developed ”Millian” opinion that connotation is not a fundamental aspect of proper names, and that their referents are not fixed by description, could more accurately be termed the Reid-Rosmini-Mill theory. (shrink)

Since the 1960s, Kripke has been a central figure in several fields related to mathematical logic, language philosophy, mathematical philosophy, metaphysics, epistemology and set theory. He had influential and original contributions to logic, especially modal logic, and analytical philosophy, with a semantics of modal logic involving possible worlds, now called Kripke semantics. In Naming and Necessity, Kripke proposed a causal theory of reference, according to which a name refers to an object by virtue of a causal connection (...) with the object, mediated by the communities of speakers. DOI: 10.13140/RG.2.2.26557.20964. (shrink)

În Numire și necesitate Kripke a propus o teorie cauzală a referinței, conform căreia un nume se referă la un obiect prin virtutea unei conexiuni cauzale cu obiectul, mediată de comunitățile vorbitorilor. El afirmă, de asemenea, că numele proprii, spre deosebire de majoritatea descrierilor, sunt desemnări rigide (numele propriu se referă la obiectul numit în orice lume posibilă în care obiectul există). Ideile din Numire și necesitate au evoluat în timp, dezvoltându-se pe baza cercetărilor formale anterioare în teoria modelelor (...) pentru logica modală, pe baza principiului leibnizian al indiscernabilității identicilor. DOI: 10.13140/RG.2.2.16140.56968. (shrink)

Dans Naming and Necessity, Saul Kripke a proposé une théorie causale de la référence selon laquelle un nom se réfère à un objet en vertu d'une connexion causale avec l'objet, médiatisée par les communautés de locuteurs. Il déclare également que les noms propres, contrairement à la plupart des descriptions, sont des désignations rigides (le nom propre fait référence à l'objet nommé dans tout monde possible dans lequel l'objet existe)Les idées de Naming and Necessity ont évolué au fil du temps, (...) se développant sur la base de recherches formelles antérieures en théorie des modèles pour la logique modale, basées sur le principe leibnizien d'identité des indiscernables. DOI: 10.13140/RG.2.2.23511.09122 . (shrink)

Cet article ne se veut pas un commentaire suivi de la réflexion de Wittgenstein sur les règles. Ce ne sera pas non plus un commentaire de l’interprétation que Kripke fait du « suivi de la règle » chez Wittgenstein. Il ne sera pas davantage une application des thèses de Wittgenstein ni une tentative d’application directe d’une interprétation de ces thèses à l’épistémologie de la simulation du vivant ; ce qui serait, en soi, d’ailleurs contestable. Ce travail vise seulement à (...) approfondir la réflexion sur le statut cognitif de la simulation informatique du vivant. À ce titre, qui est donc essentiellement épistémologique et ciblé, il se veut une suggestion d’interprétation conceptuelle de certaines formes de simulation informatique du vivant, suggestion elle-même adossée à une prolongation de certaines distinctions déjà effectuées par Wittgenstein et ses commentateurs au sujet des règles et de leur suivi. L’objectif est de chercher à voir si, par ce moyen, la simulation informatique du vivant, par contraste avec les pratiques plus traditionnelles de modélisation, ne pourrait pas être plus précisément expliquée et légitimée, dans ses apports épistémologiques, comme dans ses limites aussi. (shrink)

We determine the modal logic of fixed-point models of truth and their axiomatizations by Solomon Feferman via Solovay-style completeness results.

Resumo O meu objetivo neste artigo é examinar criticamente o argumento de Kripke contra a teoria da identidade tipo-tipo. Assumindo a tese da necessidade da identidade, bem como a tese da designação rígida, Kripke sustenta que se a dor é idêntica à estimulação das fibras C, então a dor é necessariamente idêntica à estimulação das fibras C. No entanto, precisamente porque a proposição expressa pela frase “a dor não é idêntica à estimulação das fibras C” é uma possibilidade (...) metafísica, Kripke conclui, por modus tollens, que não há identidade entre dor e estimulação das fibras C. Por isso, a teoria da identidade tipo-tipo não é uma solução bemsucedida para o problema da mente-corpo. Este artigo tem duas partes. Na primeira parte, que é expositiva, apresento o argumento de Kripke contra a teoria da identidade tipo-tipo. Subsequentemente, ponho em causa o argumento de Kripke, argumentando que não é procedente, pois a nossa situação epistémica atual não nos permite determinar se é metafisicamente possível a dor não ser idêntica à estimulação das fibras C. Assim, Kripke não refuta a teoria da identidade tipo-tipo. Palavras-chave : designação rígida, filosofia da mente, identidade tipo-tipo, Kripke, necessidade da identidadeMy aim in this paper is to critically assess Kripke’s argument against the type-type identity theory. Assuming the thesis of the necessity of identity, as well as the thesis of rigid designation, Kripke holds that if pain is identical with C-fibre firing, then pain is necessarily identical with C-fibre firing. However, precisely because the proposition expressed by the sentence “pain is not identical with C-fibre firing” is a metaphysical possibility, Kripke concludes, by modus tollens, that pain and C-fibre firing are not identical. Therefore, the type-type identity theory is not a successful solution to the mind-body problem. So this paper has two parts. In the first part, which is expositive, I present Kripke’s argument against the type-type identity theory. After that, I will dispute Kripke’s argument, arguing that it is not sound, for our current epistemic situation does not allow us to determine whether it is a metaphysical possibility that pain is not identical with C-fibre firing. Thus, Kripke does not refute the type-type identity theory. Keywords : Kripke, necessity of identity, philosophy of mind, rigid designation, type-type identity. (shrink)

El presente trabajo es un estudio del libro de Martin Kusch acerca den las tesis sostenidas en "Wittgenstein on Rules and Private Language" (WRPL) por Saul Kripke examinado a la luz de la controversia desatada por la publicación del mismo en 1982, una de las más intensas que han ocurrido en los últimos 25 años en el seno de la filosofía analítica. En nuestro estudio procedemos en tres etapas. En la primera, presentaremos el desafío del Wittgenstein de Kripke (...) de una manera lo más neutral que podemos. En la segunda, presentaremos las características más notables trabajo de Kusch. En la tercera parte rebasamos los límites más estrictos de un comentario crítico para proponer una hipótesis propia acerca de la manera en la que la interpretación de Kusch permite comprender el vínculo de la propuesta de Kripke con la discusión clásica acerca del lenguaje privado como así también la discusión clásica permite realizar algunas observaciones críticas acerca de la propuesta de Kusch. (shrink)

In this paper, I investigate the prospects for using the distinction between rejection and denial to resolve Saul Kripke’s puzzle about belief. One puzzle Kripke presents in A Puzzle About Belief poses what would have seemed a fairly straightforward question about the beliefs of the bilingual Pierre, who is disposed to sincerely and reflectively assent to the French sentence Londres est jolie, but not to the English sentence London is pretty, both of which he understands perfectly well. The (...) question to be answered is whether Pierre believes that London is pretty, and Kripke argues, of each answer, that it is unacceptable. On my proposal, either answer to the question is to be rejected, but neither answer is to be denied, using the resource of partially-defined predicates. After demonstrating how this serves as a solution to the puzzle, I illustrate some philosophical motivations—independent of Kripke’s puzzle —for adopting a view on which belief is a partially defined predicate. I conclude that there are decent prospects for the proposed response to Kripke’s puzzle. (shrink)

The essay presents Saul Kripke's argument for mind/body-dualism and makes the suppositions explicit on which it rests. My claim, inspired by Richard Boyd, is that even if one of Kripke’s central suppositions - the principle of necessity of identities using rigid designators - is shared by the non-traditional identity theorist, it is still possible for her to rebut Kripke’s dualism.

Traditional descriptivism and Kripkean causalism are standardly interpreted as rival theories on a single topic. I argue that there is no such shared topic, i.e. that there is no question that they can be interpreted as giving rival answers to. The only way to make sense of the commitment to epistemic transparency that characterizes traditional descriptivism is to interpret Russell and Frege as proposing rival accounts of how to characterize a subject’s beliefs about what names refer to. My argument relies (...) on a development of the distinction between speaker’s reference and semantic reference. (shrink)

This thesis is a critical and comparative study of four commentators on the later Wittgenstein’s rule following considerations. As such its primary aim is exegetical, and ultimately the thesis seeks to arrive at an enriched understanding of Wittgenstein’s work through the distillation of the four commentators into what, it is hoped, can be said to approach a definitive interpretation, freed of their individual frailties. -/- The thesis commences by explicating the position of Kripke’s Wittgenstein. He draws our attention to (...) the ‘sceptical problem’ of how we are to resolve the apparently paradoxical situation that whilst we seem to use language meaningfully, there is no fact about us that constitutes our meaning one thing as opposed to something else, and consequently the possibility of our actually meaning anything seems to evaporate. Kripke interprets Wittgenstein as accepting the validity of the sceptical problem, but seeking to establish that the force of the problem is radically diminished because the justification which it has shown to be unobtainable is actually unnecessary for rule following to take place. -/- McDowell tries to show that Kripke is mistaken when he views Wittgenstein as endorsing scepticism in this way, because he sees Kripke as failing to appreciate a section of Philosophical Investigations which suggests that one ought to reject the sceptical paradox by correcting the misunderstanding which gives rise to it. McDowell reads Wittgenstein’s claim as being that we mistakenly think we are caught in a dilemma which requires us either to endorse the sceptical paradox or to subscribe to a mythological picture of rule following; whereas, so the thought goes, we must reject the entire dilemma. -/- Although McDowell’s criticism of Kripke is essentially correct, he is motivated to that criticism by an incorrect reading of Wittgenstein. Central to this misinterpretation is his failure to note Wittgenstein’s belief that universal scepticism is nonsensical. Winch does much to flesh out the nature of Wittgenstein’s claim here, although he makes the mistake of attributing to Kripke that position which the latter finds in Philosophical Investigations. Despite inheriting this error from Winch, Diamond nonetheless improves on his attempt to characterize the shortcomings of Kripke’s reading as an interpretation of Wittgenstein, enabling the thesis to reach a conclusion about Wittgenstein’s understanding of rule following. (shrink)

On page 14 of "Reconceptions in Philosophy and Other Arts and Sciences" (section 4 of chapter 1) by Nelson Goodman and Catherine Z. Elgin is written: “Since ‘blue’ and ‘green’ are interdefinable with ‘grue’ and ‘bleen’, the question of which pair is basic and which pair derived is entirely a question of which pair we start with”. This paper points out that an example of interdefinability is also that one about the predicate “grueb”, which is a predicate that applies to (...) an object if the object either is green and examined before time b, or is non-green and not examined before time b. The three predicates “green”, “grueb”, “examined before time b” are interdefinable. According to Goodman, since the predicates “blue” and “green” are interdefinable with the predicates “grue” and “bleen”, “if we can tell which objects are blue and which objects are green, we can tell which ones are grue and which ones are bleen” [pages 12-13 of “Reconceptions in Philosophy and Other Arts and Sciences”]. But , even though the predicates “green” and “examined before time b” are interdefinable, being able to tell if an object is green does not imply being able to tell if an object is examined before time b. The interdefinability among three elements is a type of interdefinability present, for example, also among the logical connectives. Another example of interdefinability is that one about a decidable predicate PD, which is interdefinable with an undecidable predicate PU: therefore even though we can tell whether an object is PD and whether an object is non-PD, we cannot tell whether an object is PU (since PU is an undecidable predicate) and whether an object is non-PU. Although the predicates PD and PU are interdefinable, the possibility to determine whether an object is PD does not imply the possibility to determine whether an object is PU (since PU is an undecidable predicate). Similarly, although the predicates “green” and “grue” are interdefinable, the possibility to determine whether an object is “green” even in absence of temporal information does not imply the possibility to determine whether an object is “grue” even in absence of temporal information. These and other examples about “grue” and “bleen” point out that even in case two predicates are interdefinable, the possibility to apply a predicate P does not imply the possibility to apply a predicate interdefinable with P. And that the possibility to apply the predicate “green” without having temporal information does not imply the possibility to apply the predicate “grue” without having temporal information. According to Goodman, if it is possible to determine if an object is green without needing temporal information, then it is also possible to determine if an object is grue without needing temporal information. But, knowing that an object is both green and grue implies temporal information: in fact, we know by definition that a grue object can only be: 1) either green (in case the object is examined before time t); 2) or blue (in case the object is not examined before time t). Thus, knowing that an object is both grue and green, we know that we are faced with case 1, the case of a grue object that is green and examined before time t. Then the paper points out why the Goodman-Kripke paradox is a paradox about meaning that cannot have repercussions on induction. Finally the paper points out why Hume’s problem is a problem different from Goodman’s paradox and requires a specific treatment. (shrink)

This paper reports (in section 1 “Introduction”) some quotes from Nelson Goodman which clarify that, contrary to a common misunderstanding, Goodman always denied that “grue” requires temporal information and “green” does not require temporal information; and, more in general, that Goodman always denied that grue-like predicates require additional information compared to what green-like predicates require. One of the quotations is the following, taken from the first page of the Foreword to chapter 8 “Induction” of the Goodman’s book “Problems and Projects”: (...) “Nevertheless, we may by now confidently conclude that no general distinction between projectible and non-projectible predicates can be drawn on syntactic or even on semantic grounds. Attempts to distinguish projectible predicates as purely qualitative, or non-projectible ones as time-dependent, for example, have plainly failed”. Barker and Achinstein in their famous paper of 1960 tried to demonstrate that the grue-speaker (named Mr. Grue in their paper) needs temporal information to be able to determine whether an object is grue, but Goodman replied (in “Positionality and Pictures”, contained in his book “Problems and Projects”, chapter 8, section 6b) that they failed to prove that Mr. Grue needs temporal information to determine whether an object is grue. According to Goodman, since the predicates “blue” and “green” are interdefinable with the predicates “grue” and “bleen”, “if we can tell which objects are blue and which objects are green, we can tell which ones are grue and which ones are bleen” [pages 12-13 of “Reconceptions in Philosophy and Other Arts and Sciences”]. But this paper points out that an example of interdefinability is also that one about the predicate “gruet”, which is a predicate that applies to an object if the object either is green and examined before time t, or is non-green and not examined before time t. The three predicates “green”, “gruet”, “examined before time t” are interdefinable: and even though the predicates “green” and “examined before time t” are interdefinable, being able to tell if an object is green does not imply being able to tell if an object is examined before time t. The interdefinability among three elements is a type of interdefinability present, for example, also among the logical connectives. Another example of interdefinability is that one about a decidable predicate PD, which is interdefinable with an undecidable predicate PU: therefore even though we can tell whether an object is PD and whether an object is non-PD, we cannot tell whether an object is PU (since PU is an undecidable predicate) and whether an object is non-PU. Although the predicates PD and PU are interdefinable, the possibility to determine whether an object is PD does not imply the possibility to determine whether an object is PU (since PU is an undecidable predicate). Similarly, although the predicates “green” and “grue” are interdefinable, the possibility to determine whether an object is “green” even in absence of temporal information does not imply the possibility to determine whether an object is “grue” even in absence of temporal information. These and other examples about “grue” and “bleen” point out that even in case two predicates are interdefinable, the possibility to apply a predicate P does not imply the possibility to apply a predicate interdefinable with P. And that the possibility to apply the predicate “green” without having temporal information does not imply the possibility to apply the predicate “grue” without having temporal information. Furthermore, knowing that an object is both green and grue implies temporal information: in fact, we know by definition that a grue object can only be: 1) either green (in case the object is examined before time t); 2) or blue (in case the object is not examined before time t). Thus, knowing that an object is both grue and green, we know that we are faced with case 1, the case of a grue object that is green and examined before time t. Then the paper points out why the Goodman-Kripke paradox is a paradox about meaning that cannot have repercussions on induction. Finally the paper points out why Hume’s problem is a problem different from Goodman’s paradox and requires a specific treatment. (shrink)

We argue that, if taken seriously, Kripke's view that a language for science can dispense with a negation operator is to be rejected. Part of the argument is a proof that positive logic, i.e., classical propositional logic without negation, is not categorical.

It was an empirical discovery that Phosphorus is Hesperus. According to Kripke, this was also the discovery of a necessary fact. Now, given Kripke’s theory of direct reference one could wonder what kind of discovery this is. For we already knew Phosphorus/Hesperus, and we also knew that any entity is, necessarily, identical to itself. So what is it that was discovered? I want to show that there is more to this widely known case than what usual readings, and (...) critics, reveal; and I want to show this under the Kripkean pattern that what was discovered is the plain fact of identity that Phosphorus is, and necessarily is, Hesperus. Moreover, I will show how both Kripkean theses, the necessity of identity and the direct theory of reference, should not be kept apart to understand the kind of discovery this is. In particular, understanding the kind of discovery we made will help us see how intuition is displayed in metaphysics, and how metaphysical impossibilities, and metaphysical modality in general, can be discerned by reason and separated from other modalities. The study of this discovery will help us see, in a line, how identity belongs to the inner and most profound structure of reality and to the most profound structure of cognition and language. (shrink)

When “Sinning Against Frege” was published in 1979 I thought it should have given a real turn in the discussion on Frege’s ideas. Actually the impact was less then I imagined, and the problem was that – at the end of the story – Tyler Burge’s interpretation should have posed a shadow on the direct reference theories and the Millean criticism of descriptivist theories of proper names, based on the criticism of the identification of Frege’s notion of sense with linguistic (...) meaning or connotation1. In fact Burge (1979) claims that the identification of Frege’s notion of sense with the notion of linguistic meaning is a «basic misunderstanding» of Frege’s work2. This claim implies that Fregean senses are not like Mill’s connotations; therefore many direct-reference criticisms against Frege, which are grounded on Mill’s claims that proper names have no connotation, lose their efficacy. Burge, in giving specifications3, apparently accepts at least the idea that sense is an aspect of meaning, in particular «the aspect of meaning relevant to fixing the truth value of sentences». This feature is the “harmless” part of the assimilation of sense and linguistic meaning; but this assimilation becomes dangerous when context dependence is concerned. Revisiting Burge (1979), after more than two decades of debate on indexicals, may help to better understand the originality and the limitation of his claims. (shrink)

Saul Kripke's puzzle about belief demonstrates the lack of soundness of the traditional argument for the Fregean fundamental principle that the sentences 'S believes that a is F' and 'S believes that b is F' can differ in truth value even if a = b. This principle is a crucial premise in the traditional Fregean argument for the existence of semantically relevant senses, individuative elements of beliefs that are sensitive to our varying conceptions of what the beliefs are about. (...) Joseph Owens has offered a new argument for this fundamental principle, one that is not subject to Kripke's criticisms. I argue that even though Owens' argument avoids Kripke's criticisms, it has other flaws. (shrink)

Kripke’s puzzle has puts pressure on the intuitive idea that one can believe that Superman can fly without believing that Clark Kent can fly. If this idea is wrong then many theories of belief and belief ascription are built from faulty data. I argue that part of the proper analysis of Kripke’s puzzle refutes the closure principles that show up in many important arguments in epistemology, e.g., if S is rational and knows that P and that P entails (...) Q, then if she considers these two beliefs and Q, then she is in a position to know that.. (shrink)

My paper examines the popular idea, defended by Kripke, that meaning is an essentially normative notion. I consider four common versions of this idea and suggest that none of them can be supported, either because the alleged normativity has nothing to do with normativity or because it cannot plausibly be said that meaning is normative in the sense suggested. I argue that contrary to received opinion, we don’t need normativity to secure the possibility of meaning. I conclude by considering (...) the repercussions of rejecting semantic normativity on three central issues: justification, communication, and naturalism. (shrink)