An identity statement flanked on both sides with proper names is necessarily true, Saul Kripke thinks, if it's true at all. Thus, contrary to the received view – or at least what was, prior to Kripke, the received view – a statement like(A) Hesperus is Phosphorus.

The book is about logical analysis of natural language. Since we humans communicate by means of natural language, we need a tool that helps us to understand in a precise manner how the logical and formal mechanisms of natural language work. Moreover, in the age of computers, we need to communicate both with and through computers as well. Transparent Intensional Logic is a tool that is helpful in making our communication and reasoning smooth and precise. It deals with all kinds (...) of linguistic context in a fully compositional and anti-contextual way. (shrink)

Structured propositions are often invoked to explain why intensionally equivalent sentences do not substitute salva veritate into attitude ascriptions. As the semantics is standardly developed—for example, in Salmon, Soames :47–87, 1987) and King :516–535, 1995), the semantic value of a complex expression is an ordered complex consisting of the semantic values of its components. Such views, however, trivialize semantic composition since they do not allow for independent constraints on the meaning of complexes. Trivializing semantic composition risks “trivializing semantics” Semantics versus (...) pragmatics, Oxford University Press, Oxford, 2005). Yet, proponents of structured propositions suggest a route to reimpose substantive compositionality. While the mapping from a sentence to the structured proposition it expresses is trivially compositional, there is a non-trivial mapping from the structured proposition to its truth-value. This non-trivial level of semantic composition allows the meanings assigned to complex expressions to impose substantive constraints on the meanings of the simple ones. I first articulate the basic desiderata: an account of structured propositions capable of explaining attitude attributions and of delivering a non-trivially compositional semantics. I then show that the two-stage semantics proposed by standard proponents of structured propositions does not satisfy these joint goals. (shrink)

The traditional debate about moral dilemmas concerns whether there are circumstances in which an agent is subject to two obligations that cannot both be fulfilled. Realists maintain there are. Irrealists deny this. Here I defend an alternative, methodologically-oriented position wherein the denial of genuine moral dilemmas functions as a regulative ideal for moral deliberation and practice. That is, moral inquiry and deliberation operate on the implicit assumption that there are no genuine moral dilemmas. This view is superior to both realism (...) and irrealism in accounting for moral residue and other crucial phenomenological dimensions of our experience of moral dilemmas. (shrink)

In this paper, I criticize Structured Propositionalism, the most widely held theory of the nature of propositions according to which they are structured entities with constituents. I argue that the proponents of Structured Propositionalism have paid insufficient attention to the metaphysical presuppositions of the view – most egregiously, to the notion of propositional constituency. This is somewhat ironic, since the friends of structured propositions tend to argue as if the appeal to constituency gives their view a dialectical advantage. I criticize (...) four different approaches to providing a metaphysics of propositional constituency: set-theoretic, mereological, hylomorphic, and structure-making. Finally, I consider the option of taking constituency in a deflationary, metaphysically ‘lightweight’ sense. I argue that, though invoking constituency in a lightweight sense may be useful for avoiding the ontological problems that plague the ‘heavyweight’ conception, it no longer proffers a dialectical advantage to Structured Propositionalism. (shrink)

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

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

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

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)

Saul Kripke's thesis that ordinary proper names are rigid designators is supported by widely shared intuitions about the occurrence of names in ordinary modal contexts. By those intuitions names are scopeless with respect to the modal expressions. That is, sentences in a pair like (a) Aristotle might have been fond of dogs, (b) Concerning Aristotle, it is true that he might have been fond of dogs will have the same truth value. The same does not in general hold for definite (...) descriptions. If one, like Kripke, accounts for this difference by means of the intensions of the names and the descriptions, the conclusion is that names do not in general have the same intension as any normal, identifying description. However, this difference can be accounted for alternatively by appeal to the semantics of the modal expressions. On the account we suggest, dubbed 'relational modality', simple singular terms, like proper names, contribute to modal contexts simply by their actual world reference, not by their descriptive content. That account turns out to be fully equivalent with the rigidity account when it comes to truth of modal and non-modal sentence (with respect to the actual world), and hence supports the same basic intuitions. Here we present the relational modality account and compare it with others, in particular Kripke's own. (shrink)

In (1959), Carnap famously attacked Heidegger for having constructed an insane metaphysics based on a misconception of both the logical form and the semantics of ordinary language. In what follows, it will be argued that, once one appropriately (i.e., in a Russellian fashion) reads Heidegger’s famous sentence that should paradigmatically exemplify such a misconception, i.e., “the nothing nothings”, there is nothing either logically or semantically wrong with it. The real controversy as to how that sentence has to be evaluated—not as (...) to its meaning but as to its truth—lies at the metaphysico- ontological level. For in order for the sentence to be true one has to endorse an ontology of impossibilia and Leibniz’s principle of the identity of indiscernibles. (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 “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)

Despite the renown of ‘On Denoting’, much criticism has ignored or misconstrued Russell's treatment of scope, particularly in intensional, but also in extensional contexts. This has been rectified by more recent commentators, yet it remains largely unnoticed that the examples Russell gives of scope distinctions are questionable or inconsistent with his own philosophy. Nevertheless, Russell is right: scope does matter in intensional contexts. In Principia Mathematica, Russell proves a metatheorem to the effect that the scope of a single occurrence of (...) a description in an extensional context does not matter, provided existence and uniqueness conditions are satisfied. But attempts to eliminate descriptions in more complicated cases may produce an analysis with more occurrences of descriptions than featured in the analysand. Taking alternation and negation to be primitive (as in the first edition of Principia), this can be resolved, although the proof is non-trivial. Taking the Sheffer stroke to be primitive (as proposed by Russell in the second edition), with bad choices of scope the analysis fails to terminate. (shrink)

The project of grounding necessity in essence often goes together with the model of essence that assimilates the constitutive essence of an object to the definition of it. The paper argues that if the grounding project is to succeed, the definitional model must be questioned. Like any object whatever, a concrete individual is necessarily identical to that individual. It is argued that this necessity can have an essential ground only if the primitive identity property of it or its thisness is (...) essential to it, and the thisness is in its constitutive essence while not in the definition of it. A concrete individual is in essence partly definable but not fully explainable, for the definition of it forms a crucial part of its constitutive essence, but the constitutive essence includes something fundamental beyond definition or explanation. The definitional model must give way to a model of essence that accommodates this. (shrink)

The essay examines the proper treament of (i) naming (ii) necessity. (A) It argues their mutual independence (B) provides a treatment of naming separately from any idea of “designation” (C) gives treatment of de re modality without any use of possible worlds, essences, concepts, rigid designators (D) it argues an ultimate asymmetry–naming/referring is a key real notion of semantics; necessity should not be the central idea in the metaphysics of nature.

In this paper I argue against the commonly received view that Kripke's formal Possible World Semantics (PWS) reflects the adoption of a metaphysical interpretation of the modal operators. I consider in detail Kripke's three main innovations vis-à-vis Carnap's PWS: a new view of the worlds, variable domains of quantification, and the adoption of a notion of universal validity. I argue that all these changes are driven by the natural technical development of the model theory and its related notion of validity: (...) they are dictated by merely formal considerations, not interpretive concerns. I conclude that Kripke's model theoretic semantics does not induce a metaphysical reading of necessity, and is formally adequate independently of the specific interpretation of the modal operators. (shrink)

Frege’s writings contain arguments for the thesis (i) that a thought expressed by a sentence S is a structured object whose composition pictures the composition of S, and for the thesis (ii) that a thought is an unstructured object. I will argue that Frege’s reasons for both (i) and (ii) are strong. Frege’s explanation of the difference in sense between logically equivalent sentences rests on assumption (i), while Frege’s claim that the same thought can be decomposed differently makes (ii) plausible. (...) Thoughts are supposed to do work that requires that they be structured and work that requires that they be unstructured. But this cannot be! While the standard response to this problem is to reject either (i) or (ii), I propose a charitable repair in the spirit of Frege’s theory that accepts both. The key idea can be found in Frege’s Basic Laws of Arithmetic(BL, GGA). Frege argues that the thought expressed by a sentence is determined by the truth-conditions that can be derived from the semantic axioms for the sentence constituents. The fact that the same axiomatic truth-condition can be derived in different ways from different semantic axioms suggests a Fregean solution of the dilemma: A thought is a type that is instantiated by all sequences of senses (decomposed thoughts) that have the same axiomatic truth-conditions. This allows for multiple decomposability of the same thought (for different decomposed thoughts can have the same axiomatic truth-conditions) and for a notion of containment (the decomposed thought contains those senses whose semantic axioms are needed in the derivation of the truth-conditions). My proposal combines the virtues of (i) and (ii) without inheriting their vices. (shrink)

Saul Kripke’s thesis that ordinary proper names are rigid designators is supported by widely shared intuitions about the occurrence of names in ordinary modal contexts. By those intuitions names are scopeless with respect to the modal expressions. That is, sentences in a pair like (a) Aristotle might have been fond of dogs (b) Concerning Aristotle, it is true that he might have been fond of dogs will have the same truth value. The same does not in general hold for definite (...) descriptions. If we, like Kripke, account for this difference by means of the intensions of names and descriptions, we have to conclude that names do not in general have the same intension as any normal, identifying description. However, the difference in scope behavior between names and description can be accounted for alternatively by appeal to the semantics of the modal expressions. On the account we suggest, dubbed ‘relational modality’, simple singular terms, like proper names, contribute to modal contexts simply by their actual world reference, not by their (standard) intension. The relational modality account turns out to be fully equivalent with the rigidity account when it comes to truth of modal and non-modal sentences (with respect to the actual world), and hence supports the same basic intuitions. Given an alternative definition of consequence for relational modality, and a restriction to models with reflexive accessibility relations and non-empty world-bound domains, relational modality also turns out to be model theoretically equivalent with rigidity semantics with respect to logical consequence. Here we introduce the semantics, give the truth definition for relational modality models, and prove the equivalence results. (shrink)

This paper provides a defense of the description theory of proper names by constructing a ‘two-component’ theory of names. Using Kripke’s puzzle about belief as the stepping stone, this paper first points out problems with Kripke’s direct reference theory of names. It then presents the two-component theory of names and defends it against Kripke’s general criticisms of the description theory. It also compares the two-component theory of names against other leading description theories and shows how the two-component theory provides a (...) better analysis of names. The paper offers a comprehensive summary of the debate between the description theory and the direct reference theory of names. At the end, it shows how the two-component theory of names can deal with Kripke’s puzzle and more. (shrink)

In the semantic revolution that has led many philosophers of language away from Fregeanism and towards the acceptance of direct reference, the notion of rigidity introduced by Saul Kripke in Naming and Necessity has played a crucial role. The notions of rigidity and direct reference are indeed different, but proponents of new theories of reference agree that there is a one way connection between them: although not all rigid terms are directly referential (witness rigid definite descriptions), all directly referential terms (...) are rigid. My purpose in this paper is to contest this widely held view. I will argue that, on a certain conception of what direct reference is (a conception present in the works of the main proponents of the theory), the fact that a term is directly referential does not entail that it is rigid. From this conclusion, I will argue, we can learn some substantial lessons about the assumptions and commitments of new theories of reference. (shrink)

Among modal claims, claims that involve the notions of broadly logical possibility and necessity, one that seems almost trivial is this: that if some proposition is possible, then it is possibly true. However, there is an argument, due in its essentials to the medieval philosopher and logician Jean Buridan, to the effect that this seemingly trivial claim is, in fact, untrue. ;Briefly put, the argument is this. Let Q be the proposition that Quine does not exist. Since Quine's existence is (...) contingent, Q is possible. But, propositions are ontologically dependent upon their constituents, and Quine is a constituent of Q. So, necessarily, were Quine not to exist, neither would Q exist. And, a necessary condition of a proposition's being true is that it exist. Hence, there are propositions, such as Q, that are possible, but not possibly true. I call this conclusion, together with certain other similar claims, 'Buridanism'. ;My main topic is the evaluation of the argument for Buridanism, and the exploration of the consequences of Buridanism for modalist theories of possible worlds and for modal logic. I begin by examining the two crucial premises in the argument for Buridanism: N-dependency, according to which propositions expressed by sentences containing proper names are singular propositions that depend ontologically upon the referents of those names, and Buridan's Thesis, according to which a proposition can be neither necessary, nor possible, nor true, unless it exists. ;Robert Adams has argued that accepting Buridanism forces us to revise the modalist conception of possible worlds as maximal and consistent propositions or sets of propositions. I show that this is not the case, and provide an analysis of a proposition's being true relative to a world that allows us to maintain the modalist account while embracing Buridanism. ;Standard systems of quantified modal logic are prone to several related problems that I refer to as the problems of contingency. These systems often include as theorems formulas that seem to presuppose that everything that exists, exists necessarily. I develop a system of modal logic, BML, based upon Buridanism, that is able to overcome these difficulties. (shrink)

Theoria, Volume 88, Issue 2, Page 276-277, April 2022.

Names are rigid designators, but what kind of rigidity do they exhibit? Both “obstinately” and “persistently” rigid designators pick out O at every world at which they pick out anything at all. They differ in that obstinately rigid designators also pick out O at worlds at which O fails to exist; persistently rigid designators have no extension whatsoever at worlds at which O fails to exist. The question whether names are obstinate or persistent arises in two contexts: in arguments against (...) rigidified descriptivism (on the grounds that names and rigidified descriptions exhibit different kinds of rigidity) and in considerations about what it means for an expression to be “directly referential.” This paper contends that names are persistent, not obstinate. The position thus clarifies the relationship between Millian theories of names and rigid designation, in addition to undermining attempts to rehabilitate the modal argument against rigidified descriptivism. (shrink)

The canonical arguments against the description theory of names are usually taken to have established that the reference of a name as used on a given occasion is not semantically determined by the qualitative descriptions that the speaker may have in mind. The deepest moral of these arguments, on the received view, would be that the speaker’s narrow mental states play no semantic role in fixing reference. My central aim in this paper is to challenge this common understanding by highlighting (...) that the same argumentative schemas can be adapted to undermine a related non-description theory, according to which the reference of a name as used on a given occasion would semantically depend on broad mental states of the speaker. Once this is realised, it becomes evident that the falsity of the description theory is not the deepest lesson of the canonical arguments, but only a consequence of the deepest lesson. The most fundamental moral is that the speaker’s mental states, whether narrow or broad, do not always determine linguistic reference. (shrink)

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