In this article, I propose a semantic account of temporally mismatched past subjunctive counterfactuals. The proposal consists of the following parts. First, I show that in cases of temporal mismatch, [past] cannot be interpreted inside the proposition where it occurs at surface structure. Instead, it must be interpreted as constraining the time argument of the accessibility relation. This has the effect of shifting the time of the evaluation of the conditional to some contextually salient past time. Second, I will propose (...) specific felicity conditions (presuppositions) for subjunctive conditionals and I will argue that there is a strict correspondence between the time of evaluation in the truth conditions of a conditional and the time relevant for the felicity conditions. In other words, if the time relevant for the accessibility relation has been shifted to the past, then the conditional's presupposition will make reference to a past context. On the other hand, if no past is constraining the time argument of the accessibility relation, the conditional's felicity will make reference to the current (main) context. Third, I will argue that the intuition that the antecedent of mismatched counterfactuals is not true is a scalar implicature arising from a competition not between assertions but between presuppositions. Finally, I will investigate the repercussions of my proposal for the general theory of modality. (shrink)

The goal of this paper is to offer a compositional semantics for subjunctive and indicative will conditionals, and to derive the projection properties of the types of conditionals we consider and in particular those of counterfactual conditionals. It is argued that subjunctive conditionals are "bare" conditional embedded under temporal and aspectural operators, which constrain the interpretation of the modal operators in the embedded conditional. Furthermore, it is argued that a theory of presupposition projection à la Heim together with the present (...) proposal about their logical form explains the projection facts. (shrink)

In this paper, we examine what is to be said in defence of Machamer, Darden and Craver’s (MDC) controversial dualism about activities and entities (Machamer, Darden and Craver’s in Philos Sci 67:1–25, 2000). We explain why we believe the notion of an activity to be a novel, valuable one, and set about clearing away some initial objections that can lead to its being brushed aside unexamined. We argue that substantive debate about ontology can only be effective when desiderata for an (...) ontology are explicitly articulated. We distinguish three such desiderata. The first is a more permissive descriptive ontology of science, the second a more reductive ontology prioritising understanding, and the third a more reductive ontology prioritising minimalism. We compare MDC’s entities-activities ontology to its closest rival, the entities-capacities ontology, and argue that the entities-activities ontology does better on all three desiderata. (shrink)

There are two central kinds of epistemological mistakes: believing things you shouldn’t, and failing to believe things that you should. The knowledge-first program offers a canonical explanation for the former: if you believe something without knowing it, you violate the norm to believe only that which you know. But the explanation does not extend in any plausible way to a story about what’s wrong with suspending judgment when one ought to believe. In this paper I explore prospects for a knowledge-centering (...) account of positive epistemic norms that describe epistemic duties to believe. (shrink)

This paper explores an idea of Stoic descent that is largely neglected nowadays, the idea that an argument is valid when the conditional formed by the conjunction of its premises as antecedent and its conclusion as consequent is true. As it will be argued, once some basic features of our naıve understanding of validity are properly spelled out, and a suitable account of conditionals is adopted, the equivalence between valid arguments and true conditionals makes perfect sense. The account of validity (...) outlined here, which displays one coherent way to articulate the Stoic intuition, accords with standard formal treatments of deductive validity and encompasses an independently grounded characterization of inductive validity. (shrink)

This paper defends the thesis that counterfactuals are strict conditionals. Its purpose is to show that there is a coherent view according to which counterfactuals are strict conditionals whose antecedent is stated elliptically. Section 1 introduces the view. Section 2 outlines a response to the main argument against the thesis that counterfactuals are strict conditionals. Section 3 compares the view with a proposal due to Aqvist, which may be regarded as its direct predecessor. Sections 4 and 5 explain how the (...) view di ers from the theories of counterfactuals advocated by Stalnaker and Lewis, and from some contextualist strict conditional accounts of counterfactuals that have emerged recently. Finally, section 6 addresses the thorny issue of disjunctive antecedents. (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.

The question I am addressing in this paper is the following: how is it possible to empirically test, or confirm, counterfactuals? After motivating this question in Section 1, I will look at two approaches to counterfactuals, and at how counterfactuals can be empirically tested, or confirmed, if at all, on these accounts in Section 2. I will then digress into the philosophy of probability in Section 3. The reason for this digression is that I want to use the way observable (...) absolute and relative frequencies, two empirical notions, are used to empirically test, or confirm, hypotheses about objective chances, a metaphysical notion, as a role-model. Specifically, I want to use this probabilistic account of the testing of chance hypotheses as a role-model for the account of the testing of counterfactuals, another metaphysical notion, that I will present in Sections 4 to 8. I will conclude by comparing my proposal to one non-probabilistic and one probabilistic alternative in Section 9. (shrink)

This note is a sequel to Huber. It is shown that obeying a normative principle relating counterfactual conditionals and conditional beliefs, viz. the royal rule, is a necessary and sufficient means to attaining a cognitive end that relates true beliefs in purely factual, non-modal propositions and true beliefs in purely modal propositions. Along the way I will sketch my idealism about alethic or metaphysical modality.

Philosophers typically rely on intuitions when providing a semantics for counterfactual conditionals. However, intuitions regarding counterfactual conditionals are notoriously shaky. The aim of this paper is to provide a principled account of the semantics of counterfactual conditionals. This principled account is provided by what I dub the Royal Rule, a deterministic analogue of the Principal Principle relating chance and credence. The Royal Rule says that an ideal doxastic agent’s initial grade of disbelief in a proposition \(A\) , given that the (...) counterfactual distance in a given context to the closest \(A\) -worlds equals \(n\) , and no further information that is not admissible in this context, should equal \(n\) . Under the two assumptions that the presuppositions of a given context are admissible in this context, and that the theory of deterministic alethic or metaphysical modality is admissible in any context, it follows that the counterfactual distance distribution in a given context has the structure of a ranking function. The basic conditional logic V is shown to be sound and complete with respect to the resulting rank-theoretic semantics of counterfactuals. (shrink)

This paper shows that causation in the sense of Lewis is a special case of causation in the sense of Spohn.

Belief revision theory studies how an ideal doxastic agent should revise her beliefs when she receives new information. In part I I will first present the AGM theory of belief revision (Alchourrón & Gärdenfors & Makinson 1985). Then I will focus on the problem of iterated belief revisions.

Our work extends a previous study of epistemological presuppositions in teaching quantum physics in upper scientific secondary school in France. Here, the problematic reference of quantum theory’s concepts is treated at the ontological level. We consider the approach of using narratives describing possible alternative worlds to address the issue. These possible worlds are based on the counterfactual logic developed in the work of D. Lewis. We will show that the narratives written by G. Gamow describe such possible worlds. Some parts (...) of these narratives are found in textbooks in France. These worlds are governed by laws similar to but importantly different from those in our real world. They allow us to materialize properties inaccessible to everyday experience. In this sense, these fiction stories make ontological propositions concerning the nature and structure of the fundamental elements of our physical universe. (shrink)

In his Truth and Probability (1926), Frank Ramsey provides foundations for measures of degrees of belief in propositions and preferences for worlds. Nonquantitative conditions on preferences for worlds, and gambles for worlds and certain near-worlds, are formulated which he says insure that a subject's preferences for worlds are represented by numbers, world values. Numbers, for his degrees of belief in propositions, probabilities, are then defined in terms of his world values. Ramsey does not also propose definitions of desirabilities for propositions, (...) though he is in a position to do this. Given his measures for probabilities of propositions and values of worlds, he can frame natural definitions for both evidential and causal desirabilities that would measure respectively the welcomeness of propositions as items of news, and as facts. His theory is neutral with respect to the evidential/causal division. In the present paper, as Ramsey's foundations are explained, several problems and limitations are noted. Their distinctive virtue – their evidential/causal neutrality – is demonstrated. Comparisons are made with other foundational schemes, and a perspective is recommended from which nonquantitative foundations are not the be all for quantitative theories of ideal preferences and credences. (shrink)

Let us say that a normative conflict is a situation in which an agent ought to perform an action A, and also ought to perform an action B, but in which it is impossible for the agent to perform both A and B. Not all normative conflicts are moral conflicts, of course. It may be that the agent ought to perform the action A for reasons of personal generosity, but ought to perform the action B for reasons of prudence: perhaps (...) A involves buying a lavish gift for a friend, while B involves depositing a certain amount of money in the bank. In general, our practical deliberation is shaped by a concern with a variety of morally neutral goods—not just generosity and prudence, but any number of others, such as etiquette, aesthetics, fun—many of which are capable of providing conflicting reasons for action. I mention these ancillary values in the present setting, however, only to put them aside. We will be concerned here, not with normative conflicts more generally, but precisely with moral conflicts—situations in which, even when our attention is restricted entirely to moral reasons for action, it is nevertheless true that an agent ought to do A and ought to do B, where it is impossible to do both. (shrink)

This article offers a unified theory of the licensing of Negative and Positive Polarity Items, focusing on the acceptability conditions of PPIs of the some-type, and NPIs of the any-type. It argues that licensing has both a syntactic and a semantic component. On the syntactic side, the acceptability of PIs is checked in constituents; in fact, for any given PI, only some constituents, referred to as `domains', are eligible for the evaluation of that PI. The semantic dimension of licensing consists (...) in the sensitivity of PIs to the monotonicity properties of the syntactic environments they find themselves in. Two pieces of evidence support the semantic dimension of what I call the ‘environment-based’ approach defended here: PIs are subject to flip-flop and certain inferences affect their acceptability by modifying the monotonicity of their environment. A third property, called ‘entanglement’ and so far unnoticed, is described: the acceptability of PIs depends on the acceptability of other PIs in the same syntactic environment. The latter property is exploited to determine what semantic property some is sensitive to: it turns out that, contrary to the consensus among researchers, some is acceptable in the complement of the set of environments in which any is acceptable, and vice versa. (shrink)

According to the Principle of the Fixity of the Past (FP), no one can now do anything that would require the past to have unfolded differently than it actually did, for the past is fixed, over and done with. Why might doing something in the future require the past to be different? Because if determinism is true—if the laws of nature and the initial conditions of the Big Bang determined a unique future for our universe—then doing anything other than what (...) you are determined to do would require one of two things: either a miracle, a violation of the actual laws of nature, or a different past, all the way back to the Big Bang or beyond. Which would it be? Those who reject miracles accept a Backtracking Principle (BT), according to which the past would (have to) be different. If this is correct, then it follows by (FP) that you cannot now do anything other than what you are determined to do. The conclusion of this much-discussed argument is that the freedom to do otherwise is incompatible with determinism. In order to break a stalemate between incompatibilists and compatibilists in the debate over (FP), this article presents a new Action-Type Argument for (FP). The aim is to refute Backtracking Compatibilism, the view that (BT) is true and yet the freedom to do otherwise is compatible with determinism. The form of the Action-Type Argument for (FP) also leads to a Simple Argument for incompatibilism, which does not assume (BT). What the Simple Argument does assume is a “governing” view of laws of nature, a view of laws as more than mere regularities that turn out to be exceptionless over all time. Incompatibilism follows. (shrink)

Epistemic closure has been a central issue in epistemology over the last forty years. According to versions of the relevant alternatives and subjunctivist theories of knowledge, epistemic closure can fail: an agent who knows some propositions can fail to know a logical consequence of those propositions, even if the agent explicitly believes the consequence (having “competently deduced” it from the known propositions). In this sense, the claim that epistemic closure can fail must be distinguished from the fact that agents do (...) not always believe, let alone know, the consequences of what they know—a fact that raises the “problem of logical omniscience” that has been central in epistemic logic. This paper, part I of II, is a study of epistemic closure from the perspective of epistemic logic. First, I introduce models for epistemic logic, based on Lewis’s models for counterfactuals, that correspond closely to the pictures of the relevant alternatives and subjunctivist theories of knowledge in epistemology. Second, I give an exact characterization of the closure properties of knowledge according to these theories, as formalized. Finally, I consider the relation between closure and higher-order knowledge. The philosophical repercussions of these results and results from part II, which prompt a reassessment of the issue of closure in epistemology, are discussed further in companion papers. As a contribution to modal logic, this paper demonstrates an alternative approach to proving modal completeness theorems, without the standard canonical model construction. By “modal decomposition” I obtain completeness and other results for two non-normal modal logics with respect to new semantics. One of these logics, dubbed the logic of ranked relevant alternatives, appears not to have been previously identified in the modal logic literature. More broadly, the paper presents epistemology as a rich area for logical study. (shrink)

This paper expounds a simple and non-trivial Ramsey Test. Drawing on the work of Peter Gärdenfors, it aims to help establish an epistemic alternative to the semantics of variably strict conditionals by Robert Stalnaker (in: Rescher (ed), Studies in logical theory, Blackwell, Oxford, 1968) and David Lewis (Counterfactuals, Blackwell, Oxford, 1973). The novelty of the present contribution lies in considering the framework of Preferred Subtheories as model of belief change upon which conditionals are defined. The resulting semantics avoids triviality in (...) the sense that a major premise of the proof of Gärdenfors’ triviality theorem is violated. (shrink)

Nancy Cartwright argues that so-called capacities, not universal laws of nature, best explain the often complex way events actually unfold. On this view, science would represent a world that is fundamentally "dappled", or disunified, and not, as orthodoxy would perhaps have it, a world unified by universal laws of nature. I argue, first, that the problem Cartwright raises for laws of nature seems to arise for capacities too, so why reject laws of nature? Second, that in so far as there (...) is a problem, it concerns the role of counterfactuals in explanation; I then briefly propose a simple model of counterfactual explanation. Finally, I investigate how a sophisticated version of the regularity theory of laws of nature (that of Ramsey-Lewis) can be neutral between the empirical hypotheses that the world is unified, and that the world is disunified. (shrink)

Having briefly sketched the aims of our paper, namely, to logically analyse the ascription of propositional attitudes to somebody else in terms, not of Fregean senses or of intensions-with-s, but of the intentional object of the person spoken about, say, the believer or intender (Section 1), we try to introduce the concept of an intentional object as simply as possible, to wit, as coming into view whenever two (or more) subjective belief-worlds strikingly diverge (Section 2). Then, we assess the pros (...) and cons of Frege’s view that the indirect reference of an expression is nothing but its customary sense (Sections 3–4), and call the reader’s attention to the fact that in belief ascriptions de re we take it for granted that the believer’s intentional object is at the same time a ‘citizen’ of the belief ascriber’s subjective world (or, for that matter, the real word), and that the idea of such a ‘dual citizenship’ is even more obviously presupposed in the cases of true belief and propositional knowledge (Section 5). Then, we try to argue that it is more fertile to take the belief ascriber’s intentional object to be, not the whole state of affairs the believer has in mind and thinks to exist, but the latter’s intentional object as such, that is, as being his intentional object (Section 6). Finally, we discuss the intricate and mostly neglected question of whether an intentional object’s inhabiting two or more subjective belief-worlds should be considered to be sort of a ‘transmundane identity’ in the numerical sense or rather in some deviant sense of the term, which can be specified as a momentous subcase of a ‘categorial difference’ (Section 7). (shrink)

Controversy has surrounded the interpretation of the so-called 'Diodorean' and 'Chrysippean' conditionals of the Stoics. I critically evaluate and reject two interpretations of each of them: as expressing natural laws, and as strict conditionals. In doing so I engage with the work of authors such as Frede, Gould, Hurst, the Kneales, Mates, and Prior. I conclude by offering my own proposal for where these Stoic conditionals should be located on a 'ladder' of logical strength.

The thesis that probabilities of conditionals are conditional probabilities has putatively been refuted many times by so-called ‘triviality results’, although it has also enjoyed a number of resurrections. In this paper I assault it yet again with a new such result. I begin by motivating the thesis and discussing some of the philosophical ramifications of its fluctuating fortunes. I will canvas various reasons, old and new, why the thesis seems plausible, and why we should care about its fate. I will (...) look at some objections to Lewis’s famous triviality results, and thus some reasons for the pursuit of further triviality results. I will generalize Lewis’s results in ways that meet the objections. I will conclude with some reflections on the demise of the thesis—or otherwise. (shrink)

‘If I were to toss a coin 1000 times, then it would land heads exactly n times’. Is there a specific value of n that renders this counterfactual true? According to an increasingly influential view, there is. A precursor of the view goes back to the Molinists; more recently it has been inspired by Stalnaker, and versions of it have been advocated by Hawthorne, Bradley, Moss, Schulz, and Stefánsson. More generally, I attribute to these authors what I call Counterfactual Plenitude:For (...) any antecedent A, there is a world wisuch that A ☐→ wiis true.Moreover, some of these authors are also committed to Primitive Counterfacts Realism:There exist primitive modal facts that serve as truth-makers for counterfactual claims.Call the conjunction of these italicized theses counterfactism. I clarify it and suggest some of its virtues, while ultimately rejecting it.Stefánsson’s counterfactism is motivated by and targeted at my “counterfactual skepticism”—I argue that most counterfactuals are false—and counterfactism has various other sources of support. I briefly defend that skepticism, and I seek to undercut those sources of support. I then argue more directly against counterfactism, especially on grounds of its ontological profligacy, and its leading to another kind of skepticism about counterfactuals that I believe is more problematic than my kind. In the process, I discuss how Bradley’s multidimensional semantics bears on counterfactism; I offer some new considerations against some central theses regarding conditionals ; and I reflect more generally on the epistemology of modality and the choice of primitives in our theorizing. (shrink)

This is the sequel to my “Fifteen Arguments Against Finite Frequentism” ( Erkenntnis 1997), the second half of a long paper that attacks the two main forms of frequentism about probability. Hypothetical frequentism asserts: The probability of an attribute A in a reference class B is p iff the limit of the relative frequency of A ’s among the B ’s would be p if there were an infinite sequence of B ’s. I offer fifteen arguments against this analysis. I (...) consider various frequentist responses, which I argue ultimately fail. I end with a positive proposal of my own, ‘hyper-hypothetical frequentism’, which I argue avoids several of the problems with hypothetical frequentism. It identifies probability with relative frequency in a hyperfinite sequence of trials. However, I argue that this account also fails, and that the prospects for frequentism are dim. (shrink)

Jonathan Schaffer introduced a new type of causal structure called 'trumping'. According to Schaffer, trumping is a species of causal preemption. Both Schaffer and I have argued that causation has a contrastive structure. In this paper, I analyze the structure of trumping cases from the perspective of contrastive causation, and argue that the case is much more complex than it first appears. Nonetheless, there is little reason to regard trumping as a species of causal preemption.

There are many ways of attaching two objects together: for example, they can be connected, linked, tied or bound together; and the connection, link, tie or bind can be made of chain, rope, or cement. Every one of these binding methods has been used as a metaphor for causation. What is the real significance of these metaphors? They express a commitment to a certain way of thinking about causation, summarized in the following thesis: ‘In any concrete situation, there is an (...) objective fact of the matter as to whether two events are in fact bound by the causal relation. It is the aim of philosophical inquiry to analyze this objective relation.’ Through a variety of examples, I hope to cast doubt on this seemingly innocuous thesis. The problem lies not with the word ‘objective’, but with the word ‘the’. The goal of a philosophical account of causation should not be to capture the causal relation, but rather to capture the many ways in which the events of the world can be bound together. 1 The metaphors 2 Unpacking the metaphors 3 Theories of causation 4 The two assassins 5 The birth control pills 6 The smoker-protector gene 7 The bicycle thief 8 Further examples 8.1 Indeterminism 8.2 Probability-lowering causes 8.3 Parts vs wholes 8.4 Symmetric overdetermination 8.5 Delayers 8.6 Causation by omission 8.7 Double prevention/disconnection 8.8 Preemptive prevention 8.9 Quantitative variables 9 Conclusion. (shrink)

An important task for metaphysicians and philosophers of science is to account for laws of nature – in particular, how they distinguish themselves from ‘mere’ regularities, and the modal force they are endowed with, ‘natural necessity’. Dispositional essentialism about laws is roughly the view that laws distinguish themselves by being grounded in the essences of natural entities. This paper does not primarily concern how essentialism compares to its main rivals – Humeanism and Armstrongeanism. Rather, it distinguishes and comparatively assesses various (...) brands of essentialism – which mainly differ as to where exactly they take laws to find their essentialist sources, and what they take to be the targets of laws, namely what they apply to. Yet, this internal comparison is not unrelated to the more general debate about laws: the main criteria with which I compare these essentialist views concern how they can deal with some of the main objections faced by essentialism in general, and how they can keep what is arguably the main intuitive advantage of essentialism over its rivals. Thus, the paper also concerns the relative position of essentialism in the larger debate about laws – ultimately bringing support to it. (shrink)

A common feature of all standard theories of the laws of nature is that they are "absolutist": They take laws to be either all metaphysically necessary or all contingent. Science, however, gives us reason to think that there are laws of both kinds, suggesting that standard theories should make way for "non-absolutist" alternatives: theories which accommodate laws of both modal statuses. In this paper, we set out three explanatory challenges for any candidate non-absolutist theory and discuss the prospects of the (...) two extant candidates in light of these challenges. We then develop our own non-absolutist theory, the essentialist DTA account, which combines the nomic-necessitation or DTA account with an essentialist approach to metaphysical modality in order to meet the three explanatory challenges. Finally, we argue that the distinction between kinematical and dynamical laws found in physical theories supports both non-absolutism in general and our proposed essentialist DTA view in particular. (shrink)

In a recent paper, Tuomas Tahko has argued for a hybrid view of the laws of nature, according to which some physical laws are metaphysically necessary, while others are metaphysically contingent. In this paper, we show that his criterion for distinguishing between these two kinds of laws — which crucially relies on the essences of natural kinds — is on its own unsatisfactory. We then propose an alternative way of drawing the metaphysically necessary/contingent distinction for laws of physics based on (...) the central kinematical/dynamical distinction used in physical theorising, and argue that the criterion can be used to amend Tahko’s own account, but also that it can be combined with different metaphysical views about the source of necessity. (shrink)

Do causes necessitate their effects? Causal necessitarianism is the view that they do. One major objection—the “monotonicity objection”—runs roughly as follows. For many particular causal relations, we can easily find a possible “blocker”—an additional causal factor that, had it also been there, would have prevented the cause from producing its effect. However—the objection goes on—, if the cause really necessitated its effect in the first place, it would have produced it anyway—despite the blocker. Thus, CN must be false. Though different (...) from Hume’s famous attacks against CN, the monotonicity objection is no less important. In one form or another, it has actually been invoked by various opponents to CN, past and present. And indeed, its intuitive appeal is quite powerful. Yet, this paper argues that, once carefully analysed, the objection can be resisted—and should be. First, I show how its success depends on three implicit assumptions concerning, respectively, the notion of cause, the composition of causal factors, and the relation of necessitation. Second, I present general motivations for rejecting at least one of those assumptions: appropriate variants of them threaten views that even opponents to CN would want to preserve—in particular, the popular thesis of grounding necessitarianism. Finally, I argue that the assumption we should reject is the one concerning how causes should be understood: causes, I suggest, include an element of completeness that excludes blockers. In particular, I propose a way of understanding causal completeness that avoids common difficulties. (shrink)

Many existing defenses of group rights seem to rely on the notion of group freedom. To date, however, no adequate analysis of this notion has been offered. Group freedom is best understood in terms of processes of social categorization that are embedded in social mechanisms. Such processes often give rise to group-specific constraints and enablements. On the proposed social mechanism account, group rights are demands for group freedom. Even so, group rights often serve to eradicate individual unfreedom. Furthermore, generic measures (...) sometimes provide the most appropriate solution to a problem of group unfreedom. (shrink)

This paper is on the problem of profligate omissions. The problem is that counterfactual definitions of causation identify as a cause anything that could have prevented an effect but that did not actually occur, which is a highly counterintuitive result. Many solutions of this problem appeal to normative, epistemic, pragmatic, or metaphysical considerations. These existing solutions are in some sense substantive. In contrast, this paper concentrates on the semantics of counterfactuals. I propose to replace Strong Centering with Weak Centering. This (...) allows that the actual world is not the only world that is closest to the actual world. As a result, some counterfactuals that would otherwise have been true, turn out to be false. When these counterfactuals concern causation, fewer causal claims are true. In addition to describing steps towards solving the problem of profligate omissions, the proposal captures an abstraction that is shared by many of the existing solutions: depending on how the distance ordering underlying the Weak Centering condition is constructed and interpreted, some of these existing solutions can be recovered. (shrink)

In this paper, I argue that for the purposes of ordinary reasoning, sentences about properties of concrete objects can be replaced with sentences concerning how things in our universe would be related to inscriptions were there a pluriverse. Speaking loosely, pluriverses are composites of universes that collectively realize every way a universe could possibly be. As such, pluriverses exhaust all possible meanings that inscriptions could take. Moreover, because universes necessarily do not influence one another, our universe would not be any (...) different intrinsically if there were a pluriverse. These two facts enable anti-realists about abstract objects to replace, e.g. talk of anatomical features with talk of the inscriptions concerning anatomical structure that would exist were there a pluriverse. The availability of such replacements enables anti-realists to carry out essential ordinary reasoning without referring to properties, thereby making room for a consistent anti-realist worldview. The inscriptions of the would-be pluriverse are so numerous and varied that sentences about them can play the roles in ordinary reasoning served by simple sentences about properties of concrete objects. (shrink)

Future weapons will make life-or-death decisions without a human in the loop. When such weapons inflict unwarranted harm, no one appears to be responsible. There seems to be a responsibility gap. I first reconstruct the argument for such responsibility gaps to then argue that this argument is not sound. The argument assumes that commanders have no control over whether autonomous weapons inflict harm. I argue against this assumption. Although this investigation concerns a specific case of autonomous weapons systems, I take (...) steps towards vindicating the more general idea that superiors can be morally responsible in virtue of being in command. (shrink)

Nominalists are confronted with a grave difficulty: if abstract objects do not exist, what explains the success of theories that invoke them? In this paper, I make headway on this problem. I develop a formal language in which certain platonistic claims about properties and certain nominalistic claims can be expressed, develop a formal language in which only certain nominalistic claims can be expressed, describe a function mapping sentences of the first language to sentences of the second language, and prove some (...) facts about that function and facts about some sound logics for those languages. In doing so, I prove that, given some plausible metaphysical assumptions, a large class of sentences about properties of concrete objects are “safe” on nominalistic grounds. Whenever some true sentences about concrete objects and some sentences belonging to this class that are true according to platonists collectively entail a conclusion about concrete objects, some nominalistically acceptable sentences are true and entail the same conclusion. Because the proof can itself be formulated without abstract objects, it provides a nominalistic explanation of the success of theories that invoke properties of concrete objects. (shrink)

According to dispositionalism, fundamental properties are dispositions—powers that don’t reduce to other properties, laws, or anything else. As dispositions manifest, natural regularities result, so this view appears to explain the uniformity of nature. However, in this paper I’ll argue that there are types of regularities that can’t be explained by dispositionalism. The basic idea is this. All accounts of fundamental dispositions endow properties with a certain sort of structure. This allows explanations of only those regularities that align with such structures. (...) In this paper, I identify a type of natural regularity that cannot fit dispositionalist structures and show why the possibility of such regularities is problematic. (shrink)

If moral properties lacked causal powers, would moral skepticism be true? I argue that it would. Along the way I respond to various arguments that it would not.

One of the traditional desiderata for a metaphysical theory of laws of nature is that it be able to explain natural regularities. Some philosophers have postulated governing laws to fill this explanatory role. Recently, however, many have attempted to explain natural regularities without appealing to governing laws. Suppose that some fundamental properties are bare dispositions. In virtue of their dispositional nature, these properties must be (or are likely to be) distributed in regular patterns. Thus it would appear that an ontology (...) including bare dispositions can dispense with governing laws of nature. I believe that there is a problem with this line of reasoning. In this essay, I’ll argue that governing laws are indispensable for the explanation of a special sort of natural regularity: those holding among categorical properties (or, as I’ll call them, categorical regularities). This has the potential to be a serious objection to the denial of governing laws, since there may be good reasons to believe that observed regularities are categorical regularities. (shrink)

In the last decade, philosophers have offered a number of proposals concerning the logical form of hypothetical cases, or thought experiments, as these are used for purposes of testing philosophical claims. In this paper, I discuss what the desiderata for a formal proposal are. Employing a comparison with general philosophy of science, I suggest that one important desideratum is to highlight recurrent patterns of disagreement surrounding cases. I advocate a proposal in propositional modal logic which, I argue, better meets this (...) desideratum than competing proposals. I also sketch how this proposal may be extended into more fine grained analyses, employing counterfactual conditionals yet avoiding certain problems due to so-called "deviant realizations". (shrink)

In the last decade, philosophers have offered a number of proposals concerning the logical form of hypothetical cases, or thought experiments, as these are used for purposes of testing philosophical claims. In this paper, I discuss what the desiderata for a formal proposal are. Employing a comparison with general philosophy of science, I suggest that one important desideratum is to highlight recurrent patterns of disagreement surrounding cases. I advocate a proposal in propositional modal logic which, I argue, better meets this (...) desideratum than competing proposals. I also sketch how this proposal may be extended into more fine grained analyses, employing counterfactual conditionals yet avoiding certain problems due to so-called "deviant realizations". (shrink)

From Leibniz to Krauss philosophers and scientists have raised the question as to why there is something rather than nothing. Why-questions request a type of explanation and this is often thought to include a deductive component. With classical logic in the background only trivial answers are forthcoming. With free logics in the background, be they of the negative, positive or neutral variety, only question-begging answers are to be expected. The same conclusion is reached for the modal version of the Question, (...) namely ‘Why is there something contingent rather than nothing contingent?’. The categorial version of the Question, namely ‘Why is there something concrete rather than nothing concrete?’, is also discussed. The conclusion is reached that deductive explanations are question-begging, whether one works with classical logic or positive or negative free logic. I also look skeptically at the prospects of giving causal-counterfactual or probabilistic answers to the Question, although the discussion of the options is less comprehensive and the conclusions are more tentative. The meta-question, viz. ‘Should we not stop asking the Question’, is accordingly tentatively answered affirmatively. (shrink)

Antirealists who hold the knowability thesis, namely that all truths are knowable, have been put on the defensive by the Church-Fitch paradox of knowability. Rejecting the non-factivity of the concept of knowability used in that paradox, Edgington has adopted a factive notion of knowability, according to which only actual truths are knowable. She has used this new notion to reformulate the knowability thesis. The result has been argued to be immune against the Church-Fitch paradox, but it has encountered several other (...) triviality objections. Schlöder in a forthcoming paper defends the general approach taken by Edgington, but amends it to save it in turn from the triviality objections. In this paper I will argue, first, that Schlöder's justification for the factivity of his version of the concept of knowability is vulnerable to criticism, but I will also offer an improved justification that is in the same spirit as his. To the extent that some philosophers are right about our intuitive concept of knowability being a factive one, it is important to explore factive concepts of knowability that are made formally precise. I will subsequently argue that Schlöder's version of the knowability thesis overgenerates knowledge or, in other words, it leads to attributions of knowledge where there is ignorance. This fits a general pattern for the research programme initiated by Edgington. This paper also contains preliminary investigations into the internal and logical structure of lines of inquiries, which raise interesting research questions. (shrink)

The central question of this article is how to combine counterfactual theories of knowledge with the notion of actuality. It is argued that the straightforward combination of these two elements leads to problems, viz. the problem of easy knowledge and the problem of missing knowledge. In other words, there is overgeneration of knowledge and there is undergeneration of knowledge. The combination of these problems cannot be solved by appealing to methods by which beliefs are formed. An alternative solution is put (...) forward. The key is to rethink the closeness relation that is at the heart of counterfactual theories of knowledge. (shrink)

One of contemporary epistemology's more important conceptual challenges is that of understanding the nature of fallibility. Part of why this matters is that it would contribute to our understanding the natures of fallible warrant and fallible knowledge. This article evaluates two candidates – and describes a shared form of failing. Each is concealedly infallibilist. This failing is all-too-representative of the difficulty of doing justice to the notion of fallibility within the notions of fallible warrant and fallible knowledge. The article ends (...) with a proposal for an improved form of conception of fallible warrant and fallible knowledge. (shrink)

The truthmaker literature has recently come to the consensus that the logic of truthmaking is distinct from classical propositional logic. This development has huge implications for the free will literature. Since free will and moral responsibility are primarily ontological concerns (and not semantic concerns) the logic of truthmaking ought to be central to the free will debate. I shall demonstrate that counterexamples to transfer principles employed in the direct argument occur precisely where a plausible logic of truthmaking diverges from classical (...) logic. Further, restricted transfer principles (like the ones employed by McKenna, Stump, and Warfield) are as problematic as the original formulation of the direct argument. (shrink)

This paper aims to defend that the best framework for characterizing dispositions is a Rylean, non-factualist dispositionalism. I follow Tugby, 451–480, 2013) in explaining which are the main candidates for characterizing the ontology of dispositions. Tugby, 451–480, 2013) concludes that the best metaphysical framework for characterizing dispositions is Platonism, because it is the only theory that can account for the central and the intrinsic platitudes. Following this I show that Platonism is not desirable because it is difficult to reconcile with (...) ontological naturalism and because it is not parsimonious. Thus, I offer a different candidate: Rylean non-factualist dispositionalism. This approach retains the explanatory power of our dispositional vocabulary without appealing to facts, entities, or properties. In conclusion, non-factualist dispositionalism is preferable over naturalism and Platonism for characterizing dispositions. (shrink)

Direct source incompatibilism (DSI) is the conjunction of two claims: SI-F: there are genuine Frankfurt-style counterexamples (FSCs); SI-D: there is a sound version of the direct argument (DA). Eric Yang ( 2012 ) responds to a recent criticism of DSI (Campbell 2006 ). We show that Yang misses the mark. One can accept Yang’s criticisms and get the same result: there is a deep tension between FSCs and DA, between SI-F and SI-D. Thus, DSI is untenable. In this essay, we (...) use an important yet overlooked distinction between truthmakers and determiners to help drive this point home. (shrink)

Bare conditionals, I argue, exhibit Conditional Duality in that when they appear in downward entailing environments they differ from bare conditionals elsewhere in having existential rather than universal force. Two recalcitrant phenomena are shown to find a new explanation under this thesis: bare conditionals under only, and bare conditionals in the scope of negative nominal quantifiers, or what has come to be known as Higginbotham’s puzzle. I also consider how bare conditionals behave when embedded under negation, arguing that such conditionals (...) often involve denial negation. One important conclusion that emerges from the discussion is that an account of bare conditionals that validates Conditional Excluded Middle is not warranted. By limiting the scope of the strict analysis Conditional Duality is also a way of maintaining such an account. (shrink)