Recently, two new portrayals of Kripke’s Wittgenstein have emerged. Both understand KW as targeting the Tractarian picture of semantic fact as a speaker’s mental representation of the truth-conditions of the sentences he uses. According to the factualist interpretation, KW holds that meaning ascriptions are legitimate descriptions because semantic facts are not entities that explain people’s linguistic behavior. The second, Alex Miller’s non-standard non-factualist interpretation, sees KW as claiming that because no fact can explain our linguistic behavior, meaning ascriptions (...) express a speaker’s attitudes towards his interlocutors rather than stating what they mean. This paper advances the minimal factualist interpretation by elaborating two points: that Miller’s reading of the skeptical argument contradicts semantic non-factualism; and that KW’s view of meaning is based on a primitivist rendition of the skeptic’s insight that nothing justifies our use of language, which allows him to assert that semantic facts exist simply because we ordinarily say so. (shrink)

Kripke’s Wittgenstein is standardly understood as a non-factualist about meaning ascription. Non-factualism about meaning ascription is the idea that sentences like “Joe means addition by ‘plus’” are not used to state facts about the world. Byrne and Kusch have argued that Kripke’s Wittgenstein is not a non-factualist about meaning ascription. They are aware that their interpretation is non-standard, but cite arguments from Boghossian and Wright to support their view. Boghossian argues that non-factualism about meaning ascription is incompatible with a deflationary (...) theory of truth. Wright argues that non-factualism about meaning ascription is incoherent. To support the standard interpretation, I’ll respond to each argument in turn. To the degree that my responses are successful, Byrne and Kusch have an unmotivated interpretation of Kripke’s Wittgenstein. Wilson provides a factualist interpretation that is not based on Boghossian and Wright’s arguments. Miller argues for a non-factualist interpretation against Wilson, but I’ll show that Miller’s interpretation faces a dilemma. Miller’s argument cannot be maintained if a coherent interpretation of the skeptical solution is to be provided. I’ll show how this dilemma can be avoided and provide an independent argument against Wilson so that a non-factualist interpretation of the skeptical solution can be maintained. (shrink)

According to the sceptic Saul Kripke envisages in his celebrated book on Wittgenstein on rules and private language, there are no facts about an individual that determine what she means by any given expression. If there are no such facts, the question then is, what justifies the claim that she does use expressions meaningfully? Kripke’s answer, in a nutshell, is that she by and large uses her expressions in conformity with the linguistic standards of the community she belongs to. While (...) Kripke’s sceptical problem has gripped philosophers for over three decades, few, if any, have been satisfied by his proposed solution, and many have struggled to come up with one of their own. The purpose of this paper is to show that a more satisfactory answer to Kripke’s challenge can be developed on the basis of Donald Davidson’s writings on triangulation, the idea of two individuals interacting simultaneously with each other and the world they share. It follows from the triangulation argument that the facts that can be regarded as determining meaning are irreducible. Yet, contra Kripke, they are not mysterious, for the argument does spell out what is needed for an individual’s expressions to be meaningful. (shrink)

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 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 paper discusses Saul Kripke's Normativity Argument against semantic dispositionalism: it criticizes the orthodox interpretation of the argument, defends an alternative reading and argues that, contrary to what Kripke himself seems to have been thinking, the real point of the Normativity Argument is not that meaning is normative. According to the orthodox interpretation, the argument can be summarized as follows: (1) it is constitutive of the concept of meaning that its instances imply an ought, (...) but (2) it is not constitutive of the concept of a disposition that dispositions imply an ought, hence (3) no dispositional analysis of meaning can work. According to my alternative reading, the point of the argument is another one, namely that while (1) dispositionalism is committed to the thesis that speakers have non-inferential knowledge of their unmanifested linguistic dispositions, (2) speakers, as a matter of fact, do not have such a knowledge. A point that is in principle independent from the issue of the normativity of meaning. (shrink)

Viewed in the light of the remarkable performance of ‘Watson’ - IBMs proprietary artificial intelligence computer system capable of answering questions posed in natural language - on the US general knowledge quiz show ‘Jeopardy’, we review two experiments on formal systems - one in the domain of quantum physics, the other involving a pictographic languaging game - whereby behaviour seemingly characteristic of domain understanding is generated by the mere mechanical application of simple rules. By re-examining both experiments in the context (...) of Searle’s Chinese Room Argument, we suggest their results merely endorse Searle’s core intuition: that ‘syntactical manipulation of symbols is not sufficient for semantics’. Although, pace Watson, some artificial intelligence practitioners have suggested that more complex, higher-level operations on formal symbols are required to instantiate understanding in computational systems, we show that even high-level calls to Google translate would not enable a computer qua ‘formal symbol processor’ to understand the language it processes. We thus conclude that even the most recent developments in ‘quantum linguistics’ will not enable computational systems to genuinely understand natural language. (shrink)

The Chinese Room Argument purports to show that‘ syntax is not sufficient for semantics’; an argument which led John Searle to conclude that ‘programs are not minds’ and hence that no computational device can ever exhibit true understanding. Yet, although this controversial argument has received a series of criticisms, it has withstood all attempts at decisive rebuttal so far. One of the classical responses to CRA has been based on equipping a purely computational device with a physical (...) robot body. This response, although partially addressed in one of Searle’s original contra arguments - the ‘robot reply’ - more recently gained friction with the development of embodiment and enactivism1, two novel approaches to cognitive science that have been exciting roboticists and philosophers alike. Furthermore, recent technological advances - blending biological beings with computational systems - have started to be developed which superficially suggest that mind may be instantiated in computing devices after all. This paper will argue that (a) embodiment alone does not provide any leverage for cognitive robotics wrt the CRA, when based on a weak form of embodiment and that (b) unless they take the body into account seriously, hybrid bio-computer devices will also share the fate of their disembodied or robotic predecessors in failing to escape from Searle’s Chinese room. (shrink)

This paper argues that it is prudentially wise to defer to groups about how they are essentially constituted and defined. After a few words situating the paper in my greater research project (§1), I articulate the kind of deference I have in mind (§2). Then I offer two conditional arguments on why it is epistemically desirable to let other people tell you how they ought to be identified (§3). The first argument is that people are owed lexical sovereignty because (...) denying it is absurd; the second is that modest skeptics ought to agree with it on the basis of some relatively anodyne and plausible epistemic considerations. (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)

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

In this article, I have two aims. Firstly, I argue that Hilary Putnam's model theoretic indeterminacy argument against external realism and Saul Kripke's so-called Kripkensteinian argument against semantic realism have the same dialectical structure and the same conclusion---both force the opponent to face the same dilemma. Namely: either adopt meaning minimalism or postulate unobservable semantic facts. Secondly, I analyze more closely the first horn of the dilemma---meaning minimalism. This is the position according to which there (...) are no truth conditions for meaning-ascriptions. It has been suggested that this position is incoherent. However, I argue that there is a coherent option available for the meaning minimalist. As Crispin Wright has proposed, a coherent meaning minimalist has to adopt a structured truth-predicate with at least two levels: one is a minimal or a deflationary truth-predicate for a semantic discourse and the other, more substantial or objective truth-predicate for discourses like natural sciences. Subsequently, this leads to a position close to Huw Price's global expressivism. Thus, the ultimate dilemma that Putnam's and the Kripkensteinian argument establish is the following choice: either meaning minimalism with a structured two-level truth-predicate or robust realism regarding meaning. (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)

Since Saul Kripke’s and Hilary Putnam’s groundbreaking work in the Seventies, the idea has emerged that natural kind terms are semantically special among common nouns. Stephen P. Schwartz, for example, has argued that an artifactual kind term like “pencil” functions very differently from a natural kind term like “tiger.” This, however, blatantly violates a principle that I call Semantic Uniformity. In this paper, I defend the principle. In particular, I outline a picture of how natural kind terms function based (...) on Kripke’s and Putnam’s considerations, and I use it to rebut Schwartz’s arguments, showing that if it works for natural kind terms, it can work for artifactual kind terms too, or at least that Schwartz did not provide good enough reasons to the contrary. (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)

One of the most fundamental questions in the philosophy of mathematics concerns the relation between truth and formal proof. The position according to which the two concepts are the same is called deflationism, and the opposing viewpoint substantialism. In an important result of mathematical logic, Kurt Gödel proved in his first incompleteness theorem that all consistent formal systems containing arithmetic include sentences that can neither be proved nor disproved within that system. However, such undecidable Gödel sentences can be established to (...) be true once we expand the formal system with Alfred Tarski s semantical theory of truth, as shown by Stewart Shapiro and Jeffrey Ketland in their semantical arguments for the substantiality of truth. According to them, in Gödel sentences we have an explicit case of true but unprovable sentences, and hence deflationism is refuted. -/- Against that, Neil Tennant has shown that instead of Tarskian truth we can expand the formal system with a soundness principle, according to which all provable sentences are assertable, and the assertability of Gödel sentences follows. This way, the relevant question is not whether we can establish the truth of Gödel sentences, but whether Tarskian truth is a more plausible expansion than a soundness principle. In this work I will argue that this problem is best approached once we think of mathematics as the full human phenomenon, and not just consisting of formal systems. When pre-formal mathematical thinking is included in our account, we see that Tarskian truth is in fact not an expansion at all. I claim that what proof is to formal mathematics, truth is to pre-formal thinking, and the Tarskian account of semantical truth mirrors this relation accurately. -/- However, the introduction of pre-formal mathematics is vulnerable to the deflationist counterargument that while existing in practice, pre-formal thinking could still be philosophically superfluous if it does not refer to anything objective. Against this, I argue that all truly deflationist philosophical theories lead to arbitrariness of mathematics. In all other philosophical accounts of mathematics there is room for a reference of the pre-formal mathematics, and the expansion of Tarkian truth can be made naturally. Hence, if we reject the arbitrariness of mathematics, I argue in this work, we must accept the substantiality of truth. Related subjects such as neo-Fregeanism will also be covered, and shown not to change the need for Tarskian truth. -/- The only remaining route for the deflationist is to change the underlying logic so that our formal languages can include their own truth predicates, which Tarski showed to be impossible for classical first-order languages. With such logics we would have no need to expand the formal systems, and the above argument would fail. From the alternative approaches, in this work I focus mostly on the Independence Friendly (IF) logic of Jaakko Hintikka and Gabriel Sandu. Hintikka has claimed that an IF language can include its own adequate truth predicate. I argue that while this is indeed the case, we cannot recognize the truth predicate as such within the same IF language, and the need for Tarskian truth remains. In addition to IF logic, also second-order logic and Saul Kripke s approach using Kleenean logic will be shown to fail in a similar fashion. (shrink)

This paper is divided into three sections. In the first section I briefly outline the background of the problem, i.e. Kripke’s modal argument (Kripke 1980). In the second section I present Chalmers’ account of two- dimensional semantics and two-dimensional argument against physicalism. In the third section I criticize Chalmers’ approach based on two crucial points, one is about necessity of identities and the other is about microphysi- cal descriptions and a priori derivation.

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)

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)

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.

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)

In this article I am interpreting Friedrich Nietzsche's piece of writing "How the "True World" finally became a fable - The History of an Error" in the context of 20th-century analytical philosophy of language. In particular, I am going to argue that the main theme in this text - the issue of abolishing "the true world" - can be interpreted as Hilary Putnam's model-theoretic arguments against external realism and Saul Kripke's Wittgensteinian arguments against truth-conditional meaning theories. Interpreting this Nietzsche's (...) text with the help of these arguments gives rise to two options determining Nietzsche's own position. The perspective of Putnam's argument seems to push Nietzsche to the quietist camp - the view that significant metaphysical debate between external realism and its opposite is impossible or inexpressible. On the other hand, the Kripkensteinian perspective gives us reasons to interpret Nietzsche as an adherer of the pragmatic account of semantics, which explains meaning through the use of language. (shrink)

Standard rigid designator accounts of a name’s meaning have trouble accommodating what I will call a descriptive name’s “shifty” character -- its tendency to shift its referent over time in response to a discovery that the conventional referent of that name does not satisfy the description with which that name was introduced. I offer a variant of Kripke’s historical semantic theory of how names function, a variant that can accommodate the character of descriptive names while maintaining rigidity for proper (...) names. A descriptive name’s shiftiness calls for a semantic account of names that makes their semantic values bipartite, containing both traditional semantic contents and what I call "modes of introduction." Both parts of a name's semantic value are derived from the way a name gets introduced into discourse -- from what I refer to as its "context of introduction." Making a name's semantic value bipartite in this way allows for a definite description to be a part of proper name's meaning without thereby sacrificing that name’s status as a rigid designator. On my view, a definite description is part of descriptive name’s mode of introduction. That is, it is part of what determines the content assigned to that name. As it turns out, making a definite description part of a descriptive name’s mode of introduction allows for that definite description to play the role of a mere reference-fixer regarding that name’s content, as Kripke would have it. However, my account allows a definite description to fix a descriptive name’s content actively over time, thereby explaining its inherent shiftiness. (shrink)

The thesis deals with the concept of truth and the paradoxes of truth. Philosophical theories usually consider the concept of truth from a wider perspective. They are concerned with questions such as - Is there any connection between the truth and the world? And, if there is - What is the nature of the connection? Contrary to these theories, this analysis is of a logical nature. It deals with the internal semantic structure of language, the mutual semantic connection (...) of sentences, above all the connection of sentences that speak about the truth of other sentences and sentences whose truth they speak about. Truth paradoxes show that there is a problem in our basic understanding of the language meaning and they are a test for any proposed solution. It is important to make a distinction between the normative and analytical aspect of the solution. The former tries to ensure that paradoxes will not emerge. The latter tries to explain paradoxes. Of course, the practical aspect of the solution is also important. It tries to ensure a good framework for logical foundations of knowledge, for related problems in Artificial Intelligence and for the analysis of the natural language. Tarski’s analysis emphasized the T-scheme as the basic intuitive principle for the concept of truth, but it also showed its inconsistency with the classical logic. Tarski’s solution is to preserve the classical logic and to restrict the scheme: we can talk about the truth of sentences of a language only inside another essentially richer metalanguage. This solution is in harmony with the idea of reflexivity of thinking and it has become very fertile for mathematics and science in general. But it has normative nature | truth paradoxes are avoided in a way that in such frame we cannot even express paradoxical sentences. It is also too restrictive because, for the same reason we cannot express a situation in which there is a circular reference of some sentences to other sentences, no matter how common and harmless such a situation may be. Kripke showed that there is no natural restriction to the T-scheme and we have to accept it. But then we must also accept the riskiness of sentences | the possibility that under some circumstances a sentence does not have the classical truth value but it is undetermined. This leads to languages with three-valued semantics. Kripke did not give any definite model, but he gave a theoretical frame for investigations of various models | each fixed point in each three-valued semantics can be a model for the concept of truth. The solutions also have normative nature | we can express the paradoxical sentences, but we escape a contradiction by declaring them undetermined. Such a solution could become an analytical solution only if we provide the analysis that would show in a substantial way that it is the solution that models the concept of truth. Kripke took some steps in the direction of finding an analytical solution. He preferred the strong Kleene three-valued semantics for which he wrote it was "appropriate" but did not explain why it was appropriate. One reason for such a choice is probably that Kripke finds paradoxical sentences meaningful. This eliminates the weak Kleene three valued semantics which corresponds to the idea that paradoxical sentences are meaningless, and thus indeterminate. Another reason could be that the strong Kleene three valued semantics has the so-called investigative interpretation. According to this interpretation, this semantics corresponds to the classical determination of truth, whereby all sentences that do not have an already determined value are temporarily considered indeterminate. When we determine the truth value of these sentences, then we can also determine the truth value of the sentences that are composed of them. Kripke supplemented this investigative interpretation with an intuition about learning the concept of truth. That intuition deals with how we can teach someone who is a competent user of an initial language (without the predicate of truth T) to use sentences that contain the predicate T. That person knows which sentences of the initial language are true and which are not. We give her the rule to assign the T attribute to the former and deny that attribute to the latter. In that way, some new sentences that contain the predicate of truth, and which were indeterminate until then, become determinate. So the person gets a new set of true and false sentences with which he continues the procedure. This intuition leads directly to the smallest fixed point of strong Kleene semantics as an analytically acceptable model for the logical notion of truth. However, since this process is usually saturated only on some transfinite ordinal, this intuition, by climbing on ordinals, increasingly becomes a metaphor. This thesis is an attempt to give an analytical solution to truth paradoxes. It gives an analysis of why and how some sentences lack the classical truth value. The starting point is basic intuition according to which paradoxical sentences are meaningful (because we understand what they are talking about well, moreover we use it for determining their truth values), but they witness the failure of the classical procedure of determining their truth value in some "extreme" circumstances. Paradoxes emerge because the classical procedure of the truth value determination does not always give a classically supposed (and expected) answer. The analysis shows that such an assumption is an unjustified generalization from common situations to all situations. We can accept the classical procedure of the truth value determination and consequently the internal semantic structure of the language, but we must reject the universality of the exterior assumption of a successful ending of the procedure. The consciousness of this transforms paradoxes to normal situations inherent to the classical procedure. Some sentences, although meaningful, when we evaluate them according to the classical truth conditions, the classical conditions do not assign them a unique value. We can assign to them the third value, \undetermined", as a sign of definitive failure of the classical procedure. An analysis of the propagation of the failure in the structure of sentences gives exactly the strong Kleene three-valued semantics, not as an investigative procedure, as it occurs in Kripke, but as the classical truth determination procedure accompanied by the propagation of its own failure. An analysis of the circularities in the determination of the classical truth value gives the criterion of when the classical procedure succeeds and when it fails, when the sentences will have the classical truth value and when they will not. It turns out that the truth values of sentences thus obtained give exactly the largest intrinsic fixed point of the strong Kleene three-valued semantics. In that way, the argumentation is given for that choice among all fixed points of all monotone three-valued semantics for the model of the logical concept of truth. An immediate mathematical description of the fixed point is given, too. It has also been shown how this language can be semantically completed to the classical language which in many respects appears a natural completion of the process of thinking about the truth values of the sentences of a given language. Thus the final model is a language that has one interpretation and two systems of sentence truth evaluation, primary and final evaluation. The language through the symbol T speaks of its primary truth valuation, which is precisely the largest intrinsic fixed point of the strong Kleene three valued semantics. Its final truth valuation is the semantic completion of the first in such a way that all sentences that are not true in the primary valuation are false in the final valuation. (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)

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

It is widely believed that at least two developments in the last third of the 20th century have given dispositionalism—the view that powers, capacities, potencies, etc. are irreducible real properties—new credibility: (i) the many counterexamples launched against reductive analyses of dispositional predicates in terms of counterfactual conditionals and (ii) a new anti-Humean faith in necessary connections in nature which, it is said, owes a lot to Kripke’s arguments surrounding metaphysical necessity. I aim to show in this paper that necessity is, (...) in fact, of little help for the dispositionalists. My argument makes use of one of the above mentioned counterexamples against Humean reduction: antidotes. Turning the tables, I ask how the dispositionalists themselves can deal with antidotes. The result will be to show that if the dispositionalists are to demystify antidote cases, they must make plausible a conceptualisation of dispositions that does not invoke any kind of necessity. I will cautiously suggest that the anti-Humean link dispositions bring to the world has to be thought of in terms of (Newtonian) forces. (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 note I present a solution to Kripkenstein’s paradox, based on a very simple argument: (1) natural language and rule-following are empirical phenomena; (2) no case has been described, in real life, of a person who behaves as Wittgenstein’s or Kripke’s fictional character; (3) therefore, the discussion of such a case is completely devoid of interest. I lay out the example of a ‘Kripkensteinian apple’, which has a normal weight on even days and is weightless on odd days, (...) in order to highlight the contrast between a genuinely empirical perspective, such as that of physics, and the logical-analytical perspective, under which Kripkenstein’s paradox has attracted so much attention. (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)

It seems that by ‘having meaning’ or ‘significating’ (σημαίνειν) Aristotle has something like kind of determination in mind: ‘If ‘man’ has one meaning, let this be ‘two-footed animal’; by having one meaning I understand this: If such and such is a man, then if anything is a man, that will be what being a man is (τοῦτ’ ἔσται τὸ ἄνθρώπῳ εἶναι).’ (Met., Γ, 1006a31-34) This also brings kind of whole-particular or class-member relationship to mind: if a word has one meaning, (...) everything that is a particular case of that word, has that meaning. If this is true, we can say ‘significating one thing’ not only determines a word to a sense, it also determines a particular to the sense of the universal word. And this determination is a determination of being, that is, it determines ‘being something’ to a specific sense: to say that A is the meaning of B, whatever will be a B, it will necessarily have A as its meaning. The mental process Aristotle hints as what happens in signification of something is also a determinative act: ‘Thought stops and arrests the hearer’ (ἵστησι γὰρ ὁ λέγων τὴν διὰνοιαν, καὶ ὁ ἀκούσας ἠρέμησεν). (OI., I, 3, 16b19-22) That signification is kind of determination can be approved from Aristotle’s emphasis that the meaning must be ‘one’ thing, or at least a limited number of things. This is evident both by Aristotle’s accompanying ‘one’ with ‘having meaning’ in ‘having one meaning’ (‌σημαίνει ἓν ... ἓν σημαίνειν) and by his assertion of the necessity of limited determination just after the above mentioned text: ‘And it makes no difference even if one were to say a word has several meanings, if only they are limited in number.’ (Met., Γ, 1006a31-34) Not having a limited number of senses, Aristotle argues, implies that there is no ‘one’ meaning for the word and this is not different from having no meaning at all: ‘For not to have one meaning is to have no meaning’ (Met., Γ, 1006b6-7) Aristotle takes this ‘signification of one’ as an argument for both reasoning and PNC. Not having ‘one’ thing as the meaning of a word annihilates reasoning: ‘For it is impossible to think of anything if we do not think of one thing.’ Therefore, Aristotle asks us not only to accept that a word has a meaning but that it has ‘one’ meaning: ‘Let it be assumed then … that the name is significant of something and signifies ‘one’ thing. (Met., Γ, 1006b8-13) ‘Having one signification’ has also another important result for Aristotle because it supports PNC: ‘It is impossible, then, that being a man should mean precisely not being a man, if ‘man’ is not only a signification of one subject but also has one meaning (μὴ μόνον καθ’ ἑνος ἀλλὰ καὶ ἓν).’ (Met., Γ, 1006b13-15) Rejecting PNC and approving both being and not being of a thing is indeed destroying signification: ‘He, then, who says this is and is not denies what he affirms, so that what the word signifies, he says it does not signify; and this is impossible. Therefore, if ‘this is’ signifies something, one cannot truly assert the contradictory.’ (Met., K, 1062a16-20; cf. a20-23) 1) Formula: what is signified That which is signified by a word is a formula, which becomes the definition of the word out of its signification: ‘Out of their necessarily meaning something definition is created; for the formula, of which the word is a signification, becomes definition.’ (Met., Γ, 1012a21-24) Now if we consider the three above mentioned points, namely that i) signification is of being, ii) signification is having one meaning and iii) what is signified is indeed a formula, together, we can understand Aristotle better when he says ‘being one’ and ‘having one formula’ are the same: ‘For being one means this, as in the case of ‘raiment’ and ‘dress,’ that the formula is one.’ (Met., Γ, 1006b25-27) 2) What has signification Besides words, sentences have signification and ‘sentence is a speech significant based on synthesis.’ (OI, I, 4, 16b26) Syllables and parts of simple words do not have meaning and are mere sounds. About parts of composite words, however, although they contribute to the meaning of the whole, they do not have meaning by themselves (καθ’ αὑτό). (OI, I, 4, 16b30-) . (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.

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)

In this paper, I will argue against certain criticisms of Kripke’s Wittgenstein’s sceptical argument and sceptical solution, made especially by Baker and Hacker, McGinn, and McDowell. I will show that their interpretation of Kripke’s Wittgenstein’s view is misplaced. According to Kripke’s Wittgenstein’s sceptical argument, there is no fact as to what someone means by her words. For Kripke, this conclusion, combined with Classical Realist view of meaning, leads to the Wittgensteinian paradox, according to which there is no such (...) thing as meaning anything by any word. Wittgenstein presents this paradox in paragraph 201 of the Philosophical Investigations. As Kripke reads Wittgenstein, Wittgenstein is in agreement with his sceptic on the sceptical conclusion of the sceptical argument, that is, that there is no fact about meaning, and builds his sceptical solution on an endorsement of that. McDowell, McGinn, and others have objected that Kripke has failed to properly understand Wittgenstein’s main remarks in 201, that is, that the paradox is the result of a misunderstanding of the ordinary notion of meaning. Wittgenstein does not accept such a sceptical conclusion. I will use the distinction George Wilson draws between two different conclusions of the sceptical argument and show that Kripke has respected all of the remarks that Wittgenstein has put in section 201. (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)

In metasemantics, semantic dispositionalism is the view that what makes it the case that, given the value of the relevant parameters, a certain linguistic expression refers to what it does are the speakers’ dispositions. In the literature, there is something like a consensus that the fate of dispositionalism hinges on the status of three arguments, first put forward by Saul Kripke ‒ or at least usually ascribed to him. This paper discusses a different, and strangely neglected, anti-dispositionalist argument, (...) which develops some remarks first put forward by Paul Boghossian and Anandi Hattiangadi and revolves around the idea that semantic dispositionalists have no way to justify their privileging certain dispositions, the ones they take to be reference-determining, over all the others. After some background (Section 1) and a first presentation of the argument (Section 2), I discuss three ways a dispositionalist might try to answer it and find them all wanting (Section 3). (shrink)

Since Saul Kripke’s influential work in the 1970s, the revisionary approach to semantic paradox—the idea that semantic paradoxes must be solved by weakening classical logic—has been increasingly popular. In this paper, we present a new revenge argument to the effect that the main revisionary approaches breed new paradoxes that they are unable to block.

Since 1976 Hilary Putnam has on many occasions proposed an argument, founded on some model-theoretic results, to the effect that any philosophical programme whose purpose is to naturalize semantics would fail to account for an important feature of every natural language, the determinacy of reference. Here, after having presented the argument, I will suggest that it does not work, because it simply assumes what it should prove, that is that we cannot extend the metatheory: Putnam appears to think (...) that all we may determinately say about the relations between words and entities in the world is what the model theory tells us, but he has never offered justifications for that. At the end of the article, I will discuss the apparently reliable intuition that seems to me to be at the root of the argument, that is that, given a formal theory, there is an infinite number of ways of connecting it to, or of projecting it onto, the world. I will suggest that we should resist this intuition, because it rests on a very doubtful notion of world, which assumes that for any class of objects there is a corresponding property. (shrink)

I have two main goals in this paper. First, I develop a version of Theory of Identification for the reference of proper names, one which comes from Strawson and Evans. The theory is not developed in detail, but its central elements are revealed, focusing on its treatment of the phenomenon of reference borrowing. At the center of this theory is Russell’s Principle which, applied to the reference of proper names, states that the identification of the named object is a necessary (...) condition for the success of reference. Secondly, I reply to the challenge posed by the semantic argument inspired by Kripke and Donnellan. This argument can be used to show that identification is not necessary for the success of reference. I defend that it is not effective against the version of Theory of Identification advocated here. (shrink)

Gödel’s slingshot-argument proceeds from a referential theory of definite descriptions and from the principle of compositionality for reference. It outlines a metasemantic proof of Frege’s thesis that all true sentences refer to the same object—as well as all false ones. Whereas Frege drew from this the conclusion that sentences refer to truth-values, Gödel rejected a referential theory of definite descriptions. By formalising Gödel’s argument, it is possible to reconstruct all premises that are needed for the derivation of Frege’s (...) thesis. For this purpose, a reference-theoretical semantics for a language of first-order predicate logic with identity and referentially treated definite descriptions will be defined. Some of the premises of Gödel’s argument will be proven by such a reference-theoretical semantics, whereas others can only be postulated. For example, the principle that logically equivalent sentences refer to the same object cannot be proven but must be assumed in order to derive Frege’s thesis. However, different true (or false) sentences can refer to different states of affairs if the latter principle is rejected and the other two premises are maintained. This is shown using an identity criterion for states of affairs according to which two states of affairs are identical if and only if they involve the same objects and have the same necessary and sufficient condition for obtaining. (shrink)

The aim of this paper is to make the case for the obstinacy thesis. This is the thesis that proper names like ‘Hitler’, demonstratives like ‘this’, pure indexicals like ‘I’, and natural kind terms like ‘water’ and ‘gold’, are obstinately rigid terms. An obstinately rigid term is one that refers to the object that is its actual referent with respect to every possible world (hence, a fortiori, even with respect to worlds where that object does not exist). This form of (...) rigidity is stronger than the usual Kripkean one and has been notoriously explored by David Kaplan (Kaplan 1989a: 492-3; Kaplan 1989b: 569-71). Yet, the obstinacy thesis seems implausible to many philosophers and is worth substantive argument. For convenience, we focus our attention on proper names; but most of our remarks could be easily generalized to other unstructured singular terms. We shall take for granted Saul Kripke’s semantical doctrine that proper names are rigid in the general sense of the term and argue that their rigidity should take the specific form of obstinacy rather than persistence. (shrink)

In this article I offer a three-pronged defense of Millian theories, all of which share the rough idea that all there is to a proper name is its referent, so it has no additional sense. I first give what I believe to be the first correct analysis of Kripke’s puzzle and its anti-Fregean lessons. The main lesson is that the Fregean’s arguments against Millianism and for the existence of semantically relevant senses (that is, individuative elements of propositions or belief contents (...) that are sensitive to our varying personal conceptions of the referents of those elements) are viciously circular. Thus, the Fregean must give new arguments for her central claims. Second, I offer an original, positive argument for the Millian idea that the thoughts that Cicero was bald and that Tully was bald are identical. Incredibly, the argument appeals to nothing but highly intuitive, pre-theoretical principles regarding folk psychological usage—traditionally the source of Fregean intuitions. Third, I examine one of the most important recent papers on Kripke’s puzzle, that by David Sosa (1996). Sosa claims to have found a way to turn the tables on Kripke’s puzzle by using it to argue against Millian theories. I argue that Sosa’s argument on behalf of the Fregean is question-begging. I conclude that Millian theories can be seriously defended without any use of theoretical constructs such as guises or Russellian propositions, and Fregeans need to start over arguing for their theory’s central claims. (shrink)

The main question of metasemantics, or foundational semantics, is why an expression token has the meaning (semantic value) that it in fact has. In his reading of Ludwig Wittgenstein’s later work, Saul Kripke presented a skeptical challenge that threatened to make the foundational question unanswerable. My first contention in this paper is that the skeptical challenge indeed poses an insoluble paradox, but only for a certain kind of metasemantic theory, against which the challenge effectively works as a reductio ad (...) absurdum argument. My second contention is that as a result of rejecting the theory which entails a paradoxical outcome, we will see that the foundational question essentially involves a temporal dimension. After arguing that the skeptical challenge gives us a strong reason to adopt a historical view of meaning, I shall further argue against certain authors who claim that meanings not only have histories but futures as well, or that the meaning of a word may change retroactively in time as a consequence of counterfactual change in its future use. The major aim of the paper is thus to bring together the arguably interrelated debates about the skeptical challenge and temporal externalism in philosophy of language. (shrink)

Semantic holists view what one's terms mean as function of all of one's usage. Holists will thus be coherentists about semantic justification: showing that one's usage of a term is semantically justified involves showing how it coheres with the rest of one's usage. Semantic atomists, by contrast, understand semantic justification in a foundationalist fashion. Saul Kripke has, on Wittgenstein's behalf, famously argued for a type of skepticism about meaning and semantic justification. However, Kripke's (...) class='Hi'>argument has bite only if one understands semantic justification in foundationalist terms. Consequently, Kripke's arguments lead not to a type of skepticism about meaning, but rather to the conclusion that one should be a coherentist about semantic justification, and thus a holist about semantic facts. (shrink)

In this essay I shall argue that the crucial assumptions of Kripke's argument, i.e. the collapse of the appearance/reality distinction in the case of phenomenal states and the idea of a qualitatively identical epistemic situation, imply an objective principle of identity for mental-state types. This principle, I shall argue, rather than being at odds with physicalism, is actually compatible with both the type-identity theory of the mind and Kripke's semantics and metaphysics. Finally, I shall sketch a version (...) of the type-identity theory. (shrink)

The present paper deals with the consequences Kripke’s interpretation of Wittgenstein’s private language argument has for political and social thought. We will show this is particularly important because it challenges the framework where ordinarily is located the discussion of the political and social relevance of Wittgenstein’s thought. Classical discussion has been concerned mainly with the role of communitary agreement, its relativistic or conservative consequences, the room for criticism and disagreement that it leaves, etc. We discern in classical reading a (...) commitment with some epistemological problems (warrants for knowledge) which is not completely overcame, its semantic jargon notwithstanding. Instead, we will argue, the new framework proposed by Kripke, overcome this epistemological problematic, rising new concerns, close to which, in French contemporary thought, has been called “philosophies of the subjection of the subject”. (shrink)

Some years ago, Machery, Mallon, Nichols, and Stich reported the results of experiments that reveal, they claim, cross-cultural differences in speaker’s ‘intuitions’ about Kripke’s famous Gödel–Schmidt case. Several authors have suggested, however, that the question they asked their subjects is ambiguous between speaker’s reference and semantic reference. Machery and colleagues have since made a number of replies. It is argued here that these are ineffective. The larger lesson, however, concerns the role that first-order philosophy should, and more importantly should (...) not, play in the design of such experiments and in the evaluation of their results. (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)