In rejecting the Principle of AlternatePossibilities (PAP), Harry Frankfurt makes useof a special sort of counterfactual of thefollowing form: ``he wouldn''t have doneotherwise even if he could have''''. Recently,other philosophers (e.g., Susan Hurley (1999,2003) and Michael Zimmerman (2002)) haveappealed to a special class of counterfactualsof this same general form in defending thecompatibility of determinism andresponsibility. In particular, they claim thatit can be true of agents that even if they aredetermined, and so cannot do otherwise, theywouldn''t have done otherwise even if (...) they couldhave. Using as a central case an argument ofSusan Hurley''s, I point out that thecounterfactuals in question are both``interlegal'''' and ``indeterministic'''', and I raisedoubts about whether this special class ofcounterfactuals have clear truth conditions. Finally I suggest that acknowledging thesepoints leads to an appreciation of the realstrength of Frankfurt-style examples. (shrink)

In a recent paper “Safety, Sensitivity, and Differential Support” (Synthese, December 2017), Jose Zalabardo argues that (contra Sosa in Philos Perspect 33(13):141–153,1999) sensitivity can be differentially supported as the correct requirement for propositional knowledge. Zalabardo argues that safety fails to dominate sensitivity; specifically: some cases of knowledge failure can only be explained by sensitivity. In this paper, I resist Zalabardo’s conclusion that domination failure confers differential support for sensitivity. Specifically, I argue that counterexamples to sensitivity undermine differential support for sensitivity. (...) Using Zalabardo’s modal framework, I consider a less demanding modal condition, what I call weak sensitivity, and I explain how weak sensitivity avoids an influential counterexample to sensitivity. However, I argue that we can subvert that counterexample only by abandoning Zalabardo’s case for domination failure. So either way, we cannot differentially support sensitivity. (shrink)

The aim of teleosemantics is to give a scientifically respectable, or ‘naturalistic’ theory of mental content. In the debates surrounding the scope and merits of teleosemantics a lot has been said about the concept of indication (or carrying information). The aim of this paper is to focus on the other key concept of teleosemantics: biological function. It has been universally accepted in the teleosemantics literature that the account of biological function one should use to flesh out teleosemantics is that of (...) etiological function. My claim is that if we replace this concept of function with an alternative one (that we have independent reasons to accept) and if we also restrict the scope of teleosemantics, we can arrive at an account of biologizing mental content that is much less problematic than the previous attempts. (shrink)

Philosophers and psychologists widely hold that artifact categories – just like biological categories – are individuated by their function. But recent empirical findings in psychology question this assumption. My proposal is to suggest a way of squaring these findings with the central role function should play in individuating artifact categories. But in order to do so, we need to give up on the standard account of artifact function, according to which function is fixed by design, and replace it with a (...) more context-sensitive account, according to which function attributions depend on the explanatory context and, as a result, categorization also depends on the explanatory context, just as the empirical findings from psychology suggest. I argue that the recent ‘modal theory of function’ originally proposed to explain biological function, is capable of providing such an account of artifact function. (shrink)

This paper looks at an argument strategy for assessing the epistemic closure principle. This is the principle that says knowledge is closed under known entailment; or (roughly) if S knows p and S knows that p entails q, then S knows that q. The strategy in question looks to the individual conditions on knowledge to see if they are closed. According to one conjecture, if all the individual conditions are closed, then so too is knowledge. I give a deductive argument (...) for this conjecture. According to a second conjecture, if one (or more) condition is not closed, then neither is knowledge. I give an inductive argument for this conjecture. In sum, I defend the strategy by defending the claim that knowledge is closed if, and only if, all the conditions on knowledge are closed. After making my case, I look at what this means for the debate over whether knowledge is closed. (shrink)

Supererogatory acts are those that lie “beyond the call of duty.” There are two standard ways to define this idea more precisely. Although the definitions are often seen as equivalent, I argue that they can diverge when options are infinite, or when there are cycles of better options; moreover, each definition is acceptable in only one case. I consider two ways out of this dilemma.

There are plenty of classic paradoxes about conditional obligations, like the duty to be gentle if one is to murder, and about “supererogatory” deeds beyond the call of duty. But little has been said about the intersection of these topics. We develop the first general account of conditional supererogation, with the power to solve familiar puzzles as well as several that we introduce. Our account, moreover, flows from two familiar ideas: that conditionals restrict quantification and that supererogation emerges from a (...) clash between justifying and requiring reasons. (shrink)

I develop a metaphysical position that is both lawless and anti-Humean. The position is called realist lawlessness and contrasts with both Humean lawlessness and nomological realism – the claim that there are laws in nature. While the Humean view also allows no laws, realist lawlessness is not Humean because it accepts some necessary connections in nature between distinct properties. Realism about laws, on the other hand, faces a central dilemma. Either laws govern the behaviour of properties from the outside or (...) from the inside. If the former, an unacceptable quidditist view of properties follows. But no plausible account of laws within properties can be developed that permits a governing role specifically for laws. I conclude in favour of eliminativism about laws. At the conceptual core, the notion of a law in nature is misleading. It is suggestive of an otherwise static world in need of animation. (shrink)

What is the new essentialist asking us to accept? Not that there are natural kinds, nor that there are intrinsic causal powers. These things could be accepted without a commitment to essentialism. They are asking us to accept something akin to the Kripke‐Putnam position: a metaphysical theory about kind‐membership in virtue of essential properties. But Salmon has shown that there is no valid argument for the Kripke‐Putnam position: no valid inference that gets us from reference to essence. Why then should (...) we accept essentialism? A remaining reason is Ellis's argument by display: we should buy essentialism because of the benefits it will bring. But are these benefits real? The problem is that the putative benefits of essentialism – that the laws of nature are necessary, that the problem of induction is solved, and so on – look actually to be the assumptions of Ellis's theory. If that is the case, there is no real benefit to be gained from adopting the theory. The argument for essentialism is therefore underdetermined and it remains possible to accept natural kinds into one's ontology without accepting their corresponding essences. (shrink)

Recently, von Fintel (2001) and Gillies (2007) have argued that certain sequences of counterfactuals, namely reverse Sobel sequences, should motivate us to abandon standard truth conditional theories of counterfactuals for dynamic semantic theories. I argue that we can give a pragmatic account of our judgments about counterfactuals without giving up the standard semantics. In particular, I introduce a pragmatic principle governing assertability, and I use this principle to explain a variety of subtle data concerning reverse Sobel sequences.

Conclusions reached using common sense reasoning from a set of premises are often subsequently revised when additional premises are added. Because we do not always accept previous conclusions in light of subsequent information, common sense reasoning is said to be nonmonotonic. But in the standard formal systems usually studied by logicians, if a conclusion follows from a set of premises, that same conclusion still follows no matter how the premise set is augmented; that is, the consequence relations of standard logics (...) are monotonic. Much recent research in AI has been devoted to the attempt to develop nonmonotonic logics. After some motivational material, we give four formal proofs that there can be no nonmonotonic consequence relation that is characterized by universal constraints on rational belief structures. In other words, a nonmonotonic consequence relation that corresponds to universal principles of rational belief is impossible. We show that the nonmonotonicity of common sense reasoning is a function of the way we use logic, not a function of the logic we use. We give several examples of how nonmonotonic reasoning systems may be based on monotonic logics. (shrink)

The hypothetical syllogism is invalid in standard interpretations of conditional sentences. Many arguments of this sort are quite compelling, though, and you can wonder what makes them so. I shall argue that it is our parsimony in regard to connections among events and states of affairs. All manner of things just might, for all we know, be bound up with one another in all sorts of ways. But ordinarily it is better, being simpler, to assume they are unconnected. In so (...) doing, we jump to the conclusions of some compelling but invalid arguments. (shrink)

Sir David Ross introduced prima facie duties, or acts with a tendency to be duties proper. He also spoke of general prima facie principles, wwhich attribute to acts having some feature the tendency to be a duty proper. Like Utilitarians from Mill to Hare, he saw a role for such principles in the epistemology of duty: in the process by means of which, in any given situation, a moral code can help us to find out what we ought to do.After (...) formalizing general prima facie principles as universally quantified conditionals I will show how seeming duties can be detached from them. There will be examples involving lies, burnt offerings and the question of whether to have a napkin on your lap while eating asparagus. They will illustrate the defeasibility of this detachment, how it can lead into dilemmas, and how general prima facie principles are overridden by more specific ones. (shrink)

In this paper I want to show that a main theme of Neurath’s philosophical work was the formulation of a radically empiricist theory of science. His approach, dubbed "encyclopedism", can be characterized by the following five theses: scientific knowledge is (1) fallible, (2) pluralistic, (3) holistic, (4) can be systematized only locally, and (5) does not give us a faithful description of the real world. (4) is to be considered as the most original thesis of encyclopedism and is discussed in (...) detail. (shrink)

In this paper, I argue against John Beatty’s position in his paper “The Evolutionary Contingency Thesis” by counterexample. Beatty argues that there are no distinctly biological laws because the outcomes of the evolutionary processes are contingent. I argue that the heart of the Caspar–Klug theory of virus structure—that spherical virus capsids consist of 60T subunits (where T = k 2 + hk + h 2 and h and k are integers)—is a distinctly biological law even if the existence of spherical (...) viruses is evolutionarily contingent. (shrink)

Models for truth in fiction must be able to account for differing versions and interpretations of a given fiction in such a way that prevents contradictions from arising. I propose an analysis of truth in fiction designed to accommodate this. I examine both the interpretation of claims about truth in fiction (the ‘Interpretation Problem’) and the metaphysical nature of fictional worlds and entities (the ‘Metaphysical Problem’). My reply to the Interpretation Problem is a semantic contextualism influenced by Cameron (2012), while (...) my reply to the Metaphysical Problem involves an extension and generalisation of the counterpart-theoretic analysis put forth by Lewis (1978). The proposed analysis considers interpretive context as a counterpart relation corresponding to a set of worlds, W, and states that a sentence φ is true in interpretive context W iff φ is true at every world (w∈W). I consider the implications of this analysis for singular terms in fiction, concluding that their extensions are the members of sets of counterparts. In the case of pre-existing singular terms in fiction, familiar properties of the corresponding actual-world entities are salient in restricting the counterpart relation. I also explore interpretations of sentences concerning multiple fictions and those concerning both fictional and actual entities. This account tolerates a plurality of interpretive approaches, avoiding contradictions. (shrink)

Can we explain why some propositions are necessary? Blackburn (Fact, science, and value. Blackwell, Oxford, 1987) has presented a dilemma aimed at showing that the necessity of a proposition cannot be explained either in the case where the explanans is another necessary proposition (necessity horn) or in the case where the explanans is a contingent proposition (contingency horn). Blackburn’s dilemma is intended to show that necessary truth is an explanatorily irreducible kind of truth: there is nothing that explains why propositions (...) are necessary, nothing that makes necessary necessary truths. In this paper, I criticize the contingency horn of Blackburn’s dilemma. On the one hand, I show that the official reconstruction of the horn uses a principle that is incompatible with the notion of explanation plausibly needed to explain why propositions are necessary; on the other, I show that a simpler formulation of the horn, which does not make use of such a controversial principle, makes essential use of principles that are incompatible with the idea that possibilities can have explanatory roles. I then defend the view that possibilities can have explanatory roles, and that the explanatory role of possibilities is best represented, within possible worlds, as the existence of trans-world relations of explanation. (shrink)

The expression conditional fallacy identifies a family of arguments deemed to entail odd and false consequences for notions defined in terms of counterfactuals. The antirealist notion of truth is typically defined in terms of what a rational enquirer or a community of rational enquirers would believe if they were suitably informed. This notion is deemed to entail, via the conditional fallacy, odd and false propositions, for example that there necessarily exists a rational enquirer. If these consequences do indeed follow from (...) the antirealist notion of truth, alethic antirealism should probably be rejected. In this paper we analyse the conditional fallacy from a semantic (i.e. model-theoretic) point of view. This allows us to identify with precision the philosophical commitments that ground the validity of this type of argument. We show that the conditional fallacy arguments against alethic antirealism are valid only if controversial metaphysical assumptions are accepted. We suggest that the antirealist is not committed to the conditional fallacy because she is not committed to some of these assumptions. (shrink)

Brogaard and Salerno (2005, Nous, 39, 123–139) have argued that antirealism resting on a counterfactual analysis of truth is flawed because it commits a conditional fallacy by entailing the absurdity that there is necessarily an epistemic agent. Brogaard and Salerno's argument relies on a formal proof built upon the criticism of two parallel proofs given by Plantinga (1982, "Proceedings and Addresses of the American Philosophical Association", 56, 47–70) and Rea (2000, "Nous," 34, 291–301). If this argument were conclusive, antirealism resting (...) on a counterfactual analysis of truth should probably be abandoned. I argue however that the antirealist is not committed to a controversial reading of counterfactuals presupposed in Brogaard and Salerno's proof, and that the antirealist can in principle adopt an alternative reading that makes this proof invalid. My conclusion is that no reductio of antirealism resting on a counterfactual analysis of truth has yet been provided. (shrink)

In this response to the review of Moore, Causation and Responsibility, by Larry Alexander and Kimberly Ferzan, previously published in this journal, two issues are discussed. The first is whether causation, counterfactual dependence, moral blame, and culpability, are all scalar properties or relations, that is, matters of more-or-less rather than either-or. The second issue discussed is whether deontological moral obligation is best described as a prohibition against using another as a means, or rather, as a prohibition on an agent strongly (...) causing a prohibited result that was not about to happen anyway while intending to do so. (shrink)

According to proponents of the causal exclusion problem, there cannot be a sufficient physical cause and a distinct mental cause of the same piece of behaviour. Increasingly, the causal exclusion problem is circumvented via this compatibilist reasoning: a sufficient physical cause of the behavioural effect necessitates the mental cause of the behavioural effect, so the effect has a sufficient physical cause and a mental cause as well. In this paper, I argue that this compatibilist reply fails to resolve the causal (...) exclusion problem. (shrink)

Judgment aggregation theory, or rather, as we conceive of it here, logical aggregation theory generalizes social choice theory by having the aggregation rule bear on judgments of all kinds instead of merely preference judgments. It derives from Kornhauser and Sager’s doctrinal paradox and List and Pettit’s discursive dilemma, two problems that we distinguish emphatically here. The current theory has developed from the discursive dilemma, rather than the doctrinal paradox, and the final objective of the paper is to give the latter (...) its own theoretical development along the line of recent work by Dietrich and Mongin. However, the paper also aims at reviewing logical aggregation theory as such, and it covers impossibility theorems by Dietrich, Dietrich and List, Dokow and Holzman, List and Pettit, Mongin, Nehring and Puppe, Pauly and van Hees, providing a uniform logical framework in which they can be compared with each other. The review goes through three historical stages: the initial paradox and dilemma, the scattered early results on the independence axiom, and the so-called canonical theorem, a collective achievement that provided the theory with its specific method of analysis. The paper goes some way towards philosophical logic, first by briefly connecting the aggregative framework of judgment with the modern philosophy of judgment, and second by thoroughly discussing and axiomatizing the ‘general logic’ built in this framework. (shrink)

In this paper, I will argue for a new account of presuppositions which is based on double indexing as well as minimal representational contexts providing antecedent material for anaphoric presuppositions, rather than notions of context defined in terms of the interlocutors’ pragmatic presuppositions or the information accumulated from the preceding discourse. This account applies in particular to new phenomena concerning the presupposition of quantifier domains. But it is also intended to be an account of presuppositions in general. The account differs (...) from the Satisfaction Theory and the Binding Theory of presuppositions in that it can be viewed as a conservative extension of traditional static semantics and in that it does not involve the notion of pragmatic presupposition. (shrink)

Many non-physicalists, including Chalmers, hold that the zombie argument succeeds in rejecting the physicalist view of consciousness. Some non-physicalists, including, again, Chalmers, hold that quantum collapse interactionism, i.e., the idea that non-physical consciousness causes collapse of the wave function in phenomena such as quantum measurement, is a viable interactionist solution for the problem of the relationship between the physical world and the non-physical consciousness. In this paper, I argue that if QCI is true, the zombie argument fails. In particular, I (...) show that if QCI is true, a zombie world physically identical to our world is impossible because there is at least one law of nature, a fundamental law of physics in particular, that exist only in the zombie world but not in our world. This shows that philosophers like Chalmers are committing an error in endorsing the zombie argument and QCI at the same time. (shrink)

This article discusses the argument we cannot have knowledge of abstract entities because they are not part of the causal order. The claim of this article is that the argument fails because of equivocation. Assume that the “causal order” is concerned with contingent facts involving time and space. Even if the existence of abstract entities is not contingent and does not involve time or space it does not follow that no truths about abstract entities are contingent or involve time or (...) space. I argue that it is the latter which is required to obtain the desired conclusion. (shrink)

In this article, I present a schema for generating counterexamples to the argument form known as Hypothetical Syllogism with indicative conditionals. If my schema for generating counterexamples to HS works as I think it does, then HS is invalid for indicative conditionals.

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

To define new property terms, we combine already familiar ones by means of certain logical operations. Given suitable constraints, these operations may presumably include the resources of first-order logic: truth-functional sentence connectives and quantification over objects. What is far less clear is whether we can also use modal operators for this purpose. This paper clarifies what is involved in this question, and argues in favor of modal property definitions.

This article’s guiding question is about bullet biting: When should compatibilists about moral responsibility bite the bullet in responding to stories used in arguments for incompatibilism about moral responsibility? Featured stories are vignettes in which agents’ systems of values are radically reversed by means of brainwashing and the story behind the zygote argument. The malady known as “intuition deficit disorder” is also discussed.

This article distinguishes among and examines three different kinds of argument for the thesis that moral responsibility and free action are each incompatible with the truth of determinism: straight manipulation arguments; manipulation arguments to the best explanation; and original-design arguments. Structural and methodological matters are the primary focus.

Entities of many kinds, not just material things, have been credited with parts. Armstrong , for example, has taken propositions and properties to be parts of their conjunctions, sets to be parts of sets that include them, and geographical regions and events to be parts of regions and events that contain them. The justification for bringing all these diverse relations under a single ‘part–whole’ concept is that they share all or most of the formal features articulated in mereology . But (...) the concept has also prompted an ontological thesis that has been expressed in various ways: that wholes are ‘no ontological addition’ to their parts ; that to list both a whole and its parts is ‘double counting’; and that there is ‘no more’ to a whole than its parts: for example, that there is no more to a conjunction than the conjuncts that are its parts, and whose truth or falsity determines whether it is true or false. For brevity, I shall express the thesis in the last of these ways, as the claim that entities with parts are ‘nothing but’ those parts. (shrink)

The paper develops a unified account of both deterministic and indeterministic laws of nature which inherits the merits but not the defects of the best existing accounts. As in Armstrong's account, laws are embodied in facts about universals; but not in higher‐order relations between them, and the necessity of laws is not primitive but results from their containing chances of 0 or 1. As in the Ramsey‐Lewis account, law statements would be the general axioms and theorems of the simplest deductive (...) theory of everything; but because laws are not so defined, simplicity of statement is not a criterion of law‐hood. (shrink)

In this paper, I relate key features of Adolf Reinach’s abundant ontology of propositional states of affairs of his to Armstrong’s—or an Armstrongian—state of affairs ontology, with special regard to finding out how sparse or abundant the latter is with respect to negative states of affairs. After introducing the issue, I clarify the notion of a propositional state of affairs, paying special attention to the notion of abstract versus concrete. I show how Reinach’s states of affairs are propositional, and how (...) they compare with Chisholm’s well-known propositional states of affairs. In the next section, I outline Reinach’s five roles for states of affairs and show that only one of them is relevant to Armstrongian state of affairs ontology. In the following section, I utilise this role to create a ranking of state of affairs ontologies according to how abundant they are. It is, however, unclear which level Armstrongian state of affairs ontology is at, since it is unclear if, like Reinach’s ontology, it includes negative states of affairs. In the final section, I argue that the answer is a qualified ‘yes’, i.e. it does not occupy the sparsest level. (shrink)

This paper is concerned with what I call the ‘problem of unity’ . This is the puzzle of how Armstrong‐like states of affairs are unified. The general approach is ‘relational internalism’: the unifier of such a state of affairs is a relation of some sort in it. A view commonly associated with relational internalism is that if such a relation satisfies a certain ‘naive’ expectation to a relation – that it is related to its relata – then Bradley's regress results. (...) As I argue, for one very natural species of relational internalism, this is indeed the case. Influential writers on the topic have therefore maintained that this relation is not related to its relata. But, as we shall see, while this ‘classic’ relational internalism obviously avoids Bradley's regress, intuitively, it fails completely to solve the problem of unity. I argue, however, that given the rejection of a natural, but unfounded, assumption of conventional relational internalism, a unique relation can unify states of affairs without leading to Bradley's regress. I consequently propose a novel version of relational internalism on which states of affairs are unified by such an entity. (shrink)

Assuming minimal fine-individuation--that there are some necessarily equivalent intensional objects (e.g. propositions) that are nonetheless distinct objects, on standard actualist frameworks, the answer to our title question is "No". First I specify a fully cognitively accessible, purely qualitative maximal consistent state of affairs (MCS). (That there is an MCS that is either fully graspable or purely qualitative is in itself quite contrary to conventional dogma.) Then I identify another MCS, one necessarily equivalent to the first. It follows that there could (...) have been more than one obtaining MCS. I then argue that there is more than one obtaining MCS. So there is nothing answering to "the actual world", and the set of worlds is not the set of MCSs. I explore various patch-ups. Finally, I compare the actualist and modal realist notions of worlds, and I argue that even if the realist were right about concrete world ensembles, our reflections indicate that necessary truth is not truth in all worlds anyway, which undercuts the rationale for the realist's program. (shrink)

A mathematical model in science can be formulated as a counterfactual conditional, with the model’s assumptions in the antecedent and its predictions in the consequent. Interestingly, some of these models appear to have assumptions that are metaphysically impossible. Consider models in ecology that use differential equations to track the dynamics of some population of organisms. For the math to work, the model must assume that population size is a continuous quantity, despite that many organisms are necessarily discrete. This means our (...) counterfactual representation of the model can have an impossible antecedent, giving us a counterpossible. Analogous counterpossibles arise in other sciences, as we’ll see. According to a prominent view in counterfactual semantics, the vacuity thesis, all counterpossibles are vacuously true, that is, true merely because their antecedents are necessarily false. But some counterpossible formulations of differential equation models in science are not all vacuously true—some are non-vacuously true, and some are false. I go on to show how an alternative semantics, one that employs impossible worlds, can deliver this judgment. (shrink)

Policymakers are responsible for key decisions about political governance. Usually, they are selected or elected based on experience and then supported in their decision-making by the additional counsel of subject experts. Those satisfied with this system believe these individuals – generally speaking – will have the right intuitions about the best types of action. This is important because political decisions have ethical implications; they affect how we all live in society. Nevertheless, there is a wealth of research that cautions against (...) trusting human judgment as it can be severely flawed. This paper will look at the root causes of the most common errors of human judgment before arguing – contra the instincts of many – that future AI systems could take a range of political decisions more reliably. I will argue that, if/when engineers establish ethically robust systems, governments will have a moral obligation to refer to them as a part of decision-making. (shrink)

In this note I discuss what seems to be a new kind of counterexample to Lewis’s account of counterfactuals. A coin is to be tossed twice. I bet on ‘Two heads’, and I win. Common sense says that (1) is false. But Lewis’s theory says that it is true. (1) If at least one head had come up, I would have won.

It is commonly assumed that causation is transitive and in this paper I aim to reconcile this widely-held assumption with apparent evidence to the contrary. I will discuss a familiar approach to certain well-known counterexamples, before introducing a more resistant sort of case of my own. I will then offer a novel solution, based on Yablo’s proportionality principle, that succeeds in even these more resistant cases. There is a catch, however. Either proportionality is a constraint on which causal claims are (...) true, and the solution works, or it is not and causation is not transitive after all. I will argue that the first horn has unacceptable consequences and should be rejected, but that the second horn is less costly than it might initially appear. (shrink)

Possibilism—the view that there are non-actual, merely possible entities—is a surprisingly resilient doctrine.1 One particularly hardy strand of possibilism—the modal realism championed by David Lewis—continues to attract both foes who seek to demonstrate its falsity (or at least stare its advocates into apostasy) and friends who hope to defend modal realism (or, when necessary, modify modal realism so as to avoid problematic objections).2 Although I am neither a foe nor friend of modal realism (but some of my best friends are!), (...) like many I continue to be fascinated by the doctrine. (shrink)

This paper argues that a counterpart-theoretic treatment of events, combined with a counterfactual theory of causation, can help resolve three puzzles from the causation literature. First, CCT traces the apparent contextual shifts in our causal attributions to shifts in the counterpart relation which obtains in those contexts. Second, being sensitive to shifts in the counterpart relation can help diagnose what goes wrong in certain prominent examples where the transitivity of causation appears to fail. Third, CCT can help us resurrect the (...) much-maligned fragility response to the problems of late pre-emption by understanding fragility in counterpart-theoretic terms. Some reasons to prefer this CCT approach to rivals are discussed. (shrink)

We argue that desire is an attitude that relates a person not to one proposition but rather to two, the first of which we call the object of the desire and the second of which we call the condition of the desire. This view of desire is initially motivated by puzzles about conditional desires. It is not at all obvious how best to draw the distinction between conditional and unconditional desires. In this paper we examine extant attempts to analyse conditional (...) desire. From the failures of those attempts, we draw a moral that leads us to the correct account of conditional desires. We then extend the account of conditional desires to an account of all desires. We attempt to explain the distinction between intrinsic and extrinsic desire in light of our account of desire. We show how to use our account to solve Wollheim’s paradox of democracy and to save modus ponens. Finally, we extend the account of desire to related phenomena, such as conditional promises, intentions, and commands. (shrink)

An objection is presented to Lewis’s analysis of counterfactual conditionals in terms of relative closeness of possible worlds. The objection depends on no special assumptions about the ‘closer-than’ relation. The argument also casts doubt on Lewis’s claim that Antecedent Strengthening fails for counterfactuals.

Much previous work in artificial intelligence has neglected representing time in all its complexity. In particular, it has neglected continuous change and the indeterminacy of the future. To rectify this, I have developed a first‐order temporal logic, in which it is possible to name and prove things about facts, events, plans, and world histories. In particular, the logic provides analyses of causality, continuous change in quantities, the persistence of facts (the frame problem), and the relationship between tasks and actions. It (...) may be possible to implement a temporal‐inference machine based on this logic, which keeps track of several “maps” of a time line, one per possible history. (shrink)

The contemporary philosophical debate on free will and moral responsibility is rife with appeal to a variety of allegedly intuitive cases and principles. As a result, some have argued that many strands of this debate end in “dialectical stalemates,” boiling down to bedrock, seemingly intractable disagreements about intuition . Here I attempt to carve out a middle ground between conventional reliance on appeal to intuition and intuitional skepticism in regards to the philosophical discussion of moral responsibility in particular. The main (...) goal of this paper is to propose and defend a new methodological assumption that I argue responsibility theorists can and should accept, one that serves to preserve a general skepticism about the proper role of intuition in our responsibility theorizing while marking a particular class of our responsibility judgments as having a privileged epistemic status such that they can play a role in constraining our responsibility theorizing. (shrink)

The standard analysis of quantification says that determiner quantifiers (such as every) take an NP predicate and create a generalized quantifier. The goal of this paper is to subject these beliefs to crosslinguistic scrutiny. I begin by showing that in St'á'imcets (Lillooet Salish), quantifiers always require sisters of argumental type, and the creation of a generalized quantifier from an NP predicate always proceeds in two steps rather than one. I then explicitly adopt the strong null hypothesis that the denotations of (...) quantifiers should be crosslinguistically uniform. Since the Salish data cannot be captured by the usual analysis of English, I pursue the idea that English is reducible to the Salish pattern. Reanalysis of many English constructions is required. I argue that the reanalysis has advantages over the standard analysis for partitives, as well as for non-partitive all- and most-phrases, which I analyze as containing bare plurals of argumental type. Even where the new analysis faces some challenges (for example, with every), the attempt still leads to fruitful results. It forces us to view familiar constructions in a new light, and to redefine, I believe correctly, which quantificational constructions are ‘basic’ and which stand in need of further explanation. (shrink)

In this paper, I discuss whether the results of loop quantum gravity (LQG) constitute a fatal blow to Humeanism. There is at least a prima facie reason for believing so: while Humeanism regards spatiotemporal relations as fundamental, LQG describes the fundamental layer of our reality in terms of spin networks, which are not in spacetime. However, the question should be tackled more carefully. After explaining the importance of the debate on the tenability of Humeanism in light of LQG, and having (...) presented the Humean doctrine, I review two cases which present serious threats to Humeanism, one concerning the fundamentality of vectorial quantities and the other concerning quantum entanglement. In particular, I recall the strategies that are usually employed in these two cases in order to save Humeanism: in the first case, the strategy consists in amending the characterization of the Humean mosaic; in the second case, it consists in adopting a realist or nomological interpretation of the wave function. These solutions will turn out to be helpful in my discussion of LQG where, after describing LQG, I show that Humeans might save their doctrine either by endorsing a realist interpretation of spin networks, or by giving them a nomological status and, at the same time, by revisiting the characterization of the Humean mosaic. However, I conclude that both solutions are wanting. (shrink)