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)

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

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

The principal question addressed is whether there is a division among common nouns which is similar to a familiar division among noun phrases that designate particular-level individuals: the one which is captured in the relevant literature as the difference between de jure rigid and not de jure rigid singular terms. In relation with the previous philosophical literature relevant to noun rigidity it is argued that the extant positions on the matter are not defended on the basis of well-founded (...) syntactic categories and proper semantic arguments. Proper ways to argue for rigidity ascriptions to nouns are described. Then, such arguments are sought for the case of rigid/non-rigid division among count common nouns. It is shown that there are plausible, albeit inconclusive, reasons to hold that among common nouns (N-bar expressions) only simple common nouns are kind designators, and that if that is the case these simple common nouns will have to be reckoned as de jure rigid designators. (shrink)

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

This paper is an attempt to present a Kripkean (Causal) picture of Reference where the cognitive content in fixing reference plays a vital role. It also points out that Kripke is not a pure causal theorist. By introducing Thomas Kuhn and his theory on vulnerability of the rigid designation, I have shown that there is a danger for causal theory of reference. However Kuhn’s argument fails to have an impact if a Knowledge aspect is augmented to Kripkean theory (...) of reference. This new causal theory of reference preserves the truth of the referential term in spite of the vulnerability of the rigid designation and problem of reference change. It can also adequately answer the question of theoretical terms reference failure. (shrink)

This paper contributes to the debate regarding the semantic type of singular referential names. According to one view, known as referentialism, names rigidly designate individuals (Kripke 1972, Abbott 2002, Leckie 2013, Jeshion 2015, Schoubye 2017). According to another view, known as predicativism, names designate properties of individuals (Burge 1973, Geurts 1997, Bach 2002, Elbourne 2005, Matushansky 2008, Fara 2015). Most predicativist accounts claim that bare names in English occur with a phonologically null determiner, a proposal that is based on languages (...) like Greek where names require a determiner in argument position. Novel data from both English and Greek show that names can be nonrigid designators under modal operators ("Aristotle may teach Socrates") and bound variables under quantifiers ("in every set of twins, Helen is a musician"), challenging referentialism. As for rigidity, one possible source of this phenomenon is the proprial article, a name-specific determiner found in Catalan and other languages that may be null in English and homophonous with the definite article in Greek (Ghomeshi and Massam 2009, Muñoz 2019, Izumi and Erickson 2021). While much further research is needed, the data suggest that the proper analysis of names is grounded in predicativism rather than referentialism. (shrink)

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

One reason to think that names have a predicate-type semantic value is that they naturally occur in count-noun positions: ‘The Michaels in my building both lost their keys’; ‘I know one incredibly sharp Cecil and one that's incredibly dull’. Predicativism is the view that names uniformly occur as predicates. Predicativism flies in the face of the widely accepted view that names in argument position are referential, whether that be Millian Referentialism, direct-reference theories, or even Fregean Descriptivism. But names are (...) predicates in all of their occurrences; they are predicates that are true of their bearers. When a name appears as a bare singular in argument position, it really occupies the predicate position of what in this essay is called a denuded definite description: a definite description with an unpronounced definite article. Sloat provided good evidence for this. The definite article is sometimes pronounced with names in the singular: ‘The Ivan we all love doesn't feel well’. Sloat proposed a disjunctive generalization of when the definite article must be pronounced with a singular name. This essay shows that by slightly revising Sloat's generalization, we arrive at a simple, nondisjunctive, syntactic rule that governs the overt appearance of the definite article with singular names. But Ivan does not necessarily bear the name ‘Ivan’, so one might worry that the sentence “Ivan might not have had ‘Ivan’ as a name” would incorrectly be predicted false. This essay shows that Predicativism does not have this consequence by showing that incomplete definite descriptions in general and incomplete denuded descriptions, such as ‘Øthe Ivan’, in particular are rigid designators. (shrink)

It is widely agreed that the intelligibility of modal metaphysics has been vindicated. Quine's arguments to the contrary supposedly confused analyticity with metaphysical necessity, and rigid with non-rigid designators.2 But even if modal metaphysics is intelligible, it could be misconceived. It could be that metaphysical necessity is not absolute necessity – the strictest real notion of necessity – and that no proposition of traditional metaphysical interest is necessary in every real sense. If there were nothing otherwise “uniquely metaphysically (...) significant” about metaphysical necessity, then paradigmatic metaphysical necessities would be necessary in one sense of “necessary”, not necessary in another, and that would be it. The question of whether they were necessary simpliciter would be like the question of whether the Parallel Postulate is true simpliciter – understood as a pure mathematical conjecture, rather than as a hypothesis about physical spacetime. In a sense, the latter question has no objective answer. In this article, I argue that paradigmatic questions of modal metaphysics are like the Parallel Postulate question. I then discuss the deflationary ramifications of this argument. I conclude with an alternative conception of the space of possibility. According to this conception, there is no objective boundary between possibility and impossibility. Along the way, I sketch an analogy between modal metaphysics and set theory. (shrink)

This paper explains the metaphysical implications of the view that species are individuals (SAI). I first clarify SAI in light of the separate distinctions between individuals and classes, particulars and universals, and abstract and concrete things. I then show why the standard arguments given in defense of SAI are not compelling. Nonetheless, the ontological status of species is linked to the traditional "species problem," in that certain species concepts do entail that species are individuals. I develop the idea that species (...) names are rigid designators and show how this provides additional motivation for SAI. (shrink)

Frege’s claim that proper names have senses has come to seem untenable following Kripke’s argument that names are rigid designators. It is commonly thought that if names had senses, their referents would vary with circumstances of evaluation. The article defends Frege’s claim by arguing that names have word-reflexive senses. This analysis of names’ senses does not violate Kripke’s noncircularity condition, and it differs crucially from related views of Bach and Katz. That names have reflexive senses confirms Frege’s own (...) solution to his puzzle about the content of identity sentences, solves Kripke’s Pierre and Peter puzzles about belief ascription, and entails that bearerless names have meanings. Furthermore, names’ having reflexive senses explains why they designate rigidly. (shrink)

Kripke maintains that one who stipulatively introduces the term ' one meter' as a rigid designator for the length of a certain stick s at time t is in a position to know a priori that if s exists at t then the length of s at t is one meter. Some (e.g., Soames 2003) have objected to this alleged instance of the contingent a priori on the grounds that the stipulator's knowledge would have to be based in (...) part on substantive metalinguistic knowledge. I examine Soames's argument for the a posteriority of the relevant metalinguistic knowledge, and I argue that its main premise is false. (shrink)

This is an essay written for undergraduates who are confused about what a rigid designator is.

This article criticises Alvin Plantinga’s claim that ‘basic’ design beliefs, which arise without a conscious inference, have more positive epistemic status than non-basic ones and that we cannot evaluate the probabilities involved in inferential, inductive design arguments.

Contemporary philosophers have largely neglected Richard Taylor’s design argument. Given that the initial responses to the argument were largely negative, one might be tempted to conclude that the argument is simply philosophically inadequate. This paper rejects that conclusion by showing how Taylor’s argument has been misunderstood by his critics. In defending Taylor, it is shown that the two types of objections levied against him fail to even blemish his design argument, let alone refute it. Consideration (...) is also given to the argument’s historical lineage, along with a proposal for future considerations of the connection between epistemological realism and design. (shrink)

The celebrated "Twin Earth" arguments of Hilary Putnam (1975) and Tyler Burge (1979) aim to establish that some intentional states logically depend on facts external to the subjects of those states. Ascriptions of states of these kinds to a thinker entail that the thinker's environment is a certain way. It is not possible that the thinker could be in those very intentional states unless the environment is that way...

In Kant, Science, and Human Nature, Robert Hanna argues against a version of scientific realism founded on the Kripke/Putnam theory of reference, and defends a Kant-inspired manifest realism in its place. I reject Kriple/Putnam for different reasons than Hanna does, and argue that what should replace it is not manifest realism, but Kant‘s own scientific realism, which rests on a radically different theory of reference. Kant holds that we picture manifest objects by uniting manifolds of sensation using concepts-qua-inferential-rules. When these (...) rules are demonstrated to be invalid, we replace the picture of the macroscopic world with a picture of the microscopic entities of theoretical science that unites the very same manifolds using different rules of inference. Thus, we refer to "unobservable" theoretical entities in the same way that we do manifest ones: by specifying both their determinate location in space and time and the concepts by which they are understood. (shrink)

I consider a familiar argument for two-boxing in Newcomb's Problem and find it defective because it involves a type of divergence from standard Baysian reasoning, which, though sometimes justified, conflicts with the stipulations of the Newcomb scenario. In an appendix, I also find fault with a different argument for two-boxing that has been presented by Graham Priest.

Abstract: “Paley before Hume: How Not to Teach the Design Argument” Most philosophy of religion classes discuss the classic design argument for the existence of God, and many of these treat Paley’s Natural Theology (1802) before Hume’s Dialogues Concerning Natural Religion (1779). Following the syllabus of several leading anthologies, I did this for many years, but I now think that is a mistake, because it creates the impression that Hume was responding to Paley. Not only is it obvious (...) on chronological grounds that Hume could not have been responding to Paley; it is just as obvious on textual grounds that the reverse was true: Paley was in fact responding to Hume, and, e.g., carefully crafted a non-analogical version of the argument so as to avoid Hume’s famous criticisms of analogical arguments. (shrink)

I critically examine the claim that modal collapse arguments against the traditional doctrine of divine simplicity (DDS) are in general fallacious. In a recent paper, Christopher Tomaszewski alleges that modal collapse arguments against DDS are invalid, owing to illicit substitutions of nonrigid singular terms into intensional contexts. I show that this is not, in general, the case. I show, further, that where existing modal collapse arguments are vulnerable to this charge the arguments can be repaired without any apparent dialectical impropriety. (...) I conclude that the genuine debate over modal collapse and divine simplicity and modal collapse is substantially a controversy over the metaphysics of divine action, and that this constitutes a fruitful direction in which to take future discussions of the subject. (shrink)

Some hold that proper names and indexicals are “Kaplan rigid”: they designate their designata even in worlds where the designata don’t exist. An argument they give for this is based on the analogy between time and modality. It is shown how this argument gains forcefulness at the expense of carefulness. Then the argument is criticized as forming a part of an inconsistent philosophical framework, the one with which David Kaplan and others operate. An alternative account of (...) a certain class of negative existentials is developed, one which eliminates both the inconsistency and the need for Kaplan rigidity. After all, mustn’t whatever is referred to exist? (shrink)

One of the most commonly-raised objections to the design argument is the so-called “who designed the designer?” objection, which charges that any designer invoked to explain complexity in the universe will feature complexity of its own, and thus require explanation in terms of design. There are two distinct versions of this objection in the contemporary literature, with it being couched in terms of: (1) Complexity of designer: a designer exhibits complexity, which calls for explanation in terms of design; (2) (...) Complexity of ideas: a designer’s ideas exhibit complexity, which calls for explanation in terms of design. To each of these versions of the objection there corresponds various responses from proponents of design. These proponents adopt a very particular strategy when crafting their responses: they argue that the objection can be neutralised simply by appealing to one or more of God’s attributes. In this paper I argue that this strategy is inapt, and unable to yield a successful response to either version of the objection. I also argue that a more promising way of tackling the objections is to identify their own peculiar weaknesses, for once these are exposed the objections cease to be a credible threat to the design hypothesis. (shrink)

In his essay, "Fine-Tuning and Multiple Universes", Roger White examines the extent to which a multiple-universe hypothesis lessens the ’surprisingness’ that our universe should be life-sustaining. White offers two main conclusions. His first conclusion -- that the existence of our world is not itself evidence for the existence of multiple universes -- is sound. However, his second conclusion is that, on the hypothesis that multiple universes exist, the further hypothesis of an intelligent designer does not lesson the surprisingness that our (...) universe should be life-permitting. This second conclusion, which would undercut most design arguments, is shown to rest on a mistake. (shrink)

My paper provides reasons in support of the view that vague identity claims originate from a conflict between rigidity and precision in designation. To put this stricly, let x be the referent of the referential terms P and Q. Then, that the proposition “that any x being both a P and a Q” is vague involves that the semantic intuitions at work in P and Q reveal a conflict between P and Q being simultaneously rigid and precise designators. After (...) having shortly commented on an example of vague identity claim, I make the case for my proposal, by discussing how reference by baptism conflicts with descriptive attitudes towards understanding conceptual contents. (shrink)

There are at least two kinds of design arguments for theism: fine-tuning arguments and biological design arguments. Dougherty and Poston (2008) have argued that the success of one requires the failure of the other, and vice versa. The reason is that the success of these arguments hinges on the following crucial probability: the probability that biological life exists somewhere in the universe given that (a) our universe is finely tuned and that (b) biological development is unguided by intelligence. According to (...) Dougherty and Poston, fine-tuning arguments require that the crucial probability is high while biological design arguments require that the crucial probability is low. As a result, at most one of these design arguments can factor into a cumulative case argument for theism. I argue that this is mistaken. Specifically, I show that fine-tuning arguments can succeed even if the crucial probability is low. (shrink)

There seems to be a widespread conviction — evidenced, for example, in the work of Mackie, Dawkins and Sober — that it is Darwinian rather than Humean considerations which deal the fatal logical blow to arguments for intelligent design. I argue that this conviction cannot be well-founded. If there are current logically decisive objections to design arguments, they must be Humean — for Darwinian considerations count not at all against design arguments based upon apparent cosmological fine-tuning. I argue, further, that (...) there are good Humean reasons for atheists and agnostics to resist the suggestion that apparent design — apparent biological design and/or apparent cosmological fine-tuning — establishes (or even strongly supports) the hypothesis of intelligent design. (shrink)

An academic division of labor resulted from the distinction between sex and gender. Sex remained a productive topic (excuse the pun) for biologists, who are interested in the genetic, developmental, and chemical pathways of male/female dimorphism. People in the social sciences and humanities, by contrast, made gender, not sex, the subject of their work. In gender studies, we learn about the ways that men and women “perform” their respective roles—people of male sex can perform as female gender, and vice versa, (...) by adopting modes of speech, dress, behavior, and even values. There is no talk of innate instincts or brain differences in gender studies. The French philosopher Michel Foucault set the agenda when he lamented, as early as 1976, that “the notion of sex made it possible to group together, in an artificial unity, anatomical elements, biological functions, conducts, sensations, and pleasures, and it enabled one to make use of this fictitious unity as a causal principle.” Following this approach, more-recent theorists like Anne Fausto-Sterling and Judith Butler have argued that even the biological categories of sex are just artificial inventions, designed to keep women and intersexed peoples down. Society, they suggest, decides which of us are males and which are females—pushing everyone into rigid binary categories. -/- There are two main arguments that are usually offered in defense of this controversial thesis that sexual dimorphism is political rather than ontological. One is based on a general critique of knowledge (an epistemological argument), and the other on a specific picture of reality (a metaphysical argument). I will offer counterarguments to both. (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)

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)

One of the premises of the argument from design is the need for the order of a designer. This premise has been explained in various ways, one of which is the calculus of probabilities. It posits that the likelihood of an ordered thing coming into existence by chance is so low that human beings consider it nearly impossible; therefore, this order requires an intelligent designer. However, some contemporary Muslim philosophers, such as Ayatollah Jawādī Āmulī, along with certain Western philosophers, (...) have contested the validity of the calculus of probabilities. They argue that the calculus of probabilities does not reveal reality but is merely practically useful. They assert that undesigned states have the same probability as designed states. In this article, I address these objections, refute them, and ultimately demonstrate the soundness of the argument from design based on the calculus of probabilities. (shrink)

Much of what has been discussed in the theory of reference in the last twenty-five years is strongly influenced by considerations centring on the business of devising a semantics for quantified modal logic. In this context, discussion of the property of rigidity plays an important role. This property is conceived of as a semantic modal property that distinguishes proper names from descriptions. It is argued that there is a semantic modal asym- metry between expressions of these types. In this talk (...) I shall challenge this assumption. By examining the intuitive Kripkean argument or test employed I arrive at two rather nonconformist results: Firstly, it seems that the test does not establish a genuine semantic asymmetry: Rigidity appears to be a pragmatic property. Secondly, the test does not seem to demonstrate an asymmetry at all: When applied correctly it suggests that both proper names and descriptions (even discounting notorious cases like “the even prime”) can be used rigidly—or so I shall argue. (shrink)

This paper addresses the question of whether all that unites the main parts of John Stuart Mill’s On Liberty—the liberty principle, the defense of free discussion, the promotion of individuality, and the claims concerning individual competence about one’s own good—is a general concern with individual liberty, or whether we can say something more concrete about how they are related. I attempt to show that the arguments of On Liberty exemplify Mill’s institutional design approach set out in Considerations of Representative Government (...) and related works. Mill’s approach reflects both his debt to Bentham and his own progressive development of the utilitarian tradition. The paper proceeds by setting out the elements of Mill’s institutional designs and then showing that On Liberty neatly applies them, thereby clarifying the structure of the arguments of On Liberty. (shrink)

The main aim of this paper is to examine an almost universal assumption concerning the structure of Paley’s argument for design. Almost all commentators suppose that Paley’s argument is an inductive argument---either an argument by analogy or an argument by inference to the best explanation. I contend, on the contrary, that Paley’s argument is actually a straightforwardly deductive argument. Moreover, I argue that, when Paley’s argument is properly understood, it can readily be (...) seen that it is no good. Finally---although I do not stress this very much---I note that the points that I make about Paley’s argument can carryover to modern design arguments that are based upon the argument that Paley actually gives. (shrink)

A paradigmatic case of rigidity for singular terms is that of proper names. And it would seem that a paradigmatic case of rigidity for general terms is that of natural kind terms. However, many philosophers think that rigidity cannot be extended from singular terms to general terms. The reason for this is that rigidity appears to become trivial when such terms are considered: natural kind terms come out as rigid, but so do all other general terms, and in particular (...) all descriptive general terms. This paper offers an account of rigidity for natural kind terms which does not trivialise in this way. On this account, natural kind terms are de jure obstinately rigid designators and other general terms, such as descriptive general terms, are not. (shrink)

Argument and Design: The Unity of the Mahābhārata is the outcome of a series of three panels dedicated to the renowned scholar of the Mahābhārata, Alf Hiltebeitel, organized by his favorite disciple, Vishwa Adluri on the occasion of Alf’s seventieth birthday. Per its author “whatever is found here [in the Mahābhārata] may be found elsewhere, but whatever is not, will be found nowhere else” (ix). In his foreword, Robert P. Goldman says that, despite having so many dimensions encompassing so (...) many fields, in the end the Mahabharata “is just a rollicking great tale that has inspired countless re-tellings and kept audiences fascinated for millennia” (x). Adluri, one of the editors, introduces “the premise” of this volume to be “that the Mahābhārata is a work of literature and that its upākhyānas (subtales or, perhaps more accurately, proximate narratives) are central to its literary project” (1). (shrink)

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)

The design argument has taken on different formulations among Muslim thinkers. Arguably, most of these approaches might be described as Paleyan. In this chapter, however, I seek to develop a non-Paleyan approach toward design discourse by focusing on the thought of the Muslim theologian, Ibn Taymiyya (d. 1328 CE). In developing a Taymiyyan model of design-based theistic belief, I argue that this model can resist some of the problems associated with Paleyan approaches. Specifically, it avoids concerns over the soundness (...) or cogency of the Paleyan inference amid Darwinian objections. I argue that this is because on the Taymiyyan model, design-based theistic beliefs are noninferential and concern the ultimate or metaphysical cause of the design in nature, such that they do not rival naturalistic scientific explanations of biological phenomena. Despite three noteworthy objections to the model, I suggest that it offers a plausible way to defend design-based theistic belief. (shrink)

My paper moves from Kant's taxonomy for the arguments for the existence of God. After providing a brief survey of Kant's account, I claim that contemporary arguments from design fit Kant's characterization of the physico-theological argument. Then, in the second section, I deal with the logical frame of the argument from design. In the third section I introduce Berkeley's divine language argument (DLA), in order to demonstrate that DLA is an argument from design. Consequently, in the (...) fourth section, I give a refutation of Hooker's and Kline's reading of DLA. Finally, in the last section, I take Berkeley's DLA as a paradigmatic case of the argument from design, showing a fundamental difficulty the argument endorses. (shrink)

Joseph Almog says concerning “a certain locus where Quine doesn’t exist…qua evaluation locus, we take to it [singular] propositions involving Quine [as a constituent] which we have generated in our generation locus.” This seems to be either murder, or worse, self-contradiction. It presumes that certain designators designate their designata even at loci where the designata do not exist, i.e., the designators have “Kaplan rigidity.” Against this view, this paper argues that negative existentials such as “Quine does not exist” are true (...) only at ordered couples of loci (times or possible worlds) < l, l’ > such that the constituents of the truthmaker are the designatum itself from l and whatever corresponds to “does not exist” from l’. (shrink)

The question of transtemporal identity of objects in general and persons in particular is an important issue in both philosophy and psychology. While the focus of philosophers traditionally was on questions of the nature of identity relation and criteria that allow to settle ontological issues about identity, psychologists are mostly concerned with how people think about identity, and how they track identity of objects and people through time. In this article, we critically engage with widespread use of inferring folk judgments (...) of identity from study participants’ use of proper names in response to experimental vignettes. We provide reasons to doubt that using this method one can reliably infer judgments of numerical identity over time and transformations. We also critically examine allegedly-Kripkean justification of this method and find it lacking. Merely assuming that names are rigid designators will not help. A study participant’s use of proper names can be taken to track the participant’s identity judgments only if supported by the participant’s belief that names used in the scenario are used rigidly. (shrink)

Jonathan Weisberg (2010 ) argues that, given that life exists, the fact that the universe is fine-tuned for life does not confirm the design hypothesis. And if the fact that life exists confirms the design hypothesis, fine-tuning is irrelevant. So either way, fine-tuning has nothing to do with it. I will defend a design argument that survives Weisberg’s critique — the fact that life exists supports the design hypothesis, but it only does so given fine-tuning.

It is often thought that endowing a demonstrative with a Fregean sense leaves no room for maintaining that it is also a rigid designator. In addition, some philosophers claim that indexicals - surely the paradigms of singular reference - pose a serious threat to the Fregean sense/ reference approach as they do not comply with the view that singular terms have Fregean senses. In this paper I argue that neither of these is true.

It seems certain that one day we will allow the genetic technology which will enhance our offspring. A highly effective new tool, called CRISPR, which allows for carving out genes, is already being used to edit the genomes of animals. In July 2017, the FDA legalized that germline drugs for therapeutic purposes could be sold in the market. It is a high time, now, that we need engage in discussions about the ethics of germline intervention. To contribute to the discussion (...) by showing our thought and to educate the public, we write this paper. (shrink)

Jeffrey King has recently argued: (i) that the semantic value of a sentence at a context is (or determines) a function from possible worlds to truth values, and (ii) that this undermines Jason Stanley's argument against the rigidity thesis, the claim that no rigid term has the same content as a non-rigid term. I show that King's main argument for (i) fails, and that Stanley's argument is consistent with the claim that the semantic value of (...) a sentence at a context is (or determines) a function from worlds to truth values. (shrink)

Critical notice assessing the use of information theory in the attempt to build a design inference, and to re-establish some aspects of the program of natural theology, as carried out in this third major monograph devoted to the subject of intelligent design theory by mathematician and philosopher William A. Dembski, after The Design Inference (1998) and No Free Lunch (2002).

Recently, Del Ratzsch proposed a new version of the design argument. He argues that belief in a designer is often formed non-inferentially, much like perceptual beliefs, rather than formed by explicit reasoning. Ratzsch traces his argument back to Thomas Reid (1710-1796) who argues that beliefs formed in this way are also justified. In this paper, I investigate whether design beliefs that are formed in this way can be regarded as knowledge. For this purpose, I look closer to recent (...) scientific study of how design beliefs are formed. I argue that the science strongly suggest that people easily form false beliefs. As a result, design beliefs can only constitute knowledge if subjects have additional reasons or evidence for design. (shrink)