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.

In order to refute the widely held belief that the game known as ‘Newcomb's paradox’ is physically nonsensical and impossible to imagine (e.g. because it involves backward causation), I tell a story in which the game is realized in a classical, deterministic universe in a physically plausible way. The predictor is a collection of beings which are by many orders of magnitude smaller than the player and which can, with their exquisite measurement techniques, observe the particles in the player's body (...) so accurately that they can predict his choice (in much the same way as we can predict the motion of celestial bodies). I argue that the player, by choosing whether to take only one box or both boxes, influences whether or not, in the past, the predictor put a million pounds into the second box. Yet, I establish that no causal paradox can arise in this set-up. (shrink)

David Lewis's best-system analysis of laws of nature is perhaps the best known sophisticated regularity theory of laws. Its strengths are widely recognized, even by some of its ablest critics. Yet it suffers from what appears to be a glaring weakness: It seems to grant an arbitrary privilege to the standards of our own scientific culture. I argue that by reformulating, or reinterpreting, Lewis's exposition of the best-system analysis, we arrive at a view that is free of this weakness. The (...) resulting theory of laws has the surprising consequence that the term "law of nature" is indexical. (shrink)

On David Lewis's original analysis of causation, c causes e only if c is linked to e by a chain of distinct events such that each event in the chain (counter-factually) depends on the former one. But this requirement precludes the possibility of late pre-emptive causation, of causation by fragile events, and of indeterministic causation. Lewis proposes three different strategies for accommodating these three kinds of cases, but none of these turn out to be satisfactory. I offer a single analysis (...) of causation that resolves these problems in one go but which respects Lewis's initial insights. One distinctive feature of my account is that it accommodates indeterministic causation without resorting to probabilities. (shrink)

I identify the special sort of stability (invariance, resilience, etc.) that distinguishes laws from accidental truths. Although an accident can have a certain invariance under counterfactual suppositions, there is no continuum between laws and accidents here; a law's invariance is different in kind, not in degree, from an accident's. (In particular, a law's range of invariance is not "broader"--at least in the most straightforward sense.) The stability distinctive of the laws is used to explicate what it would mean for there (...) to be multiple grades (or degrees) of physical necessity. Whether there are is for science to discover. (shrink)

I assess the thesis that counterfactual asymmetries are explained by an asymmetry of the global entropy at the temporal boundaries of the universe, by developing a method of evaluating counterfactuals that includes, as a background assumption, the low entropy of the early universe. The resulting theory attempts to vindicate the common practice of holding the past mostly fixed under counterfactual supposition while at the same time allowing the counterfactual's antecedent to obtain by a natural physical development. Although the theory has (...) some success in evaluating a wide variety of ordinary counterfactuals, it fails as an explanation of counterfactual asymmetry. (shrink)

John Hawthorne in a recent paper takes issue with Lewisian accounts of counterfactuals, when relevant laws of nature are chancy. I respond to his arguments on behalf of the Lewisian, and conclude that while some can be rebutted, the case against the original Lewisian account is strong.I develop a neo-Lewisian account of what makes for closeness of worlds. I argue that my revised version avoids Hawthorne’s challenges. I argue that this is closer to the spirit of Lewis’s first (non-chancy) proposal (...) than is Lewis’s own suggested modification. (shrink)

Fictionalism has recently returned as a standard response to ontologically problematic domains. This article assesses moral fictionalism. It argues (i) that a correct understanding of the dialectical situation in contemporary metaethics shows that fictionalism is only an interesting new alternative if it can provide a new account of normative content: what is it that I am thinking or saying when I think or say that I ought to do something; and (ii) that fictionalism, qua fictionalism, does not provide us with (...) any new resources for providing such an account. (shrink)

The paper proposes a novel analysis of quantificational subordination, e.g. Harvey courts a woman at every convention. {She is very pretty. vs. She always comes to the banquet with him.} (Karttunen 1976), in particular of the fact that the indefinite in the initial sentence can have wide or narrow scope, but the first discourse as a whole allows only for the wide scope reading, while the second discourse allows for both readings. The cross-sentential interaction between scope and anaphora is captured (...) in terms of structured anaphora to quantifier domains, formalized in a new dynamic system couched in classical type logic; given the underlying type logic, Montague-style compositionality at sub-clausal level follows automatically. Modal subordination (Roberts 1987) is analyzed in a parallel way, thereby capturing the parallels between the individual and modal domains argued for in Stone (1999). Several other phenomena are analyzed in terms of structured anaphora: exceptional wide scope, weak / strong donkey readings, anaphoric / uniqueness-implying definite descriptions and interactions between same / different and quantifier scope. (shrink)

The problem of the source of necessity is the problem of explaining what makes necessary truths necessarily true. Simon Blackburn has presented a dilemma intended to show that any reductive, realist account of the source of necessity is bound to fail. Although Blackburn's dilemma faces serious problems, reflection on the form of explanations of necessities reveals that a revised dilemma succeeds in defeating any reductive account of the source of necessity. The lesson is that necessity is metaphysically primitive and irreducible.

Gödel argued that intuition has an important role to play in mathematical epistemology, and despite the infamy of his own position, this opinion still has much to recommend it. Intuitions and folk platitudes play a central role in philosophical enquiry too, and have recently been elevated to a central position in one project for understanding philosophical methodology: the so-called ‘Canberra Plan’. This philosophical role for intuitions suggests an analogous epistemology for some fundamental parts of mathematics, which casts a number of (...) themes in recent philosophy of mathematics (concerning a priority and fictionalism, for example) in revealing new light. (shrink)

– The paper defends a naturalistic version of modal actualism according to which what is metaphysically possible is determined by dispositions found in the actual world. We argue that there is just one world—this one—and that all genuine possibilities are anchored by the dispositions exemplified in this world. This is the case regardless of whether or not those dispositions are manifested. As long as the possibility is one that would obtain were the relevant disposition manifested, it is a genuine possibility. (...) Furthermore, by starting from actual dispositional properties and branching out, we are able to include possibilities that are quite far removed from any state of affairs that happens to obtain, while still providing a natural and actual grounding of possibility. Stressing the importance of ontological considerations in any theory of possibility, it is argued that the account of possibility in terms of dispositional properties provides a more palatable ontology than those of its competitors. Coming at it from the other direction, the dispositional account of possibility also provides motivation for taking an ontology of dispositions more seriously. As well as the relevant dispositional notions required to lay out the view, the paper discusses the dispositional realism needed as the basis for the account of possibility. (shrink)

The crucial feature of obligation sentences to which the puzzles point is that such sentences, and evaluative sentences more generally, are defeasible. They may be warranted, given some information, only to be defeated by further information. A theory that recognizes this no longer needs to see conditional obligation as anything more than a simple combination of unary obligation and the conditional.

Humeanism is “the thesis that the whole truth about a world like ours supervenes on the spatiotemporal distribution of local qualities.” (Lewis, 1994, 473) Since the whole truth about our world contains truths about causation, causation must be located in the mosaic of local qualities that the Humean says constitute the whole truth about the world. The most natural ways to do this involve causation being in some sense extrinsic. To take the simplest possible Humean analysis, we might say that (...) c causes e iff throughout the mosaic events of the same type as c are usually followed by events of type e. For short, the causal relation is the constant conjunction relation. Whether this obtains is determined by the mosaic, so this is a Humean theory, but it isn’t determined just by c and e themselves, so whether c causes e is extrinsic to the pair. Now this is obviously a bad theory of causation, but the fact that causation is extrinsic is retained even by good Humean theories of causation. John Hawthorne (2004) objects to this feature of Humeanism. I’m going to argue that his arguments don’t work, but first we need to clear up three preliminaries about causation and intrinsicness. (shrink)

I defend a theory of mental representation that satisfies naturalistic constraints. Briefly, we begin by distinguishing (i) what makes something a representation from (ii) given that a thing is a representation, what determines what it represents. Representations are states of biological organisms, so we should expect a unified theoretical framework for explaining both what it is to be a representation as well as what it is to be a heart or a kidney. I follow Millikan in explaining (i) in terms (...) of teleofunction, explicated in terms of natural selection. -/- To explain (ii), we begin by recognizing that representational states do not have content, that is, they are neither true nor false except insofar as they both “point to” or “refer” to something, as well as “say” something regarding whatever it is they are about. To distinguish veridical from false representations, there must be a way for these separate aspects to come apart; hence, we explain (ii) by providing independent theories of what I call f-reference and f-predication (the ‘f’ simply connotes ‘fundamental’, to distinguish these things from their natural language counterparts). -/- Causal theories of representation typically founder on error, or on what Fodor has called the disjunction problem. Resemblance or isomorphism theories typically founder on what I’ve called the non-uniqueness problem, which is that isomorphisms and resemblance are practically unconstrained and so representational content cannot be uniquely determined. These traditional problems provide the motivation for my theory, the structural preservation theory, as follows. F-reference, like reference, is a specific, asymmetric relation, as is causation. F-predication, like predication, is a non-specific relation, as predicates typically apply to many things, just as many relational systems can be isomorphic to any given relational system. Putting these observations together, a promising strategy is to explain f-reference via causal history and f-predication via something like isomorphism between relational systems. -/- This dissertation should be conceptualized as having three parts. After motivating and characterizing the problem in chapter 1, the first part is the negative project, where I review and critique Dretske’s, Fodor’s, and Millikan’s theories in chapters 2-4. Second, I construct my theory about the nature of representation in chapter 5 and defend it from objections in chapter 6. In chapters 7-8, which constitute the third and final part, I address the question of how representation is implemented in biological systems. In chapter 7 I argue that single-cell intracortical recordings taken from awake Macaque monkeys performing a cognitive task provide empirical evidence for structural preservation theory, and in chapter 8 I use the empirical results to illustrate, clarify, and refine the theory. (shrink)

Humean compatibilism is the combination of a Humean position on laws of nature and the thesis that free will is compatible with determinism. This article's aim is to situate Humean compatibilism in the current debate among libertarians, traditional compatibilists, and semicompatibilists about free will. We argue that a Humean about laws can hold that there is a sense in which the laws of nature are 'up to us' and hence that the leading style of argument for incompatibilism?the consequence argument?has a (...) false premiss. We also display some striking similarities between Humean compatibilism and libertarianism, an incompatibilist view. For example, standard libertarians face a problem about luck, and we show that Humean compatibilists face a very similar problem. (shrink)

This is an expanded and revised discussion of the argument briefly put forward in my 'A New Problem for the A-Theory of Time', where it is claimed that it is impossible to experience real temporal passage and that no such phenomenon exists. In the first half of the paper the premises of the argument are discussed in more detail than before. In the second half responses are given to several possible objections, none of which were addressed in the earlier paper. (...) There is also some discussion of some related epistemic arguments against the passage of time given by Huw Price and David Braddon-Mitchell along with objections raised against them recently by Tim Maudlin and Peter Forrest respectively. (shrink)

According to best systems accounts, laws of nature are generalizations in the best systematization of particular matters of fact. Metrics such as simplicity and strength determine which systematization is best, but these are notoriously language relative. For this reason, David Lewis proposed a constraint on languages of inquiry: all predicates must be natural. This constraint is sometimes interpreted as requiring us to know which natural properties are instantiated in our world prior to scientific theorizing. I argue that this interpretation is (...) incorrect. I provide a better interpretation and show how it undercuts an influential epistemological objection to Lewis's best systems account of laws due to Bas van Fraassen. (shrink)

Morality exercises a deep and questionable influence on the way we live our lives. The influence is deep both because moral injunctions are embedded in our psyches long before we can reflect on their status and because even after we become reflective agents, the question of how we should live our lives among others is intimately bound up with the more general question of how we should live our lives: our stance toward morality and our conception of our lives as (...) having significance are of a piece. The influence is questionable because morality pretends to a level of objectivity that it may not possess. Moral injunctions are meant to be binding on us in some way that is independent of the desires or preferences we may happen to have. When one asserts that a certain action is morally worthy or shameful one is, prime facie, doing more than merely expressing approval or disapproval or trying to get others to act as instruments of one's own will. If moral assertions were shown, at bottom, to be merely such exhortations, then they would be shown to wear a disguise. Morality would be revealed as pretending to an objectivity it does not have, and such a revelation could not but have a profound impact on our lives. It is doubtful that such a revelation could be kept locked up inside our studies. (shrink)

Can Contemporary Science Inspire Philosophical and Theological Reflection on Causality? The cooperation between natural science, philosophy, and theology in an analysis of the causal structure and co-dependency of entities in the universe seems to be both legitimate and expected. It turns out, however, that in practice it oftentimes raises some tensions, questions and difficulties, leading to the development of alternative and in a sense competitive models of causality and of God’s action in the world. What is more, the attitude of (...) natural sciences since modernity, concentrated on gaining knowledge about natural phenomena to predict and control them, without trying to determine the nature of their ultimate causes, Humean criticism and rejection of the concept of causality as such, and concentration of analytic philosophers on the description of what accompanies phenomena classified as causal, leaving aside the question of the metaphysical status of causes and effects – they all seem to make impossible an interaction and mutual reference of contemporary science, philosophy, and theology in their reflection on the topic of causation. The main goal of this article is to defend the thesis about the possible and actual influence of scientific analysis of cause and effect relationships on the philosophical and theological reflection on causation, not only in the Middle Ages and Modernity, but also in contemporary thought. The presentation of the latest positions in the debate on divine action in the natural world will be followed by an argument in favor of the relevance of the model developed by philosophers and theologians representing the Thomistic school. (shrink)

This paper presents a uniform semantic treatment of nonmonotonic inference operations that allow for inferences from infinite sets of premises. The semantics is formulated in terms of selection functions and is a generalization of the preferential semantics of Shoham (1987), (1988), Kraus, Lehman, and Magidor (1990) and Makinson (1989), (1993). A selection function picks out from a given set of possible states (worlds, situations, models) a subset consisting of those states that are, in some sense, the most preferred ones. A (...) proposition α is a nonmonotonic consequence of a set of propositions Γ iff α holds in all the most preferred Γ-states. In the literature on revealed preference theory, there are a number of well-known theorems concerning the representability of selection functions, satisfying certain properties, in terms of underlying preference relations. Such theorems are utilized here to give corresponding representation theorems for nonmonotonic inference operations. At the end of the paper, the connection between nonmonotonic inference and belief revision, in the sense of Alchourrón, Gärdenfors, and Makinson, is explored. In this connection, infinitary belief revision operations that allow for the revision of a theory with a possibly infinite set of propositions are introduced and characterized axiomatically. (shrink)

One of the main challenges confronting Humean accounts of natural law is that Humean laws appear to be unable to play the explanatory role of laws in scientific practice. The worry is roughly that if the laws are just regularities in the particular matters of fact (as the Humean would have it), then they cannot also explain the particular matters of fact, on pain of circularity. Loewer (2012) has defended Humeanism, arguing that this worry only arises if we fail to (...) distinguish between scientific and metaphysical explanations. However, Lange (2013, 2018) has argued that scientific and metaphysical explanations are linked by a transitivity principle, which would undercut Loewer's defense and re-ignite the circularity worry for the Humean. I argue here that the Humean has antecedent reasons to doubt that there are any systematic connections between scientific and metaphysical explanations. The reason is that the Humean should think that scientific and metaphysical explanation have disparate aims, and therefore that neither form of explanation is beholden to the other in its pronouncements about what explains what. Consequently, the Humean has every reason to doubt that Lange's transitivity principle obtains. (shrink)

Based on a crowdsourced truth value judgment experiment, we provide empirical evidence challenging two classical views in semantics, and we develop a novel account of counterfactuals that combines ideas from inquisitive semantics and causal reasoning. First, we show that two truth-conditionally equivalent clauses can make different semantic contributions when embedded in a counterfactual antecedent. Assuming compositionality, this means that the meaning of these clauses is not fully determined by their truth conditions. This finding has a clear explanation in inquisitive semantics: (...) truth-conditionally equivalent clauses may be associated with different propositional alternatives, each of which counts as a separate counterfactual assumption. Second, we show that our results contradict the common idea that the interpretation of a counterfactual involves minimizing change with respect to the actual state of affairs. We propose to replace the idea of minimal change by a distinction between foreground and background for a given counterfactual assumption: the background is held fixed in the counterfactual situation, while the foreground can be varied without any minimality constraint. (shrink)

There is an account of modal operators that is both elegant and powerful and that deserves to be called the standard account. There are, however, some epistemic uses of modal operators which seem to be counterexamples to the account – they pose what I call the objectivity problem. It is often thought that the objectivity problem can be fixed by a certain kind of modification to the standard account. I argue that this kind of modification cannot work. Then I argue (...) that the problem posed for the standard account by recently discussed eavesdropper cases is really just the objectivity problem in a different guise, thereby emphasizing the need for a new solution to the objectivity problem. Finally, I propose a new solution to the objectivity problem. (shrink)

An intuitive objection to modal realism is that merely possible worlds and their inhabitants seem to be irrelevant to an analysis of modality. Kripke originally phrased the objection in terms of being concerned about one’s modal properties without being concerned about the properties one’s other-worldly counterparts have. The author assesses this objection in a variety of forms, and then provides his own formulation that does not beg the question against the modal realist. Finally, the author considers two potential answers to (...) the objection so understood and concludes that only one of them has a chance of succeeding. (shrink)

The communication process is analysed on the basis of the notions of trust and agency. The aim of the paper is to clarify the role played by causality on the one hand and the role played by logical consequences of assumptions about trust in information sources on the other hand. The first part is informal and the second part refers to the logical framework of modal logic though it requires a quite limited background in this area.

Thought experiments invite us to evaluate philosophical theses by making judgements about hypothetical cases. When the judgements and the theses conflict, it is often the latter that are rejected. But what is the nature of the judgements such that they are able to play this role? I answer this question by arguing that typical judgements about thought experiments are in fact judgements of normal counterfactual sufficiency. I begin by focusing on Anna-Sara Malmgren’s defence of the claim that typical judgements about (...) thought experiments are mere possibility judgements. This view is shown to fail for two closely related reasons: it cannot account for the incorrectness of certain misjudgements, and it cannot account for the inconsistency of certain pairs of conflicting judgements. This prompts a reconsideration of Timothy Williamson’s alternative proposal, according to which typical judgements about thought experiments are counterfactual in nature. I show that taking such judgements to concern what would normally hold in instances of the relevant hypothetical scenarios avoids the objections that have been pressed against this kind of view. I then consider some other potential objections, but argue that they provide no grounds for doubt. (shrink)

The idea that there are features of or in our conscious experience that are, in some important sense, private has both a long history in philosophy and a large measure of intuitive attraction. Once this idea is in place, it will be very natural to assume that one can think and judge about one’s own private features. And it is then only a small step to the idea that we might communicate such thoughts and judgements about our respective private features (...) with each other. (shrink)

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

An odd dissensus between confident metaphysicians and neopragmatist antimetaphysicians pervades early twenty-first century analytic philosophy. Each faction is convinced their side has won the day, but both are mistaken about the philosophical legacy of the twentieth century. More historical awareness is needed to overcome the current dissensus. Lewis and his possible-world system are lionised by metaphysicians; Quine’s pragmatist scruples about heavy-duty metaphysics inspire antimetaphysicians. But Lewis developed his system under the influence of his teacher Quine, inheriting from him his empiricism, (...) his physicalism, his metaontology, and, I will show in this paper, also his Humeanism. Using published as well as never-before-seen unpublished sources, I will make apparent that both heavy-duty metaphysicians and neopragmatist antimetaphysicians are wrong about the roles Quine and Lewis played in the development of twentieth-century philosophy. The two are much more alike than is commonly supposed, and Quine much more instrumental to the pedigree of current metaphysics. (shrink)

In this paper I will first contend that semantically based arguments in favour of or against problematic entities—like those provided, respectively, in a realist Meinongian and in an antirealist Russellian camp—are ultimately inconclusive. Indeed, only genuinely ontological arguments, specifically addressed to prove (or to reject) the existence of entities of a definite kind, suit the purpose. Thus, I will sketch an argument intended to show that there really are entities of an apparently specific kind, i.e. _intentionalia_, broadly conceived as things (...) that may actually exist as well as actually not exist. Finally, I will try to explain why that argument proves the existence of only some sorts of _intentionalia_, by showing how this is related to the fact that, as some have correctly maintained, _intentionalia_ have no intrinsic nature. (shrink)

Recently several thought experiments have been developed (by John Carroll amongst others) which have been alleged to refute the Ramsey-Lewis view of laws of nature. The paper aims to show that two such thought experiments fail to establish that the Ramsey-Lewis view is false, since they presuppose a conception of laws of nature that is radically at odds with the Humean conception of laws embodied by the Ramsey-Lewis view. In particular, the thought experiments presuppose that laws of nature govern the (...) behavior of objects. The paper argues that the claim that laws govern should not be regarded as a conceptual truth, and shows how the governing conception of laws manifests itself in the thought experiments. Hence the thought experiments do not constitute genuine counter-examples to the Ramsey-Lewis view. since the Humean is free to reject the conception of laws which the thought experiments presuppose. (shrink)

Most of us would want to say that it is true that Socrates taught Plato. According to realists about past facts, this is made true by the fact that there is, located in the past, i.e., earlier than now, at least one real event that is the teaching of Plato by Socrates. Presentists, however, in denying that past events and facts exist cannot appeal to such facts to make their past-tensed Statements true. So what is a presentist to do?There are (...) at least three conditions that would ideally be met in a satisfactory solution to this problem:a) It must preserve our views about which Statements are true and which falseb) It must be transparent what the truthmakers are for those Statementsc) It must accommodate the truth-value links between various times. (shrink)

The aim of Modality and Explanatory Reasoning (MER) is to shed light on metaphysical necessity and the broader class of modal properties to which it belongs. This topic is approached with two goals: to develop a new and reductive analysis of modality, and to understand the purpose and origin of modal thought. I argue that a proper understanding of modality requires us to reconceptualize its relationship to causation and other forms of explanation such as grounding, a relation that connects metaphysically (...) fundamental facts to non-fundamental ones. While many philosophers have tried to give modal analyses of causation and explanation, often in counterfactual terms, I argue that we obtain a more plausible, explanatorily powerful and unified theory if we regard explanation as more fundamental than modality. The function of modal thought is to facilitate a common type of thought experiment – counterfactual reasoning – that allows us to investigate explanatory connections and which is closely related to the controlled experiments of empirical science. Necessity is defined in terms of explanation, and modal facts often reflect underlying facts about explanatory relationships. The study of modal facts is important for philosophy not because these facts are of much metaphysical interest in their own right, but largely because they provide evidence about explanatory connections. (shrink)

The standard semantics for counterfactuals ensures that any counterfactual with a true antecedent and true consequent is itself true. There have been many recent attempts to amend the standard semantics to avoid this result. I show that these proposals invalidate a number of further principles of the standard logic of counterfactuals. The case against the automatic truth of counterfactuals with true components does not extend to these further principles, however, so it is not clear that rejecting the latter should be (...) a consequence of rejecting the former. Instead I consider how one might defuse putative counterexamples to the truth of true-true counterfactuals. (shrink)

This paper analyzes the logical truths as (very roughly) those truths that would still have been true under a certain range of counterfactual perturbations.What’s nice is that the relevant range is characterized without relying (overtly, at least) upon the notion of logical truth. This approach suggests a conception of necessity that explains what the different varieties of necessity (logical, physical, etc.) have in common, in virtue of which they are all varieties of necessity. However, this approach places the counterfactual conditionals (...) in an unfamiliar foundational role. (shrink)

Is the relation between properties and the causal powers they confer necessary, or contingent? Necessary, says Sydney Shoemaker, on pain of skepticism about the properties. Contingent, says David Lewis, swallowing the skeptical conclusion. I shall argue that Lewis is right about the metaphysics, but that Shoemaker and Lewis are wrong about the epistemology. Properties have intrinsic natures (quiddities), which we can know.

Can there be deterministic chance? That is, can there be objective chance values other than 0 or 1, in a deterministic world? I will argue that the answer is no. In a deterministic world, the only function that can play the role of chance is one that outputs just Os and 1s. The role of chance involves connections from chance to credence, possibility, time, intrinsicness, lawhood, and causation. These connections do not allow for deterministic chance.

A standing challenge in the theory of counterfactuals is to solve the “deviation problem”. Consider ordinary counterfactuals involving an antecedent concerning a difference from the actual course of events at a particular time, and a consequent concerning, at least in part, what happens at a later time. In the possible worlds framework, the problem is often put in terms of which are the relevant antecedent worlds. Desiderata for the solution include that the relevant antecedent worlds be governed by the actual (...) laws of nature with no miracles; that the past in those worlds before the antecedent time matches the actual past; that the account is compatible with determinism, and that many of our ordinary counterfactual judgments are correct, and would be correct even given determinism. Many theorists have compromised on one or more of these desiderata, but this paper presents an account employing impossible worlds that satisfies them all. (shrink)

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

A very natural view about perceptual knowledge is articulated, one on which perceptual knowledge is closely related to perceptual discrimination, and which fits well with a relevant alternatives account of knowledge. It is shown that this kind of proposal faces a problem, and various options for resolving this difficulty are explored. In light of this discussion, a two-tiered relevant alternatives account of perceptual knowledge is offered which avoids the closure problem. It is further shown how this proposal can: accommodate our (...) intuitions about perceptual knowledge and perceptual discrimination in terms of the notion of primary relevance, give an account of how alternatives can be rationally excluded without appeal to perceptual discrimination in terms of the notion of secondary relevance, and deal with the problem posed by inverted Gettier cases, and hence explain what it means to rationally exclude alternatives which are of secondary relevance. (shrink)

The recent use of typicality in statistical mechanics for foundational purposes has stirred an important debate involving both philosophers and physicists. While this debate customarily focuses on technical issues, in this paper I try to approach the problem from an epistemological angle. The discussion is driven by two questions: (1) What does typicality add to the concept of measure? (2) What kind of explanation, if any, does typicality yield? By distinguishing the notions of `typicality-as-vast-majority' and `typicality-as-best-exemplar', I argue that the (...) former goes beyond the concept of measure. Furthermore, I also argue that typicality aims at providing us with a form of causal explanation of equilibrium. (shrink)

In this chapter I articulate the threat that time travel to the past allegedly poses to the free will of the time traveler, and I argue that on the traditional way of thinking about free will, the incompatibilist about time travel and free will wins the day. However, a residual worry about the incompatibilist view points the way toward a novel way of thinking about free will, one that I tentatively explore toward the end of the chapter.

It is a pleasure for me to give this opening address to the Royal Institute of Philosophy Conference on ‘Explanation’ for two reasons. The first is that it is succeeded by exciting symposia and other papers concerned with various special aspects of the topic of explanation. The second is that the conference is being held in my old alma mater, the University of Glasgow, where I did my first degree. Especially due to C. A. Campbell and George Brown there was (...) in the Logic Department a big emphasis on absolute idealism, especially F. H. Bradley. My inclinations were to oppose this line of thought and to espouse the empiricism and realism of Russell, Broad and the like. Empiricism was represented in the department by D. R. Cousin, a modest man who published relatively little, but who was of quite extraordinary philosophical acumen and lucidity, and by Miss M. J. Levett, whose translation of Plato's Theaetetus formed an important part of the philosophy syllabus. (shrink)

Perszyk has argued that Molinists cannot consistently endorse the consequence argument because of a structurally similar argument for the incompatibility of true Molinist counterfactuals of freedom and the ability to do otherwise. Wierenga has argued that on the proper understanding of CCFs, there is a relevant difference between the consequence argument and the anti-Molinist argument. I argue that, even on Wierenga’s understanding of CCFs, there is in fact no relevant difference between the two arguments. Moreover, I strengthen Perszyk’s challenge by (...) highlighting further relevant similarities between CCFs and facts about the laws. (shrink)

This article aims to propagate Logic Programming as a formal tool to deal with non-monotonic reasoning. In philosophy and linguistics non-monotonic reasoning is modelled using Minimal Models as standard, i.e., by imposing an order (or selection function) on the class of all models and then by defining entailment as only caring about the minimal models of the premises with respect to the order. In this article we investigate the question whether instead of minimal models we should use logic programming to (...) model non-monotonic reasoning. Logic programming is an attractive alternative to a minimal models approach in that it makes concrete predictions in an efficient and transparent way. We study this question by focusing on one particular phenomenon that gives rise to non-monotonic inferences: conditional sentences. (shrink)

This paper considers how counterfactuals should be evaluated on the assumption that determinism is true. I argue against Lewis's influential view that the actual laws of nature would have been false if something had happened that never actually happened, and in favour of the competing view that history would have been different all the way back. I argue that we can do adequate justice to our ordinary practice of relying on a wide range of historical truths in evaluating counterfactuals by (...) saying that, in typical cases, history would have been only *very slightly* different until shortly before the relevant time. The paper also draws some connections between the puzzle about counterfactuals under determinism and the debate about whether determinism entails that no-one can ever do otherwise than they in fact do. (shrink)