Famously, both Saul Kripke and Keith Donnellan opposed description theories and insisted on the role of history in determining the reference of a proper name token. No wonder, then, that their views on proper names have often been assimilated. By focusing on reference borrowing—an alleged phenomenon that Kripke takes to be fundamental—we argue that they should not be. In particular, we claim that according to Donnellan a proper name token never borrows its reference from preceding tokens which it is historically (...) connected to. On the contrary, its reference is always fixed anew on who or what the speaker has in mind when he or she produces it. In fact, what is important to realize is that Donnellan and Kripke took two different histories to be relevant: that of the proper name token produced by the speaker , and that of the cognitive status of the speaker when he or she produces it . We end by suggesting that this difference between Kripke’s and Donnellan’s accounts of proper names rests on a more general difference in their approach to language. (shrink)

In the last 30 years much philosophical discussion has been generated by Kripke’s proof of the necessity of origin for material objects presented in footnote 56 of ‘Naming and Necessity’. I consider the two most popular reconstructions of Kripke’s argument: one appealing to the necessary sufficiency of origin, and the other employing a strong independence principle allegedly derived from the necessary local nature of prevention. I argue that, to achieve a general result, both reconstructions presuppose an implicit Humean atomistic thesis (...) of recombination, according to which any two (non-overlapping) possible objects can simultaneously coexist in one and the same world. Yet recombination ill accords with the other assumptions of the proofs. I also argue that the locality of prevention does not entail strong independence. (shrink)

It is commonly supposed that metaphysical modal claims are to be evaluated with respect to a single domain of possible worlds: a claim is metaphysically necessary just in case it is true in every possible world, and metaphysically possible just in case it is true in some possible world. We argue that the standard understanding is incorrect; rather, whether a given claim is metaphysically necessary or possible is relative to which world is indicatively actual. We motivate our view by attention (...) to discussions in Salmon 1989 and Fine 2005, in which various data are taken to support rejecting the transitivity of accessibility and modal monism ; we argue that relativized metaphysical modality can accommodate these data compatible with both standard modal logic and modal monism. Noting an analogy with two-dimensional semantics, we argue that metaphysical modality has a complex structure, reflecting what is counterfactually possible, relative to each indicatively actual world. In arguing for the need for relativization, we are broadly on the same side as Crossley and Humberstone and Davies and Humberstone ; our contribution here is, first, to offer distinctively metaphysical reasons for relativization, and second, to show that relativization can be incorporated in ways minimally departing from standard modal logic. (shrink)

In this chapter, I revisit the issue of the explanatory gap that is supposed to open when considering identity statements between physical and mental phenomena. I show that the question asked in the original formulation of the explanatory gap was this: ʻwhy this phenomenal character, rather than any other, is attached to this physiological process?ʼ I argue that this question can be answered, because there is a natural fit between the phenomenal character of experiences and their functional roles. For example, (...) pains feel inherently unpleasant, and that explains why they cause avoidance behaviour, and the felt location and intensity of pain indicates the location and extent of damage to the body. I discuss some other possible gaps in our understanding the relationship between the mental and the physical, and conclude that the fit between functional role and phenomenal character goes a long way, though probably not the whole way, to closing the explanatory gap. (shrink)

The author describes an interpreted modal language and produces some clear examples of logical and analytic truths that are not necessary. These examples: (a) are far simpler than the ones cited in the literature, (b) show that a popular conception of logical truth in modal languages is incorrect, and (c) show that there are contingent truths knowable ``a priori'' that do not depend on fixing the reference of a term.

Neste artigo, tomei certas idéias da semântica de Montague como meu ponto de partida e distingui claramente semântica de epistemologia. O significado de uma sentença é considerado como suas condições de verdade as quais são assumidas como sendo estabelecidas por dois componentes: a estrutura sintática e os referentes de termos sem estrutura. Nesse panorama teórico, tento apresentar uma explicação para o significado dos termos de espécies naturais. Minha tese é que o significado de um termo de espécie natural é sua (...) referência, i. e., a espécie natural à qual o termo refere-se. (shrink)

I introduce and defend the semantic notion of counterfactual identity, distinguishing it from the metaphysical notion of transworld identity. After showing that Lewis's counterpart theory misconstrues counterfactual identity facts, I outline and motivate a ‘Leibnizian counterpart theory’ where the notion of counterfactual identity is adequately modelled. Finally, I show that counterfactual identity can be characterized without relying on some implausible features of Lewis's theory of conditionals.

In this paper, presented at an APA colloquium in Boston on December 28, 1994, it is argued that Ruth Barcan Marcus' 1961 article on Modalities and Intensional Languages originated many of the key ideas of the New Theory of Reference that have often been attributed to Saul Kripke and others. For example, Marcus argued that names are directly referential and are not equivalent to contingent descriptions, that names are rigid designators, and that identity sentences with co-referring names are necessary if (...) true. She also first presented the modal argument that names are directly referential, the epistemic argument that names are directly referential, and the argument that there area posteriori necessities. (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.

Gottlob Frege may be considered as the first intellectual giant in thePhilosophy of Language. He was the first to raise the issue ofmeaning by formulating an organized theory of meaning for a part ofnatural language as the theory of meaning is at the core of philosophy of language. He emphasizes that the meaning of a sentence directly depends on the meaning of its constituent parts. That is why he has to dissect the internal structure of a sentence or complex expressions (...) provided by a logical syntax, while the truth value of such sentences may be revealed by logical semantics which can be put forward by treating these sentences as a whole. (shrink)

The logics of the modal operators and of the quantifiers show striking analogies. The analogies are so extensive that, when a special class of entities (possible worlds) is postulated, natural and non-arbitrary translation procedures can be defined from the language with the modal operators into a purely quantificational one, under which the necessity and possibility operators translate into universal and existential quantifiers. In view of this I would be willing to classify the modal operators as ‘disguised’ quantifiers, and I think (...) that wholehearted acceptance of modal language should be considered to carry ontological commitment to something like possible worldsConsidered as two languages for describing the same subject matter, modal and purely quantificational languages show interesting differences. The operator variables of the purely quantificational languages give them more power than the modal languages, but at least some of the functions performed by the apparatus of operator variables are also performed, in a more primitive and less versatile way, by actuality operators in modal languages.A final note. Quine has written much on the inter-relations of quantifiers, identity, and the concept of existence. These, he holds, form a tightly knit conceptual system which has been evolved to a high point of perfection, but which might conceivably change yet further.29 He has also dropped hints about the possibility of a simpler, primitive or defective version of the system, in which the quantifiers are not backed up in their accustomed way by the concept of identity. He has dubbed the resulting concept a ‘pre-individuative’ concept of existence, or a concept of ‘entity without identity.’ What would a pre-individuative concept of existence be like? Quine has sometimes suggested that one might be embodied in the use of mass nouns, but the identity concept is used in connection with stuff as well as with things: “is that the same coffee that was in the cup last night?” I would submit that modality provides a better case. In view of the comparative weakness of modal languages, compared to the explicitly quantificational ones Quine takes as canonical, there is surely a sense in which the concept of existence embodied in that disguised existential quantifier, the possibility operator, is a defective one. And as we have seen, one of the differences between modal operators and explicit quantifiers is that modal operators cannot be joined with the identity predicate in the way quantifiers with operator variables can. Surely, then, there is a sense in which ordinary speech, as opposed to the metaphysical theorizing of a Leibniz or a David Lewis, conceives of possible worlds as entities without identity. (shrink)

This article begins with a treatment of Friedrich Nietzsche’s early essay “On Truth and Lie in the Extra-Moral Sense.” The essay is often read, in the deconstructive tradition, as a showcase example of the impossibility of making a literal philosophical claim: is Nietzsche’s claim that all truth is merely metaphorical itself a true statement, or merely a metaphorical one? The present article claims that this supposed paradox relies on the groundless assumption that all philosophy must ultimately be grounded in some (...) unshakeable literal truth. From here, we turn to Edmund Gettier’s famous critique of the widespread notion of knowledge as “justified true belief.” Expanding on Gettier’s point, it is argued that there can only be “justified untrue belief” or “unjustified true belief,” never a belief that is both justified and true at once. (shrink)

Cognitive phenomenalism is the view that occurrent thoughts are identical with, or constituted of, cognitive phenomenology. This paper raises a challenge for this view: the cognitive fine-tuning problem. In broad brushstrokes the difficulty is that, for the cognitive phenomenalist, there is a distinction between three kinds of fact: cognitive phenomenal facts, sensory phenomenal facts, and functional facts. This distinction gives rise to the challenge of explaining why, in actuality, these three phenomena tend to be matched together in ways that respect (...) norms of rationality. Various solutions to this problem are explored – divine intervention, value-involving laws of nature, or basic capacities to respond to reasons – all of which are wildly at odds with naturalism. If cognitive phenomenalists want their view to be consistent with naturalism, as many do, they must come up with a naturalistic solution to the cognitive fine-tuning problem. (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)

In the fourth chapter, I show how the semantics developed in the third chapter can be applied to the seemingly unrelated problem of discourse concerning fictional objects. Using the theory of nonexistent objects developed by Parsons as a point of departure, I show how this theory can be both simplified and enriched by the use of a truth-value gap semantics. ;In the third chapter, I develop a truth-value gap semantics for a fragment of English which includes both sortally correct and (...) sortally incorrect sentences using the formal devices of partial functions, supervaluations, and sorted quantification which evaluates simple sortally incorrect sentences as being neither true nor false, retains the classical truths of logic, and avoids the problems had by Thomason's system concerning quantification. ;In the first chapter, I argue that the deviance of these sentences cannot be based on purely syntactic characteristics ) or merely by appeal to Grician maxims of conversation, and that any account of such sentences must be given in the semantic component of a grammar for a language. ;In the second chapter, a number of alternative semantic accounts of such sentences are investigated, including the bivalent system proposed by Bergmann , the four-valued system developed by Martin , and the truth-value gap semantics advocated by Thomason . After showing that all of these systems fail to adequately treat quantification, I argue that, while the differences in the approaches can be traced to disagreements so fundemental that no one of them can be chosen on the grounds of adequately accounting for the data, the type of approach taken by Thomason is preferable to the others on the theoretical grounds of simplicity and generality. ;The bulk of this work is an attempt to deal with sentences such as "The theory of relativity is shiny," which are called category mistakes by philosophers and sortally incorrect sentences by linguists. (shrink)

The longstanding species problem in biology has a history that suggests a solution, and that history is not the received history found in many texts written by biologists or philosophers. The notion of species as the division into subordinate groups of any generic predicate was the staple of logic from Aristotle through the middle ages until quite recently. However, the biological species concept during the same period was at first subtly and then overtly different. Unlike the logic sense, which relied (...) on definitions of the essence of both genus and species, biological species from the time of Epicurus were consistently considered to involve a reproductive element: in short, living species relied not on essential definitions, but on the generative cause, which might not be definable. I term this the generative conception of species: species were the generation by reproduction of form. This undercuts the claim that species before Darwin were essentialist, and divorces the notion of a type from that of essence. In fact, as late as the end of the nineteenth century, logicians explicitly treated biological “species” as a homonym only of logical essentialist species, and permitted considerable deviation from the type or form. At every point, species in logic were thought to be a subset, in effect, of some more general notion. I sketch a history of both philosophical and biological traditions of the species concept, before turning to the current conceptions. These are reconsidered in the light of this history, and in particular Mayr’s changing views are shown to be somewhat Whiggish, historiographically. Of the many touted biological species concepts, only one of which (Mayr’s) is called _the_ Biological Species Concept, none appears to capture all the relevant facts, intuitions, and operational requirements of biology. Cladistic conceptions, however, have much in common with the older philosophical literature, in that the natural group of cladism is the clade, or monophyletic group. After considering the Individuality Thesis, and the metaphysics of species, we see that species are the most particular terminal taxa in a clade, and that they are “defined” in terms of the particular synapomorphies, or evolved characters, that are causally responsible for keeping the lineages that organisms form distinct from one another. In this way, we can remain within the generative conception of species that has been in play for over two millennia, and yet avoid the pitfalls of prior attempts to find a universal conception of species. (shrink)

In the article we consider the relationship of traditional provisions of basic logical concepts and confront them with new and modern approaches to the same concepts. Logic is characterized in different ways when it is associated with syllogistics (referential – semantical model of logic) or with symbolic logic (inferential – syntactical model of logic). This is not only a difference in the logical calculation of (1) concepts, (2) statements, and (3) predicates, but this difference also appears in the treatment of (...) the calculative abilities of logical forms, the ontological-referential status of conceptual content and the inferential-categorical status of logical forms. The basic markers or basic ideas that separate ontologically oriented logic from categorically oriented logic are the (1) concept of truth, the (2) concept of meaning, the (3) concept of identity, and the (4) concept of predication. Here, this differences are explicitly demonstrated by the introduction of differential terminology. From this differential methodology follows a new set of characterizations of logic. (shrink)