This book defends the Direct Reference (DR) thesis in philosophy of language regarding proper names and indexical pronouns. It uniquely draws out the significant consequences of DR when it is conjoined with the fact that these singular terms sometimes fail to refer. Even though DR is widely endorsed by philosophers of language, many philosophically important and radically controversial consequences of the thesis have gone largely unexplored. This book makes an important contribution to the DR literature by explicitly addressing (...) the consequences that follow from DR regarding failure of reference. Michael McKinsey argues that only a form of neutral free logic can capture a revised concept of logical truth that is consistent with the fact that any sentence of any form that contains a directly referring genuine term can fail to be either true or false on interpretations where that term fails to refer. He also explains how it is possible for there to be true (or false) sentences that contain non-referring names, even though this possibility seems inconsistent with DR. Consequences of Reference Failure will be of interest to philosophers of language and logic and linguists working on Direct Reference. (shrink)

Bertrand Russell introduced several novel ideas in his 1903 Principles of Mathematics that he later gave up and never went back to in his subsequent work. Two of these are the related notions of denoting concepts and classes as many. In this paper we reconstruct each of these notions in the framework of conceptual realism and connect them through a logic of names that encompasses both proper and common names, and among the latter, complex as well as simple (...) common names. Names, proper or common, and simple or complex, occur as parts of quantifier phrases, which in conceptual realism stand for referential concepts, i.e., cognitive capacities that inform our speech and mental acts with a referential nature and account for the intentionality, or directedness, of those acts. In Russell’s theory, quantifier phrases express denoting concepts (which do not include proper names). In conceptual realism, names, as well as predicates, can be nominalized and allowed to occur as "singular terms", i.e., as arguments of predicates. Occurring as a singular term, a name denotes, if it denotes at all, a class as many, where, as in Russell’s theory, a class as many of one object is identical with that one object, and a class as many of more than one object is a plurality, i.e., a plural object that we call a group. Also, as in Russell’s theory, there is no empty class as many. When nominalized, proper names function as "singular terms" just the way they do in so-called free logic. Leśniewski’s ontology, which is also called a logic of names can be completely interpreted within this conceptualist framework, and the well-known oddities of Leśniewski’s system are shown not to be odd at all when his system is so interpreted. Finally, we show how the pluralities, or groups, of the logic of classes as many can be used as the semantic basis of plural reference and predication. We explain in this way Russell’s "fundamental doctrine upon which all rests", i.e., "the doctrine that the subject of a proposition may be plural, and that such plural subjects are what is meant by classes [as many] which have more than one term" (Russell 1938, p. 517). (shrink)

This essay studies the semantic properties of what I call Russell-names. Russell-names bear intimate semantic relations with descriptive conditions, in consonance with the main tenets of descriptivism. Yet, they are endowed with the semantic properties attributed to ordinary proper names by Millianism: they are rigid and non-indexical devices of direct reference. This is not an essay in natural language semantics, and remains deliberately neutral with respect to the question whether any among the expressions we ordinarily classify as (...) proper names behave as Russell-names. Its aim is rather that of casting a new light on the traditional debate about descriptivism on the one hand, and, on the other, what is commonly understood as a radically anti-descriptivist approach. From the viewpoint of descriptivism, the conceivability of Russell-names provides welcome relief from the pressure exerted by considerations at odds with a flaccid and/or indexical treatment of proper names. Conversely, from a Millian standpoint, the conceivability of Russell-names indicates that the Millian stance, far from providing a meagre picture of names as ‘mere tags’, is at least in principle consistent with the recognition of their semantic bonds with richer descriptive material. The Appendix provides a formal treatment of Russell-names within a model theoretic semantics for indexical intensional languages, developed within an original ‘double-context’ framework. (shrink)

In this paper I am concerned with an analysis of negative existential sentences that contain proper names only by using negative or neutral free logic. I will compare different versions of neutral free logic with the standard system of negative free logic (Burge, Sainsbury) and aim to defend my version of neutral free logic that I have labeled non-standard neutral free logic.

Semantic externalism in the style of McDowell and Evans faces a puzzle formulated by Pryor: to explain that a sentence such as 'Jack exists' is only a posteriori knowable, despite being logically entailed by the seemingly logical truth 'Jack is self-identical', and hence being itself a logical truth and therefore a priori knowable. Free logics can dissolve the puzzle. Moreover, Pryor has argued that the existentially hedged 'If Jack exists, then Jack is self-identical', when properly formalised, is a logical (...) truth in a system of neutral free logic and therefore a priori knowable, while it does not entail that Jack exists. The latter holds also for negative free logic. In response, Yeakel has argued that on any system of neutral free logic existence hedges will either entail some unwanted existence claims or they will not entail some wanted existence claims. The dilemma also holds for any non-positive free logic. It will be shown that the extension of one of the systems of neutral free logic with a truth operator escapes Yeakel's dilemma, whereas no other non-positive free logic when extended with the truth operator does the same (or it breaks quantifier exchangeability). (shrink)

Free logics are a family of first-order logics which came about as a result of examining the existence assumptions of classical logic (Hintikka _The Journal of Philosophy_, _56_, 125–137 1959 ; Lambert _Notre Dame Journal of Formal Logic_, _8_, 133–144 1967, 1997, 2001 ). What those assumptions are varies, but the central ones are that (i) the domain of interpretation is not empty, (ii) every name denotes exactly one object in the domain and (iii) the quantifiers have existential (...) import. Free logics reject the claim that names need to denote in (ii). _Positive_ free logic concedes that some atomic formulas containing non-denoting names (including self-identity) are true, _negative_ free logic treats them as uniformly false, and _neutral_ free logic as taking a third value. There has been a renewed interest in analyzing proof theory of free logic in recent years, based on intuitionistic logic in Maffezioli and Orlandelli (_Bulletin of the Section of Logic_, _48_(2), 137–158 2019 ) as well as classical logic in Pavlović and Gratzl (_Journal of Philosophical Logic_, _50_, 117–148 2021 ), there for the positive and negative variants. While the latter streamlines the presentation of free logics and offers a more unified approach to the variants under consideration, it does not cover neutral free logic, since there is some lack of both clear formal intuitions on the semantic status of formulas with empty names, as well as a satisfying account of the conditional in this context. We discuss extending the results to this third major variant of free logics. We present a series of G3 sequent calculi adapted from Fjellstad (_Studia Logica_, _105_(1), 93–119 2017, _Journal of Applied Non-Classical Logics_, _30_(3), 272–289 2020 ), which possess all the desired structural properties of a good proof system, including admissibility of contraction and all versions of the cut rule. At the same time, we maintain the unified approach to free logics and moreover argue that greater clarity of intuitions is achieved once neutral free logic is conceptualized as consisting of two sub-varieties. (shrink)

Linguistics and philosophy have provided distinct views on the nature of reference to individuals in language. In philosophy, in particular in the tradition of direct reference, the distinction is between reference and description. In linguistics, in particular in the tradition of generative grammar, the distinction is between pronouns and R-expressions. I argue for a third conception, grounded in dynamic semantics, in which the main watershed is between definites, which trigger presuppositions that want to be bound, and indefinites, which set (...) up new discourse referents. On this view, proper names, indexicals, and definite descriptions are all analyzed as presupposition triggers. (shrink)

Stefano Predelli defends a semantics of proper names which has simplicity and common sense in its favour: proper names are non-indexical devices of rigid and direct reference. He grounds this view in accounts of the shape and form of names, and of their introduction within language use, and he responds to widespread misconceptions and objections.

I argue, in this thesis, that proper name reference is a wholly pragmatic phenomenon. The reference of a proper name is neither constitutive of, nor determined by, the semantic content of that name, but is determined, on an occasion of use, by pragmatic factors. The majority of views in the literature on proper name reference claim that reference is in some way determined by the semantics of the name, either because their reference simply constitutes their semantics (which (...) generally requires a very fine-grained individuation of names), or because names have an indexical-like semantics that returns a referent given certain specific contextual parameters. I discuss and criticize these views in detail, arguing, essentially, in both cases, that there can be no determinate criteria for reference determination—a claim required by both types of semantic view. I also consider a less common view on proper name reference: that it is determined wholly by speakers’ intentions. I argue that the most plausible version of this view—a strong neo-Gricean position whereby all utterance content is determined by the communicative intentions of the speaker—is implausible in light of psychological data. In the positive part of my thesis, I develop a pragmatic view of proper name reference that is influenced primarily by the work of Charles Travis. I argue that the reference of proper names can only be satisfactorily accounted for by claiming that reference occurs not at the level of word meaning, but at the pragmatic level, on an occasion of utterance. I claim that the contextual mechanisms that determine the reference of a name on an occasion are the same kinds of thing that determine the truth-values of utterances according to Travis. Thus, names are, effectively, occasion sensitive in the way that Travis claims predicates and sentences (amongst other expressions) are. Finally, I discuss how further research might address how my pragmatic view of reference affects traditional issues in the literature on names, and the consequences of the view for the semantics of names. (shrink)

Standard approaches to proper names, based on Kripke's views, hold that the semantic values of expressions are (set-theoretic) functions from possible worlds to extensions and that names are rigid designators, i.e.\ that their values are \emph{constant} functions from worlds to entities. The difficulties with these approaches are well-known and in this paper we develop an alternative. Based on earlier work on a higher order logic that is \emph{truly intensional} in the sense that it does not validate the axiom (...) scheme of Extensionality, we develop a simple theory of names in which Kripke's intuitions concerning rigidity are accounted for, but the more unpalatable consequences of standard implementations of his theory are avoided. The logic uses Frege's distinction between sense and reference and while it accepts the rigidity of names it rejects the view that names have direct reference. Names have constant denotations across possible worlds, but the semantic value of a name is not determined by its denotation. (shrink)

I provide a novel semantic analysis of proper names and indexicals, combining insights from the competing traditions of referentialism, championed by Kripke and Kaplan, and descriptivism, introduced by Frege and Russell, and more recently resurrected by Geurts and Elbourne, among others. From the referentialist tradition, I borrow the proof that names and indexicals are not synonymous to any definite description but pick their referent from the context directly. From the descriptivist tradition, I take the observation that names, and to (...) some extent indexicals, have uses that are best understood by analogy with anaphora and definite descriptions, that is, following Geurts, in terms of presupposition projection. The hybrid analysis that I propose is couched in Layered Discourse Representation Theory. Proper names and indexicals trigger presuppositions in a dedicated layer, which is semantically interpreted as providing a contextual anchor for the interpretation of the other layers. For the proper resolution of DRSs with layered presuppositions, I add two constraints to van der Sandt's algorithm. The resulting proposal accounts for both the classic philosophical examples and the new linguistic data, preserving a unified account of the preferred rigid interpretation of both names and indexicals, while leaving room for non-referential readings under contextual pressure. (shrink)

Direct reference theorists tell us that proper names have no semantic value other than their bearers, and that the connection between name and bearer is unmediated by descriptions or descriptive information. And yet, these theorists also acknowledge that we produce our name-containing utterances with descriptions on our minds. After arguing that direct reference proponents have failed to give descriptions their due, I show that appeal to speaker-associated descriptions is required if the direct reference portrayal of speakers (...) wielding and referring with public names is to succeed. (shrink)

A number of prominent metaphysicians have recently defended a set of ideas which I will call ‘essentialist plenitude.’ Very roughly, and to a first approximation, essentialist plenitude says that wherever there is an object with properties P1, …, Pn there is in fact a plenitude of coincident objects that differ only in the distribution of essentiality and accidentality across P1, …, Pn (§1). The main purpose of this paper is to arouse the suspicion that essentialist plenitude may have far-reaching consequences (...) for the semantics of proper names. More specifically, I will argue that neither descriptivist nor causal theories of proper names work in a plenitude setting (§2). I will close by suggesting that our use of proper names may be thoroughly infected by semantic indecision about which among many coincident objects is referred to (§3). (shrink)

The combination of quantifiers with a semantics for epistemic operators in a modal framework is one of the major contributions of Hintikka in intensional logic. Hintikka’s starting point is his diagnosis of the failure of existential generalization and the substitution of identicals in terms of referential multiplicity. In this paper, I introduce Hintikka as a free logician. Indeed, Hintikka’s first-order epistemic logic is grounded on a logic free of ontological presuppositions with respect to singular terms. (...) It is also a logic free of presuppositions of uniqueness of reference. After having focused on the use of quantifiers and singular terms in Hintikka’s epistemic logic, I discuss some consequences from a semantico-logical perspective, but also from a philosophical one. By arguing against the so-called contingent a priori truths defended by Kripke, I conclude with a proposal in favour of Hintikka’s non-rigid interpretation of proper names. (shrink)

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

I argue that (a) the causal theory of proper names and (b) Kripke's chain of references thesis are logically independent of each other, and that the case for (a) is very weak. I observe that rejecting (a) we lose one powerful reason for treating proper names as rigid designators. I then consider reasons for subscribing to (b), and I argue that (b) is compatible with either a rigid or a non-rigid (descriptive) semantic treatment of proper names.

Principally under the influence of Saul Kripke (1972), philosophical semantics since the closing decades of 20th century has been dominated by thephenomenon Nathan Salmon (1986) aptly dubbed Direct Reference “mania.” Accordingly, it is now practically orthodox to hold that the meanings of proper names are entirely exhausted by their referents and devoid of any descriptive content. The return to a purely referential semantics of names has, nevertheless, coincided with a resurgence of some of the very puzzles that motivated (...) description theories of names in the first place, to wit: the informativeness of true identity statements of the form ‘a=b’ and the failure of substitutivity salve veritate for co-referential names in propositional attitude ascriptions. I argue that a Metalinguistic Description Theory of proper names, which treats the meaning of an arbitrary proper name as roughly equivalent to the definite description ‘the bearer of NN,’ offers a novel, semantically innocent solution to these puzzles when synthesized with Keith Donnellan’s (1966) insight that descriptions are semantically ambiguous between attributive and referential meanings. The ensuing account is then defended against two well-known Kripkean objections to metalinguisticsemantics: the Circularity Objection and the Paderewski Puzzle. (shrink)

The paper deals with the understanding of proper names. Though the theme goes across various disciplines – e.g. semantics, epistemology, psychology – the paper examines only selected semantic and cognitive aspects of the problem. The question runs: How should we comprehend the thesis of understanding a proper name as knowing what the name refers to? What kind of knowledge is involved here? The question is posed within the direct reference theory framework enriched by the notion of singular (...) proposition and the compositionality principle. The distinction between an expression and an utterance of it is accepted and the original question is split up accordingly. As for expressions , to understand a proper name is to grasp a meaning axiom along the lines of D. Davidson and J. McDowell. As for utterances of expressions, to understand an utterance of a proper name is to know a piece of information concerning the referent of the name; ideally, it is a fact that can be expressed by an identity statement claiming that the referent of the name under discussion is identical with the individual about which the speaker has a mental file at her disposal. (shrink)

Since Kripke introduced rigid designation as an alternative to the Frege/Russell analysis of referential terms as definite descriptions, there has been an ongoing debate between 'descriptivists' and 'referentialists', mostly focusing on the semantics of proper names. Nowadays descriptivists can draw on a much richer set of linguistic data (including bound and accommodated proper names in discourse) as well as new semantic machinery (E-type syntax/semantics, DRT, presupposition-as-anaphora) to strengthen their case. After reviewing the current state of the debate, I (...) argue for a referentialist semantics that incorporates some modern insights from the side of the descriptivists in order to account for the new data in a principled fashion. (shrink)

Overview The debate over the semantics of proper names has, of late, heated up, focusing on the relative merits of referentialism and predicativism. Referentialists maintain that the semantic function of proper names is to designate individuals. They hold that a proper name, as it occurs in a sentence in a context of use, refers to a specific individual that is its referent and has just that individual as its semantic content, its contribution to the proposition expressed by (...) the sentence. Furthermore, a proper name contributes its referent to the proposition expressed by virtue of mechanisms of direct reference to individuals, not by virtue of expressing properties. Predicativists embrace an opposing view according to which proper names are just a special kind of common noun. Their semantic function is to designate properties of individuals. A proper name, as it occurs in a sentence in a context of use, expresses a property, and that property is its contribution to the proposition expr .. (shrink)

So-called Neo-Russellians, such as Salmon, Braun, Crimmins, and Perry, hold that the semantic content of ‘ n is F ’ in a context c is the singular proposition ⟨ o, P ⟩, where o is the referent of the name n in c, and P is the property expressed by the predicate F in c. This is also known as the Neo-Russellian theory. Using truth ascriptions with names designating propositions, such as ‘Goldbach's conjecture’, in this paper, I will argue that, (...) together with highly plausible principles regarding a priori knowledge, the Neo-Russellian theory leads to unacceptable consequences. I will call this ‘the Goldbach puzzle’. Since the solution to the Goldbach puzzle cannot be to reject the discussed principles regarding a priori knowledge, the puzzle will undermine the Neo-Russellian theory. (shrink)

The paper shows that certain well established arguments widely used in the philosophy of language to discredit some semantic theories are, in fact, defective . In particular, the direct reference theory is usually rejected, because it is impossible to substitute co-referential proper names for each other in epistemic contexts and true identity sentences of the form “a = b”, where a and b are proper names, have to be both necessary and a posteriori. Both arguments are based (...) on what a competent user of a given language is willing to admit or refuse to admit. It is shown that the language user invoked in these arguments has to be perfect in a certain sense. Otherwise, the arguments are inconclusive. However, if perfect speakers enter the picture, these arguments become theory laden in a certain way and thus fail to be neutral means which can be used to distinguish correct theories from incorrect ones. In this sense, they cannot be used to discredit neither the direct reference theory, nor any other rival theory. (shrink)

McKinsey‐style incompatibilist arguments attempt to show that the thesis that subjects have privileged, a priori access to the contents of their thoughts is incompatible with semantic externalism. This incompatibility follows – it is urged – from the fact that these theses jointly entail an absurd conclusion, namely, the possibility of a priori knowledge of the world. In a recent paper I argued that a large and important class of such arguments exemplifies a dialectical failure: if they are valid, the putatively (...) absurd conclusion can be generated without the privileged access premise. Michael McKinsey has responded by arguing that the semantic externalist should adopt a neutral free logic invalidating a principle that my argument essentially relies on. I will say why the semantic commitments of the externalist are in tension with free logic, thereby vindicating my original argument. (shrink)

During Jacques Derrida’s earlier phases, his stylistique acts out (in the sense of “performs”) the same project evident in his semantic. Derridean stylistic practice and thematics both undertake the project of deconstructing entitative thinking. Anglophonic philosophers often ignore (or cannot detect) his stylistic games, which are often Talmudic or unique to French. Derrida did not have a Buddhist agenda, but two of my past books, both well-received, show that Derridean deconstruction intersects with Mādhyamikan deconstruction of the self-identical. (Intersection does not (...) imply “common ground” because lines have no width.) This article demonstrates Derridean/buddhist intersections through (1) themes undoing themselves, (2) image motifs undoing themselves, (3) ambiguous referents dissolving Proper Names, (4) the “Uncanny” deconstructing logic, (5) enumeration undoing ontology, and (6) homophones and homographs unsettling correspondence theory. Finally, Derrida’s “free-floating syllables,” “floating graphic traits,” “palindromes,” and “scrambled words” are shown to dissolve entitative constructs. (shrink)

McKinsey-style incompatibilist arguments attempt to show that the thesis that subjects have privileged, a priori access to the contents of their thoughts is incompatible with semantic externalism. This incompatibility follows – it is urged – from the fact that these theses jointly entail an absurd conclusion, namely, the possibility of a priori knowledge of the world. In a recent paper I argued that a large and important class of such arguments exemplifies a dialectical failure: if they are valid, the putatively (...) absurd conclusion can be generated without the privileged access premise. Michael McKinsey has responded by arguing that the semantic externalist should adopt a neutral free logic invalidating a principle that my argument essentially relies on. I will say why the semantic commitments of the externalist are in tension with free logic, thereby vindicating my original argument. (shrink)

In this paper, I want to show that, far from being incompatible, a Predicate Theory of proper names and the Direct Reference thesis can be combined in a syncretistic account. There are at least three plausible such accounts – one which compares proper names in their referential use to referentially used proper definite descriptions, another one that compares them in this use to demonstratives, and a third one which, although it is as indexicalist as the second (...) one, conceives proper names in this use as a sui generis form of indexicals, indexinames. Finally, I will try to give both technical and substantive reasons as to why the third account is to be preferred to the other two. (shrink)

It is an interesting and important linguistic fact that we sometimes use singular terms — proper names or indexicals — to refer to wholly future individuals. Given this fact, and given the further fact that wholly future individuals are contingent and indeterminate, neither the “descriptivist” theory of singular reference, nor the “causal theory,” nor Gareth Evans’s “mixed” theory, nor even the “classical” direct reference theory developed by David Kaplan, can account for future singular reference. Only a semantic strategy (...) drawn from direct reference theory is able to solve the puzzle. But in order to solve it, the very idea of direct reference must be extended by invoking two important supplementary notions: (1) “reference delivery systems,” and (2) “referential handiness or skill.” With the addition of these notions — which are updatings of some ideas sketched by Martin Heidegger in Being and Time — direct reference theory effectively accounts for the possibility of future singular reference. But just insofar as the puzzle is solvable along these lines, it follows that the theory of reference cannot be “naturalized.”. (shrink)

Principally under the influence of Saul Kripke (1972), philosophical semantics since the closing decades of 20th century has been dominated by thephenomenon Nathan Salmon (1986) aptly dubbed Direct Reference “mania.” Accordingly, it is now practically orthodox to hold that the meanings of proper names are entirely exhausted by their referents and devoid of any descriptive content. The return to a purely referential semantics of names has, nevertheless, coincided with a resurgence of some of the very puzzles that motivated (...) description theories of names in the first place, to wit: the informativeness of true identity statements of the form ‘a=b’ and the failure of substitutivity salve veritate for co-referential names in propositional attitude ascriptions. I argue that a Metalinguistic Description Theory of proper names, which treats the meaning of an arbitrary proper name as roughly equivalent to the definite description ‘the bearer of NN,’ offers a novel, semantically innocent solution to these puzzles when synthesized with Keith Donnellan’s (1966) insight that descriptions are semantically ambiguous between attributive and referential meanings. The ensuing account is then defended against two well-known Kripkean objections to metalinguisticsemantics: the Circularity Objection and the Paderewski Puzzle. (shrink)

If one takes seriously the idea that a scientific language must be extensional, and accepts Quine’s notion of truth-value-related extensionality, and also recognizes that a scientific language must allow for singular terms that do not refer to existing objects, then there is a problem, since this combination of assumptions must be inconsistent. I will argue for a particular solution to the problem, namely, changing what is meant by the word ‘extensionality’, so that it would not be the truth-value that had (...) to be preserved under the substitution of co-extensional expressions, but the state of affairs that the sentence described. The question is whether or not elementary sentences containing empty singular terms, such as ‘Vulcan rotates’, are extensional in the substitutivity sense. Five conditions are specified under which extensionality in the substitutivity sense of such sentences can be secured. It is demonstrated that such sentences are state-of-affairs-as-extension-related extensional. This implies that such sentences are also truth-value-related extensional in Quine’s sense, but not truth-value-as-extension-related extensional. (shrink)

Abstract. On the Direct Reference thesis, proper names are what I call ‘genuine terms’, terms whose sole semantic contributions to the propositions expressed by their use are the terms’ semantic referents. But unless qualified, this thesis implies the false consequence that sentences containing names that fail to refer can never express true or false propositions. (Consider ‘The ancient Greeks worshipped Zeus’, for instance.) I suggest that while names are typically and fundamentally used as genuine terms, there is a (...) small class of names, which I call ‘descriptive names’, whose reference is fixed by commonly associated definite descriptions, and I also suggest that there is an idiom of natural language on which such names can be used as abbreviated definite descriptions in a limited set of sentential contexts, including (1) positive and negative existentials, (2) cognitive ascriptions, and (3) uses of names to talk about myth. Uses of empty descriptive names in such contexts can then be either true or false. Relying on Gregory Currie’s theory of truth in fiction, I also propose an idiom on which fictional names can be used as short for a certain type of description in talk about fiction. Along the way, I provide arguments that names are used as short for descriptions in substantive existential statements as well as in both metamythic and metafictive contexts. I also discuss and criticize alternative views of these matters, including the views of David Braun, Saul Kripke, Peter van Inwagen, and others. (shrink)

The history of contemporary modal logic dates back to the writings of C. S. Lewis in the early part of this century. Since then, a growing body of literature has attested to professional interest in the area, and in a number of related issues in philosophical logic which have received wide attention. The recent development of powerful formal techniques for modal system building, together with an increasing interest in modal logic as a tool for philosophical analysis, have (...) created a need for an up-to-date text to introduce students to this material. Snyder's book attempts to answer this need. Assuming an understanding of elementary propositional logic, Snyder introduces a reductive technique called cancellation for detecting the theorems of a system of logic. This technique, analogous to the construction of Smullyan trees but more compact, is extended to modal and quantified contexts. Cancellation versions of the systems M and Mn of G. H. von Wright, and S4 and S5 of Lewis are developed. Snyder uses a Hintikka type of semantics, showing how the various formal systems are differentiated at the semantic level by differing conditions which must be imposed on the model systems used as interpretations for them. These model systems, and the conditions imposed upon them, are in turn described by means of a metalanguage which is essentially first-order quantificational logic. The power of this technique stems from the fact that for every object language formula of a system, there is a corresponding formula in the metalanguage which describes the conditions an interpretation must meet in order to satisfy the original formula. The conditions that the interpretations of a given system of logic must meet are reflected in this metalanguage as "antecedent assumptions," and these in turn correspond to cancellation rules for the object language. This correspondence is constructed in such a way that the metalinguistic counterpart of each theorem of the system will be a theorem of first-order logic. Snyder's primary interest is in showing how modal logic can be used, with the help of these techniques, to build a large variety of formal systems and to "tailor" such systems to meet a variety of analytical tasks. Simple modal systems are developed for the articulation of a number of modal concepts, in addition to the classic alethic ones. Examples are taken from temporal, deontic, and epistemic logic to show how specific interpretations of the meanings of the relevant operators lead to the incorporation of appropriate conditions in the formal systems used to articulate them. An entire chapter is devoted to a discussion of the paradoxes of material and strict implication, and to an attempt to articulate the notion of entailment through the development of formal systems which include a dyadic modal operator that is free of these paradoxes. The final chapter discusses such classical issues as proper names, reference, fictional entities, definite descriptions, and existence presuppositions. Appendices deal with such matters as the equivalence of the cancellation systems to more classical axiomatic-deduction systems, and the sketch of a proof of soundness and completeness for all the modal systems presented. While designed as a text, this volume should be of interest to both logicians and those working in metaphysics and language analysis, since the primary concern of the author is to develop techniques that will facilitate the usefulness of modal logic as a tool for philosophical analysis. The instructor's manual contains many suggestions derived from the author's experience in teaching this non-standard treatment of the subject.--K. T. (shrink)

I argue that Fregeanism with respect to proper names—the view that modes of presentation are relevant to the contents of proper names—is able to account for the thesis that there are necessarily true a posteriori identity propositions such as the one expressed in “Hesperus is identical with Phosphorus”, whereas the Direct Reference Theory—according to which the semantic function of certain expressions, e.g., proper names, is only to pick out an object —is able to deal with only (...) their necessary truth. Thus, at least in so far as necessarily true a posteriori identity propositions are concerned, Fregeanism should be preferred to the Direct Reference Theory. (shrink)

This paper argues for a version of metalinguistic descriptivism, the Mill-Frege view, comparing it to a currently popular alternative, predicativism. The Mill-Frege view combines tenets of Fregean views with features of the theory of direct reference. According to it, proper names have metalinguistic senses, known by competent speakers on the basis of their competence, which figure in ancillary presuppositions. In support of the view the paper argues that the name-bearing relation—which predicativists cite to account for the properties that (...) they take names to express—depends on acts of naming with a semantic significance. Acts of naming create particular words specifically designed for referential use, which they perform whether or not the language has other words articulated with the same sound or orthography. Like other forms of metalinguistic descriptivism, the Mill-Frege view affords responses to Kripke’s semantic and epistemic arguments against descriptivism. The view is prima facie more complex than predicativism; but the additional complexity is independently attested in natural languages and well-motivated. Finally, the Mill-Frege proposal deals well with Kripke’s modal argument, and accounts for modal intuitions about names, both issues that pose serious trouble to predicativism. (shrink)

Being a pragmatic and not a referential approach to semantics, dialogi-cal logic does not understand semantics as mapping names, propositions and relationships into the real world to obtain an abstract counterpart of it, but as dealing (handeln) with them in a particular way. This allows a very simple formulation of free logic the core of which can be expressed in a nutshell, namely: in an argumentation, it sometimes makes sense to restrict the introduction of singular terms in (...) the context of quantification to a formal use o f them. That is, the proponent is allowed to use a constant if f this constant has been explicitly conceded by the opponent. More technically, we show a new, dialogical way to build free logic systems fo r first-order logic with classical and intuitionistic features and present their corresponding tableaux. I. In tro d u ctio n I I. F r e e logics ON DIALOGUES A ND ONTOLOGY THE DIAL OGICAL APPROACH TO FREE LOGIC The proposition "God does not exist" contains a paradox sometimes referred to as Plato's beard: if God does not exist and the proposition should be true, standard referential semantics fo r quantified logic fails to give meaning to the name "God". But, given compositionality, since the meaning of a sentence is combined from the meanings o f its parts,-G o d d o e s not exist" does not evaluate. It is easy to see that related difficulties appear in every formula that contains singular terms. In standard logic, it is impossible to state that God is either good or evil without presupposing his existence, or that the round * My work on this article has been supported by the Fritz-Thyssen-Stiftung which I wish to thank expressly. (shrink)

This article discusses two puzzles regarding identity questions: (i) certain definites cannot occur in the post-copular position of identity questions; and (ii) the same definites are the only possible answers to identity questions with post-copular names. We demonstrate that the range of these definites crucially depends on interlocutors' shared assumptions about how entities in the physical surroundings are perceived and categorized. We propose that these definites are directly referential in the sense of Kaplan (1989a,b), and only contribute the referent itself (...) to the semantic composition. To explain the asymmetry between perceptually grounded descriptions and proper names, we draw on Gupta's (1980) framework of relative identity. This analysis suggests that direct reference is not always determined lexically, but is—at least in part—a pragmatic phenomenon. More generally, this phenomenon shows that natural language is sensitive to the source of information in the common ground. (shrink)

It is fairly widely accepted that Saul Kripke, Keith Donnellan, and others showed in the 1960s–1980s that proper names, in particular uses by speakers, can refer to things free of anything like the epistemic requirements posited by Gottlob Frege and Bertrand Russell. This paper separates two aspects of the Frege–Russell view of name reference: the metaphysical thesis that names in particular uses refer to things in virtue of speakers thinking of those things and the epistemic thesis that thinking (...) of things requires a means of determining which thing one is thinking of. My question is whether the Kripke–Donnellan challenge should lead us to reject,, or both. Contrary to a popular line of thinking that sees practices or conventions, rather than singular thinking, as determinative of linguistic reference, my answer is that we should reject only the epistemic thesis, not the metaphysical one. (shrink)

Four questions are raised about the semantics of Quantified Modal Logic. Does QML admit possible objects, i.e. possibilia? Is it plausible to admit them? Can sense be made of such objects? Is QML committed to the existence of possibilia? The conclusions are that QML, generalized as in Kripke, would seem to accommodate possibilia, but they are rejected on philosophical and semantical grounds. Things must be encounterable, directly nameable and a part of the actual order before they may plausibly enter (...) into the identity relation. QML is not committed to possibilia in that the range of variables may be restricted to actual objects. Support of the conclusions requires some discussion of substitution puzzles; also, the semantical distinction between proper names which are directly referring, and descriptions even where the latter are "rigid designators". Views of W.V. Quine, B. Russell, K. Donnellan, D. Kaplan as well as S. Kripke are invoked or evaluated in conjunction with these issues. (shrink)

Joaquin Segura. Untitled (fig. 40) . 2007 continent. 1.2 (2011): 117-124. The interview that follows is a dialogue between artist and gallerist with the intent of unearthing the artist’s working strategies for a general public. Joaquin Segura is at once an anomaly in Mexico’s contemporary art scene at the same time as he is one of the most emblematic representatives of a larger shift toward a post-national identity among its youngest generation of artists. If Mexico looks increasingly like a foreclosed (...) home burning to the ground, Segura could likely be the one walking away, charred matchstick between thumb and forefinger and shit-eating grin on his face. His corrosive attacks on institutions, ideologies, and power reflect a deep general distrust of authority, increasingly evident within the work of younger Mexican artists. It is perhaps most directly the result of President Calderon’s deeply unpopular war against the cartels but no doubt equally the product of decades upon decades of rampant corruption and errant policy within Mexico. Brett W Schultz (BWS): A recurring—if not dominant—theme within your current work and investigation explores ideological extremism in reaction to some perceived political and economic disenfranchisement, especially that espoused and practiced by right-wing groups in United States. That's exactly why I thought of you when I was approached to contribute a piece to an issue on the subject of the moraine—taken metaphorically here to signify a certain set of beliefs that have resurfaced within mainstream American culture in the wake of a probably over-exaggerated political sea-change, marked by Obama's election. You're a Mexican artist who now lives and works in Guadalajara, far from the border cities where such concerns would seem more likely to be relevant to a contemporary artist; of course, you're even farther from the culture that birthed this nature of extremism. What interests you so intensely about this movement, if we can call it that? Joaquin Segura (JS): I think there are several seminal points that you touch on in this particular question. There's a very specific set of interests that make me address the socio-political issues I've been dissecting through my practice in the last few years. First of all, I don't really consider myself a 'mexican' artist. As I've made clear in the past, I don't really believe in the notion of 'identity' or the idea of 'nation', which I find totally laughable and heartwarmingly passé. I'm convinced that these are totally outdated models of understanding our differences and similarities, expanding our already immense and irreconcilable cultural abysses instead of bringing them together, thus resulting in their total dispersion among the complex and extremely arbitrary weaving of contemporary social nucleii. Pretty much a frankly bad joke, if I may say so. The fact that I live and work in Mexico is a completely random geographical and temporal factor, which of course affects what I think and what I do, but I've chosen not to be limited by this specific circumstance. In the past, while working abroad, I've taken advantage of this preconception of Mexico—to be more exact, pretty much all of Latin America—as one of the last barbaric bastions of western civilization. Totally amusing, if you ask me about it. I consider my practice to be, among other things, a gonzo strategy of deceit: there are quite a few roles you can adopt in this approach that may actually reveal themselves to be a privileged vantage point. In my experience, the gentle savage is one of the most effective ones to establish my standing position. Thus, I'm a mexican artist if I need it to prove my point. If it's not necessary in a specific circumstance, I'm not. Quite simple, I think. Said in other words, it's just an ace I can play to win a particular match. It has worked so far, at least for me. L: Hey, America… , 2009. R: The Inaugural Address , 2009. I am interested in the nature of power and the rise and fall of totalitarian ideological and political apparatuses nowadays. But I guess, going even further, I'm essentially fascinated by the fissures and contradictions that have made these structures spectacularly crumble to the ground. I do believe extreme ideologies have played a crucial role in the globalization of socio-political crisis. In the end, our world is nothing more than a fading monument to all things gone wrong—the inspiring triumph of failure, in every sense. I see this as an exciting parable. And of course, it is an undeniable fact that the US, through their influence in world economy, international policies and general attitude towards the rest of the planet is the largest structure waiting to collapse. I think we are all secretly awaiting that moment of splendor, even americans. It'll be disastrous and as nasty as it can get, but it will also be liberating and incredibly inspirational. Not just because it’s the US but because it'll prove that absolutely everything is susceptible to fall. And not only that, most importantly, it would confirm that radical change may actually be possible and not just one more of the unfulfilled promises modernity has left us to struggle with on our own. BWS: I want to talk first about two of your works in particular: Hey, America... and The Inaugural Address . I feel like your more recent work has a subtle —or even hidden—sinisterness, but these two works are perfect examples of how brutally confrontational your earlier work has been. When we showed Hey, America... at Mexico City's Zona Maco art fair in 2010, there were at least a couple visitors to our stand who were absolutely ready to punch me in my gringo face for having done so. Certainly the shock value of these works is crucial to their central ideas, but can you tell me more about your intentions and how these works relate to your general oeuvre? JS: So funny. Perhaps we do deserve to be punched in the face. I think that's what I'm sometimes looking for, but I hardly ever get it. I do think of such works as some sort of logical trap, a somewhat perverse ambush waiting for someone to walk into head-on. I think what I tried to do with those two specific works, as well as some other past projects, is just emphasize issues or themes that do disturb or make me uneasy and restless. I consider my essential intention a need to make clear that we do not have to look the other way, ignore or forget. We must address, understand and solve these manifestations of senseless violence and absurdity because if we don't confront them this way, they'll end up consuming us. In other words, I do consider these works as a personal need of coming to terms with the nonsense of the world we all are living in. I don't particularly consider myself to be someone with a clear set of beliefs. Perhaps my only certainty would be that everything is there to be denied, demolished and obliterated—even my supposed unquestionability of that particular 'dogma.' My practice is a reflection of that paradox, and I do think that's how these two pieces relate to a wider body of work. Every democratic system and so-called developed contemporary society is deeply flawed on the inside, and that is because each has swept things under the rug. Of course, there's tolerance, good will and eagerness to make a difference but there's also hatred, pain and fear lingering all around. We must learn to relate to both sides of the spectrum. In a way, I approach the themes behind these particular works in what I think to be a non-biased, somewhat 'neutral' way. I do think there's an encryption process going on in the way I work, some sort of formal refinement of this somewhat outrageous content. A digest of infamy, if we can refer to it that way. It is up to the individual experiencing the work to decide which way these pieces lean. They can easily be seen from both positions and I'm ok with that. If you look closely at these works, there's nothing that establishes an unrelenting position—neither support nor rejection. I don't want my personal political views to directly set an agenda for the spectator as that’s essentially propaganda, which is one of the things I absolutely despise. To sum it up, I strive for the spectator to complete the piece in that sense. The work then becomes a reflection of his or her own contradictions, a playground of the mind. I'm interested in achieving a deadpan and deadlock state in the observer. So, in a way, those visitors threatening to beat the shit out of you unconsciously became that particular issue the work is alluding to. Just blind and senseless reaction to god knows what people feel must be defended, the overwhelming virtue of ambiguity. Beautiful. Perhaps you can also think of my practice as a uber-sophisticated and snobbish version of Punk'd. And you wouldn't be far from what I'm trying to convey. Untitled (Disturbance Scenarios #2) . 2010. BWS: To me, an important transitional marker in the overall trajectory of your work is the series, Disturbance Scenarios , which evokes a similar generalized state of panic, paranoia, and impending doom through its incorporation of sensationalist newspaper headlines, yet also suggests this slyly mysterious meta-narrative via the context in which the newspaper itself is placed. How did you arrive at this series and why did you choose photorealistic painting as the medium for it? JS: I consider this series to be a by-product of the process I follow when making work. I spend an important part of my time just doing research, going through documentation and accumulating visual or historical references for the themes or episodes I'm interested in, in that particular moment. These are, of course, valuable assets that connect among themselves in a mysterious and almost undetectable manner, sometimes a few years between one and the other. I've employed similar production strategies in the past, in ongoing series like Random Moments of Urban Decay , in which I document what I consider to be physical traces of ethnic, religious or ideological violence in the form of text graffiti, invisibly scattered in different cities of the world, mostly in the US. Disturbance Scenarios was started in early 2010, following a particularly intense period of traveling here and there that lasted for most of the year. I've always felt compelled by text, as I find quite intriguing the idea of how words can create equally intense evocations of what I call a mental panorama of uneasiness than those produced by aesthetically-charged imagery; of course, if handled right. I have a close relationship to print media—due both to my academic background and to my attraction to its ubiquity and almost unlimited influence, which in the end, is nothing else but power—so I found myself with a growing archive of newspaper headlines snapshots from cities like Melbourne, Auckland, London, and LA. Going through them, I noticed that they had in common a very specific thematic slant: they were all about some sort of conflict: energy crisis, political unrest, local episodes of domestic violence, you name it. So as you very well put it, I felt they all connected through this feeling of anxiety and anguish and I decided to start thinking of them as a body of work. Basically, I felt an interest in creating what I think of as my personal fragmented prefigurements of the end of civilization. There were few elements on the shots that could give away its actual location, geographically speaking, and I liked that. I find this sensation of vagueness and uncertainty quite alluring. The more subtle, the more perverse. The formal resolution of the series—as photo-realistic painting—is linked to my intention of creating distance between me as the artist and the themes I work with. I rarely execute my own work, and that is more a personal choice as I'm more interested in the ideas I mingle with than in the actual outcome of that process, understood as an "art-object" with certain market value. I did some tests with light-jet prints of those snapshots and I found them devoid of that nightmarish, disturbing indistinctness that I felt was so important for them to be able to project the turmoil I experienced upon encountering them and in conceiving of them as a series. So I thought that photorealistic painting would be an interesting resource to play with, as I hardly had worked with that medium before because of my lenient animosity toward painters and their craft. So they were executed like that and I think it turned out to be just right. Homemade (Napalm #2) . 2010. BWS: Though Disturbance Scenarios remains ongoing, it's an interesting contrast to another series of yours, Homemade, which are these beautifully banal photographs of the ingredients used to make improvised explosives. Whereas Disturbance Scenarios still confronts the viewer aggressively with its visual emphasis on loaded texts, in Homemade , you've dropped the surface-level bravado entirely. They're pieces that require explanation to someone not already versed in the fine art of amateur explosive-making. You weren't known for subtlety in your past work; why this change in direction? JS: I'm personally convinced that these are just two angles of the same conceptual preoccupation. I mentioned before my obsession with the idea of encryption. I'm quite enticed by how these processes of translation can politically and semantically alter and deviate purportedly subversive materials such as the ones these works allude to. I do think subversion is futile. I was really troubled by that thought for some time, but I think now I understand that it's not really that important. What is really significant is to elaborate on these alternate views, to envision and refine possible escape routes. It doesn't really matter if they go nowhere, but that is because nothing really matters. A "mute" artwork is a notion that captivates me. When you look at the works you mention, you know there's something off, but it's not fully clear how and why that is. I rely on that insecurity—on that moment of hesitation. And that can also be achieved through an approach like the one I'm now interested in. Let's just call it a smoke screen, a surrogate ruse to get to the same point: to talk about impotence and defeat in contemporary life. The notion that readily accessible information is actually a weapon is a double-edged fallacy: sure, you can make use of whatever resources you can lay your hands on, but that doesn't set you free because freedom is impossible. Still, that doesn't mean you can't blow up stuff during the process, metaphorically or not. I didn't understand the nature of subtlety before. I used to think that you needed to be loud and manifest anger and unconformity in the most aggressive manner possible. Then I finally realized that you can actually permeate and rarify a battleground—because after all, this is low-intensity war—if you actually aim at silently building up the contradictions and making the symbolic value of ideas and acts clash within themselves. Or perhaps it is that I am just getting old. I guess I used to be an angry kid until recently. Now I think of myself as a disenchanted post-teenager, and of course that reflects in my work and my approach to art-making. Kind of a rite of passage and I laugh at it because, overall, it has been overwhelmingly fun. And that doesn't mean that I'm not ready to stick it in someone or something's face again if I feel like it. BWS: You're now taking the subtlety of the Homemade series even further with your newest series, Definitive Reader For a Botched Revolution , in which you photograph a series of politically-charged books side-on, negating their content entirely—essentially reducing them to purely aesthetic objects in which the subject matter is only revealed in the title of the work. Can you talk about the ideas behind this series? Furthermore, is your recent interest in this idea of the "botched revolution" an indication of a general attitudinal or philosophical shift you've since adopted? JS: This new series of works is the logical outcome of a brief period I went through. Probably the last couple years, in which due to a number of circumstances that don't really have to do with my art-making, I was forced to renegotiate my ideas, my beliefs and practically everything that surrounds me. It was quite distressful and turbulent, but in the end, I think it was also almost epiphanic. I came to terms with myself and now I'm calm and serene. That is, of course, my personal take on it but I mention it because I do think it's important to address this shift you mention. The idea of an artwork as a container for latent revelations enthralls me quite a bit. That's how I see these particular works: art as an incendiary agent. It's up to the artist and the spectator to do whatever they please with it. I think the detachment and almost surgical cleanliness from the Definitive Reader series is also my take at poking fun of the way some art is totally innocuous and uncompromising. These images may be pleasing to the eye, but there's something twisted and rotten within them, well hidden beneath. You'll either see it or not, but without a doubt, it will not cancel its presence. This series is intrinsically linked to Homemade . I'm pretty much horsing around with similar ideas and statements here. And well, yes, I do think any revolution is a botched one. There's nothing too heavy about their own downfall. Decay and breakdown are here and will not go away. Perhaps we must learn to embrace them in one way or another, for our own sake. L: Untitled (T.A.Z.). R: Untitled (United States Marine Guidebook of Essential Subjects) . 2011. BWS: Finally, let's discuss the near future. You've got an upcoming solo show at the Sala de Arte Público Siqueiros [SAPS] in Mexico City this summer. What can we expect from that? What else do you have planned? JS: I'll go and get seafood as soon as I'm done with this interview. It's pretty good here in Guadalajara. That's my top priority at this very moment. About my solo project at SAPS, it's due to open in late July. I'm quite looking forward to it. I'm still closely working with the curator on the general feel for the show but I can say that it'll be more of a revision of past works that have not been shown in Mexico City except for a couple pieces. It definitely won't be a showcase for new projects, although we may include one or two previously unseen works. What you can expect is a rereading of what I've been working on during the past few years. In a way, that's exciting to me because for some reason I don't really care about, I'm not that active in Mexico City even though that's where I lived and work for years. I've hardly shown there after my solo project at Yautepec in February of 2010. It'll be nice to see how it all comes together and I'm more thrilled about it because I totally love the space and I think they're doing an excellent job with their programming and its direction. And in a certain way it feels like going back home. About everything else, I need a period to reflect and fully understand what I've been thinking and working on. I've got a few group shows here and there: New York, San Francisco, and Melbourne are the ones happening soon. I will present my censored project Untitled ( Gringo Loco ) as part of the programming of the Museo de Arte de Zapopan in Guadalajara, two years after being escorted at gunpoint from the installation site by police sent by the extreme right-wing mayor of the city, which I found pretty amusing for an otherwise typical Saturday afternoon. I'm also involved in a couple "curatorial" projects. In my case, "curatorial" means that I help put together stuff I like and I'm interested in. One of them will open in late September of 2011 at Arena Mexico Arte Contemporaneo, and I will work with three of whom I consider to be some of the best artists in a lively and active scene such as the one here in Guadalajara. But most importantly, I've been doing heavy research so there are also a number of projects that I've yet to finalize. That'll be my main focus during the rest of the year, even though I really enjoy procrastination. There'll be time for that later. Or maybe not. We'll see. About Joaquin Segura The action, installation, intervention and photographic work of Joaquin Segura (b. Mexico City, 1980) has been shown in solo and group exhibitions in Mexico, the United States, Europe, and Asia. Some spaces that have featured his work include La Panaderia, Museo de Arte Carrillo Gil, Centro de la Imagen and Ex-Teresa Arte Actual in Mexico City; El Museo del Barrio and apexart, New York, NY; Museo Nacional Centro de Arte Reina Sofia in Madrid, Spain; National Center for Contemporary Art, Moscow, Russia; and Palace Adria in Prague, Czech Republic. In 2008 and 2009, Segura was an artist-in-residence at the International Studio and Curatorial Program, New York, NY and at the 18th Street Arts Center, Santa Monica, CA. He is represented YAUTEPEC in Mexico City and by Arena Mexico Arte Contemporáneo in Guadalajara. Further Reading Joaquin Segura’s website YAUTEPEC artist page for Joaquin Segura Capps, Kriston. “ID-ENTITY: Washington, DC.” ART PAPERS . 2009. (shrink)

According to the New Theory of Reference, proper names (and indexicals) and natural kind terms are semantically similar to each other but crucially different from definite descriptions and “ordinary” predicates, respectively. New Theorists say that a name, unlike a definite description, is a directly referential nondescriptional rigid designator, which refers “without a mediation of the content” and is not functional (i.e. lacks a Carnapian intension). Natural kind terms, such as ‘horse’ and ‘water’, are held to have similar distinctions, in (...) contrast to other predicates. However, the New Theory contains some problems related to reference, descriptionality, content and meaning. In view of these problems, it will be argued that the distinctive shared feature of proper names and natural kind terms, while technically corresponding to nonfunctionality, is to be explicated in terms of independence of possible worlds, rather than in terms of reference and content: natural kind terms are world-independent predicates, making “worldless” predications. Just as, say, ‘Elvis’ names Elvis even with respect to “Elvisless” worlds, or, rather, names Elvis independently of worlds, natural kind terms are in an important sense “worldless” as well: to talk about Elvis is to talk about him irrespective of moments of time and possible worlds, and is to talk about a human, also irrespective of moments and worlds, while it is not to talk about, say, a drug-addict irrespective of moments, nor about a singer irrespective of worlds. There is no genuinely timeless and worldless predication of the sort “Elvis is (was) bald”, but there is, it seems, such a predication “Elvis is (was) human”. This notion of independence of times and worlds is detached from those of descriptionality and content mediation. (shrink)

Four questions are raised about the semantics of Quantified Modal Logic. Does QML admit possible objects, i.e. possibilia? Is it plausible to admit them? Can sense be made of such objects? Is QML committed to the existence of possibilia?The conclusions are that QML, generalized as in Kripke, would seem to accommodate possibilia, but they are rejected on philosophical and semantical grounds. Things must be encounterable, directly nameable and a part of the actual order before they may plausibly enter into (...) the identity relation. QML is not committed to possibiha in that the range of variables may be restricted to actual objects.Support of the conclusions requires some discussion of substitution puzzles; also, the semantical distinction between proper names which are directly referring, and descriptions even where the latter are "rigid designators".Views of W.V. Quine, B. Russell, K. Donnellan, D. Kaplan as well as S. Kripke are invoked or evaluated in conjunction with these issues. (shrink)

A strictly Millian approach to proper names is defended, i.e. one in which expressions when used properly ('onymically') refer directly, i.e. without the semantic intermediaryship of the words that appear to comprise them. The approach may appear self-evident for names which appear to have no component parts (in current English) but less so for others. Two modes of reference are distinguished for potentially ambiguous expressions such as The Long Island . A consequence of this distinction is to allow a (...) speculative neurolinguistics of proper ('onymic') and semantic ('non-onymic') reference. A further consequence is that translation of onymically referring expressions is impossible (since they have no semantic content), and some apparently self-evident objections to this view are met by insisting on a distinction between a proper name as a referring expression and its etymology. The nature of the linguistic mechanism(s) by which an expression becomes proper (i.e. loses sense) shows that etymological opacity is a precondition for the survival of words in certain proper names, furnishing evidence for reference without sense. The process of becoming proper amounts to abrogation of sense for the purpose of reference, which is precisely the requirement for a systematic defence of Mill. (shrink)

Thoughts may have a subject — they may concern a certain topic —without having an object in the sense of being directed upon a referent. It is argued that, once this distinction is acknowledged, a third position between Meinong and Russell can be established. There will then be objectless thoughts which need not be false in view of the non-existence of their purported referents. But there will also be object-dependent thoughts which have their referents necessarily. Neither logically proper names (...) nor non-existing objects need to be introduced if we allow for cases when we are mistaken about what kind of thoughts we are considering. This result is achieved via an analysis of fictional names and a free logic which includes a nonpredicating use of general terms in sentences imitating the logical form of predications. (shrink)

There are two interpretations of what it means for a singular term to be referentially direct, one truth-conditional and the other cognitive. It has been argued that on the former interpretation, both proper names and indexicals refer directly, whereas on the latter only proper names are directly referential. However, these interpretations in fact apply to the same singular terms. This paper argues that, if conceived in purely normative terms, the linguistic meaning of indexicals can no longer be (...) held to make these terms referentially indirect under the second interpretation. This result is then generalized to proper names, by ascribing them a normative meaning as well. (shrink)

Thoughts may have a subject — they may concern a certain topic —without having an object in the sense of being directed upon a referent. It is argued that, once this distinction is acknowledged, a third position between Meinong and Russell can be established. There will then be objectless thoughts which need not be false in view of the non-existence of their purported referents. But there will also be object-dependent thoughts which have their referents necessarily. Neither logically proper names (...) nor non-existing objects need to be introduced if we allow for cases when we are mistaken about what kind of thoughts we are considering. This result is achieved via an analysis of fictional names and a free logic which includes a nonpredicating use of general terms in sentences imitating the logical form of predications. (shrink)

Thoughts may have a subject — they may concern a certain topic —without having an object in the sense of being directed upon a referent. It is argued that, once this distinction is acknowledged, a third position between Meinong and Russell can be established. There will then be objectless thoughts which need not be false in view of the non-existence of their purported referents. But there will also be object-dependent thoughts which have their referents necessarily. Neither logically proper names (...) nor non-existing objects need to be introduced if we allow for cases when we are mistaken about what kind of thoughts we are considering. This result is achieved via an analysis of fictional names and a free logic which includes a nonpredicating use of general terms in sentences imitating the logical form of predications. (shrink)

This guide accompanies the following articles: Sonia Roca‐Royes, ‘Essentialism vis‐à‐vis Possibilia, Modal Logic, and Necessitism.’Philosophy Compass 6/1 (2011): 54–64. doi: 10.1111/j.1747‐9991.2010.00363.x. Sonia Roca‐Royes, ‘Essential Properties and Individual Essences.’Philosophy Compass 6/1 (2011): 65–77. doi: 10.1111/j.1747‐9991.2010.00364.x. Author’s Introduction Intuitively, George Clooney could lose a finger and he would still be him. Also intuitively, he could not lose his humanity without ceasing to be altogether. So while he could have one less finger, he could not be other than human. These intuitions suggest (...) that there are two kinds of properties: on the one hand, there are essential properties and, on the other, there are accidental properties. Essentialism is the view that captures those intuitions and claims that some of an object’s properties are essential and some are accidental. Essential properties are often appealed to in metaphysical arguments. Consider the famous Goliath–Lumpl example. Goliath is a clay‐statue, and Lumpl is the piece of clay from which Goliath is made. Are Goliath and Lumpl the same entity, or are they distinct, despite coinciding in the same spatial region (at least for a period of time)? An argument in favour of their distinctness appeals to essential properties. Let s be Goliath’s shape. Lumpl’s current shape is therefore also s. It seems that Lumpl could lose its current shape and still exist. Yet, if Goliath – the statue – were melted, for instance, it would cease to exist. Behind this reasoning is the belief that having shape s is essential to Goliath but not to Lumpl. Goliath and Lumpl can therefore be distinguished by their essential properties. Consequently, and by Leibniz’s Indiscernibility of Identicals– according to which identicals cannot be distinguished – Goliath and Lumpl are distinct objects. The essentialist intuition appealed to in this argument is that shapes are essential to statues but not to pieces of clay. Of course, this particular argument – like any other – can be resisted. It is all the same a good illustration of how essentialism is put to work in metaphysics. A good understanding of the broad phenomenon of essentialism is therefore an unavoidable task, since the credit of a lot of metaphysical arguments partially depends on it. Although the topic has been studied for millenniums, the two papers that this guide accompanies are focused on contemporary issues in essentialism, and so will do this guide too. Author Recommends Fine, Kit. ‘Essence and Modality.’Philosophical Perspectives 8 (1994): 1–16. One of the most cited and influential papers against the modal account of the notion of essence and in favour of what has subsequently been referred to in the literature as ‘the Finean account of the notion of essence’. Forbes, Graeme. The Metaphysics of Modality. Oxford: Clarendon Press, 1985. A foundational work in modality and essentialism. The first two chapters provide a valuable introduction to propositional and first order modal logic. Chapters 5–8 constitute a comprehensive essentialist theory and contain some of the most cited arguments for individual essences. Kripke, Saul. Naming and Necessity, Cambridge, MA: Harvard UP, 1972/1980. Another foundational work. With this book – which is, among other things, a defence of a Direct Theory of Reference – Kripke rescues, after Quine’s powerful attacks against it, and using the semantic rigidity of proper names, (Aristotelian) essentialism. Mackie, Penelope. How Things Might Have Been: Individuals, Kinds and Essential Properties. Oxford: Clarendon Press, 2006. An extremely valuable recent contribution to the field. Here, Mackie defends that, although essentialism is a real phenomenon, there are much fewer essential properties than is standardly believed, and labels this view ‘Minimalist Essentialism’. Beyond the intrinsic interest of the defence of Minimalist Essentialism, the book is also highly recommended for its clear reconstructions – and discussions – of some of the most influential essentialist arguments. In addition, the book’s bibliography is very comprehensive and updated, and it might be a useful resource for students. Plantinga, Alvin. The Nature of Necessity. Oxford: OUP, 1974. Yet another foundational work. Here, Plantinga offers his essentialist theory which, like Forbes’, also incorporates individual essences although of a very different sort from Forbes’. Plantinga believes in purely non‐qualitative individual essences, whereas Forbes’ aims at purely qualitative ones. The book is also excellent to provide a solid background to those unfamiliar with the topic. Roca‐Royes. ‘Essentialism vis‐à‐vis Possibilia, Modal Logic and Necessitism.’Philosophy Compass, 6/1 (2011): 54–64, doi: 10.1111/j.1747‐9991.2010.00363.x. This is one of the two papers this guide accompanies. It contains a comparative examination of two opposed responses to the problem of possibilia. One solution crucially appeals to individual essences and another – compatible with them, but not dependent on them – makes existence a necessary‐whenever‐possible property. Salmon, Nathan. Reference and Essence. Princeton: Princeton UP, 1981. Against what Kripke’s Naming and Necessity might have induced us to believe, Salmon’s Reference and Essence argues that essentialism cannot be derived from the Direct Theory of Reference. Our commitments to essentialism should therefore come from somewhere else. It also contains one of the most cited and influential arguments against the transitivity of the accessibility relation between worlds, which relies on flexible essential properties. Online Materials The Stanford Encyclopedia of Philosophy publishes extremely valuable entries on a vast variety of topics which are conveniently updated and revised. On essentialism, the following are to be highlighted: Teresa Robertson, ‘Essential vs. Accidental Properties’: Takashi Yagisawa, ‘Possible Objects’: Penelope Mackie, ‘Transworld Identity’: PhilPapers is an interactive directory of online philosophical publications to which one can subscribe, and which allows authors to submit their latest work. One might find it useful to check this on a regular basis, since contents are constantly updated. The following link is to the site’s resources on essentialism:. Sample Syllabus Because the phenomenon of essentialism is very broad, one can design an entire course on it, thereby having enough time to see some of the issues in considerable depth. The sample syllabus suggested here is of one such course, focusing exclusively on contemporary issues in essentialism. Less deeply, the topic of essentialism can also be introduced in a general course on metaphysics or on modality. To this effect, focusing on some of the topics suggested in weeks 1–6 below would perhaps be more appropriate than focusing on the more complex issues suggested for weeks 7–10. Week 1. Introduction to Essentialism. Two Notions of Essential Property: The Modal Account and the Finean Account Fine, Kit. ‘Essence and Modality.’Philosophical Perspectives 8 (1994): 1–16. Robertson, Teresa. ‘Essential vs. Accidental Properties.’Stanford Encyclopedia of Philosphy (Fall 2008 Edition). Ed. Edward N. Zalta. URL:. Roca‐Royes, Sonia. ‘Essential Properties and Individual Essences.’Philosophy Compass, 6/1 (2011): 65–77. Sections 1–2. Week 2. Essentialist Principles, I: Three Arguments for the Essentiality of Origin Kripke, Saul. Naming and Necessity. Cambridge, MA: Harvard UP, 1972/1980. Lecture III. Mackie, Penelope. ‘Identity, Time and Necessity.’Proceedings for the Aristotelian Society 98 (1998): 59–78. Rohbraugh, Guy and deRosset, Louis. ‘A New Route to the Necessity of Origin.’Mind 133 (2004): 705–25. Week 3. Essentialist Principles, II: Essentiality of Kind Brody, Baruch. ‘Natural Kinds and Real Essences.’Journal of Philosophy 64 (1967): 431–46. Mackie, Penelope. How Things Might Have Been: Individuals, Kinds and Essential Properties. Oxford: Clarendon Press, 2006. Chapters 7 and 8. Wiggins, David. Sameness and Substance Renewed. Cambridge: Cambridge UP, 2001. Chapter 3. Week 4. Essentialist Principles, III: Natural Kind Essentialism Kripke, Saul. ‘Identity and Necessity.’Identity and Individuation, Ed. M. K. Munitz. New York: New York University Press, 1971. 135–64. Kripke, Saul. Naming and Necessity. Cambridge, MA: Harvard UP, 1972/1980. Lecture III. Putnam, Hilary. ‘The Meaning of “Meaning”.’Minnesota Studies in the Philosophy of Science 7 (1975): 215–71. Week 5. Sufficient‐for‐Existence Properties (and Cross‐World Identification Principles) Chisholm, Roderick. ‘Identity through Possible Worlds: Some Questions.’Noûs 1.1 (1967): 1–8. Mackie, Penelope. How Things Might Have Been: Individuals, Kinds and Essential Properties. Oxford: Clarendon Press, 2006. Chapter 3. Salmon, Nathan. Reference and Essence. Princeton: Princeton UP, 1981. Chapter 7. Week 6. Individual Essences Mackie, Penelope. ‘Transworld Identity.’The Stanford Encyclopedia of Philosophy (Fall 2008 Edition). Ed. Edward N. Zalta. URL:. Section 4. Roca‐Royes, Sonia. ‘Essential Properties and Individual Essences.’Philosophy Compass 6/1 (2011): 65–77. Sections 3–4. Week 7. Flexible Essential Properties and S4 Roca‐Royes, Sonia. ‘Essentialism vis‐à‐vis Possibilia, Modal Logic, and Necessitism.’Philosophy Compass 6/1 (2011): 54–64. Section 3. Salmon, Nathan. Reference and Essence. Princeton: Princeton UP, 1981. Appendix 1. Week 8. Individual Essences and Possibilia Peacocke, Christopher. ‘Principles for Possibilia.’Noûs 36.3 (2002): 486–508. Roca‐Royes, Sonia. ‘Essentialism vis‐à‐vis Possibilia, Modal Logic, and Necessitism.’Philosophy Compass 6/1 (2011): 54–64. Section 2. Week 9. Necessitism and Essentialism: A Third Notion of Essential Property Linsky, Bernard and Zalta, Edward. ‘In Defense of the Contingently Nonconcrete.’Philosophical Studies 84 (1996): 283–94. Roca‐Royes, Sonia. ‘Essentialism vis‐à‐vis Possibilia, Modal Logic, and Necessitism.’Philosophy Compass 6/1 (2011): 54–64. Section 5. Williamson, Timothy. ‘Bare Possibilia.’Erkenntnis 48 (1998): 257–73. Week 10. Essentialism and Modal Logic: The Barcan Formula Menzel, Christopher. ‘Actualism.’The Stanford Encyclopedia of Philosophy (Summer 2010 Edition). Ed. Edward N. Zalta. URL:. Section 2. Roca‐Royes, Sonia. ‘Essentialism vis‐à‐vis Possibilia, Modal Logic, and Necessitism.’Philosophy Compass 6/1 (2011): 54–64. Section 4. Focus Questions • There is a debate as to whether essential properties– as well as individual essences and sufficient‐for‐existence properties– should be specified in purely qualitative terms or whether, by contrast, non‐purely qualitative – or even purely non‐qualitative – specifications are allowed. What are the main arguments against the availability of purely qualitative specifications? • Flexible essential properties seem to be more plausible than non‐flexible ones. Yet, together with sufficient‐for‐existence properties, they imply flexible individual essences. How plausible are these? Should we revise our intuitions supporting flexible essential properties? • What are, ultimately, the ontological differences between a necessitist approach to possibilia and an individual‐essences‐based approach? • According to necessitism, essential properties do not impose necessary conditions for an object’s existence. Can the necessitist, nonetheless, capture this role of essential properties by saying that, when it comes to possibly concrete entities, essential properties provide necessary conditions for an object’s concreteness? Can they, on a similar vein, also offer sufficient‐for‐concreteness properties as a surrogate for the (non‐necessitist’s) sufficient‐for‐existence properties? • Even after the enormous amount of literature that essentialism has generated, we are far from reaching a general agreement as to which properties are essential and which are accidental. Should this be a reason to reflect, critically, on the methodology that is being used in the arguments for or against essential properties? Is reliance on intuitions inescapable? (shrink)

I defend what I believe to be a new variation on Kripkean themes, for the purpose of providing an improved way to understand the referring functions of proper names. I begin by discussing roles played by perceptual perspectives in the use of proper names, and then broaden the discussion to include what I call cognitive perspectives. Although both types of perspectives underwrite the existence of intentional intermediaries between proper names and their referents, the existence of these intentional (...) intermediaries does not entail that a Kripke-inspired view of direct reference must be abandoned. At the same time, the existence of these intermediaries can be seen to play illuminating roles as regards the referring functions of proper names in the following types of cases, among others: (a) where different names pick out the same subject; (b) where names are empty. Along the way, I argue that perspectival views are not something inside the head of language users as intended by Putnam in his well-known discussion of meaning. (shrink)

This paper is a contribution to the debate concerning the kind of philosophical conclusions that can (or cannot) be derived from systematic empirical studies of intuitions about the reference of proper names. The focus of the paper is the famous study by Machery et al. (2004) in which intercultural differences in semantic intuitions between American and Chinese participants were observed. Machery et al. used the obtained results to question the usefulness of intuitions in philosophical discussions concerning the reference of (...) proper names. In this paper, I present the results of my own philosophical-experimental studies aimed at analyzing methods used in research dedicated to the problem of reference rather than semantic intuitions as such. These results indicate a significant instability of responses regarding the reference of proper names and their susceptibility to the impact of philosophically insignificant factors. Based on the collected data, I argue that methods used in experimental studies concerning the reference of proper names conducted to date do not guarantee the assessment of intuitions of the desired kind. (shrink)

The dominant view maintains that names are directly referring, rigid terms, the primary function of which is to designate an individual. But, as has long been noted, proper names also allow for predicative uses and combine with quantifiers and definite, indefinite, and numerical determiners. Any adequate semantic account of proper names thus must make sense not just of their referential uses but also of their seemingly predicative ones. Predicativists maintain that such uses manifest a name’s semantically encoded, predicative (...) meaning, while the directly referential theorists argue that they involve polysemic or pragmatic, metalinguistic re-interpretations. But while competing accounts differ radically in their analyses of such uses, they all, in the wake of Kripke’s attack on descriptivism, share a common feature: they interpret a predicative use of a name N as expressing (either semantically or pragmatically) the property of being called N. I argue that no such account of predicative uses currently on offer is successful. Indeed, adequately characterizing being called condition is more difficult than has been appreciated. The best attempt—on predicative and directly referential accounts alike—leaves a surprising consequence: names are ambiguous in a way unlike any other we witness with other kinds of lexical items. (shrink)

In this article, I try to shed some new light onGrundgesetze§10, §29–§31 with special emphasis on Frege’s criteria and proof of referentiality and his treatment of the semantics of canonical value-range names. I begin by arguing against the claim, recently defended by several Frege scholars, that the first-order domain inGrundgesetzeis restricted to value-ranges, but conclude that there is an irresolvable tension in Frege’s view. The tension has a direct impact on the semantics of the concept-script, not least on the (...) semantics of value-range names. I further argue that despite first appearances truth-value names play a distinguished role as semantic “target names” for “test names” in the criteria of referentiality and do not figure themselves as “test names” regarding referentiality. Accordingly, I show in detail that Frege’s attempt to demonstrate that by virtue of his stipulations “regular” value-range names have indeed been endowed with a unique reference, can plausibly be regarded as a direct application of the context principle. In a subsequent section, I turn to some special issues involved in §10. §10 is closely intertwined with §31 and in my and Richard Heck’s view would have been better positioned between §30 and §31. In a first step, I discuss the piecemeal strategy which Frege applies when he attempts to bestow a unique reference on value-range names in §3, §10–§12. In a second step, I critically analyze his tentative, but predictably unsuccessful proposal to identify all objects whatsoever, including those already clad in the garb of value-ranges, with their unit classes. In conclusion, I present two arguments for my claim that Frege’s identification of the True and the False with their unit classes in §10 is illicit even if both the permutation argument and the identifiability thesis that he states in §10 are regarded as formally sound. The first argument is set out from the point of view of the syntax of his formal language. It suggests though that a reorganization of the exposition of the concept-script would have solved at least one of the problems to which the twin stipulations in §10 give rise. The second argument rests on semantic considerations. If it is sound, it may call into question, if not undermine the legitimacy of the twin stipulations. (shrink)