Dual-role approaches to reasons say, roughly, that reasons can relate to actions in two fundamentally different ways: they can either require conformity, or justify an action without requiring that it be taken. This paper develops a formal dual-role approach, combining ideas from defeasible logic and practical philosophy. It then uses the approach to shed light on the phenomenon of supererogation and resolve a well-known puzzle about supererogation, namely, Horton’s All or Nothing Problem.

forthcoming in R. Cameron, B. Hale and A. Hoffmann (ed.s), The Logic, Epistemology and Metaphysics of Modality, Oxford University Press. Presents a concept-grounding account of modal knowledge.

I argue that we find the articulation of a problem concerning bodily agency in the early works of the Merleau-Ponty which he explicates as analogous to what he explicitly calls the problem of perception. The problem of perception is the problem of seeing how we can have the object given in person through it perspectival appearances. The problem concerning bodily agency is the problem of seeing how our bodily movements can be the direct manifestation of a person’s intentions in the (...) world. In both cases what, according to Merleau-Ponty, obscures a recognition of the phenomenon in question is a conception of our bodily capacities, i.e. our sensibility and our motility, which reduces these to the workings of mechanisms that are blind to meaning. I argue that both the problem concerning perception and the problem concerning bodily agency can be properly called transcendental. The problem of perception is transcendental because it concerns the very intelligibility of appearances and judgements with empirical content. The problem of bodily agency is transcendental in the sense that it concerns the very intelligibility of our bodily capacity to carry out intentions and by implication the intelligibility of our intentions as such. (shrink)

How do people understand questions about cause and prevent? Some theories propose that people affirm that A causes B if A's occurrence makes a difference to B's occurrence in one way or another. Other theories propose that A causes B if some quantity or symbol gets passed in some way from A to B. The aim of our studies is to compare these theories' ability to explain judgements of causation and prevention. We describe six experiments that compare judgements for causal (...) paths that involve a mechanism, i.e. a continuous process of transmission or exchange from cause to effect, against paths that involve no mechanism yet a change in the cause nevertheless brings about a change in the effect. Our results show that people prefer to attribute cause when a mechanism links cause to effect. In contrast, prevention is sensitive both to the presence of an interruption to a causal mechanism and to a change in the outcome in the absence of a mechanism. In this sense, ‘prevent’ means something different than ‘cause not'. We discuss the implications of our results for existing theories of causation. (shrink)

We need to understand the impossible. Francesco Berto and Mark Jago start by considering what the concepts of meaning, information, knowledge, belief, fiction, conditionality, and counterfactual supposition have in common. They are all concepts which divide the world up more finely than logic does. Logically equivalent sentences may carry different meanings and information and may differ in how they're believed. Fictions can be inconsistent yet meaningful. We can suppose impossible things without collapsing into total incoherence. Yet for the leading philosophical (...) theories of meaning, these phenomena are an unfathomable mystery. To understand these concepts, we need a metaphysical, logical, and conceptual grasp of situations that could not possibly exist: Impossible Worlds. This book discusses the metaphysics of impossible worlds and applies the concept to a range of central topics and open issues in logic, semantics, and philosophy. It considers problems in the logic of knowledge, the meaning of alternative logics, models of imagination and mental simulation, the theory of information, truth in fiction, the meaning of conditional statements, and reasoning about the impossible. In all these cases, impossible worlds have an essential role to play. (shrink)

Disposition ascription has been discussed a good deal over the last few decades, as has the revisionary metaphysical view of ordinary, persisting objects known as 'fourdimensionalism'. However, philosophers have not merged these topics and asked whether four-dimensional objects can be proper subjects of dispositional predicates. This paper seeks to remedy this oversight. It argues that, by and large, four-dimensional objects are not suited to take dispositional predicates.

How should we deal with apparent causation involving events that have not happened when omissions are cited as causes or when something is said to prevent some event? Phil Dowe claims that causal statements about preventions and omissions are ‘quasi-causal' claims about what would have been a cause, if the omitted event had happened or been caused if the prevention had not occurred. However, one important theory of the logic of causal statements – Donald Davidson's – allows us to take (...) causal statements about omissions and preventions as direct causal statements about events that are counterfactually described. This analysis provides a basis for solving a number of puzzles about ‘negative' events. Any ‘intuition' of difference between causal statements employing such descriptions and others employing positive descriptions of events is also explained. With omissions, where this intuition has some basis, it is shown that nevertheless omissions do really cause outcomes. (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)

Is the world internally connected by a web of necessary connections or is everything loose and independent? Followers of David Hume accept the latter by upholding Hume’s Dictum, according to which there are no necessary connections between distinct existences. Roughly put, anything can coexist with anything else, and anything can fail to coexist with anything else. Hume put it like this: “There is no object which implies the existence of any other if we consider these objects in themselves.” Since Hume’s (...) day, Hume’s Dictum has played a major role in philosophy, especially in contemporary metaphysics. In ruling out necessary connections, Hume’s Dictum implies that causal relations and the laws of nature are contingent. It makes other demands on our metaphysics of science as well; for example, it places restrictions on our metaphysics of counterfactuals, dispositions, and explanation. The principle has applications in other areas too. Hume’s Dictum places constraints on our theories of abstract objects and moral properties. For example, Hume’s Dictum rules out the view that moral properties are distinct from, but necessarily connected to, non-moral properties. While Hume’s Dictum is a prominent principle in metaphysics, few Humeans have defended the principle at length. It is assumed more often than it is argued for. As a result, Hume’s Dictum no longer enjoys the reputation it once did. It’s common to hear complaints about the lack of arguments in support of Hume’s Dictum. Moreover, philosophers are increasingly willing to defend views that are at odds with Hume’s Dictum. A striking example of this is the recent explosion of interest in views that take causal relations and the laws of nature to be necessary. Humeans can no longer afford to be complacent. An extended defense of Hume’s Dictum is called for, and that’s what this dissertation aims to offer. This dissertation has three parts. In the first part, I lay out some preliminaries and offer a precise formulation of Hume’s Dictum. In the second part, I develop three arguments in favor of Hume’s Dictum. In the final part, I defend Hume’s Dictum against objections. (shrink)

It has been argued that most truths about macroscopic states of affairs are entailed by a (hypothetical) complete descriptionPof the world in microscopic terms. In principle, micro-reductive explanations of non-microphysical truths could be constructeda priori.Against this claim, I show that reductive explanation requires knowledge about the phenomena to be reduced which cannot bea prioriextracted from microphysical information alone. Such reductions proceed in two steps: a “reductionR0” (“role-occupant”) establishes that a macroproperty M plays a certain causal role (specified in macro-terms), while (...) a “reductionMM” (“micro-macro”) establishes that some microproperty gives rise toM. (shrink)

Why do forces compose according to the parallelogram of forces? This question has been controversial; it is one episode in a longstanding, fundamental dispute regarding which facts are not to be explained dynamically. If the parallelogram law is explained statically, then the laws of statics are separate from and “transcend” the laws of dynamics. Alternatively, if the parallelogram law is explained dynamically, then statical laws become mere corollaries to the dynamical laws. I shall attempt to trace the history of this (...) controversy in order to identify what it would be for one or the other of these rival views to be correct. I shall argue that various familiar accounts of natural law not only make it difficult to see what the point of this dispute could have been, but also improperly foreclose some serious scientific options. I will sketch an alternative account of laws that helps us to understand what this dispute was all about. (shrink)

I develop a challenge for a widely suggested knowledge-first account of belief that turns, primarily, on unknowable propositions. I consider and reject several responses to my challenge and sketch a new knowledge-first account of belief that avoids it.

I go deep into the biology of the human organism to argue that the psychological features and functions of persons are realized by cellular and molecular parallel distributed processing networks dispersed throughout the whole body. Persons supervene on the computational processes of nervous, endocrine, immune, and genetic networks. Persons do not go with brains.

It is often argued that higher-level special-science properties cannot be causally efficacious since the lower-level physical properties on which they supervene are doing all the causal work. This claim is usually derived from an exclusion principle stating that if a higher-level property F supervenes on a physical property F* that is causally sufficient for a property G, then F cannot cause G. We employ an account of causation as difference-making to show that the truth or falsity of this principle is (...) a contingent matter and derive necessary and sufficient conditions under which a version of it holds. We argue that one important instance of the principle, far from undermining non-reductive physicalism, actually supports the causal autonomy of certain higher-level properties. (shrink)

This paper develops an account of the meaning of `ought', and the distinction between weak necessity modals (`ought', `should') and strong necessity modals (`must', `have to'). I argue that there is nothing specially ``strong'' about strong necessity modals per se: uses of `Must p' predicate the (deontic/epistemic/etc.) necessity of the prejacent p of the actual world (evaluation world). The apparent ``weakness'' of weak necessity modals derives from their bracketing whether the necessity of the prejacent is verified in the actual world. (...) `Ought p' can be accepted without needing to settle that the relevant considerations (norms, expectations, etc.) that actually apply verify the necessity of p. I call the basic account a modal-past approach to the weak/strong necessity modal distinction (for reasons that become evident). Several ways of implementing the approach in the formal semantics/pragmatics are critically examined. The account systematizes a wide range of linguistic phenomena: it generalizes across flavors of modality; it elucidates a special role that weak necessity modals play in discourse and planning; it captures contrasting logical, expressive, and illocutionary properties of weak and strong necessity modals; and it sheds light on how a notion of `ought' is often expressed in other languages. These phenomena have resisted systematic explanation. In closing I briefly consider how linguistic inquiry into differences among necessity modals may improve theorizing on broader philosophical issues. (shrink)

I give two arguments for the claim that all events which occur at the actual world and are such that they could be caused, are also such that they must actually be caused. The first argument is an improvement of a similar argument advanced by Alexander Pruss, which I show to be invalid. It uses Pruss’s Brouwer Analog for counterfactual logic, and, as a consequence, implies inconsistency with Lewis’s semantics for counterfactuals. While (I suggest) this consequence may not be objectionable, (...) the argument founders on the fact that Pruss’s Brouwer Analog has a clear counterexample. I thus turn to a second, “Lewisian” argument, which requires only an affirmation of one element of Lewis’s analysis of causation and one other, fairly weak possibility claim about the nature of wholly contingent events. The final section of the paper explains how both arguments escape objections from supposed indeterminacy in quantum physics. (shrink)

Consider the reasonable axioms of subjunctive conditionals if p → q1 and p → q2 at some world, then p → at that world, and if p1 → q and p2 → q at some world, then → q at that world, where p → q is the subjunctive conditional. I show that a Lewis-style semantics for subjunctive conditionals satisfies these axioms if and only if one makes a certain technical assumption about the closeness relation, an assumption that is probably (...) false. I will then show how Lewisian semantics can be modified so as to assure and even when the technical assumption fails, and in fact in one sense the semantics actually becomes simpler then. (shrink)

In this paper, I explore anomalous dualism about consciousness, a view that has not previously been explored in any detail. We can classify theories of consciousness along two dimensions: first, a theory might be physicalist or dualist; second, a theory might endorse any of the three following views regarding causal relations between phenomenal properties (properties that characterize states of our consciousness) and physical properties: nomism (the two kinds of property interact through deterministic laws), acausalism (they do not causally interact), and (...) anomalism (they interact but not through deterministic laws). I suggest that a kind of anomalous dualism, nonreductive anomalous panpsychism, promises to offer the best overall answer to two pressing issues for dualist views, the problem of mental causation and the mapping problem (the problem of predicting mind-body associations). (shrink)

According to a widely held view of the matter, whenever we assess beliefs as ‘rational’ or ‘justified’, we are making normative judgements about those beliefs. In this discussion, I shall simply assume, for the sake of argument, that this view is correct. My goal here is to explore a particular approach to understanding the basic principles that explain which of these normative judgements are true. Specifically, this approach is based on the assumption that all such normative principles are grounded in (...) facts about values, and the normative principles that apply to beliefs in particular are grounded in facts about alethic value––a kind of value that is exemplified by believing what is true and not believing what is false. In this chapter, I shall explain what I regard as the best way of interpreting this approach. In doing so, I shall also show how this interpretation can solve some problems that have recently been raised for approaches of this kind by Selim Berker, Jennifer Carr, Michael Caie, and Hilary Greaves. (shrink)

The epistemic thesis is the thesis that a 'might' counterfactual like 'If Matt had gone to the parade, David might have gone to the parade' has the same meaning as 'Maybe, if Matt had gone to the parade, David would have gone to the parade.' I offer a new theory of the counterfactual interpretation of the modal 'might' on which 'might' has the same meaning as 'maybe would'. And I show that, when coupled with a plausible semantics for 'if' clauses, (...) my theory validates the epistemic thesis. (shrink)

What is the connection between valid inference and true conditionals? Many conditional logics require that when A is a logical consequence of B, "if B then A" is true. Taking counterlogical conditionals seriously leads to systems that permit counterexamples to that general rule. However, this leaves those of us who endorse non-trivial accounts of counterpossible conditionals to explain what the connection between conditionals and consequence is. The explanation of the connection also answers a common line of objection to non-trivial counterpossibles, (...) which is based on a transition from valid arguments to the corresponding conditionals. It also contributes to the wider project of illuminating the connections between contexts of utterance, on the one hand, and the truth-conditions of conditionals uttered in those contexts, on the other. (shrink)

“S ought (not) to see to it that p at t” is true iff an intention on the part of S to see to it that p at t is (in) correct. From this truth condition follows an understanding of the conceptual role of ought-claims in practical inference: ought-claims are interchangeable with intentions having the same content. From this conceptual role, it is quite clear why first-person, present-tense ought-judgments, and just those, motivate: failure to be motivated is a failure of (...) rationality. The point and purpose of 'ought' is mainly to express the results of practical reasoning performed on premises held hypothetically, an exercise of which there are many varieties. Our capacity for normative thought and language is a consequence of, and intimately related to, our capacity for practical thought. (shrink)

The classic formulation of causal decision theory (CDT) appeals to counterfactuals. It says that you should aim to choose an option that would have a good outcome, were you to choose it. However, this version of CDT faces trouble if the laws of nature are deterministic. After all, the standard theory of counterfactuals says that, if the laws are deterministic, then if anything—including the choice you make—were different in the present, either the laws would be violated or the distant past (...) would be changed. And as several authors have shown, it's easy to transform this upshot of the standard theory of counterfactuals into full-blown counterexamples to CDT. In response to these counterexamples, I argue here that the problem lies, not so much with CDT's guiding idea—that it's the expected causal consequences of your actions that matter for rational decision-making—but with the fact that the classic formulation of CDT doesn't pay sufficient attention to the context-sensitivity of counterfactuals. I develop a contextualist version of CDT which better accounts for this context-sensitivity. And I show that my theory avoids the problems faced by the classic formulation of CDT in determinstic worlds. (shrink)

SummaryThis paper develops a semantical account of sentences containing performative principal verbs in which these verbs are analyzed as indexical expressions: the proposition picked out by a sentence containing a performative verb depends on aspects of the context of use of the sentence; and these same aspects of context of use also determine the truth value of the proposition picked out. A two‐dimensional modal operator is utilized in analyzing non‐ performative sentences that contain principal verb which, in other contexts, have (...) performative uses. Thus, the analysis developed accounts for the performative — non‐performative distinction within a formal semantic‐pragmatic framework; the more common approach of relegating the distinction to the somewhat vague realm of ‘language use’ is avoided.RésuméCet article développe un traitement sémantique des phrases contenant un verbe principal performatif. Ces verbes sont analysés comme des expressions indicées: la proposition sélectionnée par une phrase contenant un verbe performatif dépend du contexte d'usage de cette phrase; et ces mêmes aspects du contexte d'usage déterminent également la valeur de vérité de la proposition sélectionnée. Un opérateur modal à deux dimensions est utilisé pour l'analyse de phrases non‐performatives contenant un verbe principal performatif dans d'autres contextes. L'analyse développée rend ainsi compte de la distinction performatif — non‐performatif dans un cadre sémantico‐pragmatique; on évite ainsi la solution habituelle consistant à reléguer cette distinction dans le domaine plutôt vague de l'usage linguistique.ZusammenfassungEs wird eine semantische Darstellung von Sätzen entwickelt, die performative Hauptverben enthalten, indem diese Verben als indexikale Ausdrücke analysiert werden: die Proposition, die durch einen Satz mit einem performativen Verb bezeichnet wird, hängt von Aspekten des Gebrauchskontextes des Satzes ab; und gerade diese Aspekte bestimmen auch den Wahrheitswert der Proposition. Ein zweidimensionaler Modaloperator wird verwendet, um nicht‐performative Sätze zu analysieren, die Hauptverben enthalten, welche — in andern Kontexten — einen performativen Gebrauch haben. Auf diese Weise gibt die entwickelte Analyse innerhalb eines formalen semantisch‐syntaktischen Rahmenwerkes Rechenschaft über die Unterscheidung performativ — nicht‐performativ; man vermeidet dadurch das übliche Vorgehen, die Unterscheidung in den etwas vagen Bereich des sog. 〈Sprachgebrauchs〉 abzuschieben. (shrink)

Provisional draft, pre-production copy of my book “The Modal Future” (forthcoming with Cambridge University Press).

Indicative conditionals and tendency causal claims are closely related (e.g., Frosch and Byrne, 2012), but despite these connections, they are usually studied separately. A unifying framework could consist in their dependence on probabilistic factors such as high conditional probability and statistical relevance (e.g., Adams, 1975; Eells, 1991; Douven, 2008, 2015). This paper presents a comparative empirical study on differences between judgments on tendency causal claims and indicative conditionals, how these judgments are driven by probabilistic factors, and how these factors differ (...) in their predictive power for both causal and conditional claims. (shrink)

This book proposes a semantic theory of conditionals that can account for (i) the variability in usages that conditional sentences can be put; and (ii) both conditional sentences of the form ‘if p, q’ and those conditional thoughts that are expressed without using ‘if’. It presents theoretical arguments as well as empirical evidence from English and other languages in support of the thesis that an adequate study of conditionals has to go beyond an analysis of specific sentence forms or lexical (...) items. The resulting perspective on conditionals is one in which conditionality is located at a higher level than that of the sentence; namely, at the level of thought. The author argues that it is only through adopting such a perspective, and with it, a commitment to context-dependent semantics, that we can successfully represent conditional utterances as they are used and understood by ordinary language users. It will be of interest to students and scholars working on the semantics of conditionals in the fields of linguistics (especially semantics and pragmatics) and philosophy of language. (shrink)

This paper defends the case against (sparse) disjunctive properties by means of four Armstrongian arguments. The first of these is a logical atomist argument from truthmaking, which is, broadly speaking, ‘Armstrongian’ (Armstrong 1997). This argument is strong – although it stands or falls with the relevant notion of truthmaking, as it were. However, three arguments, which are prima facie independent of truthmaking, can be found explicitly early in Armstrong’s middle period. Two of these early arguments face a serious objection put (...) forward forcefully by Louise Antony (2003) and Alan Penczek (1997), respectively. I consider these objections and argue that they fail. Thus, even if the argument from truthmaking is indecisive, disjunctive properties should be rejected. (shrink)

In this paper we focus on theorem proving for conditional logics. First, we give a detailed description of CondLean, a theorem prover for some standard conditional logics. CondLean is a SICStus Prolog implementation of some labeled sequent calculi for conditional logics recently introduced. It is inspired to the so called “lean” methodology, even if it does not fit this style in a rigorous manner. CondLean also comprises a graphical interface written in Java. Furthermore, we introduce a goal-directed proof search mechanism, (...) derived from the above mentioned sequent calculi based on the notion of uniform proofs. Finally, we describe GOALDUCK, a simple SICStus Prolog implementation of the goal-directed calculus mentioned here above. Both the programs CondLean and GOALDUCK, together with their source code, are available for free download at. (shrink)

The book discusses the structure, content, and evaluation of cosmological arguments. The introductory chapter investigates features essential to cosmological arguments. Traditionally, cosmological arguments are distinguished by their appeal to change, causation, contingency or objective becoming in the world. But none of these is in fact essential to the formulation of cosmological arguments. Chapters 1-3 present a critical discussion of traditional Thomistic, Kalam, and Leibnizian cosmological arguments, noting various advantages and disadvantages of these approaches. Chapter 4 offers an entirely new approach (...) to the cosmological argument - the approach of theistic modal realism. The proper explananda of cosmological arguments on this approach is not change, causation, contingency or objective becoming in the world. The proper explananda is the totality of metaphysical reality - all actualia and all possibilia. The result is the most compelling and least objectionable version of the cosmological argument. (shrink)

In this paper, we argue that the popular claim that laws of nature explain their instances creates a philosophical puzzle when it is combined with the widely held requirement that explanations need to be underpinned by ‘wordly’ relations. We argue that a “direct solution” to the puzzle that accounts for both explanatory laws and explanatory realism requires endorsing at least a radical metaphysics. Then, we examine the ramifications of a “skeptical solution”, i.e., dissolving it by giving up at least one (...) of these two claims, and argue that adopting it is more favorable to Humean reductionists than to anti-reductionists about laws of nature. (shrink)

The role of causation and counterfactuals in causal decision theory is vexed and disputed. Recently, Brian Hedden (2023) argues that we should abandon causal decision theory in favour of an alternative: counterfactual decision theory. I argue that, pace Hedden, counterfactual decision theory is not a competitor to, but rather a version of, causal decision theory – the most popular version by far. I provide textual evidence that the founding fathers of causal decision theory (Stalnaker, Gibbard, Harper, Lewis, Skyrms, Sobel, and (...) Joyce) all endorse counterfactual decision theories. I additionally discuss why these theories came to be called ‘causal’, rather than ‘counterfactual’. And I argue that, properly understood, causal decision theory escapes Hedden's objections. (shrink)

We define intuitionistic subatomic natural deduction systems for reasoning with elementary would-counterfactuals and causal since-subordinator sentences. The former kind of sentence is analysed in terms of counterfactual implication, the latter in terms of factual implication. Derivations in these modal proof systems make use of modes of assumptions which are sensitive to the factuality status of the formula that is to be assumed. This status is determined by means of the reference proof system on top of which a modal proof system (...) is defined. The introduction and elimination rules for counterfactual (resp. factual) implication draw on this status. It is shown that derivations in the systems normalize and that normal derivations have the subexpression/subformula property. An intuitionistically acceptable proof-theoretic semantics is formulated in terms of canonical derivations. The systems are applied to so-called counterpossibles and to related constructions. (shrink)

The ontology of decision theory has been subject to considerable debate in the past, and discussion of just how we ought to view decision problems has revealed more than one interesting problem, as well as suggested some novel modifications of classical decision theory. In this paper it will be argued that Bayesian, or evidential, decision-theoretic characterizations of decision situations fail to adequately account for knowledge concerning the causal connections between acts, states, and outcomes in decision situations, and so they are (...) incomplete. Second, it will be argues that when we attempt to incorporate the knowledge of such causal connections into Bayesian decision theory, a substantial technical problem arises for which there is no currently available solution that does not suffer from some damning objection or other. From a broader perspective, this then throws into question the use of decision theory as a model of human or machine planning. (shrink)

The task of Philosophy in Science (PinS) is to use philosophical tools to help solve scientific problems. This article describes how I stumbled into this line of work and then addressed several topics in philosophy of biology—units of selection, cladistic parsimony, robustness and trade-offs in model building, adaptationism, and evidence for common ancestry—often in collaboration with scientists. I conclude by offering advice for would-be PinS practitioners.

Essay review of John Carroll's book, _Laws of Nature_.

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 has been considerable debate regarding the relative merits of two theses about moral obligation known as actualism and possibilism. Both theses seek to give expression to the general idea that one ought to do the best one can. According to actualism, one’s obligations turn on what would happen if one chose some course of action, whereas, according to possibilism, they turn on what could happen if one chose some course of action. There are two strands to the debate: the (...) substantive verdicts that the two theses render in particular cases, and the accounts that they yield of the conceptual structure of moral obligation. Possibilism is conceptually appealing, whereas actualism is not, but the latter may seem to render superior substantive verdicts. In this paper, it is argued that, by turning from the objectivist’s emphasis on what is actually best to the prospectivist’s emphasis on what one’s evidence indicates is best, possibilists can provide an account of moral obligation that is both conceptually and substantively attractive. (shrink)

The paper is about the interpretation of opaque verbs like “seek”, “owe”, and “resemble” which allow for unspecific readings of their (indefinite) objects. It is shown that the following two observations create a problem for semantic analysis: (a) The opaque position is upward monotone: “John seeks a unicorn” implies “John seeks an animal”, given that “unicorn” is more specific than “animal”. (b) Indefinite objects of opaque verbs allow for higher-order, or “underspecific”, readings: “Jones is looking for something Smith is looking (...) for” can express that there is something unspecific that both Jones and Smith are looking for. Given (a) and (b), it would seem that the following inference is hard to escape, if the premisses are construed unspecifically and the conclusion is taken on its under- specific reading: Jones is looking for a sweater. Smith is looking for a pen. Smith is looking for something Jones is looking for. (shrink)

Meinertsen has recently put forward three arguments against disjunctive properties: the arguments from truthmaking, commonality, and causation. In this paper, I argue that all three arguments fail. The argument from truthmaking rests on the problematic notion of different types of truthmakers and is therefore itself problematic. The argument from commonality may hold but only at the cost of losing much of the philosophical significance of its conclusion. The argument from causation essentially collapses into the argument from truthmaking and is therefore (...) problematic for the same reason as the latter is. I conclude that Meinertsen has not made a case against disjunctive properties. (shrink)

The safety principle is the view that, roughly, if one knows that p, p could not easily have been false. It is common for safety theorists to relativize safety to belief-formation methods. In this paper, I argue that there is no fixed principle of method-individuation that can stand up to scrutiny. I examine various ways to individuate methods and argue that all of them are subject to serious counterexamples. In the end, I conclude by considering some alternative ways to preserve (...) the insight behind safety without invoking a fixed principle of method-individuation. (shrink)

We examine a formal semantics for counterfactual conditionals due to Judea Pearl, which formalizes the interventionist interpretation of counterfactuals central to the interventionist accounts of causation and explanation. We show that a characteristic principle validated by Pearl’s semantics, known as the principle of reversibility, states a kind of irreversibility: counterfactual dependence (in David Lewis’s sense) between two distinct events is irreversible. Moreover, we show that Pearl’s semantics rules out only mutual counterfactual dependence, not cyclic dependence in general. This, we argue, (...) suggests that Pearl’s logic is either too weak or too strong. (shrink)

In the artificial intelligence literature a promising approach to counterfactual reasoning is to interpret counterfactual conditionals based on causal models. Different logics of such causal counterfactuals have been developed with respect to different classes of causal models. In this paper I characterize the class of causal models that are Lewisian in the sense that they validate the principles in Lewis’s well-known logic of counterfactuals. I then develop a system sound and complete with respect to this class. The resulting logic is (...) the weakest logic of causal counterfactuals that respects Lewis’s principles, sits in between the logic developed by Galles and Pearl and the logic developed by Halpern, and stands to Galles and Pearl’s logic in the same fashion as Lewis’s stands to Stalnaker’s. (shrink)

The idea of fragmentalism has been proposed by Kit Fine as a non-standard view of tense realism. This paper examines a modal version of the view, called modal fragmentalism, which combines genuine realism and realism of modality. Modal fragmentalism has been recently discussed by Iaquinto. But unlike Iaquinto, who primarily focused on possibilities de re, in this paper, we focus on expressions of possibilities de dicto. We argue that the chief idea of modal realism should be that different worlds are (...) distinguished not just in terms of how things are differently with respect to each world, but also in terms of how things could have been differently with respect to each world. This demands a realism-oriented semantics for suppositional contents, and more specifically, for conditionals. By deploying a multidimensional semantics for conditionals, we show that there are good reasons to consider modal fragmentalism as a serious approach in metaphysics, which shares many similarities with the fragmentalism of tense. (shrink)