This paper criticizes Soames’s main argument against a variant of two-dimensionalism that he calls strong two-dimensionalism. The idea of Soames’s argument is to show that the strong two-dimensionalist’s semantics for belief ascriptions delivers wrong semantic verdicts about certain complex modal sentences that contain both such ascriptions and claims about the truth of the ascribed beliefs. A closer look at the formal semantics underlying strong two-dimensionalism reveals that there are two feasible ways of specifying the truth conditions for claims of the (...) latter sort. Only one of the two yields the problematic semantic verdicts, so strong two-dimensionalists can avoid Soames’s argument by settling for the other way. (shrink)

This book is about the idea that some true statements would have been true no matter how the world had turned out, while others could have been false. It develops and defends a version of the idea that we tell the difference between these two types of truths in part by reflecting on the meanings of words. It has often been thought that modal issues—issues about possibility and necessity—are related to issues about meaning. In this book, the author defends the (...) view that the analysis of meaning is not just a preliminary to answering modal questions in philosophy; it is not merely that before we can find out whether something is possible, we need to get clear on what we are talking about. Rather, clarity about meaning often brings with it answers to modal questions. In service of this view, the author analyzes the notion of necessity and develops ideas about linguistic meaning, applying them to several puzzles and problems in philosophy of language. Meaning and Metaphysical Necessity will be of interest to scholars and advanced students working in metaphysics, philosophy of language, and philosophical logic. [See my homepage for a sample chapter.]. (shrink)

I argue that the two-dimensional hyperintensions of epistemic topic-sensitive two-dimensional truthmaker semantics provide a compelling solution to the access problem. -/- I countenance an abstraction principle for two-dimensional hyperintensions based on Voevodsky's Univalence Axiom and function type equivalence in Homotopy Type Theory. The truth of my first-order abstraction principle for two-dimensional hyperintensions is grounded in its being possibly recursively enumerable i.e. Turing computable and the Turing machine being physically implementable. I apply, further, modal rationalism in modal epistemology to solve the (...) access problem. Epistemic possibility and hyperintensionality, i.e. conceivability, can be a guide to metaphysical possibility and hyperintensionality, when (i) epistemic worlds or epistemic hyperintensional states are interpreted as being centered metaphysical worlds or hyperintensional states, i.e. indexed to an agent, when (ii) the epistemic (hyper-)intensions and metaphysical (hyper-)intensions for a sentence coincide, i.e. the hyperintension has the same value irrespective of whether the worlds in the argument of the functions are considered as epistemic or metaphysical, and when (iii) sentences are said to consist in super-rigid expressions, i.e. rigid expressions in all epistemic worlds or states and in all metaphysical worlds or states. I argue that (i) and (ii) obtain in the case of the access problem. (shrink)

There is an important and fairly straightforward link between necessity and apriority which can shed light on our knowledge of the former, but initially plausible attempts to spell out what it is fall victim to counterexamples. Casullo discusses one such proposal, argues—following Anderson :1–20, )—that it fails, and suggests an alternative. In this paper, I argue that Casullo’s alternative also fails, before making a suggestion for which I can find no counterexamples and which, notably, handles some recent examples due to (...) Kipper and Strohminger and Yli-Vakkuri. (shrink)

I am aware of the rain outside, but only in virtue of looking at a weather report. I am aware of my friend, but only because I hear her voice through my phone. Thus, there are some things that I’m aware of, but only indirectly. Many philosophers believe that there are also some things of which I am directly aware. The most plausible candidates are experiences such as pains, tickles, visual sensations, etc. In fact, the philosophical consensus seems to be (...) that experiences are the only plausible candidates for acquaintance. But I will argue that we are also acquainted with ourselves. After outlining what it means to be acquainted with oneself, I will introduce, develop, and defend a commonly used test for acquaintance. Then I will apply this test to us and show that we pass. I will consider various objections to my argument. But ultimately I will conclude that we can be, and often are, acquainted with ourselves. (shrink)

In this paper, I argue that how a mind can come to be about an object and how the world is independently of the workings of any mind are inextricably linked. Hence, epistemology, at its most basic, and metaphysics are systematically related. In order to demonstrate the primary thesis of the paper, I first articulate two contrary accounts of the nature of reality and then two contradictory general views of intentionality. I argue that these positions can be combined in only (...) two ways. This argument turns on the impossibility of there being an object that cannot, in principle, be thought of or referred to, so I present reasons for thinking such a thing cannot exist. The upshot is that there are but two intentional-cum-ontological positions, that is, two unified positions regarding how a mind relates to the world and what the world is like in itself. This might be surprising, for one might have thought that the views in the different domains were independent; it is significant, because it shows that views that might have seemed related by mere affinity are, in fact, necessarily conjoined. I conclude by presenting reasons for thinking one of the two intentional-cum-ontological positions is untenable. (shrink)

One of Kripke's fundamental objections to descriptivism was that the theory misclassifies certain _a posteriori_ propositions expressed by sentences involving names as _a priori_. Though nowadays very few philosophers would endorse a descriptivism of the sort that Kripke criticized, many find two-dimensional semantics attractive as a kind of successor theory. Because two-dimensionalism needn't be a form of descriptivism, it is not open to the epistemic argument as formulated by Kripke; but the most promising versions of two-dimensionalism are open to a (...) close relative of that argument. (shrink)

In his conceivability argument, Chalmers assumes that all properties have their causal powers contingently and causal laws are also contingent. We argue that this claim conflicts with how conceivability itself must work for the conceivability argument to be successful. If conceivability is to be an effective mechanism to determine possibility, it must work as a matter of necessity, since contingent conceivability renders conceivability fallible for an ideal reasoner and the fallible conceivability of zombies would not entail their possibility. But necessary (...) conceivability must either be governed by necessitating causal processes or by a necessitating non-causal mechanism. We argue that the latter option is untenable or mysterious; whereas, if Chalmers chooses the former and applies it only to conceivability, his solution is ad hoc, but if he accepts necessary causal powers or processes generally, the conceivability argument fails. We conclude that, as it stands, the Conceivability Argument does not establish that physicalism is false. (shrink)