Determinism is a claim about the laws of nature: very roughly, it is the claim that everything that happens is determined by antecedent conditions together with the natural laws. Incompatibilism is a philosophical thesis about the relevance of determinism to free will: that the truth of determinism rules out the existence of free will. The incompatibilist believes that if determinism turned out to be true, it would also be true that we don't have, and have never had, free will. The (...) compatibilist denies that determinism has the consequences the incompatibilist thinks it has. According to the compatibilist, the truth of determinism does not preclude the existence of free will. (Even if we learned tomorrow that determinism is true, it might still be true that we have free will.) The philosophical problem of free will and determinism is the problem of understanding, how, if at all, the truth of determinism might be compatible with the truth of our belief that we have free will. That is, it's the problem of deciding who is right: the compatibilist or the incompatibilist. (shrink)

In this paper we intend to offer a first approach to the incorporation of certain formal tools in the elucidation of some issues discussed in epistemological contexts. The aim is not to offer an exhaustive resolution of these problems but merely to point out the usefulness of modal semantics when applied to different fields. Here we will show how a series of skeptical arguments eventually involve a modal (counterfactual) structure, which we will try to generalise into a useful scheme. -/- (...) . (shrink)

The glass vase on my desk is fragile. It should be handled with care because it it is likely to shatter or crack if it is knocked, dropped, or otherwise treated roughly. The vase has certain dispositions, for example the disposition to shatter when dropped. But what is this disposition? It seems on the one hand to be a perfectly real property, a genuine respect of similarity common to glass vases, china cups, ancient manuscripts, and anything else fragile. Yet on (...) the other hand my vase's disposition seems mysterious, "ethereal" (as Nelson Goodman (1954) put it) in a way that, say, its size and shape properties are not. For my vase's disposition, it seems, has to do only with its possibly shattering in certain conditions, conditions which I hope will never be realized. In general, it seems that nothing about the actual behavior of an object is ever necessary for it to have the dispositions it has. Many objects differ from each other with respect to their dispositions in virtue of their merely possible behavior, and this is a mysterious way for objects to differ. (shrink)

I. Non-Trivial Counterpossibles On Lewis’ account, a subjunctive of the form ‘if it were the case that p, it would be the case that q’ (represented as ‘p → q’) is to be given the following rough meta-linguistic truth-conditions1.

In this critical review I discuss the main themes of the papers in Kit Fine's Modality and Tense: Philosophical Papers. These themes are that modal operators are intelligible in their own right and that actualist quantifiers are to be taken as basic with respect to possibilist quantifiers. I also discuss a previously unpublished paper of Fine's on modality and existence.

Cohen and Meskin 2006 recently offered a counterfactual theory of information to replace the standard probabilistic theory of information. They claim that the counterfactual theory fares better than the standard account on three grounds: first, it provides a better framework for explaining information flow properties; second, it requires a less expensive ontology; and third, because it does not refer to doxastic states of the information-receiving organism, it provides an objective basis. In this paper, I show that none of these is (...) really an advantage. Moreover, the counterfactual theory fails to satisfy one of the basic properties of information flow, namely the Conjunction principle. Thus, I conclude, there is no reason to give up the standard probabilistic theory for the counterfactual theory of information. (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)

A novel motivation for a Humean projectivist construal of our concept of scientific law is provided. The analysis is partially developed and used to explain intuitions that are problematic for a Humean reductionist construal of lawhood. A possible non-Humean rejoinder is discussed and rejected. In an appendix, further intuitions that are problematic for Humean reductionists are explained projectively.

The paper builds on the basically Humean idea that A is a cause of B iff A and B both occur, A precedes B, and A raises the metaphysical or epistemic status of B given the obtaining circumstances. It argues that in pursuit of a theory of deterministic causation this ‘status raising’ is best explicated not in regularity or counterfactual terms, but in terms of ranking functions. On this basis, it constructs a rigorous theory of deterministic causation that successfully deals (...) with cases of overdetermination and pre-emption. It finally indicates how the account's profound epistemic relativization induced by ranking theory can be undone. Introduction Variables, propositions, time Induction first Causation Redundant causation Objectivization. (shrink)

In no possible world does a time traveler succeed in killing herearlier self before she ever enters a time machine. So if many,many time travelers went back in time trying to kill theirunprotected former selves, the time travelers would fail inmany strange, coincidental ways, slipping on bananapeels, killing the wrong victim, and so on. Such cases producedoubts about time travel. How could ``coincidences'' beguaranteed to happen? And wouldn't the certainty of coincidentalfailure imply that time travelers are not free to killtheir (...) earlier selves? But if so, what would inhibit theirfreedom? Despite initial appearances, these and other doubtsmay be answered: the possibility of time travel survives yetanother challenge. (shrink)

In this chapter, I survey what I call Lewisian approaches to modality: approaches that analyze modality in terms of concrete possible worlds and their parts. I take the following four theses to be characteristic of Lewisian approaches to modality. (1) There is no primitive modality. (2) There exists a plurality of concrete possible worlds. (3) Actuality is an indexical concept. (4) Modality de re is to be analyzed in terms of counterparts, not transworld identity. After an introductory section in which (...) I motivate analyzing modality in terms of possible worlds, I devote one section to each of these four theses. For each thesis, I take Lewis’s interpretation and defense as my starting point. I then consider and endorse alternative ways of accepting the thesis, some of which disagree substantially with Lewis’s interpretation or defense. There is more than one way to be a Lewisian about modality. (shrink)

This paper analyzes the notion of a minimal belief change that incorporates new information. I apply the fundamental decision-theoretic principle of Pareto-optimality to derive a notion of minimal belief change, for two different representations of belief: First, for beliefs represented by a theory – a deductively closed set of sentences or propositions – and second for beliefs represented by an axiomatic base for a theory. Three postulates exactly characterize Pareto-minimal revisions of theories, yielding a weaker set of constraints than the (...) standard AGM postulates. The Levi identity characterizes Pareto-minimal revisions of belief bases: a change of belief base is Pareto-minimal if and only if the change satisfies the Levi identity (for “maxichoice” contraction operators). Thus for belief bases, Pareto-minimality imposes constraints that the AGM postulates do not. The Ramsey test is a well-known way of establishing connections between belief revision postulates and axioms for conditionals (“if p, then q”). Pareto-minimal theory change corresponds exactly to three characteristic axioms of counterfactual systems: a theory revision operator that satisfies the Ramsey test validates these axioms if and only if the revision operator is Pareto-minimal. (shrink)

This paper dwells upon formal models of changes of beliefs, or theories, which are expressed in languages containing a binary conditional connective. After defining the basic concept of a (non-trivial) belief revision model. I present a simple proof of Gärdenfors''s (1986) triviality theorem. I claim that on a proper understanding of this theorem we must give up the thesis that consistent revisions (additions) are to be equated with logical expansions. If negated or might conditionals are interpreted on the basis of (...) autoepistemic omniscience, or if autoepistemic modalities (Moore) are admitted, even more severe triviality results ensue. It is argued that additions cannot be philosophically construed as parasitic (Levi) on expansions. In conclusion I outline somed logical consequences of the fact that we must not expect monotonic revisions in languages including conditionals. (shrink)

Though most of analytic philosophy is based upon intuitions, some philosophers are beginning to question whether intuitions are an appropriate basis for philosophical theory. This paper responds to the arguments of some contemporary philosophers who hold that intuitions should not be treated as evidence for anything other than our contingent psychological constitution. It begins with a demonstration that skeptical arguments by Gilbert Harman and Alvin Goldman are variations on an argument with the potential to undermine the use of intuitions in (...) much philosophical inquiry. After a demonstration that Nicholas Sturgeon’s response to Harman’s argument is inadequate, it argues that all of the instances of the skeptical argument are unsuccessful because they are epistemically self-defeating. (shrink)

This paper presents ConR (Conditional R), a logic of conditionals based on Anderson and Belnap''s system R. A Routley-Meyer-style semantics for ConR is given for the system (the completeness of ConR over this semantics is proved in E. Mares and A. Fuhrmann, A Relevant Theory of Conditionals (unpublished MS)). Moreover, it is argued that adopting a relevant theory of conditionals will improve certain theories that utilize conditionals, i.e. Lewis'' theory of causation, Lewis'' dyadic deontic logic, and Chellas'' dyadic deontic logic.

The theories of belief change developed within the AGM-tradition are not logics in the proper sense, but rather informal axiomatic theories of belief change. Instead of characterizing the models of belief and belief change in a formalized object language, the AGM-approach uses a natural language — ordinary mathematical English — to characterize the mathematical structures that are under study. Recently, however, various authors such as Johan van Benthem and Maarten de Rijke have suggested representing doxastic change within a formal logical (...) language: a dynamic modal logic. Inspired by these suggestions Krister Segerberg has developed a very general logical framework for reasoning about doxastic change: dynamic doxastic logic (DDL). This framework may be seen as an extension of standard Hintikka-style doxastic logic with dynamic operators representing various kinds of transformations of the agent's doxastic state. Basic DDL describes an agent that has opinions about the external world and an ability to change these opinions in the light of new information. Such an agent is non-introspective in the sense that he lacks opinions about his own belief states. Here we are going to discuss various possibilities for developing a dynamic doxastic logic for introspective agents: full DDL or DDL unlimited. The project of constructing such a logic is faced with difficulties due to the fact that the agent’s own doxastic state now becomes a part of the reality that he is trying to explore: when an introspective agent learns more about the world, then the reality he holds beliefs about undergoes a change. But then his introspective (higher-order) beliefs have to be adjusted accordingly. In the paper we shall consider various ways of solving this problem. (shrink)

A dispute in epistemology has arisen over whether some class of things epistemic (things known or justified, for example) is closed under some operation involving the notion of what follows deductively from members of this class. Very few philosophers these days believe that if you know that p, and p entails q, then you know that q. But many philosophers think that something weaker holds, for instance that if you know that p, and p entails q, then you are in (...) a position to know that p, or if you know that p and you competently deduce p from q, then you know that q. However there are some considerations tracing back to Wittgenstein’s On Certainty and some early work by Fred Dretske that suggests even these weaker principles are false. (shrink)

The purpose of this paper is to give a semantical analysis of why-questions. Why-questions will be construed as requests for knowledge. Special attention will be paid to considering what the conditions for conclusive answerhood are in the case of why-questions. Since explanations can often be thought of as answers to why-questions, we also discuss some topics in the theory of explanation.

Humean metaphysics is characterized by a rejection of necessary connections between distinct existences. Dispositionalists claim that there are basic causal powers. The existence of such properties is widely held to be incompatible with the Humean rejection of necessary connections. In this paper I present a novel theory of causal powers that vindicates the dispositionalist claim that causal powers are basic, without embracing brute necessary connections. The key assumptions of the theory are that there are natural types of causal processes, and (...) that manifestations of powers are identified with certain kinds of causal processes. From these assumptions, the modal features of powers are explained in terms of internal relations between powers themselves and the process-types in which powers are manifested. (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)

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)

Kolmogorov''s axiomatization of probability includes the familiarratio formula for conditional probability: 0).$$ " align="middle" border="0">.

In his (1981) paper, Stalnaker has revised his old theory of conditionals and has given the revision an interesting defense. Indeed, Stalnaker shows that this new theory meets the standard objections put to the old. However, I argue that the revision runs into difficulties in the context of quantum mechanics: If Stalnaker's theory of the conditional is assumed, then from plausible assumptions certain Bell-like conflicts with experiment can be derived. This result, I go on to argue, is a good reason (...) to reject Stalnaker's theory, at least for the quantum mechanical context. (shrink)

This paper evaluates the recent trend to renounce the similarity approach to counterfactuals in favor of the older metalinguistic theory. I try to show, first, that the metalinguistic theory cannot work in anything like its present form (the form described by many in the last decade who claim to be able to solve Goodman''s old problem of cotenability). This is so, I argue, because the metalinguistic theory requires laws of nature of a sort that we (apparently) do not have: current (...) physical theory cannot underwrite the metalinguistic theory. Second, I draw from the first point a motivation for the similarity approach, a motivation based on theoretical considerations apart from the standard ones of pretheoretical intuition. (shrink)

How to accept a conditional? F. P. Ramsey proposed the following test in (Ramsey 1990).(RT) If A, then B must be accepted with respect to the current epistemic state iff the minimal hypothetical change of it needed to accept A also requires accepting B.

Reliabilism about epistemic justification - the thesis that what makes a belief epistemically justified is that it was produced by a reliable process of belief-formation - must face two problems. First, what has been called "the new evil demon problem", which arises from the idea that the beliefs of victims of an evil demon are as justified as our own beliefs, although they are not - the objector claims - reliably produced. And second, the problem of diagnosing why skepticism is (...) so appealing despite being false. I present a special version of reliabilism, "indexical reliabilism", based on two-dimensional semantics, and show how it can solve both problems. (shrink)

Recent attempts to fix the direction of causal priority without reference to the direction of temporal priority have begun with an analysis of the causal relation itself. I offer a method, based on causal modelling theory, designed to determine the direction of causal priority while remaining as agnostic as possible about the nature of the causal relation.

In this paper I examine two aspects of Hempel’s covering-law models of explanation. These are (i) nomic subsumption and (ii) explication by models. Nomic subsumption is the idea that to explain a fact is to show how it falls under some appropriate law. This conception of explanation Hempel explicates using a pair of models, where, in this context, a model is a template or pattern such that if something fits it, then that thing is an explanation. A range of well-known (...) counter-examples to Hempel’s models has led his successors to seek alternatives. Problems with limited amendments have encouraged some theorists of explanation to abandon nomic subsumption. So, in particular, causal components have come to be regarded as essential, even though Hempel had intended his model to capture causal explanation as well.1 Here I want to examine the prospects for retaining nomic subsumption by rejecting the other feature of Hempel’s approach – explication by models. An examination of the counter-examples will suggest that it is a mistake to imagine that a limited quantity of information about laws and antecedent conditions will be able to provide an actual explanation – other information, about explanations, may be relevant. This in turn leads me to examine what I shall call structural approaches. They are structural because the status of something as an explanation depends on its fitting into a structure of explanations. There are two structural approaches I shall examine. One is holistic – it proposes that we consider explanation hand-in-hand with the concept of law. This account of explanation inherits its holistic nature from the holistic (or sys- tematic) character of laws of nature. The second supervenience view I shall consider is not global as the holistic approach is. Instead it concentrates on the ‘vertical’ structure of explanations, whereby the existence of a nomic explanation at one level reflects explanations on lower levels on which it supervenes. These structural approaches were first proposed in Bird Synthese 120: 1–18, 1999. © 1999 Kluwer Academic Publishers.. (shrink)

I argue that Lewis's counterfactual theory of causation, given his treatment of counterfactuals in terms of world-comparative similarity faces insuperable problems in the form of the problem of effects and the problem of epiphenomena.

A set of axioms implicitly defining the standard, though not instant-based but interval-based, time topology is used as a basis to build a temporal modal logic of events. The whole apparatus contains neither past, present, and future operators nor indexicals, but only B-series relations and modal operators interpreted in the standard way. Determinism and indeterminism are then introduced into the logic of events via corresponding axioms. It is shown that, if determinism and indeterminism are understood in accordance with their core (...) meaning, the way in which they are formally introduced here represents the only right way to do this, given that we restrict ourselves to one real world and make no use of the many real worlds assumption. But then the result is that the very truth conditions for sentences about indeterministic events imply the existence of tensed truths, in spite of the fact that these conditions are formulated (in the indeterministic axiom) in terms of tenseless language. The tenseless theory of time implies determinism, while indeterminism requires the flow of time assumption. (shrink)

Epistemic modal operators give rise to something very like, but also very unlike, Moore's paradox. I set out the puzzling phenomena, explain why a standard relational semantics for these operators cannot handle them, and recommend an alternative semantics. A pragmatics appropriate to the semantics is developed and interactions between the semantics, the pragmatics, and the definition of consequence are investigated. The semantics is then extended to probability operators. Some problems and prospects for probabilistic representations of content and context are explored.

I outline and motivate a way of implementing a closest world theory of indicatives, appealing to Stalnaker's framework of open conversational possibilities. Stalnakerian conversational dynamics helps us resolve two outstanding puzzles for a such a theory of indicative conditionals. The first puzzle -- concerning so-called 'reverse Sobel sequences' -- can be resolved by conversation dynamics in a theoryneutral way: the explanation works as much for Lewisian counterfactuals as for the account of indicatives developed here. Resolving the second puzzle, by contrast, (...) relies on the interplay between the particular theory of indicative conditionals developed here and Stalnakerian dynamics. The upshot is an attractive resolution of the so-called "Gibbard phenomenon" for indicative conditionals. (shrink)

The purpose of the present paper is to challenge some received assumptions about the logical analysis of modal English, and to show that these assumptions are crucial to certain debates in current philosophy of language. Specifically, I will argue that the standard analysis in terms of quantified modal logic mistakenly fudges important grammatical distinctions, and that the validity of Kripke's modal argument against description theories of proper names crucially depends on ensuing equivocations.

I set out and defend a view on indicative conditionals that I call “indexical relativism ”. The core of the view is that which proposition is expressed by an utterance of a conditional is a function of the speaker’s context and the assessor’s context. This implies a kind of relativism, namely that a single utterance may be correctly assessed as true by one assessor and false by another.

The aim of this paper is twofold: (i) to introduce the framework of update semantics and to explain what kind of semantic phenomena may successfully be analysed in it: (ii) to give a detailed analysis of one such phenomenon: default reasoning.

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)

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.

I present an analysis of Free Choice Items (FCIs), based on Scandinavian, where FCIs are complex and distinct from polarity sensitive items. Scandinavian FCIs are argued to have two components. One is a universal quantifying into modal contexts. The other is an operator mapping a type (s,t) expression onto itself, adjoining to the closest type t or (s,t) expression. Thus invoking Intensional Functional Application, this operator requires the presence of a modal in the scope of the universal quantifier. Facts concerning (...) ‘essential connections’ and ‘existential import’ are accounted for by assuming that the FC determiner has the option of acting like a quantifier. (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)