It has been argued that a combination of game-theoretic semantics and independence-friendly (IF) languages can provide a novel approach to the conceptual foundations of mathematics and the sciences. I introduce and motivate an IF first-order modal language endowed with a game-theoretic semantics of perfect information. The resulting interpretive independence-friendly logic (IIF) allows to formulate some basic model-theoretic notions that are inexpressible in the ordinary quantified modal logic. Moreover, I argue that some key concepts of Kripke’s new theory of reference are (...) adequately modeled within IIF. Finally, I compare the logic IIF to David Lewis' counterpart theory, drawing some morals concerning the interrelation between metaphysical and semantic issues in possible-world semantics. (shrink)

The article discusses an idea of how to extend the notion of rigidity to predicates, namely the idea that predicates stand in a certain systematic semantic relation to properties, such that this relation may hold rigidly or nonrigidly. The relation (which I call signification) can be characterised by recourse to canonical property designators which are derived from predicates (or general terms) by means of nominalization: a predicate signifies that property which the derived property designator designates. Whether signification divides into rigid (...) and non-rigid cases will then depend uponwhether canonical property designators divide into rigid and non-rigid ones. But, I shall argue, they do not, and so the only notion of rigidity gained this way is trivial. To show this, I first focus on the kind of canonical property designators which could be thought to be nonrigid, canonical designators such as having the colour of ripe tomatoes which themselves contain non-rigid property designators. An argument to the effect that such complex canonical designators are non-rigid is rebutted, five arguments to the effect that they are rigid are formulated, and finally an explanation of their rigidity based on the general nature of canonical property designators is presented. (shrink)

Saul Kripke in his revolutionary and influential series of lectures from the early 1970s (later published as the book Naming and Necessity) famously resurrected John Stuart Mill's theory of proper names. Kripke at the same time rejected Mill's theory of general terms. According to Kripke, many natural kind terms do not fit Mill's account of general terms and are closer to proper names. Unfortunately, Kripke and his followers ignored key passages in Mill's A System of Logic in which Mill enunciates (...) a sophisticated and detailed theory of natural kind terms that anticipates and is in some ways superior to Kripke's. (shrink)

Rigid expressionism is the view that all natural kind terms and many other kind terms are rigid designators. Rigid expressionists embrace the ‘overgeneralization’ of rigidity, since they hold that not just natural kind terms but all unstructured kind terms are rigid designators. Unfortunately overgeneralization remains a defeating problem for rigid expressionism. It runs together natural kind terms and nominal kind terms in a way that enforces a false semantic uniformity. The Kripke/putnam view of natural kind terms minus the claim of (...) rigidity is correct, but a traditional descriptivist theory is appropriate for nominal kind terms. None of them should be thought of as either rigid or non-rigid, however. (shrink)

Theoria, Volume 88, Issue 2, Page 453-463, April 2022.

According to the simple proposal, a predicate is rigid iff it signifies the same property across the different possible worlds. The simple proposal has been claimed to suffer from an over-generalization problem. Assume that one can make sense of predicates signifying properties, and assume that trivialization concerns, to the effect that the notion would cover any predicate whatsoever, can be overcome. Still, the proposal would over-generalize, the worry has it, by covering predicates for artifactual, social, or evaluative properties, such as (...) 'is a knife,' 'is a bachelor,' or 'is funny.' In defense, it is argued that rigidity for predicates as characterized plays the appropriate theoretical role, and that the contention that "unnatural" properties are not to be rigidly signified is ungrounded. (shrink)

The simple proposal for a characterization of general term rigidity is in terms of sameness of designation in very possible world. Critics like Schwartz (2002) and Soames (2002) have argued that such a proposal would trivialize rigidity for general terms. Martí (2004) claims that the objection rests on the failure to distinguish what is expressed by a general term and the property designated. I argue here against such a response by showing that the trivialization problem reappears even if one pays (...) attention to such a distinction. (shrink)

forthcoming in Philosophy and Phenomenological Research.

According to Michael Devitt, the primary work of a rigidity distinction for kind terms is to distinguish non-descriptional predicates from descriptional predicates. The standard conception of rigidity fails to do this work when it is extended to kind terms. Against the standard conception, Devitt defends rigid application: a predicate is a rigid applier iff, if it applies to an object in one world, it applies to that object in every world in which it exists. Devitt maintains that rigid application does (...) the job of identifying nondescriptional predicates perfectly. I argue that Devitt is wrong about this. When we examine more closely alternative theories about the identity and persistence conditions of those entities to which mass terms apply, we find no plausible theory that has the result that a term is rigid iff it is non-descriptional. (shrink)

El presente escrito discute la plausibilidad de la admisión de términos generales rígidos no naturales. Enunciados de identidad teórica que incluyen términos generales rígidos no naturales no expresan necesidad a posteriori: son enunciados analíticos, necesarios y a priori. Sólo los enunciados de identidad que incluyen términos generales rígidos naturales son enunciados necesarios a posteriori. Los problemas de la trivialización y sobre generalización suponen que la aplicación de la rigidez a los términos de clase no natural resta importancia a la rigidez (...) como diferenciador semántico – modal, pero eso solo es así si estos problemas exigen que cualquier término general rígido permita afirmar necesidad a posteriori, lo que es rechazado. Se propone la nominalización de un término general como una vía de solución a la trivialización y la sobregeneralización. Del mismo modo, se descarta una lectura predicativa restrictiva de los términos generales. Finalmente, se explicita el principal caso de términos generales no rígidos: términos descriptivos sintácticamente complejos. (shrink)

Zatímco v případě otázek rigidity singulárních termínů panuje obecná shoda, v případě rigidity predikátů tomu tak překvapivě není. Záměrem této statě je opřít distinkci rigidní / nerigidní o jasné pojmy, jmenovitě o pojem reference v určité sémantické teorii. V důsledku toho lze podat rigorózní definici pojmu rigidního designátoru individua. Tato definice je pak přímočaře adaptovatelná pro případ pojmu rigidního designátoru třídy individuí (apod.). Tímto je dosaženo nejen obecnosti, ale i vnitřní jednoty teorie rigidity.

'The kind Lion' denotes a kind. Yet many generics are thought to denote kinds also, like the subject-terms in 'The lion has a mane', 'Dinosaurs are extinct', and 'The potato was cultivated in Ireland by the end of the 17th century.' This view may be adequate for the linguist's overall purposes--however, if we limit our attention to the theory of reference, it seems unworkable. The problem is that what is often predicated of kinds is not what is predicated of the (...) lion, dinosaurs, and the potato. Thus, kinds are sometimes said to be abstract objects, immanent universals, nominal essences, etc. But the lion is a predatory cat--it is not an abstract object, nor an immanent universal, nor a nominal essence. I consider several proposals about resolving the dilemma; however, the conclusion is that none of the proposals are adequate. We are thus hard pressed to make sense of allegedly kind-denoting generics, and the lesson is a "Socratic" one about the depths of our ignorance. (shrink)

In this paper I am concerned with the problem of applying the notion of rigidity to general terms. In Naming and Necessity, Kripke has clearly suggested that we should include some general terms among the rigid ones, namely, those common nouns semantically correlated with natural substances, species and phenomena, in general, natural kinds -'water', 'tiger', 'heat'- and some adjectives -'red', 'hot', 'loud'. However, the notion of rigidity has been defined for singular terms; after all, the notion that Kripke has provided (...) us with is the notion of a rigid designator. But general terms do not designate single individuals: rather, they apply to many of them. In sum, the original concept of rigidity cannot be straightforwardly applied to general terms: it has to be somehow redefined in order to make it cover them. As is known, two main positions have been put forward to accomplish that task: the identity of designation conception, according to which a rigid general term is one that designates the same property or kind in all possible worlds, and the essentialist conception, which conceives of a rigid general term as an essentialist one, namely, a term that expresses an essential property of an object. My purpose in the present paper is to defend a particular version of the identity of designation conception: on the proposed approach, a rigid general term will be one that expresses the same property in all possible worlds and names the property it expresses. In my opinion, the position can be established on the basis of an inference to the best explanation of our intuitive interpretation and evaluation, relative to counterfactual circumstances, of statements containing different kinds of general terms, which is strictly analogous to our intuitive interpretation and evaluation, relative to such circumstances, of statements containing different kinds of singular ones. I will argue that it is possible to offer a new solution to the trivialization problem that is thought to threaten all versions of the identity of designation conception of rigidity. Finally, I will also sketch a solution to the so-called 'over-generalization and under-generalization problems', both closely related to the above-mentioned one. (shrink)

Standard Kripke-Putnam semantics is widely taken to entail that theoretical identifications like ‘Brontosauruses are Apatosauruses’ or ‘Gold is 79Au’ are necessary, if true. I offer a new diagnosis as to why this modal consequence ensues. Central to my diagnosis is the concept of a paradigm term. I argue that modal and epistemic peculiarities that are commonly considered as distinctive of natural kind expressions are in fact traits that are shared by paradigm terms in general. Philosophical semantics should broaden its focus (...) from natural kind expressions to paradigm terms. (shrink)

Kripke holds the thesis that identity statements containing natural kind terms are if true, necessarily true; these statements can be denominated theoretical identities. Kripke alleges that the necessity of theoretical identities grounds on the linguistic feature that natural kind terms are rigid designators. Nevertheless, I argue that the conception of natural kind terms as rigid designators, in one of their most natural views, hinders the establishment of the truth of theoretical identities and thus of their necessity. However, in Kripke’s works (...) another proposal, not linguistic but metaphysical, is found to justify the presumed necessity of theoretical identities; it grounds on essentialism concerning natural kinds. In this regard, I question some of Kripke’s main claims, focusing on one of the main examples of theoretical identities put forward by Kripke, i.e., “Water is H2\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$_2$$\end{document}O”. I challenge his a priori claims concerning what should be the essence of a natural kind like water. Furthermore, I adduce that the character of that theoretical identity is not that claimed by Kripke, since in the term flanking the right side of the identity sign it has to be resorted to the notion of similarity or it should have the form of a disjunction of a cluster of substances. (shrink)

In this paper I examine two ways of defining the rigidity of general terms. First I discuss the view that rigid general terms express essential properties. I argue that the view is ultimately unsatisfactory, although not on the basis of the standard objections raised against it. I then discuss the characterisation in terms of sameness of designation in every possible world. I defend that view from two objections but I argue that the approach, although basically right, should be interpreted cautiously.

We defend the view that defines the rigidity of general terms as sameness of designated universal across possible worlds from the objection that such a characterization is incapable of distinguishing rigid from non-rigid readings of general terms and, thus, that it trivializes the notion of rigidity. We also argue that previous attempts to offer a solution to the trivialization problem do no succeed.

Here I defend the position that some singular terms for properties are rigid designators, responding to Stephen P. Schwartz’s interesting criticisms of that position. First, I argue that my position does not depend on ontological parsimony with respect to properties – e.g., there is no need to claim that there are only natural properties – to get around the problem of “unusual properties.” Second, I argue that my position does not confuse sameness of meaning across possible worlds with sameness of (...) designation, or rigid designation. Third, I argue that my position does not founder by way of failing to assign rigidity the work of grounding a posteriori necessity. (shrink)

The causal theory of reference is often taken to provide a solution to the problems, such as incomparability and referential discontinuity, that the meaning-change thesis raised. I show that Kuhn successfully questioned the causal theory and Putnam's idea that reference is determined via the sameness relation of essences that holds between a sample and other members of a kind in all possible worlds. Putnam's single ‘essential' properties may be necessary but not sufficient to determine membership in a kind category. Kuhn (...) argued that extension is fixed by similarity-dissimilarity relations that are liable to change in taxonomic reorganizations of science. *Received October 2009; revised January 2010. †To contact the author, please write to: Institute of Philosophy, University of Leiden, Martin de Vrieshof 4, 2300 RS Leiden, The Netherlands; e-mail: [email protected]. (shrink)

In this paper, I present, generalize and develop the extensionalist theory of rigidity for general terms in light of criteria commonly applied to theories of general term rigidity. According to the theory, a general term is rigid if its extension is constant across all possible worlds. This position has been widely dismissed because it conflicts with the seemingly straightforward idea that natural kind terms have varying extensions from world to world. This criticism holds only to the extent that natural kind (...) terms are indeed rigid. If it turns out that we need not view them as rigid, then the extensionalist theory fares well when compared with other theoretical requirements. (shrink)

The Russell-Myhill paradox puts pressure on the Russellian structured view of propositions by showing that it conflicts with certain prima facie attractive ontological and logical principles. I describe several versions of RMP and argue that structurists can appeal to natural assumptions about metaphysical grounding to provide independent reasons for rejecting the ontological principles used in these paradoxes. It remains a task for future work to extend this grounding-based approach to all variants of RMP.

In the first part ("Determination"), I consider different notions of determination, contrast and compare modal with non-modal accounts and then defend two a-modality theses concerning essence and supervenience. I argue, first, that essence is a a-modal notion, i.e. not usefully analysed in terms of metaphysical modality, and then, contra Kit Fine, that essential properties can be exemplified contingently. I argue, second, that supervenience is also an a-modal notion, and that it should be analysed in terms of constitution relations between properties. (...) In the second part ("A Theory of Truthmaking"), I first review the literature on ontological commitment, and argue that the notion of truthmaking is better suited to play its explanatory rôle. I then argue that we should take truthmaker theory seriously, and that we should provide actual truthmakers for all truths there are. In the last chapter of this part, I review Armstrong's truthmaker theories and argue that they are unsatisfactory. I generalise my criticism to an argument against truthmaker necessitarianism, the view that truthmakers necessarily make true the truths they are truthmakers of. In the third part ("Properties and their Kind(s)"), I discuss qualitative determination. I present and endorse the truthmaker argument for universals, and defend universalism against friends of tropes, states of affairs and facts. I then give a novel characterisation of the important class of intrinsic properties, building on Lewis' work. With a workable notion of intrinsicness at hand, I argue that relations are ontologically – but not "ideologically" – dispensable: qualitative determination in general is a matter of intrinsic structure. In the future, I plan to add two parts and to publish my thesis as a book: In the fourth part ("Exemplification"), I argue for the existence of an exemplification relation tying universals and particulars together. I derive theoretical benefits from this relation by providing adverbialist theories of modality and tense and identify exemplification with a type of parthood. In the fifth part ("Qua qua qua"), I investigate the curious and interesting ontological category of so-called "qua-objects" (Picasso-as-a-painter, for example) and argue that they exist, are not identical with transworld indidivuals or modal parts and that they provide (contingent) truthmakers for all true predications. (shrink)

In this paper, I argue that the causal and description theories of natural kind term reference involve certain psychological elements. My main goal is to refine these theories with the help of empirical psychology of concepts, and to argue that the refinement process ultimately leads to the dissolution of boundaries between the two kinds of theories. However, neither the refined theories nor any other existing theories provide an adequate answer to the question of what makes natural kind terms rigid. To (...) provide an answer to this question I conclude my paper by introducing a framework of a unified theory of natural kind term reference that is built on the empirical psychology of concepts. (shrink)

What does it mean for a general term to be rigid? It is argued by some that if we take general terms to designate their extensions, then almost no empirical general term will turn out to be rigid; and if we take them to designate some abstract entity, such as a kind, then it turns out that almost all general terms will be rigid. Various authors who pursue this line of reasoning have attempted to capture Kripke’s intent by defining a (...) rigid general term as one that applies to the objects in its extension essentially. I argue that this account is significantly mistaken for various reasons: it conflates a metaphysical notion (essentialism) with a semantic one (rigidity); it fails to countenance the fact that any term can be introduced into a language by stipulating that it be a rigid designator; it limits the extension of rigid terms so much that terms such as ‘meter’, ‘rectangle’, ‘truth’, etc. do not turn out to be rigid, when they obviously are; and it wrongly concentrates on the predicative use of a general term in applying a certain test offered by Kripke to determine whether a term is rigid. (shrink)

There is a line of reasoning in metaepistemology that is congenial to naturalism and hard to resist, yet ultimately misguided: that knowledge might be a natural kind, and that this would undermine the use of conceptual analysis in the theory of knowledge. In this paper, I first bring out various problems with Hilary Kornblith’s argument from the causal–explanatory indispensability of knowledge to the natural kindhood of knowledge. I then criticize the argument from the natural kindhood of knowledge against the method (...) of conceptual analysis in the theory of knowledge. A natural motivation for this argument is the following seemingly plausible principle: if knowledge is a natural kind, then the concept of knowledge is a natural kind concept. Since this principle lacks adequate support, the crucial semantic claim that the concept of knowledge is a natural kind concept must be defended in some more direct way. However, there are two striking epistemic disanalogies between the concept of knowledge and paradigmatic natural kind concepts that militate against this semantic claim. Conceptual analyses of knowledge are not affected by total error, and the proponents of such analyses are not subject to a priori conceptual obliviousness. I conclude that the argument from natural kindhood does not succeed in undermining the use of conceptual analysis in the theory of knowledge. (shrink)

The notion of rigidity looms large in philosophy of language, but is beset by difficulties. This paper proposes a simple theory of rigidity, according to which an expression has a world-relative semantic property rigidly when it has that property at, or with respect to, all worlds. Just as names, and certain descriptions like The square root of 4, rigidly designate their referents, so too are necessary truths rigidly true, and so too does cat rigidly have only animals in its extension. (...) After spelling out the theory, I argue that it enables us to avoid the headaches that attend the misbegotten desire to have a simple rigid/non-rigid distinction that applies to expressions, giving us a simple solution to the problem of generalizing the notion of rigidity beyond singular terms. (shrink)

It is generally assumed that rigidity plays a key role in explaining the necessary a posteriori status of identity statements, both between proper names and between natural kind terms. However, while the notion of rigid designation is well defined for singular terms, there is no generally accepted definition of what it is for a general term to be rigid. In this paper I argue that the most common view, according to which rigid general terms are the ones which designate the (...) same kind in all possible worlds, fails to deliver a posteriori necessities. I also present an alternative view, on which the work of explaining a posteriori necessities is not done by rigidity, but by a related metasemantic notion, which I call actuality - dependence. (shrink)

What is it for a predicate or a general term to be a rigid designator? Two strategies for answering this question can be found in the literature, but both run into severe difficulties. In this paper, it is suggested that proper names and the usual examples of rigid predicates share a semantic feature which does the theoretical work usually attributed to rigidity. This feature cannot be equated with rigidity, but in the case of singular terms this feature entails their rigidity, (...) as understood in the standard characterisation. Hence, it is appropriate to call this feature proto-rigidity. (shrink)

Though it is often claimed that some general terms are rigid designators, it has turned out to be difficult to give a satisfying definition that avoids making all general terms rigid, and even if a non-rigid reading is available, makes that non-rigid reading matter. Several authors have attempted to develop examples that meet the trivialization challenge, with Martí and Martínez-Fernández providing what is, perhaps, the most convincing strategy. I show that the type of example Martí and Martínez-Fernández offer nevertheless fails (...) to meet the trivialization challenge and, accordingly, that we should still have serious doubts about whether continuing the search for a non-trivial definition of general term rigidity would be fruitful. (shrink)

Although it is common to claim that certain general terms or kind terms are rigid designators and that their rigidity helps explain their behavior in modal contexts, it has turned out to be surprisingly difficult to define an adequate notion of rigidity for general terms. Such definitions tend, as argued in particular by Scott Soames, to lead to a type of overgeneralization that leaves the purported rigidity of general terms explanatorily inert. In recent years, several attempts have been made to (...) circumvent the problem, and the present article focuses on a particular and potentially powerful strategy developed by Joseph LaPorte in his recent book Rigid Designation and Theoretical Identities for blocking one of the core inferences in Soames’s case against general term rigidity. I argue that the type of response LaPorte promotes is bound to fail; though it might initially appear to circumvent the threat of trivialization described by Soames, it is susceptible to a different and arguably even worse kind of trivialization challenge. In conclusion, Soames’s arguments remain a significant obstacle to identifying a non-trivializing definition of kind term rigidity, and we have good reasons to think that an explanation for the modal status of theoretical identity statements must be sought elsewhere. (shrink)

It is often thought that some general terms or kind terms, in particular natural kind terms, are rigid designators, and that a properly extended notion of singular-term rigidity can help explain the behaviour of such general terms. In this article, I argue that the only legitimate notion of general-term rigidity is a trivial one and identify some crucial asymmetries between a posteriori necessary truths involving names and a posteriori necessary truths involving general terms. If we pay attention to these asymmetries, (...) it becomes clear that attempts to draw a non-trivial rigid/non-rigid distinction for general terms are bound to fail to offer the explanations we expected. As opposed to singular terms, what is interesting about the behaviour of natural kind terms, even in modal contexts, cannot be accounted for by modal distinctions like rigidity/non-rigidity but must rather track non-modal features. (shrink)

Theoria, Volume 88, Issue 2, Page 406-433, April 2022.

Kripke defines a rigid designator as one that designates the same object in every possible world in which that object exists. He argues that proper names are rigid. So also, he claims, are various natural kind terms. But we wonder how they could be. These terms are general and it is not obvious that they designate at all. It has been proposed that these kind terms rigidly designate abstract objects. This proposal has been criticized because all terms then seem to (...) come out rigid, thus trivializing rigidity. The paper starts with further criticisms of this proposal aimed particularly at a recent version given by LaPorte. The paper goes on to develop and defend an alternative proposal presented briefly in Devitt and Sterelny (1999): instead of taking those natural kind terms to rigidly designate an object we take them to rigidly apply to the members of their extensions. Schwartz has rightly insisted that a notion of rigidity must do some theoretical work if it is to be interesting. The paper argues that rigid application for kind terms does the same primary work as rigid designation for singular terms, the work of refuting description theories of some terms; and it does the same secondary work, of explaining certain modal phenomena (with one exception). (shrink)

The paper argues that the assumption that there are property designators, together with two theoretically innocent claims, leads to a puzzle, whose solution requires us to reject the position that all (canonical) property designators are rigid. But if we deny that all (canonical) property designators are rigid, then the natural next step is to reject an abundant conception of properties and with it the suggestion that properties are the semantic values of predicates.

This paper maps the landscape for a range of views concerning the metaphysics of natural kinds. I consider a range of increasingly ontologically committed views concerning natural kinds and the possible arguments for them. I then ask how these relate to natural kind essentialism, arguing that essentialism requires commitment to kinds as entities. I conclude by examining the homeostatic property cluster view of kinds in the light of the general understanding of kinds developed.

Humeans and non-Humeans reasonably agree that there may be necessary connections between entities that are identical or merely partly distinct—between, e.g., sets and their individual members, fusions and their individual parts, instances of determinates and determinables, members of certain natural kinds and certain of their intrinsic properties, and (especially among physicalists) certain physical and mental states. Humeans maintain, however, that as per “Hume’s Dictum”, there are no necessary connections between entities that are wholly distinct;1 and in particular, no necessary causal (...) connections between such entities (even when the background conditions requisite for causation are in place). The Humean’s differential treatment appears principled, in reflecting that commonly accepted necessary connections involve constitutional relations, whereas wholly distinct entities (notably, causes and effects) do not constitute each other. I’ll argue, however, that the appearance of principle is not genuine, as per the following conditional: Constitutional→Causal: If one accepts certain constitutional necessities, one should accept certain causal necessities. This result provides needed leverage in assessing the two main frameworks in the metaphysics of science, treating natural kinds, causes, laws of nature, and the like. These frameworks differ primarily on whether Hume’s Dictum is taken as a working constraint on theorizing; and it has proved difficult for either side to criticize the other without presupposing their preferred stance on the dictum, hence talking past one another. The arguments for Constitutional→Causal are based, however, in general and independent considerations about what facts in the world might plausibly warrant our beliefs in certain constitutional necessities involving broadly scientific entities. The Humean can respond to these arguments, which reveal a deep tension in their view, at attendant costs of implausibilty and adhocery. The non-Humean framework doesn’t face any such tension between constitutional and causal necessities, however, and so in this respect comes out ahead. (shrink)

The aim of this thesis is to discuss whether general terms are rigid and if they are, how their rigidity should be interpreted. To this end, I first present the problems related to the rigidity of general terms. The most important ones among them are the following: What do general terms refer to? Is there any difference between the terms called “natural kind terms” and other general terms? After that, I discuss the arguments of three competent interpretations which try to (...) overcome these problems. The first interpretation holds that general terms refer to (or apply to) each and every object in their extensions. According to this view, only general terms related to essential properties like “cat”, “gold” turn out to be rigid. After I try to expose the drawbacks of this view, I examine the arguments of the second interpretation which holds that general terms refer to abstract kinds. I also argue for this interpretation. According to this interpretation general terms which refer to the same kind in all possible worlds turn out to be rigid. The main objection to this view is that this interpretation makes so many general terms rigid and it trivializes the notion of rigidity. Arguing that this is an unfair objection, I also focus on the philosophical importance of the subject and show that the interpretation I argue for realizes this philosophical importance. The third interpretation, on the other hand, rejects the rigidity of general terms. I also discuss the drawbacks of this view. -/- Another subject I discuss in the thesis is the rigidity of artifactual kind terms. The kinds of human made objects for specific purposes are usually called “artifactual kinds”. I argue that artifactual kind terms could rigidly refer to artifactual kinds. I reply to the critiques of this view with regard to the semantics of artifactual kind terms and metaphysics of artifactual kinds. (shrink)

The question whether the notion of rigidity can be extended in a fruitful way beyond singular terms has received a standard answer in the literature, according to which non-singular terms designate kinds, properties or other abstract singular objects and generalized rigidity is the same thing as singular term rigidity, but for terms designating such objects. I offer some new criticisms of this view and go on to defend an alternative view, on which non-singular terms designate extensions in general, and generalized (...) rigidity is identity of extension across possible worlds. I develop some fundamental positive considerations that make this view virtually inevitable as a view of generalized rigidity, emphasizing its exclusive ability to offer a purely logical justification of the necessity of several kinds of statements that go beyond true identity statements between rigid singular terms. (shrink)

In this paper I offer a characterization of evaluative realism, present the intuitive case against it, and offer two considerations to support it further: one concerning the internalist connection between values and motivation, and the other concerning the intuitibve causal inefficacy of evaluative properties. The considerations ultimately rely on the former intuitions themselves, but are not devoid of interest, as they might make one revise what one took to be his own realistic supporting intuitions, if such one had.

It is commonly assumed that natural kind terms constitute a distinct semantic category. This idea emerged during the 1970's following Kripke's and Putnam's well-known remarks on natural kind terms. The idea has stayed with us, although it is now recognized that the issues are considerably more complex than initially thought. Thus, it has become clear that much of Kripke's and Putnam's discussions were based on rather simplified views of natural kinds. It also turns out that the semantic issues are less (...) straightforward than assumed - in particular, it is far from clear what it might mean to say that a kind term is rigid. Strikingly, however, these worries have not done much to undermine the confident assumption that natural kind terms form a special semantic category. In the paper I try to shake that confidence. I argue that although natural kind terms are no doubt important (for instance, from an explanatory point of view), we are certainly not warranted in concluding that they form a separate, semantic category among the kind terms. (shrink)

In Naming and Necessity Kripke argues 'intuitively' that names are rigid. Unlike Kripke, Ben-Yami first introduces and justifies the Principle of the Independence of Reference (PIR), according to which the reference of a name is independent of what is said in the rest of the sentence containing it. Ben-Yami then derives rigidity, or something close to it, from the PIR. Additional aspects of the use of names and other expressions in modal contexts, explained by the PIR but not by the (...) rigidity claim, are then discussed. Ben-Yami next examines a difficulty in accepted definitions of rigidity, stemming from the fact that the same name can be used to name different particulars. This difficulty might force us to adopt a revised form of the rigidity claim. (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)

I reassess the famous arguments of Frank Plumpton Ramsey (1925) against the tenability of the distinction between particulars and universals and discuss their recent elaboration by Fraser MacBride. I argue that Ramsey’s argument is ambiguous between kinds and properties and that his sceptical worries can be resolved once this distinction is taken into account. A crucial role in this dissolution is a notion of what is essential to a property. I close by some epistemological considerations.

In his paper "Rigid Application", Michael Devitt defends a particular version of the socalled 'essentialist conception' of rigidity for general terms, according to which rigid general terms are rigid appliers, namely, terms that if they apply to an object in any possible world then they apply to that object in every possible in which the object exists. Devitt thinks that the thereby defined notion of rigidity makes for an adequate extension to general terms of Kripke's notion, originally defined for singular (...) ones, inasmuch as it serves to accomplish its same primary task: namely, "to distinguish terms that are not covered by a description theory from ones that are". He then criticizes the alternative conception of rigidity for general terms as identity of designation -specifically, LaPorte´s version- on the basis of its entanglement with some controversial metaphysical theses regarding the existence of universals -including a commitment to a selective realism concerning them. In this paper, I try to defend the identity of designation conception from his criticisms: with this aim, I propose a version different from LaPorte's, and claim it to be the best one to accomplish the above-mentioned primary semantic task, namely, the one of showing that some general terms, just like most ordinary names, cannot be accounted for in descriptive terms. En su artículo "Rigid Application", Michael Devitt defiende una versión particular de la llamada 'concepción esencialista' de la rigidez para términos generales, según la cual los términos generales rígidos son aplicadores rígidos, esto es, términos que si se aplican a un objeto en algún mundo posible, se aplican a ese objeto en todos los mundos posibles en los que existe. Devitt considera que tal noción de rigidez constituye una adecuada extensión del concepto kripkeano, definido originalmente para términos singulares, en la medida en que permite cumplir la misma función semántica fundamental que aquél: distinguir a los términos que pueden ser explicados mediante una teoría descriptivista de aquéllos para los cuales eso no es posible. De este modo, critica la concepción alternativa de la rigidez para términos generales, basada en la idea de identidad de designación -en la versión de LaPorte -, a la cual acusa de estar comprometida con discutibles tesis metafísicas, incluido un realismo selectivo acerca de los universales. En este trabajo, me propongo defender a esta concepción de sus críticas, para lo cual presento una versión de la misma diferente de la de LaPorte. En mi opinión, la versión propuesta supera además a la definición de rigidez ofrecida por Devitt en el logro de su objetivo principal, a saber, mostrar que algunos términos generales, al igual que la mayor parte de los nombres ordinarios, no pueden ser explicados en términos descriptivistas. (shrink)

In this article the following criticisms of the essentialist conception of general term rigidity presented in the previous papers are considered and responded: the identity of designation conception of rigidity can provide us with a better alternative account for general term rigidity, and the essentialist conception fails to meet the condition of extensional adequacy, both because it over -and undergeneralizes. Against, it is claimed that the proposed definition of general term rigidity cannot feature in lost rigidity arguments against description theories (...) because it is circular, and then fails to do the primary work that rigidity is supposed to do, namely, distinguishing terms that are covered by a description theory from those that are not. As regards, after insisting that the essentialist view need not be commited to the condition of extensional adequacy, both charges of over- and undergeneralization are addressed: while the argumentation aimed at showing that some examples are cases of overgeneralization is rejected, the cases of undergeneralization are admitted to be still in need of a better explanation than the one given in Devitt. En este artículo se analizan y responden las siguientes objeciones a la concepción esencialista de la rigidez para términos generales contenidas en los artículos precedentes: la concepción de la rigidez como identidad de designación puede proporcionarnos una definición más adecuada del carácter rígido de los términos generales, y la concepción esencialista no puede cumplir con la condición de adecuación extensional, tanto debido a que sobregeneraliza como a que subgeneraliza. Contra, se sostiene que la definición alternativa propuesta no puede ser utilizada en argumentos basados en la pérdida de rigidez contra las teorías descriptivistas porque es circular; por consiguiente, fracasa en alcanzar el objetivo principal que se adscribe a la noción de rigidez, a saber, distinguir las expresiones que pueden ser explicadas en términos descriptivos de aquéllas para las cuales ello no es posible. En lo que concierne a, tras insistir en que la concepción esencialista no tiene por qué comprometerse con el requisito de adecuación extensional, se consideran las dos acusaciones mencionadas: mientras que se rechaza la argumentación tendiente a mostrar que ciertos ejemplos son casos de sobregeneralización, se acepta que algunos casos de subgeneralización requerirían de una explicación más adecuada que la presentada en Devitt. (shrink)

The rigid designation of proper names and natural kind terms is the most well-known doctrine of Kripke’s Naming and Necessity (1981). On the basis of rigidity, Kripke has shown that proper names and natural kind terms do not refer via a description as argued by descriptivists. In response to Kripke several people have argued that all general terms could be interpreted rigidly, which would make the notion of rigidity trivial. This leads to the ‘rigidity problem’: the notion of rigidity cannot (...) be used to argue against descriptivism anymore. I will show that the rigidity problem appears on a larger scale: firstly, because it appears independently of the trivialisation problem, secondly, because it appears for descriptions acting like singular terms as well. I will argue, however, that proper names and natural kind terms differ in an important manner from rigid descriptions. While the first are de jure rigid, the latter are de facto rigid. I will show that the rigidity problem indeed appears for de facto rigidity, but not for de jure rigidity, with the result that Kripke’s argument against descriptivism can withstand. (shrink)