The aim of this paper is to develop a new connection between naming and necessity. I argue that Kripke’s historical account of naming presupposes the functional necessity of naming. My argument appeals to the etiological notion of function, which can be thought to capture the necessity of functionality in historical terms. It is shown that the historical account of naming entails all conditions in an etiological definition of function.

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)

I recently had the occasion to reread Naming and Necessity by Saul Kripke. NaN struck me this time, as it always has, as breathtakingly clear and lucid. It also struck me this time, as it always has, as wrong-headed in several major ways, both in its methodology and its content. Herein is a brief explanation why.

Theoria, Volume 88, Issue 2, Page 434-437, April 2022.

In “Naming with Necessity”, it is argued that Kripke’s thesis that proper names are rigid designators is best seen as being motivated by an individual-driven picture of modality, which has two parts. First, inherent in proper-name usage is the expectation that names refer to modally robust individuals: individuals that can sustain modal predications like ‘is necessarily human’. Second, these modally robust individuals are the fundamental building blocks on the basis of which possible worlds should be conceived in a (...) modal semantics intended to mirror the conceptual apparatus behind ordinary modal talk. The individual-driven picture is distinct from two views inspired by Kripke, direct reference theory and Millianism. The former covers only the first half of the picture, while the latter explicitly gives up on that half even, opting to remain neutral about what expectation expressions impose on the nature of their referents. (shrink)

Kripke (1980) hypothesizes a link between rigidity and scope: a singular term is rigid over a space S of possibilities just in case it is scopeless with respect to modals that quantify over S. Kripke’s hypothesis works well when we consider the interaction of singular terms with metaphysical modals, but runs into trouble when we consider the interaction of singular terms with epistemic modals. After describing the trouble in detail, and considering one non-solution to it, I develop a novel version (...) of dynamic semantics that resolves the problem. (shrink)

Kripke’s examples of allegedly contingent a priori sentences include ‘Stick S is exactly one meter long’, where the reference of ‘meter’ is fixed by the description ‘the length of stick S’. In response to skepticism concerning apriority Kripke replaced the meter sentence with a more sophisticated variant, arguing that the modified example is more immune to such skepticism. The case for apriority is examined. A distinction is drawn between apriority and a broader notion, “qua-priority,” of a truth whose epistemic justification (...) is dependent on no experience other than that required to justify belief of the deliverances of pure semantics. It is argued that Kripke’s examples are neither a priori nor qua-priori. (shrink)

My title is meant to suggest a continuation of the sort of philosophical investigation into the nature of language and modality undertaken in Rudolf Carnap’s Meaning and Necessity and Saul Kripke’s Naming and Necessity. My topic belongs in a class with meaning and naming. It is demonstratives—that is, expressions like ‘that darn cat’ or the pronoun ‘he’ used deictically. A few philosophers deserve particular credit for advancing our understanding of demonstratives and other indexical words. Though (...) class='Hi'>Naming and Necessity is concerned with proper names, not demonstratives, it opened wide a window that had remained mostly shut in Meaning and Necessity but that, thanks largely to Kripke, shall forevermore remain unbarred. Understanding of demonstrative semantics grew by a quantum leap in David Kaplan’s remarkable work, especially in his masterpiece “Demonstratives” together with its companion “Afterthoughts.” In contrast to the direct-reference propensities of these two contemporary figures, Gottlob Frege, with his uncompromisingly thoroughgoing intensionalism, shed important light on the workings of demonstratives in “Der Gedanke”—more specifically, in a few brief but insightful remarks from a single paragraph concerning tense and temporal indexicality. (shrink)

My aim is to show that once we appreciate how Searle (1958) fills in the details of his account of proper names – which I will dub the presuppositional view – and how we might supplement it further, we are in for a twofold discovery. First, Searle’s account is crucially unlike the so-called cluster-of-descriptions view, which many philosophers take Searle to have held. Second, the presuppositional view he did hold is interesting, plausible, and worthy of serious reconsideration. The idea that (...) Searle’s account is a largely Fregean interlude between the Fregean description theory of proper names and Kripke’s proposals presented in “Naming and Necessity” is in major ways a myth, a mythical chapter in how the story of 20th-century philosophy of language is often told. (shrink)

In a recent paper, David James argues for a new understanding of the compatibility of freedom and necessity in Marx's idea of a communist society. According to James, such compatibility has less to do with anything distinctive about the nature of labour and more to do with how communist producers organize the sphere of material production. In this paper, I argue that James provides a nuanced and plausible account of one part of Marx's story of the compatibility of freedom (...) and necessity in communist society but that his account misses another, and, in my view, more fundamental part of the story. The part I have in mind centres on Marx's claim that communist producers achieve their freedom through the performance of necessary labour—by helping others to satisfy their needs. I argue that Marx is committed to a stronger claim than James wishes to make, namely, that freedom and necessity are not merely compatible but that participation in the realm of necessity is required for human freedom. (shrink)

This is the second in a two part series of articles that attempt to clarify the nature and enduring relevance of Kant's concept of a priori knowledge. (For Part I, see below.) In this article I focus mainly on Saul Kripke's critique of Kant, in Naming and Necessity. I argue that Kripke draws attention to a genuine defect in Kant's epistemological framework, but that he used definitions of certain key terms that were quite different from Kant's definitions. When (...) Kripke's definitions are replaced by Kant's definitions, Kripke's account of the status of naming turns out to be a defense of analytic aposteriority as a significant classification of knowledge that Kant neglected. I also introduce here a new way of understanding such epistemological labels, as defining the perspective adopted by the knowing subject in a given situation, rather than an objective characteristic of certain propositions as such. (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)

Hume appeals to different kinds of certainties and necessities in the Treatise. He contrasts the certainty that arises from intuition and demonstrative reasoning with the certainty that arises from causal reasoning. He denies that the causal maxim is absolutely or metaphysically necessary, but he nonetheless takes the causal maxim and ‘proofs’ to be necessary. The focus of this paper is the certainty and necessity involved in Hume’s concept of knowledge. I defend the view that intuitive certainty, in particular, is (...) certainty of the invariability or necessity of relations between ideas. Against David Owen and Helen Beebee, I argue that the certainty involved in intuition depends on the activity of the mind. I argue, further, that understanding this activity helps us understand more clearly one of Hume’s most important theses, namely that experience is the source of a distinct kind of certainty and of necessity. (shrink)

In all three of his major works on moral philosophy, Kant conceives of moral obligation, moral permissibility, and moral impermissibility in decidedly modal terms, namely in terms of moral necessity, moral possibility, and moral impossibility respectively. This terminology is not Kant’s own, however, but has a rather long history stretching back to a group of Spanish Jesuit theologians in the early seventeenth century, and it was used in two contexts: first, in the context of divine and human action to (...) explain how volition can be both metaphysically and physically free and yet morally necessary, and second in a deontic context to refer to moral obligation, permissibility, and impermissibility. In this paper, my first and primary aim is to sketch the way in which four of Kant’s most important German predecessors, namely Leibniz, Christian Wolff, Alexander Gottlieb Baumgarten, and Christian August Crusius, used the language of moral necessity, possibility, and impossibility in both the context of action and obligation. My second, more limited aim is to suggest that Kant’s use of these terms can be clarified by taking this background into consideration. (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.

Grounding necessitarianism (GN) is the view that full grounds necessitate what they ground. Although GN has been rather popular among philosophers, it faces important counterexamples: For instance, A=[Socrates died] fully grounds C=[Xanthippe became a widow]. However, A fails to necessitate C: A could have obtained together with B=[Socrates and Xanthippe were never married], without C obtaining. In many cases, the debate essentially reduces to whether A indeed fully grounds C – as the contingentist claims – or if instead C is (...) fully grounded in A+, namely A plus some supplementary fact S (e.g. [Xanthippe was married to Socrates]) – as the necessitarian claims. Both sides typically agree that A+ necessitates C, while A does not; they disagree on whether A or A+ fully grounds C. This paper offers a novel defence of the claim that, in these typical cases, unlike A+, A fails to fully ground C – thereby bringing further support to GN. First and foremost, unlike A+, A fails to fully ground C because it fails to contain just what is relevant to do so, in two distinct senses – explanatory and generative relevance. Second, going for A, rather than A+, as a full ground undermines not just grounding necessitarianism, but modally weaker views which even contingentists may want to preserve. (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)

In the second lecture of "Naming and Necessity," Saul Kripke presented a new and quite convincing picture of the reference of proper names. At the same time, however, he expressed some skepticism towards the possibility of developing it into a full-blown theory by offering “more exact conditions for reference to take place.” In this paper, after discussing the reasons for his skepticism, I hint at how I think Kripke’s picture could be developed and offer an outline of a (...) theory of reference based on it. One of the key notions my ‘theory’ makes use of is that of repetition, which I take from Kaplan’s “Words.”. (shrink)

The revival of analytic metaphysics in the latter half of the twentieth century is typically understood as a consequence of the critiques of logical positivism, Quine’s naturalization of ontology, Kripke’s Naming and Necessity, clarifications of modal notions in logic, and the theoretical exploitation of possible worlds. However, this explanation overlooks the work of metaphysicians at the height of positivism and linguisticism that affected metaphysics of the late twentieth century. Donald C. Williams is one such philosopher. In this paper (...) I explain how Williams’s fundamental ontology and philosophy of time influenced in part the early formation of David Lewis’s metaphysics. Thus, Williams played an important role in the revival of analytic metaphysics. (shrink)

Rights forfeiture or liability are not a path to the permissibility of self-defense (not even barring extraordinary circumstances), and the necessity condition is not intrinsic to justified self-defense. Rather, necessity in the context of justification must be distinguished from necessity in the context of rights forfeiture. While innocent aggressors only forfeit their right against necessary self-defense, culpable aggressors also forfeit, on grounds of a principle of reciprocity, certain rights against unnecessary self-defense. Yet, while culpable aggressors would therefore (...) not be wronged by certain unnecessary defensive means, the use of such means against them would still not be justified. The underlying rationale of this necessity requirement lies not in the rights of the aggressor, but in an agent-relative requirement to take fair precautions against violating the rights of the innocent. This concern is also expressed in the necessity criterion defended and formulated in this paper, which is very harsh on aggressors. To wit, the necessity condition for justified self-defense must not be interpreted as requiring the employment of literally the least harmful means or of means that the defender reasonably believes to be, literally, the least harmful ones. What he must believe about the properties and possible effects of the means he employs is something that is much less demanding. Finally, the necessity condition of justified self-defense is also harsh (on the aggressor) in not implying a “success condition” worth its name. (shrink)

Miguel de Unamuno’s theory of tragic sentiment is central to understanding his unique contributions to religious existential thought, which centers on the production of perhaps the most unavoidable and distinctive kind of human feeling. His theory is rightly attributed with being influenced by the gestational thought of, inter alios, Schopenhauer, Kierkegaard, and Nietzsche, but within these pages I should like to suggest a peculiar kinship between seemingly strange bedfellows, namely, between Unamuno and Immanuel Kant. Although the relationship between Unamuno and (...) Kant is conflicted, ranging from clear indications of influence to expressions of antipathy, there has been relatively little comparative research done on these two thinkers. Moreover, this scant literature has mainly explored connections between Unamuno’s existential thought and Kant’s first two Critiques. In these works, however, feelings are regarded as inclinations and thus receive no serious consideration. In what follows, I therefore juxtapose Unamuno’s analysis of tragic feeling in The Tragic Sense of Life with Kant’s discussion of the feelings of beauty and the sublime in the Critique of Judgment. (shrink)

In Naming and Necessity, Saul Kripke employs a handy philosophical trick: he invents the term ‘schmidentity’ to argue indirectly for his favored account of identity. Kripke says in a footnote that he wishes someday “to elaborate on the utility of this device”. In this paper, I first take up a general elaboration on his behalf. I then apply the trick to support an attractive but somewhat unorthodox picture of conceptual analysis—one according to which it is a process of (...) forming intentions for word use. This picture can recover a naturalistically respectable notion of the philosopher’s task, and can help resolve current debates that turn on the place of conceptual analysis. (shrink)

In the middle of the last century, it was common to explain the notion of necessity in linguistic terms. A necessary truth, it was said, is a sentence whose truth is guaranteed by linguistic rules. Quine famously argued that, on this view, de re modal claims do not make sense. “Porcupettes are porcupines” is necessarily true, but it would be a mistake to say of a particular porcupette that it is necessarily a porcupine, or that it is possibly purple. (...) Linguistic theories of necessity fell out of favour with the publication of Kripke’s Naming and Necessity, and Quine’s arguments were put aside. In her recent book, Norms and Necessity, Amie Thomasson presents her modal normativism, which is an updated version of the mid-century theories just described. Quine’s arguments are thus relevant once again. We recapitulate Quine’s central argument, in the context of modal normativism. We then criticise Amie Thomasson’s discussion of de re modality. We finish by briefly presenting an alternative account of de re modal statements, which is compatible with modal normativism. (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)

According to EJ Lowe, diachronic necessity and synchronic necessity are logically independent. Diachronic possibility concerns what could happen to an object over time and therefore concerns future possibilities for that object given its past history. Synchronic possibility concerns what is possible for an object in the present or at a past present moment. These are logically independent, given certain assumptions. While it may true that because I am 38, it is impossible diachronically for me to be 30 (at (...) least once we restrict the degree of relevant possibility), it is possible, given that at some point in the past, I may have been conceived slightly earlier than I was, that I am now 37. Likewise, it is possible diachronically for me to be somewhere other than where I am, but given that one object cannot be in different places at the same time, it is impossible for me now to be somewhere other than where I am, and this is true at each past point in my history too. There are, then, two axis upon which to distinguish what is and is not possible: tensed possibilities and possibilities of degree, which include nomic, metaphysical, and logical necessities, among others. I examine the interactions between these possibilities and I come to the conclusion that logical necessity is not in fact logical necessity simpliciter. Whether something is logically necessary depends upon tensed possibilities. I argue that while synchronic logical necessity entails diachronic logical necessity, the reverse entailment does not hold. I explore the consequences of this for certain philosophical debates in semantics including the concept of rigid designation, and descriptive names. (shrink)

Artifactualism about fictional characters, positing Harry Potter as an abstract artifact created by J. K. Rowling, has been criticized on the grounds that the idea of creating such objects is mysterious and problematic. In the light of such qualms, it is worth homing in on an argument in favor of artifactualism, showing that it is the best way to include the likes of Harry Potter in our ontology precisely because it incorporates authorial creation. To that end, I will be exploring (...) Kripke’s fleeting remarks in his “Naming and Necessity” lectures (1972, 156–7) about expressions like ‘unicorn’ and ‘Harry Potter’. Elsewhere, Kripke motivates artifactualism by suggesting that incorporating authorial creation (as artifactualism does) is a move that is intuitive and natural; but beyond this, he doesn’t provide any arguments in favor of such a move. My purpose in this paper is to construct such an argument based on considerations about Kripke’s general view about proper names, in particular, his seminal causal-historical chain account of reference determination. (shrink)

Ethics normally proceeds by establishing some kind of ground from which norms can be derived for human action. However, no such terra firma is found in Jean-Paul Sartre’s Being and Nothingness, which instead lays down a sedimentary soil consisting of a blend of nothingness and contingency. This paper aims to show how Sartre is able to build an ethical theory from this seemingly groundless mixture, and it proceeds in three sections. Section one aims to disentangle the relation between the for-itself (...) (pour-soi) and the in-itself (en-soi) from antithetical characterizations by placing them in a state of supervenience. Section two works to explain how both the in-itself and the for-itself are not divided ontologically, but are both in the same ontological state, namely, contingency. And in section three, it is argued that Sartre’s ethics reveals that because human beings share the same thrownness with Others in a world, they have to take title for such a world. Within a Sartrean ethics of nothingness, one’s nothingness leads one to the shared nothingness of Others, of which one must take responsibility. (shrink)

This volume draws connections between Wittgenstein's philosophy and the work of Saul Kripke, especially his Naming and Necessity. Saul Kripke is regarded as one of the foremost representatives of contemporary analytic philosophy. His most important contributions include the strict distinction between metaphysical and epistemological questions, the introduction of the notions of contingent a priori truth and necessary a posteriori truth and original accounts of names, descriptions, identity, necessity and realism. The chapters in this book elucidate the relevant (...) connections between Kripke's work and Wittgenstein, specifically concerning the standard meter, contingent apriori and rule-following. The contributions shed light on how Kripke's philosophical outlook was influenced by Wittgenstein, and how mainstream analytic philosophy and Wittgensteinian philosophy can fruitfully engage with one another. Kripke and Wittgenstein will be of interest to philosophers working on Wittgenstein, Kripke, and the history of analytic philosophy. (shrink)

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

This paper concerns anti-Humean intuitions about connections in nature. It argues for the existence of a de re link that is not necessity.Some anti-Humeans tacitly assume that metaphysical necessity can be used for all sorts of anti-Humean desires. Metaphysical necessity is thought to stick together whatever would be loose and separate in a Hume world, as if it were a kind of universal superglue.I argue that this is not feasible. Metaphysical necessity might connect synchronically co-existent properties—kinds (...) and their essential features, for example—but it is difficult to see how it could also serve as the binding force for successions of events. That is, metaphysical necessity seems not to be fit for diachronic, causal affairs in which causal laws, causation, or dispositions are involved. A different anti-Humean connection in nature has to do that job.My arguments focus mainly on a debate which has been the battleground for Humean vs. anti-Humean intuitions for many decades—namely, the analysis of dispositional predicates—yet I believe (but do not argue here) that the arguments generalise to causation and causal laws straightforwardly. (shrink)

The study of reference often leads to addressing fundamental issues in semantics, metaphysics and epistemology; this suggests that reference is closely linked to the three realms. The overall purpose of this study is to elucidate the structure of some of these links, through a close examination of the “mechanism” of reference. As in many other enquiries, considering the possible (i.e., the modal,) in addition to the actual proves very helpful in clarifying and explicating insights. The reference of a term with (...) respect to possible worlds is commonly called “intension”; so this is a study of intensions. The main contribution of the study is an outline for a “calculator” of intensions. It is argued that the intension of a term is a function of three variables: (a) the way in which the term “picks out” its referent in different possible worlds (semantics); (b) criteria of identity (metaphysics); and (c) the actual state of affairs (actuality). While considering different possible values for these variables, it is demonstrated how the variables combine to generate the term’s intension. In other words, the result is a calculator that when provided with the required values, yields the reference of the term in different possible worlds. By taking into account the possible gap between what we take the values of these variables to be and what they may in fact be, we also gain important insights into the epistemic aspect of reference. In addition, since a rigid designator is a term with constant intension, the proposed thesis provides an elaborate account of rigidity. The first chapter is devoted to the development of the calculator of intensions. Each of the following three chapters elaborates on one aspect of intensions, namely, the semantic, metaphysical and epistemic aspects. In the course of these chapters, various familiar puzzles pertaining to the respective philosophical realms are addressed (many of these puzzles are discussed in Kripke’s Naming and Necessity – a work that considerably inspired this study). In the fifth and last chapter the analysis of intensions is applied to two case-studies from relatively recent philosophical literature: the Kripke-Lewis debate over the identity theory of mind, and the debate over the significance of Donnellan’s referential/attributive distinction. The novel accounts that these applications generate purport to illustrate the importance and originality of the proposed thesis. (shrink)

This paper seeks to explicate and analyze an alternative response to fine-tuning arguments from those that are typically given—namely, design or brute contingency. The response I explore is based on necessity, the necessitarian response. After showing how necessity blocks the argument, I explicate the reply I claim necessitarians can give and suggest how its three requirements can be met: firstly, that laws are metaphysically necessary; secondly, that constants are metaphysically necessary; and thirdly, that the fundamental properties that determine (...) the laws and constants are necessary. After discussing each in turn, I end the paper by assessing how the response fares when running the fine-tuning argument in two ways, as an inference to best explanation and as a Bayesian argument. (shrink)

In lecture III of Naming and Necessity, Kripke extends his claim that names are non-descriptive to natural kind terms, and in so doing includes a brief supporting discussion of terms for natural phenomena, in particular the terms ‘light’ and ‘heat’. Whilst natural kind terms continue to feature centrally in the recent literature, natural phenomenon terms have barely figured. The purpose of the present paper is to show how the apparent similarities between natural kind terms and the natural phenomenon (...) terms on which Kripke focuses are outweighed by more significant differences. Thus, rather than providing additional support for non-descriptivism, natural phenomenon terms turn out to challenge that thesis. (shrink)

There are two sorts of singular terms for which we have difficulty applying Donnellan’s referential/attributive distinction: complex definite descriptions, and proper names. With respect to the uses of such terms in certain contexts we seem to have conflicting intuitions as to whether they should be classified as referential or attributive. The problem concerning how to apply Donnellan’s distinction to the uses of certain complex definite descriptions has never been debated in the literature. On the other hand there have been attempts (...) to extend Donnellan’s distinction to the uses of proper names, the most popular one being due to Kripke. However the argument Kripke gives to this end in his ‘Speaker’s Reference and Semantic Reference’ seems to be inconsistent with the position he takes in Naming and Necessity. I suggest that the reason we seem to have conflicting intuitions with respect to the uses of such terms, is because there is not one but two separate distinctions inherent in Donnellan’s examples; a pragmatic distinction based on the speaker’s intentions in using a term , and an epistemic one based on the notion of having an object in mind. In the light of this, I argue that the issue of whether there are attributive uses of proper names, in the latter sense, relates to the epistemic problem of whether a speaker can have de re attitudes toward an object that he does not have in mind. On this epistemic issue Kripke and Donnellan are on opposite sides as revealed by their debate over the issue of whether there are contingent a priori propositions. (shrink)

Newton frequently characterized his methodology as distinctive and capable of achieving greater evidential support than that of his contemporaries, due to its mathematical character. Newton's pronouncements reflect a striking position regarding the role of mathematics in natural philosophy. We can give an initial characterization of his position by considering two questions central to seventeenth century debates about the applicability of mathematics. First, how are we to understand the distinctive universality and necessity of mathematical reasoning? One common way to preserve (...) the demonstrative character of mathematics was to restrict its domain, as far as possible, to pure abstractions. The subject matter of mathematics is then taken to be abstracted from the changeable natural world, consisting of quantity and magnitude themselves rather than the objects bearing quantifiable properties. Yet restricting the domain in this way leaves it difficult to see how mathematics relates to natural phenomena. How could the book of nature be written in a language of pure abstractions? Second, what is the proper role of mathematical reasoning in natural philosophy? Many followed Aristotle in consigning mathematics to a subordinate role. Mathematics could not fulfill the main aim of natural philosophy, namely to provide demonstrations reflecting the essences of things and nature's causal order. A related concern was also pressing for the mechanical philosophers: a merely mathematical demonstration fails to provide an intelligible mechanical explanation. The very title of Newton's masterpiece, Philosophiae Naturalis Principia Mathematica, would have been extremely perplexing: how could natural philosophy be based on mathematical principles? My aim is to articulate Newton's position regarding the mathematization of nature in response to these two concerns. (shrink)

According to pure imperativism, pain experiences are experiences of a specific phenomenal type that are entirely constituted by imperative content. As their primary argument, proponents of imperativism rely on the biological role that pain experiences fulfill, namely, the motivation of actions whose execution ensures the normal functioning of the body. In the paper, I investigate which specific types of action are of relevance for an imperative interpretation and how close their link to pain experiences actually is. I argue that, although (...) imperative theories constitute an apparently promising version of strong intentionalism, they cannot provide an imperative content that meets their own criteria of both sufficiency and necessity. I further argue that this issue cannot be solved by impure imperative theories either. (shrink)

Johnston maintains that the notion of a proposition -- ”a language independent (abstract) particular” -- can be dispensed with in philosophical semantics and replaced with that of a propositional act. A propositional act is a component of a speech act that is responsible for the propositional content of the speech act. Traditionally, it is thought that a propositional act yields the propositional content of a speech act by being an act of expressing a proposition. And it is the expressed proposition (...) that serves as the propositional content of the speech act. Johnston points out, however, that a propositional act is a structured event consisting minimally of a referential act, a predicative act, and a time-designative act. And on Johnston's view, the propositional content is the structured propositional act itself. (Strictly speaking, Johnston analyzes sameness of propositional content in terms of sameness of propositional act type, from which I, perhaps rashly, inferred that the propositional content of a speech act should be taken to be the propositional act itself). Johnston argues that a semantic analysis in terms of propositional acts enables us to reconcile the necessity of both, (1) Hesperus is Phosphorus (2) Phosphorus is Phosphorus with their intuitive difference in meaning, while maintaining the direct reference theory of proper names. Moreover, he argues that invoking propositional acts rather than propositions has the advantage of being able to capture the various senses in which distinct statements might be said to "say the same thing", as well as that of ontological parsimony. I will address each of these claims in turn, but first, I want to point out that the propositionalist can easily reconcile the necessity of (1) and (2) with their intuitive difference in meaning, without forsaking direct reference. All one needs to do is invoke the Fregean idea that there is a meaning shift in “thatâ€-clauses of (opaque) indirect discourse (and other) ascriptions.. (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 paper analyzes the limitation of alternative concepts of knowledge, constructivism and realism. A necessity of their complementarity is grounded. The core of controversy between constructivism and realism is a belief about “the given”. The author follows R. Rorty who considers two meanings of a notion of “the given”: “making” and “finding”. The author shows that these different meanings of concept of “the given” are connected with different types of subject consciousness activity. Together with intentional ability of consciousness he (...) considers responsive ability. Both abilities were a subject of phenomenological analysis (E. Husserl, A. Reinach, B. Waldenfels). The author argues that there are certain connections between intentionality and interpretative function of knowledge, on the one hand, and between responsiveness and expressive function of consciousness, on the other hand. Developing the communicative concept of knowledge he shows the meaning of cognitive cycles «interpretation_expression» in the process of knowledge. -/- A consideration of cognitive process as a semiotic one allows to show that interpretation is provided by such kind of basic function of sign as indication, and expression is provided by the other function of sign as substitution, or presentation. The author shows that complementary of interpretation and expression is a consequence of two processes – finding a name and making a meaning. The conclusion about complementary of interpretation and expression leads to a belief about cognition cultures and their types. He shows a place of constructivism and realism in the context of typology of cognition cultures. (shrink)

It was argued by Célia Teixeira (2003) that the actualized descriptivist theory of names have the problem of generating undesired epistemic necessities. In this paper I want to argue for a descriptivis theory that does not suffer from such problem. For this I will explain Teixeira's objections and later present my own conception of an actualized descriptivist theory of names; it is, protected against the problem of undesired necessities.

Kripke distinguishes necessity and priority as two different categories: priority is a notion of epistemology, while necessity is a notion of metaphysics. Based on this fundamental argument, Kripke objects to Descriptivism, which takes certain properties as the criteria of identity across all possible worlds, and he argues for the legitimacy of a posteriori necessary truths. Kripke also criticizes Russell’s methods for dealing with empty descriptions, and he puts forward a modal world to explain the rigidity of proper names. (...) However, the concept of rigid designation faces some challenges, including Kripke admitting to weak essentialism when he rejects transworld identification, and the fact that the truth value of a sentence containing a rigid designator may change. (shrink)

A thorough critique (extracted from the author’s 1979 doctoral dissertation) of Kripke’s purported derivation, in footnote 56 of his philosophical masterpiece /Naming and Necessity/, of nontrivial modal essentialism from the theory of rigid designation.

On Kripke’s intended definition, a term designates an object x rigidly if the term designates x with respect to every possible world in which x exists and does not designate anything else with respect to worlds in which x does not exist. Kripke evidently holds in Naming and Necessity, hereafter N&N (pp. 117–144, passim, and especially at 134, 139–140), that certain general terms – including natural-kind terms like ‘‘water’’ and ‘‘tiger’’, phenomenon terms like ‘‘heat’’ and ‘‘hot’’, and color (...) terms like ‘‘blue’’ – are rigid designators solely as a matter of philosophical semantics (independently of empirical, extra-linguistic facts). As a consequence, Kripke argues, identity statements involving these general terms are like identity statements involving proper names (e.g., ‘‘Clark Kent=Superman’’) in that, solely as a matter of philosophical semantics, they express necessary truths if they are true at all. But whereas it is reasonably clear what it is for a (first-order) singular term to designate, Kripke does not explicitly say what it is for a general term to designate. General terms are standardly treated in modern logic as predicates, usually monadic predicates. There are very forceful reasons – due independently to Church and Godel, and ultimately to Frege – for taking predicates to designate their semantic extensions. But insofar as the extension of the general term ‘‘tiger’’ is the class of actual tigers (or its characteristic function), it is clear that the term does not rigidly designate its extension, since the class of tigers in one possible world may differ from the class of tigers in another. What, then, is it for ‘‘tiger’’ to be rigid? (shrink)

In an influential passage of Naming and Necessity Kripke argues, with the help of a fictional dialogue, that de re metaphysical modal distinctions have intuitive content. In this note I clarify the workings of the argument, and what it does and does not support. I conclude that Kripke’s argument does not, despite possible appearances, support the view that metaphysical modal distinctions are made in common sense discourse. The argument does however support the view that if metaphysical modal distinctions (...) make sense at the level of statements or states of affairs, then they also make sense de re. (shrink)

What is our epistemic access to metaphysical modality? Timothy Williamson suggests that the epistemology of counterfactuals will provide the answer. This paper challenges Williamson's account and argues that certain elements of the epistemology of counterfactuals that he discusses, namely so called background knowledge and constitutive facts, are already saturated with modal content which his account fails to explain. Williamson's account will first be outlined and the role of background knowledge and constitutive facts analysed. Their key role is to restrict our (...) imagination to rule out irrelevant counterfactual suppositions. However, background knowledge turns out to be problematic in cases where we are dealing with metaphysically possible counterfactual suppositions that violate the actual laws of physics. As we will see, unless Williamson assumes that background knowledge corresponds with the actual, true laws of physics and that these laws are metaphysically necessary, it will be difficult to address this problem. Furthermore, Williamson's account fails to accommodate the distinction between conceivable yet metaphysically impossible scenarios, and conceivable and metaphysically possible scenarios. This is because background knowledge and constitutive facts are based strictly on our knowledge of the actual world. Williamson does attempt to address this concern with regard to metaphysical necessities – as they hold across all possible worlds – but we will see that even in this case the explanation is questionable. These problems, it will be suggested, cannot be addressed in a counterfactual account of the epistemology of modality. The paper finishes with an analysis of Williamson's possible rejoinders and some discussion about the prospects of an alternative account of modal epistemology. (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)

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

n this paper I take up these proposals, giving reasons to incorporate semantic features associated with proper names over and above their referent in any (genuine) semantic account of natural language. I also argue that my proposal is compatible with the main points made in Naming and Necessity, by contending that not Millianism but externalism was the claim most forcefully argued for in that impressive piece of work.