This paper concerns the applications of two-dimensional modal semantics to the explanation of the contents of speech and thought. Different interpretations and applications of the apparatus are contrasted. First, it is argued that David Kaplan's two-dimensional semantics for indexical expressions is different from the use that I made of a formally similar framework to represent the role of contingent information in the determination of what is said. But the two applications are complementary rather than conflicting. Second, my interpretation (...) of the apparatus is contrasted with that of David Chalmers, Frank Jackson, and David Lewis. It is argued that this difference reflects a contrast between internalist and externalist approaches to the problem of intentionality. (shrink)

This paper concerns the applications of two-dimensional modal semantics to the explanation of the contents of speech and thought. Different interpretations and applications of the apparatus are contrasted. First, it is argued that David Kaplan's two-dimensional semantics for indexical expressions is different from the use that I made of a formally similar framework to represent the role of contingent information in the determination of what is said. But the two applications are complementary rather than conflicting. Second, my interpretation (...) of the apparatus is contrasted with that of David Chalmers, Frank Jackson, and David Lewis. It is argued that this difference reflects a contrast between internalist and externalist approaches to the problem of intentionality. (shrink)

Saul Kripke did more than anyone else to bring possible worlds into the contemporary philosophical discourse, first with his more formal work on the model theory for modal logic in the 1960s, and then with his more philosophical lectures on reference and modality, delivered in January 1970, that used the possible worlds apparatus informally to clarify the relations between semantic issues about names and metaphysical issues about individuals and kinds. Possible worlds semantics have been widely applied since then, both (...) in philosophy and in other fields such as linguistic semantics and pragmatics, theoretical computer science, and game theory. Kripke’s work, along with that of David Lewis, stimulated an ongoing debate about the nature and metaphysical status of possible worlds. Kripke himself has had little to say about the issues raised in this debate, in print, beyond what he said in Naming and Necessity and in brief remarks in a preface to a later edition of the lectures, published in 1980. But there is a clear view of the nature of possible worlds, and of the status of an explanation of modality in terms of possible worlds, implicit in the lectures and the preface. -/- The central focus of the post–Naming and Necessity debate about possible worlds has been a contrast between David Lewis’s modal realism and various versions of actualism. On this general issue, it is clear enough where Kripke stands: His criticisms of what he describes as the “other countries” picture of possible worlds are an explicit rejection of Lewis’s realism about possible worlds. But the rejection of modal realism raises a range of further questions: What exactly are possible worlds (or possible states of the world, which Kripke suggests would be less misleading terminology)? What contribution do they make to the explanation of modal discourse, and of the distinctive facts that modal discourse is used to state? Does the slogan “necessity is truth in all possible worlds” provide, or point to, a reductive analysis of necessity? Are possible worlds, in some sense, prior to modal operators and modal auxiliaries? If not, in what sense are they explanatory? How are possible worlds, or counterfactual situations, specified? How do they contribute to our understanding of specific meta- physical questions about the relations between particular individuals and their qualitative characteristics, the kinds to which they belong, and the matter of which they are constituted? How are we to understand the possible existence of individuals that do not actually exist? What is the status of the domains of individuals in merely possible worlds? -/- My aim in this chapter is to spell out the views about some of these foundational questions that are expressed or at least implicit in Kripke’s lectures. In Section 2, I discuss the general contrast between modal realism and actualism and questions about the kind of explanation that possible worlds provide for modal discourse and modal facts. In Section 3, I look at Kripke’s views about how possible worlds are specified, in particular at the role of individuals in specifying possible worlds. In Section 4, I consider the problems about merely possible individuals. (shrink)

This chapter contains sections titled: Introduction Method and metaphysics Modal realism Counterfactuals and causation Conclusion.

This chapter starts with Goodman's project, saying what his aim was, spelling out the resources that he allowed himself to use in order to accomplish this aim, and explaining why the aim could not be accomplished with these resources. The author considers Goodman's response to the acknowledged failure of his initial attempt at analysis: how he proposed to redefine his Humean project. The chapter sketches David Lewis's project, which has two parts: an abstract formal semantic analysis of conditionals, and an (...) attempt to explain the primitive parameters of the semantic models in a way that is austere enough to satisfy the Humean structures. The author argues that Lewis does not succeed in identifying a suitable base for a reduction of counterfactuals and other causal notions. The chapter concludes with a brief remark on the problems that remain if we reject the project of Humean reduction. (shrink)

The classic Lewis-Stalnaker semantics for counterfactuals captures that Sobel sequences are consistent sequences, for example: a.If Sophie had gone to the parade, she would have seen Pedro dance. b.But if Sophie had gone to the parade and been stuck behind someone tall, she would not have seen Pedro dance. But reverse a sequence like this one and it no longer sounds so good, which is surprising on the classic semantics. This observation motivated Kai von Fintel and Thony Gillies (...) to propose dynamic semantic accounts of counterfactual conditionals. Subsequently, Sarah Moss defended the classic semantics against the charge that it need be abandoned in the face of these order effects, arguing that the infelicity of the reverse sequences is pragmatic. I argue that both accounts are ultimately untenable, but each account has strengths. Seeing what works and what doesn't in each account points the way to the right positive view. With this in mind, I defend a contextualist account of counterfactuals that takes conversational relevance to play a central role. (shrink)

Building on influential work in virtue ethics, this collection of essays examines the categories of self, person, and anthropology as foci for comparative analysis. The papers unite reflections on theory and method with descriptive work that addresses thinkers from the modern West, Christian and Jewish Late Antiquity, early China, and other settings. The introduction sets out central methodological issues that are subsequently taken up in each essay, including the origin of the categories through which comparison proceeds, the status of these (...) categories in the process of comparison, and the goals of comparison. In considering the question of goals, the introduction draws connections between comparative study and historical study within one tradition. Both types of analysis can bridge the gap between historical and normative work by attending to the ways in which the questions a scholar asks - not just the answers found - vary from one context to another. (shrink)

Building on influential work in virtue ethics, this collection of essays examines the categories of self, person, and anthropology as foci for comparative analysis. The papers unite reflections on theory and method with descriptive work that addresses thinkers from the modern West, Christian and Jewish Late Antiquity, early China, and other settings. The introduction sets out central methodological issues that are subsequently taken up in each essay, including the origin of the categories through which comparison proceeds, the status of these (...) categories in the process of comparison, and the goals of comparison. In considering the question of goals, the introduction draws connections between comparative study and historical study within one tradition. Both types of analysis can bridge the gap between historical and normative work by attending to the ways in which the questions a scholar asks - not just the answers found - vary from one context to another. (shrink)

David Lewis's account of intentionality is a version of what he calls 'global descriptivism'. The rough idea is that the correct interpretation of one's total theory is the one (among the admissible interpretations) that come closest to making it true. I give an exposition of this account, as I understand it, and try to bring out some of its consequences. I argue that there is a tension between Lewis's global descriptivism and his rejection of a linguistic account of the intentionality (...) of thought. I distinguish some different senses in which Lewis's theory might permit, or be committed to, a kind of holism about intentional content, and I consider the sense in which Lewis's account might be said to be an internalist account, and the motivation for this kind of internalism. (shrink)

Closest-possible-world analyses of counterfactuals suffer from what has been called the ‘problem of counterpossibles’: some counterfactuals with metaphysically impossible antecedents seem plainly false, but the proposed analyses imply that they are all (vacuously) true. One alleged solution to this problem is the addition of impossible worlds. In this paper, I argue that the closest possible or impossible world analyses that have recently been suggested suffer from the ‘new problem of counterpossibles’: the proposed analyses imply that some plainly true counterpossibles (viz., (...) ‘counterlogicals’) are false. After motivating and presenting the ‘new problem’, I give reasons to think that the most plausible objection to my argument is not compelling. (shrink)

The editors of the JRE solicited short essays on the COVID‐19 pandemic from a group of scholars of religious ethics that reflected on how the field might help them make sense of the complex religious, cultural, ethical, and political implications of the pandemic, and on how the pandemic might shape the future of religious ethics.

[Robert Stalnaker] Saul Kripke made a convincing case that there are necessary truths that are knowable only a posteriori as well as contingent truths that are knowable a priori. A number of philosophers have used a two-dimensional model semantic apparatus to represent and clarify the phenomena that Kripke pointed to. According to this analysis, statements have truth-conditions in two different ways depending on whether one considers a possible world 'as actual' or 'as counterfactual' in determining the truth-value of the statement (...) relative to that possible world. There are no necessary a posteriori or contingent a priori propositions: rather, contingent a priori and necessary a posteriori statements are statements that are necessary when evaluated one way, and contingent when evaluated the other way. This paper distinguishes two ways that the two-dimensional framework can be interpreted, and argues that one of them gives the better account of what it means to 'consider a world as actual', but that it provides no support for any notion of purely conceptual a priori truth. /// [Thomas Baldwin] Two-dimensional possible world semantic theory suggests that Kripke's examples of the necessary a posteriori and contingent a priori should be handled by interpreting names as implicitly indexical. Like Stalnaker, I reject this account of names and accept that Kripke's examples have to be accommodated within a metasemantic theory. But whereas Stalnaker maintains that a metasemantic approach undermines the conception of a priori truth, I argue that it offers the opportunity to develop a conception of the a priori aspect of stipulations, conceived as linguistic performances. The resulting position accommodates Kripke's examples in a way which is both intrinsically plausible and fits with Kripke's actual discussion of them. (shrink)

This chapter aims to resolve some of Nathan Salmon's puzzlement by clarifying the relationship between theses and questions about reference and theses and questions about necessity and possibility. It argues that while Saul Kripke defends metaphysical theses about the descriptive semantics of names, the way the reference relation is determined, and the capacities and dispositions of human beings and physical objects, his most important philosophical accomplishment is in the way he posed and clarified the questions, and not in the (...) particular answers that he gave to them. In response to the question about the capacities and potentialities of the things that peoples commonly refer to with names, Kripke defends the thesis that it makes sense to talk about the logical potential of an individual thing independently of how it is referred to, and that this potential is greater in certain ways, and less great in others, than some philosophers have supposed. (shrink)

The book also sheds new light on the nature of metaphysical theorizing by exploring the interaction of semantic and metaphysical issues, the connections between different metaphysical issues, and the nature of ontological commitment.

The aim of the paper is to draw a connection between a semantical theory of conditional statements and the theory of conditional probability. First, the probability calculus is interpreted as a semantics for truth functional logic. Absolute probabilities are treated as degrees of rational belief. Conditional probabilities are explicitly defined in terms of absolute probabilities in the familiar way. Second, the probability calculus is extended in order to provide an interpretation for counterfactual probabilities--conditional probabilities where the condition has zero (...) probability. Third, conditional propositions are introduced as propositions whose absolute probability is equal to the conditional probability of the consequent on the antecedent. An axiom system for this conditional connective is recovered from the probabilistic definition. Finally, the primary semantics for this axiom system, presented elsewhere, is related to the probabilistic interpretation. (shrink)

[Robert Stalnaker] Saul Kripke made a convincing case that there are necessary truths that are knowable only a posteriori as well as contingent truths that are knowable a priori. A number of philosophers have used a two-dimensional model semantic apparatus to represent and clarify the phenomena that Kripke pointed to. According to this analysis, statements have truth-conditions in two different ways depending on whether one considers a possible world 'as actual' or 'as counterfactual' in determining the truth-value of the statement (...) relative to that possible world. There are no necessary a posteriori or contingent a priori propositions: rather, contingent a priori and necessary a posteriori statements are statements that are necessary when evaluated one way, and contingent when evaluated the other way. This paper distinguishes two ways that the two-dimensional framework can be interpreted, and argues that one of them gives the better account of what it means to 'consider a world as actual', but that it provides no support for any notion of purely conceptual a priori truth. /// [Thomas Baldwin] Two-dimensional possible world semantic theory suggests that Kripke's examples of the necessary a posteriori and contingent a priori should be handled by interpreting names as implicitly indexical. Like Stalnaker, I reject this account of names and accept that Kripke's examples have to be accommodated within a metasemantic theory. But whereas Stalnaker maintains that a metasemantic approach undermines the conception of a priori truth, I argue that it offers the opportunity to develop a conception of the a priori aspect of stipulations, conceived as linguistic performances. The resulting position accommodates Kripke's examples in a way which is both intrinsically plausible and fits with Kripke's actual discussion of them. (shrink)

The first volume of this series presents fifteen selected papers dealing with a variety of topics in ontology, philosophy of mind, and philosophy of language.

This paper examines two logical principles that combine modality with quantification and with identity: a weaker version of the converse Barcan formula, and the principle of the necessity, not of identity, but of distinctness. It is argued that there are conceptual assumptions that lie behind and help the independence of these principles, and a semantics with some conceptual interest that invalidates them. A qualified converse Barcan formula is discussed. It is shown that the necessity of distinctness is an independent (...) principle, even in a theory that includes the qualified converse Barcan formula. (shrink)

This paper explores David Lewis’s four theses on possible worlds. It is argued that these constitute a doctrine called extreme realism about possible worlds, which is deemed false. However, these theses need not be accepted or rejected as a package. The independence of the more plausible parts of the package is shown to defend the coherence of a more moderate form of realism about possible worlds, one that may be justified by common modal opinions and defended as a foundation for (...) a theory about the activities of rational agents. (shrink)

This paper examines the disagreement between those who think zombies are possible and those who think they are not. It aims to shed light on general questions about the nature of modal claims, and about the relation between metaphysical, semantic, and empirical questions. The views of three functional philosophers who provide unequivocal answers to the question “Are zombies possible?” are described.

This paper explores the relationship between theses and questions about reference, necessity, and possibility. The analysis focuses on the theses Saul Kripke defends about individuals and their names. It is argued that Kripke’s contribution was to separate metaphysical and semantic issues. Kripke’s theses on proper names and reference do not presuppose any controversial metaphysical theories. No metaphysical conclusions are derived from theses about reference and names, although clarifications on the nature of reference helps in rebuttals to arguments against metaphysical theses (...) that Kripke defends. (shrink)

This paper explores the conception of self proposed by Thomas Nagel. It is argued that more must be said to clarify the place of a subjective point of view in the objective world than is said by semantic diagnosis. The paper discusses the semantic diagnosis and Nagel’s reasons for finding it unsatisfactory. A metaphysical solution to the problem is presented and the place of subjective point of view in an objective world is explained. It is then analyses whether the austere (...) view of contextual or subjective information can account for information about the qualitative character of experience. (shrink)

... 112 ROBERT STALNAKER example Alvin Plantinga and Robert Adams) define possible worlds in terms of states of affairs or propositions ; others (for example Max Cresswell) use a strategy quite similar to that of situation semantics, defining possible worlds as constructs out of ..

This paper explores a different version of the counterpart theory - that the actualist can coherently combine a belief in primitive thisness and genuine identity across possible worlds with a version of counterpart theory that permits one to make sense of contingent identity and distinctness, i.e., if the claims that one thing might have been two, and that distinct things might have been identical. The theses called haecceitism is analysed, and it is argued that this doctrine can be reconciled with (...) a version of counterpart theory, and with the coherence of contingent identity. The impact of this account of counterparts and identity on the abstract semantics of quatified modal logic is considered. (shrink)

This introductory chapter presents an overview of the papers included in this book. The author begins with a discussion on what metaphysics is. He observes recurring themes in his papers that echo the philosophies of W.V. Quine and David Lewis, and cites a mix of agreements and disagreements between Lewis and himself on both substantive and methological issues.

Nathan Salmon has argued that the identity relation cannot be vague nor semantically indeterminate. Although this is a sound argument, what this shows may be misleading, particularly about identity across time and across possible worlds. This paper attempts to clarify the conclusion of this argument - about what kind of semantic indeterminacy it excludes and what kind it permits.

The bare particular anti-essentialism theory holds that for every individual and every property, there are possible worlds in which the individual has the property and possible worlds in which it does not. It is argued that one cannot make semantical sense out of bare particular anti-essentialism within the framework of the standard semantics for modal logic. An alternative to the standard semantics is proposed that can make sense out of the bare particular theory. The alternative will not require (...) that the anti-essentialism doctrine be true, but that doctrine will be embodied in a simple formal condition which is naturally imposed on the models definable within the alternative semantics. (shrink)

In this paper I present a precise version of Stalnaker's thesis and show that it is both consistent and predicts our intuitive judgments about the probabilities of conditionals. The thesis states that someone whose total evidence is E should have the same credence in the proposition expressed by 'if A then B' in a context where E is salient as they have conditional credence in the proposition B expresses given the proposition A expresses in that context. The thesis is formalised (...) rigorously and two models are provided that demonstrate that the new thesis is indeed tenable within a standard possible world semantics based on selection functions. Unlike the Stalnaker-Lewis semantics the selection functions cannot be understood in terms of similarity. A probabilistic account of selection is defended in its place. -/- I end the paper by suggesting that this approach overcomes some of the objections often leveled at accounts of indicatives based on the notion of similarity. (shrink)

The standard philosophical analysis of counterfactual conditionals—the Lewis-Stalnaker analysis—analyzes the truth-conditions of counterfactuals in terms of nearby possible worlds. This paper demonstrates that this analysis is false. §1 shows that it is a serious epistemic and metaphysical possibility that our “world” is a massive computer simulation, and that if the Lewis-Stalnaker analysis of counterfactuals is correct, then it should extend seamlessly to the case that our world is a computer simulation, in the form of a possible-simulation semantics. §2 then (...) shows, however, that a Lewis-Stalnaker-style possible-simulation semantics clearly fails as an analysis of the truth-conditions of counterfactuals in two types of simulated worlds: Humean Simulations and Necessitarian simulations. §3 then considers and answers several objections to the argument. Finally, §4 draws several skeptical, but compelling lessons about counterfactuals from the argument. (shrink)