I give an account of the nature of absolute or metaphysical necessity. Absolute-necessarily P, I suggest, just if it is always the case that P and there never is or was a power with a chance to bring it about, bring about a power to bring it about, etc., that not P. I display both advantages and a cost of this sort of definition.

According to Timothy Williamson, we should accept the simplest and most powerful second-order modal logic, and as a result accept an ontology of "bare possibilia". This general method for extracting ontology from logic is salutary, but its application in this case depends on a questionable assumption: that modality is a fundamental feature of the world.

This paper offers a novel conversational implicature account of the pragmatic sensitivity of knowledge attributions. Developing an account I first suggested elsewhere and independently proposed by Lutz, this paper explores the idea that the relevant implicatures are generated by a constitutive relationship between believing a proposition and a disposition to treat that proposition as true in practical deliberation. I argue that while this view has a certain advantage over standard implicature accounts of pragmatic sensitivity, it comes with a significant concession (...) to proponents of pragmatic encroachment. On the account offered here, knowledge attributions have locally-pragmatically-sensitive implicatures because they have non-locally-pragmatically-sensitive entailments. The view thus represents a unique and powerful hybrid of these two approaches to the pragmatic sensitivity of knowledge attributions. (shrink)

Whether there exist causal relations between guns firing and people dying, between pedals pressed and cars accelerating, or between carbon dioxide emissions and global warming, is typically taken to be a mind-independent, objective, matter of fact. However, recent contributions to the literature on causation, in particular theories of contrastive causation and causal modelling, have undermined this central causal platitude by relativising causal facts to models or to interests. This thesis flies against the prevailing wind by arguing that we must pay (...) greater attention to which elements of our causal talk vary with context and which elements track genuine features of the world around us. I will argue that once these elements are teased apart we will be in a position to better understand some of the most persistent problems in the philosophy of causation: pre-emption cases, absence causation, failures of transitivity and overdetermination. The result is a naturalist account of causation, concordant with the contextual variability we find in our ordinary causal talk, and parsimonious with respect to the theoretical entities posited. (shrink)

Decision making for incompetent patients is a much-discussed topic in bioethics. According to one influential decision making standard, the substituted judgment standard, the decision that ought to be made for the incompetent patient is the decision the patient would have made, had he or she been competent. Although the merits of this standard have been extensively debated, some important issues have not been sufficiently explored. One fundamental problem is that the substituted judgment standard, as commonly formulated, is indeterminate in content (...) and thus offers the surrogate little or no guidance. What the standard does not specify is just how competent one should imagine the patient to be, and what else one ought to envision about the patient’s hypothetical outlook and the circumstances surrounding his or her decision making. The article discusses this problem of underdetermined decision conditions. (shrink)

This paper presents an adaptive logic enhancement of conditional logics of normality that allows for defeasible applications of Modus Ponens to conditionals. In addition to the possibilities these logics already offer in terms of reasoning about conditionals, this way they are enriched by the ability to perform default inferencing. The idea is to apply Modus Ponens defeasibly to a conditional and a fact on the condition that it is ‘safe' to do so concerning the factual and conditional knowledge at hand. (...) It is for instance not safe if the given information describes exceptional circumstances: although birds usually fly, penguins are exceptional to this rule. The two adaptive standard strategies are shown to correspond to different intuitions, a skeptical and a credulous reasoning type, which manifest themselves in the handling of so-called floating conclusions. (shrink)

Counterfactual conditionals have been appealed to in various ways to show how the mind can be causally efficacious. However, it has often been overestimated what the truth of certain counterfactuals actually indicates about causation. The paper first identifies four approaches that seem to commit precisely this mistake. The arguments discussed involve erroneous assumptions about the connection of counterfactual dependence and genuine causation, as well as a disregard of the requisite evaluation conditions of counterfactuals. In a second step, the paper uses (...) the insights of the foregoing analyses to formulate a set of counterfactuals-based conditions that are characterized as sufficient to establish singular causal claims. The paper concludes that there are ample reasons to believe that some mental events satisfy all these conditions with respect to certain further events and, hence, that mental events sometimes are causes. (shrink)

In this paper, I argue for the following claims. Contextualist strategies to tame or localize epistemic skepticism are hopeless if contextualist factors are construed internalistically. However, because efforts to contextualize externalism via subjunctive conditional analysis court circularity, it is only on an internalistic interpretation that contextualist strategies can even be motivated. While these claims do not give us an argument for skepticism, they do give us an argument that contextualism, as such, is not likely to provide us with an argument (...) against skepticism. (shrink)

Against Barnett (2012), I argue that the theory I advance in DeRose 2010 is best construed as one on which ‘"were"ed-up’ future-directed conditionals like ‘If the house were not to be painted, it would soon look quite shabby’ are, in ways important to how they function in deliberation, different in literal content from their ‘straightforward’ counterparts like ‘If the house is not painted, it will soon look quite shabby’. I also defend my way of classifying future-directed conditionals against an attack (...) by Barnett by defending a standard (among philosophers) approach to the basic structure of some conditionals. Finally, I counter Barnett’s charge that by using the concept of deliberation in my account of the meaning of future-directed conditionals, I put an implausibly demanding constraint on what it takes to understand such sentences. (shrink)

A prominent contemporary anti-skeptical strategy, most famously articulated by Keith DeRose, aims to cage the skeptic′s doubts by contextualizing subjunctive conditional accounts of knowledge through a conversational rule of sensitivity. This strategy, I argue, courts charges of circularity by selectively invoking heavy counterfactual machinery. The reason: such invocation threatens to utilize a metric for modal comparison that is implicitly informed by judgments of epistemic sameness. This gives us reason to fear that said modal metric is selectively cherry-picked in advance to (...) support the very anti-skeptical conclusion for which the contextualist longs. (shrink)

By analyzing the meaning of time I argue, without endorsing operationalism, that time is necessarily related to physical systems which can serve as clocks. This leads to a version of relationism about time which entails that there is no time 'before' the universe. Three notions of metaphysical 'time' (associated, respectively, with time as a mathematical concept, substantivalism, and modal relationism) which might support the idea of time 'before' the universe are discussed. I argue that there are no good reasons to (...) believe that metaphysical 'time' can be identified with what we ordinarily call time. I also briefly review and criticize the idea of time 'before' the big bang, associated with some recent speculative models in modern cosmology, and I argue that if the big bang model is a (roughly) correct description of our universe, then the best current answer to the question in the title is that time did have a beginning. (shrink)

There are two doctrines for which Quine is particularly well known: the doctrine of ontological commitment and the inscrutability thesis—the thesis that reference and quantification are inscrutable. At first glance, the two doctrines are squarely at odds. If there is no fact of the matter as to what our expressions refer to, then it would appear that no determinate commitments can be read off of our best theories. We argue here that the appearance of a clash between the two doctrines (...) is illusory. The reason that there is no real conflict is not simply that in determining our theories’ ontological commitments we naturally rely on our home language but also (and more importantly) that ontological commitment is not intimately tied to objectual quantification and a reference-first approach to language. Or so we will argue. We conclude with a new inscrutability argument which rests on the observation that the notion of objectual quantification, when properly cashed out, deflates. (shrink)

In this paper, the meanings of sentences containing the word or and a modal verb are used to arrive at a novel account of the meaning of or coordinations. It is proposed that or coordinations denote sets whose members are the denotations of the disjuncts; and that the truth conditions of sentences containing or coordinations require the existence of some set made available by the semantic environment which can be ‘divided up’ in accordance with the disjuncts. The relevant notion of (...) ‘dividing things up’ is made explicit in the paper. Detailed attention is given to the question of how the proposed truth conditions are derived from the syntactic input. The account offered allows for the derivation of both the disjunctive and the nondisjunctive readings of modal/or sentences, including the much-discussed free choice readings of may/or sentences. (shrink)

This thesis analyses the ontological nature of quantum particles. In it I argue that quantum particles, despite their indistinguishability, are objects in much the same way as classical particles. This similarity provides an important point of continuity between classical and quantum physics. I consider two notions of indistinguishability, that of indiscernibility and permutation symmetry. I argue that neither sort of indistinguishability undermines the identity of quantum particles. I further argue that, when we understand in distinguishability in terms of permutation symmetry, (...) classical particles are just as indistinguishable as quantum particles; for classical physics also possesses permutation symmetry. (shrink)

A definition is proposed to give precise meaning to the counterfactual statements that often appear in discussions of the implications of quantum mechanics. Of particular interest are counterfactual statements which involve events occurring at space-like separated points, which do not have an absolute time ordering. Some consequences of this definition are discussed.

The literature on conditionals is rife with alternate formulations of the abstract semantics of conditional logic. Each formulation has its own advantages in terms of applications and generalizations; nevertheless, they are for the most part equivalent, in the sense that they underwrite the same range of logical systems. The purpose of the present note is to bring under this umbrella the partition semantics introduced by Brian Skyrms in (Skyrms, 1984).

In a recent article [4], Fred I. Dretske has proposed a new analysis of natural laws. Dretske rejects the more or less standard view which says that laws are universal truths with a special function or status in science. As an alternative account, he suggests that laws are expressed by singular statements describing the relationship between universal properties and magnitudes: the statement It is a law that F's are G's3.is to be analysed as F-ness ↦ G-ness.I shall argue, however, that (...) Dretske's reasons for rejecting the standard account are not conclusive. Moreover, his own proposal seems to be either inadequate or reducible to that version of the standard account which takes laws to be nomically necessary generalizations. (shrink)

This paper employs tools and critiques from analytic feminist scholarship in order to show how particular values commonly on display in analytic theology have served both to marginalize certain voices from the realm of analytic theological debate and to reinforce a particular conception of the divine—one which, despite its historical roots, is not inevitable. I claim that a particular conception of what constitutes a “rational, objective, analytic thinker” often displays certain affinities with those infinite or maximal properties that analytic theologians (...) have taken to be most relevant or essential to their theological conceptions of the divine, and I explore what thinking differently about the former might mean for how we think about the latter and vice versa. (shrink)

The aim of this paper is to argue in favor of the view that some counterpossibles are false. This is done indirectly by showing that accepting the opposite view, i.e., one that ascribes truth to each and every counterpossible, results in the claim that every necessarily false theory has exactly the same consequences. Accordingly, it is shown that taking every counterpossible to be true not only undermines the value of debates over various alternative theories and their consequences, but also puts (...) into question the very possibility of such debates. In order to explicate this thesis, the close bond between counterpossibles and the so-called story prefix is explored. A number of possible responses to this criticism are also presented, and it is argued that none of them address the main problem. (shrink)

This thesis investigates the metaphysical nature of necessity. My study focuses primarily on the reduction of metaphysical necessity and the question of whether a necessary truth can be reductively defined. Theodore Sider develops a new reductive account of metaphysical necessity. Unfortunately, the multiple realizability problem posed by Jonathan Schaffer undermines the credibility of Sider’s account. This underlies my motivation to search for a revised Siderian account of necessity. On this basis, I propose a modified version of Sider’s account and argue (...) that analytic, natural-kind and micro-reduction truths are necessary truths if and only if they express the same states of affairs as logical truths. Since logical truths are necessary truths, analytic, natural-kind and micro-reduction truths are necessary truths as well. In this thesis, I will proceed as follows. Chapter 1 introduces Sider’s account of necessity. In particular, I focus on his analysis of the necessity of a micro-reduction truth. His analysis is largely constitutive of the notion of a metaphysical semantics and some associated notions. I reconstruct his analysis and articulate his metaphysical semantics and the associated notions. Chapter 2 presents and clarifies the multiple realizability problem of Schaffer. His critique shows that Sider’s metaphysical semantics cannot handle multiple realizability. Sider refutes this claim by arguing that the multiple realizability problem is a problem for his analysis of the necessity of a micro-reduction truth, not for his metaphysical semantics itself. This is a good starting point to propound a modified account of necessity. Chapter 3 proposes and articulates my modified analysis of the necessity of a micro-reduction, where I show that the necessity of a micro-reduction truth can be reductively defined without appeal to Sider’s metaphysical semantics. I argue that analytic, natural-kind and microreduction truths are necessary truths if and only if they express the same states of affairs as logical truths. Logical truths are necessary and so are they. After that, I consider a potential objection to my modified account and attempt to respond to it. (shrink)

Some properties such as having a beard and being a philosopher are intuitively qualitative, while other properties such as being identical to Plato and being a student of Socrates are intuitively non-qualitative. It is often assumed that, necessarily, a property is qualitative if and only if it can be designated descriptively without the aid of directly referential devices. I argue that this linguistic thesis fails in both directions: there might be non-qualitative properties that can be designated descriptively, and there appear (...) to be qualitative properties that can only be designated directly. I conclude that while the linguistic thesis is ultimately untenable as stated, it can be plausibly recast as a thesis about our concepts rather than the properties they designate. (shrink)

Lewis’ Best System Analysis of laws of nature is often criticized on the grounds that what it means to be the “best” system is too subjective for an analysis of lawhood. Recent proponents of the BSA have embraced the view’s close connection to the particulars of scientific practice despite the objection. I distinguish two compatible versions of the objection: one opposed to mind or subject dependence and the other opposed to relativity. The BSA can answer both. Answering the anti-relative version (...) of Armstrong’s objection requires that the BSA be no more or less relative than is required by scientific practice. A spectrum of relativity is introduced with extremes of minimally and maximally relative variants of the BSA, and extant variants of the BSA are located on it. Lastly, I sketch what work remains to be done with respect to Armstrong’s objection by BSA proponents depending on where in the spectrum of relativity they hope to locate their view. (shrink)

This article focuses on defective conditionals ? namely indicative conditionals whose antecedents are false and whose truth-values therefore cannot be determined. The problem is to decide which formal connective can adequately represent this usage. Classical logic renders defective conditionals true whereas traditional mathematics dismisses them as irrelevant. This difference in treatment entails that, at the propositional level, classical logic validates some sentences that are intuitively false in plane geometry. With two proofs, I show that the same flaw is shared by (...) a family of trivalent logics. I go on to examine the strict conditional and its derivatives. This family is the only one to avoid the faulty inference but it does so without addressing the status of the truth-value assigned to defective conditionals. (shrink)

This article deals with the semantics of “double-access” sentences. They are defined as English sentences which have a past tense morpheme in the matrix clause and a present tense morpheme in a subordinate clause in the immediate scope of the matrix past tense. They receive a very peculiar interpretation, which we will refer to as a “double-access interpretation.” The episode described in the embedded clause makes reference to two times: the time referred to by the matrix predicate and the utterance (...) time of the whole sentence. Previous studies on this construction are largely descriptive and do not attempt to analyze it formally, with one important exception. Abusch (1991) addresses the problems connected with the construction and proposes that double-access interpretations involvede re attitudes about intervals. Her proposal contains an important insight and provides one possible account of the double-access construction. My proposal was independently developed at approximately the same time as Abusch's and offers an alternative explanation for the phenomena. I consider a series of hypotheses and conclude that double-access readings involvede re attitude reports about state individuals. This account is couched in an eventuality-based framework and employs the techniques proposed by Cresswell and von Stechow (1982). In order to yield the desired reading, the tense must first adjoin to the complement S, then to the matrix S, leaving two traces in the process. (shrink)

I offer a new account of fair-play obligations for non-excludable benefits received from the state. Firstly, I argue that non-acceptance of these benefits frees recipients of fairness obligations only when a counterfactual condition is met; i.e. when non-acceptance would hold up in the closest possible world in which recipients do not hold motivationally-biased beliefs triggered by a desire to free-ride. Secondly, I argue that because of common mechanisms of self-deception there will be recipients who reject these benefits without meeting the (...) counterfactual condition. For this reason, I suggest that those who reject non-excludable benefits provided by the state have a duty to support their rejection with adequate reasons. Failing that, they can be permissibly treated as if they had fair-play obligations (although in fact they might not have them). Thus, I claim that there is a distinction, largely unappreciated, between the question of whether we have a duty of fairness to obey the law and the question of whether we can be permissibly treated as if we had one. (shrink)

In response to various shortcomings of regularity theories of natural law, some philosophers of a realist bent have recently been drawn to the view that a law of nature is a relation between universals. Heading this group are Michael Tooley and D. M. Armstrong.

A variation of Bell's theorem that deals with the indeterministic case is formulated and proved within the logical framework of Lewis's theory of counterfactuals. The no-faster-than-light-influence condition is expressed in terms of Lewis would counterfactual conditionals. Objections to this procedure raised by certain philosophers of science are examined and answered. The theorem shows that the incompatibility between the predictions of quantum theory and the idea of no faster-than-light influence cannot be ascribed to any auxiliary or tacit assumption of either determinism (...) or the related idea that outcomes of unperformed measurements are determinate within nature. In addition, the theorem provides an example of an application of Lewis's theory of counterfactuals in a rigorous scientific context. (shrink)

This paper recalls some applications of two-dimensional modal logic from the 1980s, including work on the logic of Actually and on a somewhat idealized version of the indicative/subjunctive distinction, as well as on absolute and relative necessity. There is some discussion of reactions this material has aroused in commentators since. We also survey related work by Leslie Tharp from roughly the same period.

This is an essay on the understanding of disposition concepts, which exploits the Ramsey test semantics of conditionals for a refined conditional analysis of dispositions. I will show that this semantics allows for a more accurate account of disposition concepts than the standard semantics of conditionals by David Lewis. This includes dealing with the counterexamples to the conditional analysis, which are known as finks, antidotes, and mimics.

We argue that the truth of determinism is not an interpretation-free fact and we systematically overview relevant interpretational choices that are less known in the philosophical literature. After bypassing the well known interpretational problem that arises in quantum mechanics we identify three further questions about the representational role of the mathematical structures employed by physical theories. Finally we point out that even if we settle all representational issues the received view of physical possibility may also allow the truth of determinism (...) to depend on prior philosophical convictions, notably on one's philosophical account of the nature of laws. (shrink)

The method of Conceptual Analysis makes use of natural language speaker intuitions about the meanings of expressions, and relies on an externalist assumption about meanings—namely, that they can be given in terms of referential relations and truth. This article argues that this widely used methodology in metaphysics is troubled, because the assumed externalist hypothesis about natural language meanings is beset with trenchant obstacles in explaining linguistic phenomena. It argues that the use of Conceptual Analysis in metaphysical investigation inherits the difficulties (...) for the externalist hypothesis generally assumed by metaphysical inquiry. It explores two cases of such investigation that serve to exemplify the breadth of topics susceptible to troubles with the externalist hypothesis regarding natural language meanings: the extended mind hypothesis and the metaphysics of causation. (shrink)

Relations of transworld similarity play an essential role in Lewis's system. Analysis reveals that they involve the possibility of detailed transworld belief. Such belief is problematic within Lewis's framework. He has an answer to the problems raised, but it relies on a dubious distinction between natural and mere properties. Replacing that distinction with a respectable one undermines an essential part of his case against one of his chief opponents, the linguistic ersatzist.

In [3] I argued for a particular kind of semantics for subjunctive conditionals. The arguments were based upon some linguistic considerations of the general character of what we mean when we say such and such. I urged that a semantics for subjunctive conditionals ought to provide a distinct representation of the subjunctive mood of a sentence, and should take seriously the fact that subjunctive conditionals admit distinctions of tense. The envisaged semantics took the subjunctive conditional to be about occasions, and (...) the central problem discussed was, accordingly, how to represent what must count as the same occasion in spite of whatever changes were required to make the antecedent of the conditional true. (shrink)

Stipulating universal propositions with a ceteris paribus clause is normal practice in science and especially in economics. Yet there are several problems associated with the use of ceteris paribus clauses in theorising and in policy matters. This paper first investigates three questions: how can ceteris paribus clauses be non-vacuous? How can ceteris paribus laws be true? And how can they help in formulating successful policy interventions in a diversity of contexts? It turns out that ceteris paribus clauses are not always (...) used legitimately. They are meant to fence off a theory from disturbing factors, but economists who do not specify the clause well enough tend to fence variables in rather than off. In such cases, it would be better to use theoretical abstraction, which is something very different from the use of ceteris paribus clauses. However, abstract theorising conceptually leads one away from the concrete detail of real world situations in which policies take place. Hence, a fourth question arises: how can policy interventions be properly designed on the basis of abstract laws? To answer this question, I defend interdisciplinarity in concept choice. (shrink)

This paper does two things. First, it defends, against a potential threat to it, the claim that a capacity for essentialist knowledge should not be placed among the core capacities for counterfactual knowledge. Second, it assesses a consequence of that claim—or better: of the discussion by means of which I defend it—in relation to Kment's and Williamson's views on the relation between modality and counterfactuals.

In this essay I enter into a recently published debate between Stephen Schiffer and Jerry Fodor concerning whether adequate sense can be made of the ceteris paribus conditions in special science laws, much of their focus being on the case of putative psychological laws. Schiffer argues that adequate sense cannot be made of ceteris paribus clauses, while Fodor attempts to overcome Schiffer's arguments, in defense of special science laws. More recently, Peter Mott has attempted to show that Fodor's response to (...) Schiffer fails, and furthermore that further study shows that the logical framework in which Schiffer and Fodor address their issue is susceptible to inconsistency.In this essay I argue that adequate sense can be made of ceteris paribus conditions. Against Mott, I argue that recent work in the model theory of non-monotonic logic indicates how his problem involving logical inconsistencies can be overcome. Against Schiffer, I argue that the claims that he makes against ceteris paribus clauses would lead to a fatal skepticism concerning indefinitely many of the claims we make about the world (and indeed that his claims would be destructive of the view of the special sciences that Schiffer himself presents in his paper), and that the semantical considerations from non-monotonic logic that I present provide a suitable framework for dealing with his complaints. Thus I come out on the whole on Fodor's side of this debate, although for my own reasons, as I argue against much of Fodor's own argumentation. (shrink)

This paper concerns recent attempts to use the epistemological notions of sensitivity and safety to shed light on legal debates about so-called “bare” statistical evidence. These notions might be thought to explain either the outright inadmissibility of such evidence or its inadequacy for a finding of fact—two different phenomena that are often discussed in tandem, but that, I insist, we do better to keep separate. I argue that neither sensitivity nor safety can hope to explain statistical evidence’s inadmissibility, since neither (...) offers a plausible criterion of admissibility that would exclude such evidence; both are subject to copious counterexamples, especially given their factivity, and it is difficult even to state a coherent criterion of admissibility in terms of either sensitivity or safety. The possibility remains, though, that either notion might explain statistical evidence’s inadequacy for a finding of fact; I express some doubts about this possibility but do not rule it out. (shrink)

There seem to be two ways of supposing a proposition: supposing “indicatively” that Shakespeare didn’t write Hamlet, it is likely that someone else did; supposing “subjunctively” that Shakespeare hadn’t written Hamlet, it is likely that nobody would have written the play. Let P be the probability of B on the subjunctive supposition that A. Is P equal to the probability of the corresponding counterfactual, A □→B? I review recent triviality arguments against this hypothesis and argue that they do not succeed. (...) On the other hand, I argue that even if we can equate P with P, we still need an account of how subjunctive conditional probabilities are related to unconditional probabilities. The triviality arguments reveal that the connection is not as straightforward as one might have hoped. (shrink)

A series of recent arguments purport to show that most counterfactuals of the form if A had happened then C would have happened are not true. These arguments pose a challenge to those of us who think that counterfactual discourse is a useful part of ordinary conversation, of philosophical reasoning, and of scientific inquiry. Either we find a way to revise the semantics for counterfactuals in order to avoid these arguments, or we find a way to ensure that the relevant (...) counterfactuals, while not true, are still assertible. I argue that regardless of which of these two strategies we choose, the natural ways of implementing these strategies all share a surprising consequence: they commit us to a particular metaphysical view about chance. (shrink)