The controversy about intentional explanation of action concerns how these explanations work. What kind of model allows us to capture the dependency or relevance relation between the explanans, i.e. the beliefs and desires of the agent, and the explanandum, i.e. the action? In this paper, I argue that the causal mechanical model can do the job. Causal mechanical intentional explanations consist in a reference to the mechanisms of practical reasoning of the agent that motivated the agent to act, i.e. to (...) a causally relevant set of beliefs and desires. Moreover, the causal mechanical model can provide in efficient and unproblematic applications, unlike action explanations using ceteris paribus laws or counterfactuals. The drawback of the latter models of explanation is their modal requirement: the explanans must mention or implies sufficient and/or necessary conditions for the explanandum. Such a requirement is too strong when it comes to intentional explanation of action. (shrink)

We model three examples of beliefs that agents may have about other agents’ beliefs, and provide motivation for this conceptualization from the theory of mind literature. We assume a modal logical framework for modelling degrees of belief by partially ordered preference relations. In this setting, we describe that agents believe that other agents do not distinguish among their beliefs (‘no preferences’), that agents believe that the beliefs of other agents are in part as their own (‘my preferences’), and the special (...) case that agents believe that the beliefs of other agents are exactly as their own (‘preference refinement’). This multi-agent belief interaction is frame characterizable. We provide examples for introspective agents. We investigate which of these forms of belief interaction are preserved under three common forms of belief revision. (shrink)

David Lewis’s analysis of “can” in “The Paradoxes of Time Travel” has been widely accepted both as a definitive analysis of “can” and as a successful resolution of the Grandfather Paradox for time travel. I argue that the central feature of his analysis puts it on all fours with a fallacy frequently imputed to fatalists such as Richard Taylor. I go on to consider two moves that might be made to avoid the fallacy, arguing that one of them leads to (...) the unavailability of an all-things-considered “can” and the other to a new primitive modality, not analyzable in Lewis’s way. (shrink)

We show how belief revision can be treated systematically in the format of dynamicepistemic logic, when operators of conditional belief are added. The core engine consists of definable update rules for changing plausibility relations between worlds, which have been proposed independently in the dynamic-epistemic literature on preference change. Our analysis yields two new types of modal result. First, we obtain complete logics for concrete mechanisms of belief revision, based on compositional reduction axioms. Next, we show how various abstract postulates for (...) belief revision can be analyzed by standard modal frame correspondences for model-changing operations. (shrink)

Conditional learning, where agents learn a conditional sentence ‘If A, then B,’ is difficult to incorporate into existing Bayesian models of learning. This is because conditional learning is not uniform: in some cases, learning a conditional requires decreasing the probability of the antecedent, while in other cases, the antecedent probability stays constant or increases. I argue that how one learns a conditional depends on the causal structure relating the antecedent and the consequent, leading to a causal model of conditional learning. (...) This model extends traditional Bayesian learning by incorporating causal models into agents’ epistemic states. On this theory, conditional learning proceeds in two steps. First, an agent learns a new causal model with the appropriate relationship between the antecedent and the consequent. Then, the agent narrows down the set of possible worlds to include only those which make the conditional proposition true. This model of learning can incorporate both standard cases of Bayesian learning and the non-uniform learning required to learn conditional information. (shrink)

Counterfactuals in quantum theory are briefly reviewed and it is argued that they are very different from counterfactuals considered in the general philosophical literature. The issue of time symmetry of quantum counterfactuals is considered and a novel time-symmetric definition of quantum counterfactuals is proposed. This definition is applied for analyzing several controversies related to quantum counterfactuals.

David Lewis has formulated a well-known challenge to his Best System account of lawhood: the content of any system whatever can be formulated very simply if one allows for perverse choices of primitive vocabulary. We show that the challenge is not that dangerous, and that to account for it one need not invoke natural properties or relativized versions of the Best System account. This way, we help to move towards an even better Best System account. We discuss extensions of our (...) strategy to the discussions about the indexicality of the notion of laws of nature, and to another trivialization argument. (shrink)

This paper argues that ceteris paribus (cp) laws exist based on a Lewisian best system analysis of lawhood (BSA). Furthermore, it shows that a BSA faces a second trivialization problem besides the one identified by Lewis. The first point concerns an argument against cp laws by Earman and Roberts. The second point aims to help making some assumptions of the BSA explicit. To address the second trivialization problem, a restriction in terms of natural logical constants is proposed that allows one (...) to describe regularities, as specified by basic generics (e.g. ‘birds can fly’) and universals (e.g. ‘all birds can fly’). It is argued that cp laws rather than strict laws might be a part of the the best system of such a regularity-based BSA, since sets of cp laws can be both (a) simpler and (b) stronger when reconstructed as generic non-material conditionals. Yet, if sets of cp laws might be a part of the best system of a BSA and thus qualify as proper laws of nature, it seems reasonable to conclude that at least some cp laws qualify as proper laws of nature. (shrink)

Our paper consists of four parts. In the first part, we describe the challenge of the pervasive and permanent philosophical disagreement over philosophers’ epistemic self-esteem. In the second part, we investigate the attitude of philosophers who have high epistemic self-esteem even in the face of philosophical disagreement and who believe they have well-grounded philosophical knowledge. In the third section, we focus on the attitude of philosophers who maintain a moderate level of epistemic self-esteem because they do not attribute substantive philosophical (...) knowledge to themselves but still believe that they have epistemic right to defend substantive philosophical beliefs. In the fourth section, we analyse the attitude of philosophers who have a low level of epistemic self-esteem in relation to substantive philosophical beliefs and make no attempt to defend those beliefs. We argue that when faced with philosophical disagreement philosophers either have to deny that the dissenting philosophers are their epistemic peers or have to admit that doing philosophy is less meaningful than it seemed before. In this second case, philosophical activity and performance should not contribute to the philosophers’ overall epistemic self-esteem to any significant extent. (shrink)

This paper is mainly a response to Charles Morgan's criticisms (this journal, pp. 511-25) of the author's model of the (formal aspects of) explanation. It is claimed in the paper that with two modifications and some additional specifications the model withstands Morgan's criticisms.

Proponents of the dispositional theory of properties typically claim that their view is not one that offers a realist, governing conception of laws. My first aim is to show that, contrary to this claim, if one commits to dispositionalism then one does not automatically give up on a robust, realist theory of laws. This is because dispositionalism can readily be developed within a Platonic framework of universals. Second, I argue that there are good reasons for realist dispositionalists to favour a (...) Platonic view. This is because the alternative Aristotelian version of dispositionalism, on which universals are immanent entities, is unstable for various reasons. My final aim is to address a common criticism facing Platonic theories of laws, which is the problem of how external entities can play an explanatory role where the world’s law-like patterns of behaviour are concerned. I argue that the Platonists’ response to the one over many problem can help to shed light on this matter, and a possible solution is sketched, one which makes use of the notions of essence, constitution and ontological dependence. (shrink)

A popular version of anti-Humeanism is one that views fundamental properties as being irreducibly dispositional in nature, and it is a view to which I am attracted. Proponents of this view typically object to Humean regularity theories of laws on the basis that they do not explain why our world is regular rather than chaotic from moment to moment. It is thought that, for this reason, Humeanism does not provide firm enough foundations for induction. However, in this paper I argue (...) that it is far from clear how these anti-Humeans can themselves explain this regularity. This is because it is far from clear how they can explain why the entities in our world do not change their dispositional properties arbitrarily over time. This is a neglected problem, which I call the retention problem. In an attempt to solve this problem, several naturalistic explanations of retention are explored. Unfortunately, none of these explanations is free of problems, showing that dispositional forms of anti-Humeanism may not have as many advantages as some have assumed where the problem of induction is concerned. (shrink)

The Platonic account of modality says, roughly, that truths about alien possibilities are grounded in uninstantiated universals. Recently, Ingram has raised a problem for this kind of view, which is that it apparently requires negative facts to play a truthmaking role. Ingram offers an alternative Platonic account which makes use of modal instantiation relations. In this paper, I highlight some of the costs of Ingram’s new account and argue that a more appealing version of Platonism—and modal theory in general—is one (...) that is supplemented with an ontology of totality facts. (shrink)

After identifying some existing explanations offered by nomic necessitarians for the alleged necessary connections between natural properties and their dispositional or nomic features, I discuss a less explored necessitarian strategy. This strategy is available to Platonists who hold that properties exist necessarily, as most do.

Notoriously, the dispositional view of natural properties is thought to face a number of regress problems, one of which points to an epistemological worry. In this paper, I argue that the rival categorical view is also susceptible to the same kind of regress problem. This problem can be overcome, most plausibly, with the development of a structuralist epistemology. After identifying problems faced by alternative solutions, I sketch the main features of this structuralist epistemological approach, referring to graph-theoretic modelling in the (...) process. Given that both the categoricalists and dispositionalists are under pressure to adopt this same epistemological approach in light of the regress problem, this suggests that the categoricalist versus dispositionalist debate is best fought on metaphysical rather than epistemological grounds. (shrink)

Say that metaphysical indeterminacy occurs just when there is a fact such that neither it nor its negation obtains. The aim of this work is to shed light on the issue of whether orthodox quantum mechanics provides any evidence of metaphysical indeterminacy by discussing the logical, semantic, and broadly methodological presuppositions of the debate. I argue that the dispute amounts to a verbal disagreement between classical and quantum logicians, given Eli Hirsch’s account of substantivity; but that it need not be (...) so if Ted Sider’s naturalness-based account of substantivity is adopted instead. Given the latter approach, can anything be said in order to tip the balance of the dispute either way? Some prima facie reasonable constraints on naturalness entail that the classicist is right, and the quantum world is therefore determinate. Nevertheless, there are reasons for weakening those constraints, to the effect that the dispute remains very much open. Finally, I discuss alternative accounts of metaphysical indeterminacy, and argue that they are unsuitable for framing the quantum indeterminacy debate. (shrink)

A Benacerraf–Field challenge is an argument intended to show that common realist theories of a given domain are untenable: such theories make it impossible to explain how we’ve arrived at the truth in that domain, and insofar as a theory makes our reliability in a domain inexplicable, we must either reject that theory or give up the relevant beliefs. But there’s no consensus about what would count here as a satisfactory explanation of our reliability. It’s sometimes suggested that giving such (...) an explanation would involve showing that our beliefs meet some modal condition, but realists have claimed that this sort of modal interpretation of the challenge deprives it of any force: since the facts in question are metaphysically necessary and so obtain in all possible worlds, it’s trivially easy, even given realism, to show that our beliefs have the relevant modal features. Here I show that this claim is mistaken—what motivates a modal interpretation of the challenge in the first place also motivates an understanding of the relevant features in terms of epistemic possibilities rather than metaphysical possibilities, and there are indeed epistemically possible worlds where the facts in question don’t obtain. (shrink)

Proper functionalism claims that a belief has epistemic warrant only if it’s formed according to the subject’s truth-aimed cognitive design plan. The most popular putative counter-examples to proper functionalism all involve agents who form beliefs in seemingly warrant-enabling ways that don’t appear to proceed according to any sort of design. The Swampman case is arguably the most famous scenario of this sort. However, some proper functionalists accept that subjects like Swampman have warrant, opting instead to adopt a non-standard account of (...) design. But critics of proper functionalism hold that this strategy comes at a high cost: the design-plan condition now seems explanatorily superfluous. James Taylor construes cases like Swampman as posing a dilemma for the proper functionalist: either deny warrant in these cases and concede that proper functionalism doesn’t capture our intuitions, or affirm warrant and undermine the explanatory power of the design-plan condition. Proper functionalists have replied to both horns of this dilemma. Recently, Kenny Boyce and Andrew Moon have argued that warrant-affirming intuitions on cases like Swampman are motivated by a principle that has a clear counter-example. Also, Alvin Plantinga presents a set of cases that supposedly cause problems for any analysis of warrant that lacks a design-plan condition. In this essay, I present a counter-argument to Boyce and Moon’s argument, and show that a more robust reliability condition can accommodate Plantinga’s problem cases. I conclude that we’re left with no good reason to doubt that cases like Swampman raise a troubling dilemma for the proper functionalist. (shrink)

What does it mean to say that mind-body dualism is causally problematic in a way that other mind-body theories, such as the psychophysical type identity theory, are not? After considering and rejecting various proposals, I advance my own, which focuses on what grounds the causal closure of the physical realm. A metametaphysical implication of my proposal is that philosophers working without the notion of grounding in their toolkit are metaphysically impoverished. They cannot do justice to the thought, encountered in every (...) introductory class in the philosophy of mind, that dualism has a special problem accounting for mental causation. (shrink)

The article offers a rigorous truth condition for subjunctively conditional statements. The theory is framed in the system of transparent intensional logic and takes connections (especially the cause-Effect relation) as basic. Counterexamples are given to rival theories based on the notion of world similarity.

The Little Nell Problem was formulated by Drew McDermott in 1982. It reveals unexpected complexities in the interaction of the beliefs and intentions of a planning agent. This paper discusses the problem and proposes a solution.

Most of us have settled views about various intellectual debates, and much of the activity of philosophers is devoted to giving arguments that are designed to convince one's opponents to change their minds about a certain issue. But, what might this process require? More pointedly, can you clearly imagine what it would take to make you change your mind about a position you currently hold? This article argues that the surprising answer to this question is no—you cannot imagine what would (...) convince you to change your mind, since in doing so you would actually have to find those reasons compelling. The article then briefly looks at some implications of this conclusion. (shrink)

The Minimalist Program in generative linguistics is predicated on the idea that simplicity is a defining property of the human language faculty, on the one hand; on the other, a central aim of linguistic theorising. Worryingly, however, justifications for either claim are hard to come by in the literature. We sketch a proposal that would allow for both shortcomings to be addressed, and that furthermore honours the program’s declared commitment to naturalism. We begin by teasing apart and clarifying the different (...) conceptions of simplicity underlying generative inquiry, in both ontological and theoretical capacities. We then trace a path towards a more robust justification for each type of simplicity principle, drawing on recent work in cognitive science and in philosophy of science, respectively. The resulting proposal hinges on the idea that simplicity is an evolved, virtuous cognitive bias—one that is a condition of our scientific understanding and, ultimately, of successful scientific practice. Finally, we make a case for why minimalists should take this proposal seriously, on the one hand; and for why generative linguistics would make for an interesting case study for philosophy of science, on the other. (shrink)

Despite the importance of the variational principles of physics, there have been relatively few attempts to consider them for a realistic framework. In addition to the old teleological question, this paper continues the recent discussion regarding the modal involvement of the principle of least action and its relations with the Humean view of the laws of nature. The reality of possible paths in the principle of least action is examined from the perspectives of the contemporary metaphysics of modality and Leibniz's (...) concept of essences or possibles striving for existence. I elaborate a modal interpretation of the principle of least action that replaces a classical representation of a system's motion along a single history in the actual modality by simultaneous motions along an infinite set of all possible histories in the possible modality. This model is based on an intuition that deep ontological connections exist between the possible paths in the principle of least action and possible quantum histories in the Feynman path integral. I interpret the action as a physical measure of the essence of every possible history. Therefore only one actual history has the highest degree of the essence and minimal action. To address the issue of necessity, I assume that the principle of least action has a general physical necessity and lies between the laws of motion with a limited physical necessity and certain laws with a metaphysical necessity. (shrink)

Some philosophers argue that we should eschew cross-explanatory integrations of mechanistic, dynamicist, and psychological explanations in cognitive science, because, unlike integrations of mechanistic explanations, they do not deliver genuine, cognitive scientific explanations. Here I challenge this claim by comparing the theoretical virtues of both kinds of explanatory integrations. I first identify two theoretical virtues of integrations of mechanistic explanations—unification and greater qualitative parsimony—and argue that no cross-explanatory integration could have such virtues. However, I go on to argue that this is (...) only a problem for those who think that cognitive science aims to specify one fundamental structure responsible for cognition. For those who do not, cross-explanatory integration will have at least two theoretical virtues to a greater extent than integrations of mechanistic explanations: explanatory depth and applicability. I conclude that one’s views about explanatory integration in cognitive science cannot be segregated from one’s views about the explanatory task of cognitive science. (shrink)

Reliabilists hold that a belief is doxastically justified if and only if it is caused by a reliable process. But since such a process is one that tends to produce a high ratio of true to false beliefs, reliabilism is on the face of it applicable to binary beliefs, but not to degrees of confidence or credences. For while beliefs admit of truth or falsity, the same cannot be said of credences in general. A natural question now arises: Can reliability (...) theories of justified belief be extended or modified to account for justified credence? In this paper, I address this question. I begin by showing that, as it stands, reliabilism cannot account for justified credence. I then consider three ways in which the reliabilist may try to do so by extending or modifying her theory, but I argue that such attempts face certain problems. After that, I turn to a version of reliabilism that incorporates evidentialist elements and argue that it allows us to avoid the problems that the other theories face. If I am right, this gives reliabilists a reason, aside from those given recently by Comesaña and Goldman, to move towards such a kind of hybrid theory. (shrink)

In this paper I argue that presentism —the view that only present objects exist—can be motivated, at least to some degree, by virtue of the fact that it is more quantitatively parsimonious than rival views.

I argue that mereological nihilism fails because it cannot answer the special arrangement question: when is it true that the xs are arranged F-wise? I suggest that the answers given in the literature fail and that the obvious responses that could be made look to undermine the motivations for adopting nihilism in the first place.

Bermúdez identifies the “Interface Problem” as the central problem in the philosophy of psychology: how commonsensical psychological explanations can be integrated with lower-level explanations? In particular, since folk psychology is meant to provide causal explanations on a par with, say, neurobiological explanations, the question of how to understand the relation between the two layers arises naturally. Donald Davidson claimed that the interface problem is actually ill-posed and put forward his version of the “Autonomy Picture”, the view known as anomalous monism. (...) This work reviews Davidson’s proposal in the light of digital universes: we model the key claims of the theory using cellular automata and show that Davidson’s original version of the Autonomy Picture is immune to two arguments against autonomy. (shrink)

I propose a counterfactual theory of infinite regress arguments. Most theories of infinite regress arguments present infinite regresses in terms of indicative conditionals. These theories direct us to seek conditions under which an infinite regress generates an infinite inadmissible set. Since in ordinary language infinite regresses are usually expressed by means of infinite sequences of counterfactuals, it is natural to expect that an analysis of infinite regress arguments should be based on a theory of counterfactuals. The Stalnaker–Lewis theory of counterfactuals, (...) augmented with some fundamental notions from metric-spaces, provides a basis for such an analysis of infinite regress arguments. Since the technique involved in the analysis is easily adaptable to various analyses, it facilitates a rigorous comparison among conflicting philosophical analyses of any given infinite regress. (shrink)

Philosophers and linguists alike tend to call a semantic theory ‘Russellian’ just in case it assigns to sentences in which definite descriptions occur the truth-conditions Russell did in ‘On Denoting’. This is unfortunate; not all aspects of those particular truth-conditions do explanatory work in Russell's writings. As far as the semantics of descriptions is concerned, the key insights of ‘On Denoting’ are that definite descriptions are not uniformly referring expressions, and that they are scope-bearing elements. Anyone who accepts these two (...) claims can account for Russell's puzzle cases the way he did. Russell had no substantive argument for the claim that ‘The F is G’ entails ‘There is at most one F’; in fact, he had important misgivings about it. I outline an argument against this claim, and I argue that by holding on to uniqueness contemporary semanticists make a momentous mistake: they keep the illusion alive that there is a way to account for linguistic meaning without addressing what linguistic expressions are for. (shrink)

That laws of nature play a vital role in explanation, prediction, and inductive inference is far clearer than the nature of the laws themselves. My hope here is to shed some light on the nature of natural laws by developing and defending the view that they involve genuine relations between properties. Such a position is suggested by Plato, and more recent versions have been sketched by several writers.~ But I am not happy with any of these accounts, not so much (...) because they lack detail or engender minor difficulties, though they do, but because they share a quite fundamental defect. My goal here is to make this defect clear and, more importantly, to present a rather different version of this general conception of laws that avoids it. I begin by considering several features of natural laws and argue that these are best explained by the view that laws involve properties, that this involvement takes the form of a genuine relation between properties, and, finally, that the relation is a metaphysically necessary one. In the second section I start at the other end, and by reflecting on the nature of properties arrive at a similar account of natural laws. In the final section I develop this account in more detail, with emphasis on the nature of the relation between properties it invokes. Along the way several natural objections to the account are answered. (shrink)

ABSTRACT Many of our common-sense moral judgments seemingly imply the existence of moral luck. I attempt to avoid moral luck while retaining most of these judgments. I defend a view on which agents have moral equality of opportunity. This allows us to account for our anti-moral-luck intuitions at less cost than has been previously recognized.

This paper develops a compositional, type-driven constraint semantic theory for a fragment of the language of subjective uncertainty. In the particular application explored here, the interpretation function of constraint semantics yields not propositions but constraints on credal states as the semantic values of declarative sentences. Constraints are richer than propositions in that constraints can straightforwardly represent assessments of the probability that the world is one way rather than another. The richness of constraints helps us model communicative acts in essentially the (...) same way that we model agents’ credences. Moreover, supplementing familiar truth-conditional theories of epistemic modals with constraint semantics helps capture contrasts between strong necessity and possibility modals, on the one hand, and weak necessity modals, on the other. (shrink)

In his original semantics for counterfactuals, David Lewis presupposed that the ordering of worlds relevant to the evaluation of a counterfactual admitted no incomparability between worlds. He later came to abandon this assumption. But the approach to incomparability he endorsed makes counterintuitive predictions about a class of examples circumscribed in this paper. The same underlying problem is present in the theories of modals and conditionals developed by Bas van Fraassen, Frank Veltman, and Angelika Kratzer. I show how to reformulate all (...) these theories in terms of lower bounds on partial preorders, conceived of as maximal antichains, and I show that treating lower bounds as cutsets does strictly better at capturing our intuitions about the semantics of modals, counterfactuals, and deontic conditionals. (shrink)

This article discusses some of the ways in which natural language can express modal information – information which is, to a first approximation, about what could be or must be the case, as opposed to being about what actually is the case. It motivates, explains, and raises problems for Angelika Kratzer's influential theory of modal auxiliaries, and introduces a new approach to one important debate about the relationships between modality, evidentiality, context change, and imperative force.

This is a critical notice of Nate Charlow and Matthew Chrisman's (eds.) edited collection of articles entitled Deontic Modality. It begins from a brief overview of Angelika Kratzer's standard ordering semantic model for understanding deontic modals such as 'ought', 'must', and 'may' and some of the problems of this model. The focus is then on how many of the articles of this collection reach to these problems by either developing the standard model further or by formulating alternatives to it. This (...) critical notice then focuses on the principles that should govern our theory-choice in formal semantics once all these formal models are developed to deal with many of the problem cases discussed in this excellent collection. (shrink)

I aim to reconcile two apparently conflicting theses: (a) Everything that can be explained, can be explained in purely physical terms, that is, using the machinery of fundamental physics, and (b) some properties that play an explanatory role in the higher level sciences are irreducible in the strong sense that they are physically undefinable: their nature cannot be described using the vocabulary of physics. I investigate the contribution that physically undefinable properties typically make to explanations in the high-level sciences, and (...) I show that when they are explanatorily relevant, it is in virtue of their extension (or something close) alone. They are irreducible because physics cannot capture their nature; this is no obstacle, however, to physics' more or less capturing their extension, which is all that it need do to duplicate their explanatory power. In the course of the argument, I sketch the outlines of an account of the explanation of physically contingent regularities, such as the regularities found in most branches of biological inquiry, at the center of which is an account of the nature of contingent, empirical bridge principles. (shrink)

A recent paper by David Lewis, "Causation as Influence", proposes a new theory of causation. I argue against the theory, maintaining that (a) the relation asserted by a claim of the form "C was a cause of E" is distinct from the relation of causal influence, (b) the former relation depends very much, contra Lewis, on the individuation conditions for the event E, and (c) Lewis's account is unsatisfactory as an analysis of either kind of relation. The counterexamples presented here (...) provide, I suggest, some insight into the reasons for the failure of counterfactual accounts of causal relations. (shrink)

Here is a simple counterexample to David Lewis’s causal influence account of causation, one that is especially illuminating due to its connection to what Lewis himself writes: it is a variant of his trumping example.