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)

In this paper, I present a two-pronged argument devoted to defending the type-identity theory of mind against the argument presented by Kripke in Naming and Necessity. In the first part, the interpersonal case, I show that since it is not possible to establish the metaphysical conditions for phenomenal identity, it is not possible to argue that there can be physical differences between two subjects despite their phenomenal identity. In the second part, the intrapersonal case, I consider the possibility of (...) imagining one and the same individual having the same phenomenal state while counterfactually being in very different physical states. I argue that this case should respect Kripke’s implicit theory of personal identity—but this proves to be a very difficult task to accomplish, thus preventing the argument from getting off the ground. Therefore, I maintain, that the type-identity theory is still the better option to solve the mind–body problem. (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.

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

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

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)

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)

Kripke in his famous book on Wittgenstein’s later philosophy argues, on behalf of Wittgenstein, that there can be no fact of the matter as to what a speaker means by her words, that is, no fact that can meet the Constitution Demand and the Normativity Demand. He particularly argues against the dispositional view, according to which meaning facts are constituted by facts about the speaker's dispositions to respond in a certain way on certain occasions. He argues that facts about (...) dispositions are finite and are incapable of constituting facts about what speakers mean by their words; they are also essentially descriptive, not prescriptive and thus, cannot meet the Normativity Demand. Hannah Ginsborg, one of the most important contemporary philosophers of language, has recently attempted to resist Kripke’s Wittgenstein’s arguments against by defending a new sort of reductive dispositionalism which can meet both demands at the same time. In this paper, I will argue that she would not be successful in her project. (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 this paper we present a solution to Saul Kripke’s Puzzle About Belief Meaning and use, Dordrecht, 1979) based on Kaplan’s metaphysical picture of words. Although it is widely accepted that providing such a solution was one of the main incentives for the development of Kaplan’s theory, it was never presented by Kaplan in a systematic manner and was regarded by many as unsatisfactory. We agree with these critiques, and develop an extension of Kaplan’s theory by introducing the notion (...) of “conservative” word uses, as well as arguing for the restriction of Kripke’s Disquotational Principle only to such uses. This restriction allows us to solve Kripke’s Puzzle by arguing that the assent of the puzzle’s protagonist does not allow disquotation and ascription of corresponding inconsistent belief, as it contains the non-conservative use of a proper name. At the end of the paper, we defend two of Kaplan’s theses that we find essential for our argument to work: that individuation of word tokens involves taking into account the intention of the speaker, and that different uniquely referring proper names of the same shape should be regarded as different homonymous words. (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)

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)

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)

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)

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)

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.

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). Thus, it is wrong the Goodman’s thesis according to which if it is possible to determine without having temporal information whether the predicate “green” has to be applied to an object, then it is also possible to determine without having temporal information whether a predicate interdefinable with “green” has to be applied to an object. 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)

A lot has been written on solutions to the semantic paradoxes, but very little on the topic of general theories of paradoxicality. The reason for this, we believe, is that it is not easy to disentangle a solution to the paradoxes from a specific conception of what those paradoxes consist in. This paper goes some way towards remedying this situation. We first address the question of what one should expect from an account of paradoxicality. We then present one conception of (...) paradoxicality that has been offered in the literature: the fixed-point conception. According to this conception, a statement is paradoxical if it cannot obtain a classical truth-value at any fixed-point model. In order to assess this proposal rigorously we provide a non-metalinguistic characterization of paradoxicality and we evaluate whether the resulting account satisfies a number of reasonable desiderata. (shrink)

The paradox of rule-following that Saul Kripke finds in Wittgenstein’s Philosophical Investigations purports to show that words and thoughts have no content—that there is no intentionality. This paper refutes the paradox with a dilemma. Intentional states are posited in rational explanations, which use propositional attitudes to explain actions and thoughts. Depending on which of the two plausible views of rational explanation is right, either: the paradox is mistaken about the a priori requirements for content; or, a fatal flaw in (...) content ascription alleged by the paradox is not a flaw at all, but a necessary component of the proper method of propositional-attitude ascription. On either lemma, rational explanation defuses the paradox. (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)

In this paper, I try to outline what I take to be Naming and Necessity’s fundamental legacy to my generation and those that follow, and the new perspectives it has opened up for twenty-first century philosophy. The discussion is subdivided into three sections, concerning respectively philosophy of language, metaphysics, and metaphilosophy. The general unifying theme is that Naming and Necessity is helping philosophy to recover a Golden Age, by freeing it from the strictures coming from the empiricist and Kantian traditions (...) and reconnecting it to the world and the objects that populate it. Because of this, in the concluding paragraph I tentatively suggest that Kripke’s philosophy may be seen as a sui generis form of naturalism. (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)

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 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)

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)

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)

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.

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)

This essay reassesses the relation between Kant and Kripke on the relation between necessity and the a priori. Kripke famously argues against what he takes to be the traditional view that a statement is necessary only if it is a priori, where, very roughly, what it means for a statement to be necessary is that it is true and could not have been false and what it means for a statement to be a priori is that it is (...) knowable independently of experience. Call such a view the Entailment Thesis. Along with many Kant scholars, Kripke thinks that Kant endorses the Entailment Thesis. Thus Kripke and many others take his arguments against the Entailment Thesis to tell against Kant and to mark an important point of disagreement with him. I will argue that this is a mistake. Kant does not endorse the Entailment Thesis that Kripke and many others attribute to him. He does endorse two quite different theses concerning the relation between necessity and the a priori, as he conceives them. One is a matter of definition and the other is a very substantial philosophical thesis indeed—to establish it is the aim of the entire Critique of Pure Reason. But Kripke’s arguments against the Entailment Thesis tell against neither of Kant’s theses, as they involve crucially different conceptions of necessity and the a priori. This superficial lack of disagreement masks deep disagreements, but these result from divergent views regarding matters such as realism, modal epistemology, and philosophical methodology; views which Kant does a lot, and Kripke very little, to argue for. (shrink)

Özet: Bu metindeki amacım Kripke’nin kurgu çözümlemesinde özel adlar ve adımsılar (pretended name) arasındaki ilişkiyi ele almak. Kripke için özel adlar değişmez imleyicilerdir (rigid designator), yani tek bir varlığı/şeyi var olduğu tüm olanaklı dünyalarda biricik belirlerler. Adımsılar ise kurgusal söylemde ortaya çıkan kurgunun taslamasının bir parçasıdır; yani kurgu dünyadaki karakterlerin adlarıdır. Kripke’ye göre adımsılar sadece gerçek adları taklit eden fakat taklit ve benzerlik ilişkisinden öte bir ilişkileri olmayan, adlardan kategorik olarak farklı şeylerdir. Fakat Kripke için adlar (...) ve adımsılar kategorik olarak farklı olsalar da bu iki dilsel birim birbirlerini belirler gibi gözükür. Yani “Sherlock Holmes” özel adı, “Sherlock Holmes” özel adımsısı ile eşseslidir fakat bunun gerekçesi yeterince açık değildir. Bu açık olmama durumu kurgusal karakter adlandırma önermelerinin adlandırıcı açısından a priori ve olumsal mı olduğu yoksa a posteriori ve zorunlu mu olduğu sorusuyla ilişkilidir. Böylelikle bu belirleme ilişkisi ya zorunlu ya da olumsal bir ilişkidir. Ben bu belirleme ilişkisinin olumsal olduğunu savunacağım. Fakat bu belirleme ilişkisi olumsal olsa da ad ve adımsı arasında eşseslilik açısından sıkı bir ilişki olmaya devam eder. Ben bu sıkı ilişkinin genellikle kendiliğinden bir ilişki olduğunu, kurgu karakterin önce adı olabileceği gibi ilişkilendiği adımsısı da olabileceğini ve bu ayrım yeterince düşünülmediği için genellikle ad ve adımsının eşseslilik açısından çakıştığını savunacağım. Fakat ilişkilendiği adımsı ve özel adı eşsesli olmayan karakterler de olabileceğini ileri süreceğim. Son olarak ise bu dediklerimizden adımsıların geçtiği betimlemeler üretebileceğimizi ve bunlar yoluyla da kurgu varlıklara değişen imleyiciler olarak gönderimde bulunabileceğimizi savunacağım. Abstract: My purpose in the article is to explore the relation between proper names and pretended names in Kripke’s analysis of fiction. According to Kripke, proper names are rigid designators, so they designate the same object in all possible worlds in which that object exists. In contrast, pretended names are part of the pretense in fiction; they are names of fictional entities in fictional worlds. For Kripke, pretended names just pretend real names but there is no further relation apart from a similarity between them. Although in his view, names and pretended names are categorically different from each other, they seem to determine each other. That is, the proper name “Sherlock Holmes” and the pretended name “Sherlock Holmes” are homophones. However, the reason for their being homophone is not clear enough in this view. That unclarity concerns the question of whether the propositions that are used to name fictional entities are a priori contingent or a posteriori necessary. Thus, the relation of determining is either necessary or contingent. I will defend that it is contingent. However, though it is contingent, names and pretended names have a strict relation in the sense of being homophone. I will argue that this strict relation is generally a spontaneous relation; there are two possibilities: fictional entities have names before the associated pretended names come to existence or vice versa. I think names and pretended names generally coincide because this relation is not being thought thoroughly. Finally, I will defend that we can produce descriptions in which pretended names occur and we can refer to fictional entities non-rigidly via these descriptions. (shrink)

This essay reframes salient issues in discussions of free will using conceptual apparatus developed in the works of Saul Kripke, with particular attention paid to his little-discussed technical notion of a prejudice. I begin by focusing on how various forms of modality (metaphysical, epistemic, and conceptual) underlie alternate forms of compatibilism and discuss why it is important to avoid conflating these forms of compatibilism. The concept of a prejudice is then introduced. We consider the semantic role of prejudices, in (...) particular conditions in which prejudices turn out to express metaphysically necessary truths. With that as background, I discuss a set of prejudices involving the notion of choice. We consider the role these prejudices might play, should they turn out to be true, in determining the answer to various compatibility questions concerning the nature of moral responsibility and choice. (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)

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)

This brief paper considers what to say about someone who responds to Saul Kripke’s writing by saying, “He uses ‘I’. That sounds subjective.” What to say about such an inference?! The main response I offer is that philosophy is partly about challenging, not encouraging, mistaken inferences.

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)

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)

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)

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)

The extensions of Goodman’s ‘grue’ predicate and Kripke’s ‘quus’ are constructed from the extensions of more familiar terms via a reinterpretation that permutes assignments of reference. Since this manoeuvre is at the heart of Putnam’s model-theoretic and permutation arguments against metaphysical realism (‘Putnam’s Paradox’), both Goodman’s New Riddle of Induction and the paradox about meaning that Kripke attributes to Wittgenstein are instances of Putnam’s. Evidence cannot selectively confirm the green-hypothesis and disconfirm the grue-hypothesis, because the theory of which (...) the green-hypothesis is a part has an unintended model in which the grue-hypothesis is equally confirmed; and there are no meaning-facts that determine reference, because the objects referred to by the referring terms of any language or set of intentional mental states are permutable in a way that is consistent with the truth-values of all other sentences in that language or beliefs in that set. The upshot is that the three paradoxes need to be solved in a unified way. (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)

Kripke’s thesis that meaning is normative is typically interpreted, following Boghossian, as the thesis that meaningful expressions allow of true or warranted use. I argue for an alternative interpretation centered on Wittgenstein’s conception of the normativity involved in “knowing how to go on” in one’s use of an expression. Meaning is normative for Kripke because it justifies claims, not to be saying something true, but to be going on as one ought from prevous uses of the expression. I (...) argue that this represents a distortion of Wittgenstein’s conception of the normativity of meaning, and that Wittgenstein’s conception is preferable. (shrink)

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)

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)