Jaegwon Kim (1998a, 2005) claims that his exclusion problem follows a priori for the non-reductive physicalist given her commitment to five apparently inconsistent theses: mental causation, non-identity, supervenience, causal closure and non-overdetermination. For Kim, the combination of these theses entails that mental properties are a priori excluded as causes, forcing the non-reductive physicalist to accept either epiphenomenalism, or some form of reduction. In this thesis, I argue that Kim’s exclusion problem depends on a particular conception of causation, namely sufficient production, (...) and that when causation is understood in interventionist terms, the non-reductive physicalist can avoid the exclusion problem. I argue that Woodward’s (2003, 2008a, 2011a) version of interventionism not only provides an account of mental causation that avoids the exclusion problem, but argue that it also upholds all of the minimal commitments of non-reductive physicalism, thereby providing a successful non-reductive physicalist solution to the exclusion problem. In Chapter 2, I argue that all five theses are minimal commitments of non-reductive physicalism that cannot be rejected in order to avoid the exclusion problem. Chapter 3 identifies the assumptions that I take to underlie the exclusion problem. Chapter 4 introduces and outlines the central features of Woodward’s (2003) interventionism and Chapter 5 argues that Woodward’s interventionist account of mental causation provides a solution to the exclusion problem. I examine two alternative interventionist accounts of mental causation[1] that fail to provide satisfactory solutions to the exclusion problem and conclude that Woodward’s account therefore provides the only satisfactory account of mental causation and solution to the exclusion problem. Chapter 6 addresses some challenges proposed by Michael Baumgartner (2009, 2010) and argues that the interventionist is able to defend her position against these objections and uphold the interventionist solution to the exclusion problem outlined in this thesis. [1. Proposed by List and Menzies (2009) and Campbell (2007, 2008a, 2008b, 2010).]. (shrink)

Since J. McTaggart’s paper on “The Unreality of Time” the opposition of “A-theorists” and “B-theorists” establishes a focal point in the modern debate on the metaphysics of time: While “A-theorists” claim the existence of an objective present, moving along time positions, “B-theorists” maintain that time is just a set of ontologically equivalent coordinates, “now” being merely the indexical of the speaker’s position. Contemporary attempts to resolve the issue by resorting to the analysis of language or to the theory of science (...) seem to deliver no definite results. By contrast, practical and existential aspects of the two models promise to be more univocal guides in deciding between them. Particularly, C. D. Broad’s hybrid conception of a “growing block theory” attains special attractiveness in this regard. (shrink)

Over the past 50 years, there has been a great deal of philosophical interest in laws of nature, perhaps because of the essential role that laws play in the formulation of, and proposed solutions to, a number of perennial philosophical problems. For example, many have thought that a satisfactory account of laws could be used to resolve thorny issues concerning explanation, causation, free-will, probability, and counterfactual truth. Moreover, interest in laws of nature is not constrained to metaphysics or philosophy of (...) science; claims about laws play essential roles in areas as diverse as the philosophy of religion (e.g., in the argument from design) and the philosophy of mind (e.g., in the formulation of Davidson’s anomalous monism). In my dissertation, I consider and reject the widely-held thesis that the facts concerning laws can be reduced to the facts concerning the particular entities that the laws “govern,” and that the laws thus have no independent existence. I instead defend a version of nomic primitivism, according to which the facts about laws cannot be reduced to facts that are themselves non-nomic – i.e., to facts that do not fundamentally involve laws, counterfactuals, causes, etc. Insofar as the truth or falsity of reductionism about laws has implications for many of the problems mentioned above, I think that this result should be of interest even to those who who do not work in metaphysics or the philosophy of science. My methodology, which I lay out and defend in Chapter One, is a version of Carnapian explication. This method emphasizes the importance of articulating and maintaining clear distinctions between (1) the vague concept (or concepts) law of nature inherent in ordinary language and scientific practice and (2) the precise analyses of “law of nature” that philosophers have proposed as potential replacements for this concept. I argue that metaphysics-as-explication has clear advantages over rival conceptions of metaphysical methodology; in particular, it allows us to formulate evaluative criteria for metaphysical claims. In Chapter Two, I offer an example of how careful attention to concepts already in use can help resolve philosophical debate. Specifically, I argue that much recent literature has mistakenly assumed that there is only one concept of “law of nature” in use, while there are in fact at least two. Strong laws are the principles pursued by fundamental physics: they are true, objective, and bear distinctive relationships to counterfactuals and explanation. Weak laws, by contrast, lack at least one of these distinctive characteristics but play central roles in both the “special sciences” and in everyday life. In Chapters Three and Four, I offer extended arguments against the two most prominent versions of reductionism about laws – Humeanism and law necessitarianism. According to philosophical Humeans, the laws of nature supervene upon the non-modal, non-nomic facts concerning the behavior of particular things at particular times and places. Law necessitarians, by contrast, argue that the laws are in fact metaphysically necessary, and that which laws there are is determined by a class of primitive, modally loaded facts concerning the essences, natures, or dispositions. I argue that both of these views are mistaken insofar as they disagree with well-entrenched scientific practices and those in favor of reductionism have failed to provided sufficient reason for thinking that these practices should be revised. Much of my argument is focused on the role played by a number of supposed methodological principles, including appeals to intuition, parsimony, and methodological naturalism. While the conclusions of this dissertation are explicitly constrained to laws, many of the arguments should be of interest to those who are concerned about philosophical methodology (especially in the role of intuition in philosophical argument) or the appropriate relation between metaphysics, science, and the philosophy of science. (shrink)

To solve the problem of counterpossibles, many philosophers have been arguing that one needs to invoke impossible worlds. This extension of the ontology of modality should save the analysis of counterfactuals from being insensitive to the problem of counterpossibles. Since theories of impossible worlds are extensions of original accounts of modalities, it is worth stressing that proper analyses of counterpossibles should not weaken the latter.In this paper I argue that these theories of impossible wolrds, which are based on D. Lewis' (...) modal realism - Extended Modal Realism and Hybrid Modal Realism - might be consider as either an unattractive for modal realists or insufficient for analyzing counterpossibles. (shrink)

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)

Proponents of the subset account of property realization commonly make the assumption that the summing of properties entails the summing of their forward-looking causal features. This paper seeks to establish that this assumption is false. Moreover, it aims to demonstrate that without this assumption the fact that the subset account captures an entailment relation—which it must if it is to be of any use to non-reductive physicalism—becomes questionable.

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.

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

Political science is divided between methodological individualists, who seek to explain political phenomena by reference to individuals and their interactions, and holists (or nonreductionists), who consider some higher-level social entities or properties such as states, institutions, or cultures ontologically or causally significant. We propose a reconciliation between these two perspectives, building on related work in philosophy. After laying out a taxonomy of different variants of each view, we observe that (i) although political phenomena result from underlying individual attitudes and behavior, (...) individual-level descriptions do not always capture all explanatorily salient properties, and (ii) nonreductionistic explanations are mandated when social regularities are robust to changes in their individual-level realization. We characterize the dividing line between phenomena requiring nonreductionistic explanation and phenomena permitting individualistic explanation and give examples from the study of ethnic conflicts, social-network theory, and international-relations theory. (shrink)

The problem of how to accommodate inconsistencies has attracted quite a number of researchers, in particular, in the area of database theory. The problem is also of concern in the study of belief change. For inconsistent beliefs are ubiquitous. However, comparatively little work has been devoted to discussing the problem in the literature of belief change. In this paper, I examine how adequate the AGM theory is as a logical framework for belief change involving inconsistencies. The technique is to apply (...) to Grove’s sphere system, a semantical representation of the AGM theory, logics that do not infer everything from contradictory premises, viz., paraconsistent logics. I use three paraconsistent logics and discuss three sphere systems that are based on them. I then examine the completeness of the postulates of the AGM theory with respect to the systems. At the end, I discuss some philosophical implications of the examination. (shrink)

The problem of philosophical skepticism relates to the difficulty involved in underwriting the claim that we know anything of spatio-temporal reality. It is often claimed, in fact, that proper philosophical scrutiny reveals quite the opposite from what common sense suggests. Knowledge of external reality is thought to be even quite obviously denied to us as a result of the alleged fact that we all fail to know that certain skeptical scenarios do not obtain. A skeptical scenario is one in which (...) we have neurological occurrences just like any normal situation in which we actually perceive spatio-temporal objects, but where we are deceived in some sense as a result of the manipulation of our brains from some outside source. In this work I attempt to address the problem of philosophical skepticism by claiming that most of us are able to come to know plenty about external reality, since we can come to realize that a certain philosophical theory of perception is correct. The theory I have in mind is what I call a non-cognitive theory of perception. According to this view, perceptual experience is defined by continuous, sensitive behavioral interaction with spatio-temporal objects of the appropriate size, shape, hardness, speed, etc. Knowing that this theory of perception is correct is equivalent to knowing that we know plenty about external reality. This is ultimately because by knowing that a non-cognitive theory of perception is true, we know that any skeptical scenario must fail to obtain. The structure of the work proceeds by first discussing the significance of the problem of philosophical skepticism in some detail. Chapter 1 lays out how the problem does indeed forcefully arise if it is conceded that we fail to know that the skeptical scenarios fail to obtain. Chapter 2 develops the sort of view of our epistemological situation that falls out of accepting without qualification that the problem exists. Chapter 3 examines and criticizes certain popular responses to the skeptical problem. The main goal of these first three preliminary chapters is to indicate that once it is admitted that we fail to know that the skeptical scenarios fail to obtain, the problem of philosophical skepticism forcefully presents itself. Chapter 4, however, attacks the idea that we fail to know that the skeptical scenarios fail to obtain. In this chapter I argue that this idea is wedded to the position that a certain theory of perception is correct. The theory in question is what I call a conjunctive theory of veridical experience. According to this view, normal experience of spatio-temporal objects occurs when a subject has a certain perceptual experience, and that experience also happens to match up with and/or be satisfied by what is really the case. Only when a theory of this sort is assumed, I argue, is the claim that we fail to know that the skeptical scenarios fail to obtain found to be obvious. In chapter 5 I argue that, in fact, a non-cognitive theory, rather than a conjunctive theory, is the correct view to maintain. In the final chapter 6 I develop the epistemological position that falls out of accepting a non-cognitive theory. (shrink)

A simple argument against Lewisian modal realism as portrayed in On the Plurality of World arises from its treatment of doxastic modalities. It is easily shown that if it is true, it is impossible to doubt the theory on ontological grounds, or, that, if it is possible to maintain doubt about modal realism’s existential postulate, it has to be false. The argument hinges on the fact that modal realism’s main ontological hypothesis, if true, is necessarily true.

We claim that if a complete philosophy of evidence-based practice is intended, then attention to the nature of causation in health science is necessary. We identify how health science currently conceptualises causation by the way it prioritises some research methods over others. We then show how the current understanding of what causation is serves to constrain scientific progress. An alternative account of causation is offered. This is one of dispositionalism. We claim that by understanding causation from a dispositionalist stance, many (...) of the processes within an evidence-based practice framework are better accounted for. Further, some of the problems associated with the health research, e.g. external validity of causal findings, dissolve. (shrink)

Impossible worlds are representations of impossible things and impossible happenings. They earn their keep in a semantic or metaphysical theory if they do the right theoretical work for us. As it happens, a worlds-based account provides the best philosophical story about semantic content, knowledge and belief states, cognitive significance and cognitive information, and informative deductive reasoning. A worlds-based story may also provide the best semantics for counterfactuals. But to function well, all these accounts need use of impossible and as well (...) as possible worlds. So what are impossible worlds? Graham Priest claims that any of the usual stories about possible worlds can be told about impossible worlds, too. But far from it. I'll argue that impossible worlds cannot be genuine worlds, of the kind proposed by Lewis, McDaniel or Yagisawa. Nor can they be ersatz worlds on the model proposed by Melia or Sider. Constructing impossible worlds, it turns out, requires novel metaphysical resources. (shrink)

According to Joshua Alexander, philosophers use intuitions routinely as a form of evidence to test philosophical theories but experimental philosophy demonstrates that these intuitions are unreliable and unrepresentative.1 According to Herman Cappelen, philosophers never use intuitions as evidence (despite the vacuous sentential leader ‘intuitively’) and experimental philosophy lacks a rationale for its much-touted existence.2 That two books are diametrically opposed on methodology in philosophy is not noteworthy. But eyebrows might be raised at such contradictory accounts of the phenomenology of philosophical (...) inquiry. What is it that (analytic) philosophers do? Why is it so difficult to achieve consensus on the professional activities in which we engage? (shrink)

In this paper, we explore semantics for comparative epistemic modals that avoid the entailment problems shown to result from Kratzer’s (1991) semantics by Yalcin (2006, 2009, 2010). In contrast to the alternative semantics presented by Yalcin and Lassiter (2010, 2011), based on finitely additive probability measures, we introduce semantics based on qualitatively additive measures, as well as semantics based on purely qualitative orderings, including orderings on propositions derived from orderings on worlds in the tradition of Kratzer (1991). All of these (...) semantics avoid the entailment problems that result from Kratzer’s semantics. Our discussion focuses on methodological issues concerning the choice between different semantics. (shrink)

This paper argues that the technical notion of conditional probability, as given by the ratio analysis, is unsuitable for dealing with our pretheoretical and intuitive understanding of both conditionality and probability. This is an ontological account of conditionals that include an irreducible dispositional connection between the antecedent and consequent conditions and where the conditional has to be treated as an indivisible whole rather than compositional. The relevant type of conditionality is found in some well-defined group of conditional statements. As an (...) alternative, therefore, we briefly offer grounds for what we would call an ontological reading: for both conditionality and conditional probability in general. It is not offered as a fully developed theory of conditionality but can be used, we claim, to explain why calculations according to the RATIO scheme does not coincide with our intuitive notion of conditional probability. What it shows us is that for an understanding of the whole range of conditionals we will need what John Heil (2003), in response to Quine (1953), calls an ontological point of view. (shrink)

Chancy counterfactuals are a headache. Dylan Dodd (2009) presents an interesting argument against a certain general strategy for accounting for them, instances of which are found in the appendices to Lewis (1979) and in Williams (2008). I will argue (i) that Dodd’s understates the counterintuitiveness of the conclusions he can reach; (ii) that the counterintuitiveness can be thought of as an instance of more general oddities arising when we treat vagueness and indeterminacy in a classical setting; and (iii) the underlying (...) source of discontent which animates Dodd’s complains is to be found in a certain general constraint one might impose on conditionals—what I’ll call the counterfactual Ramsey bound. Unfortunately, the counterfactual Ramsey bound is just as problematic as its famous indicative cousin. The moral is that there’s no comfortable resting place in this area; for violations of the counterfactual Ramsey bound are going to lead to prima facie surprising results. (shrink)

We investigate whether standard counterfactual analyses of causation imply that the outcomes of space-like separated measurements on entangled particles are causally related. Although it has sometimes been claimed that standard CACs imply such a causal relation, we argue that a careful examination of David Lewis’s influential counterfactual semantics casts doubt on this. We discuss ways in which Lewis’s semantics and standard CACs might be extended to the case of space-like correlations.

The requirements of rationality are fundamental in practical and theoretical philosophy. Nonetheless, there exists no correct account of what constitutes rational requirements. This paper attempts to provide a correct constitutive account of ‘rationality requires’. I argue that rational requirements are grounded in ‘necessary explanations of subjective incoherence’, as I shall put it. Rationality requires of you to X if and only if your rational capacities, in conjunction with the fact that you not-X, explain necessarily why you have a non-maximal degree (...) of subjective coherence. (shrink)

Entitlement is conceived as a kind of positive epistemic status, attaching to certain propositions, that involves no cognitive or intellectual accomplishment on the part of the beneficiary — a status that is in place by default. In this paper I will argue that the notion of entitlement — or something very like it — falls out of an idea that may at first blush seem rather disparate: that the evidential support relation can be understood as a kind of variably strict (...) conditional (in the sense of Lewis 1973). Lewis provided a general recipe for deriving what he termed inner modalities from any variably strict conditional governed by a logic meeting certain constraints. On my proposal, entitlement need be nothing more exotic than the inner necessity associated with evidential support. Understanding entitlement in this way helps to answer some common concerns — in particular, the concern that entitlement could only be a pragmatic, and not genuinely epistemic, status. (shrink)

The paper points out that the modern formulation of Bohm’s quantum theory known as Bohmian mechanics is committed only to particles’ positions and a law of motion. We explain how this view can avoid the open questions that the traditional view faces according to which Bohm’s theory is committed to a wave-function that is a physical entity over and above the particles, although it is defined on configuration space instead of three-dimensional space. We then enquire into the status of the (...) law of motion, elaborating on how the main philosophical options to ground a law of motion, namely Humeanism and dispositionalism, can be applied to Bohmian mechanics. In conclusion, we sketch out how these options apply to primitive ontology approaches to quantum mechanics in general. (shrink)

This paper explores the possibility that causal decision theory can be formulated in terms of probabilities of conditionals. It is argued that a generalized Stalnaker semantics in combination with an underlying branching time structure not only provides the basis for a plausible account of the semantics of indicative conditionals, but also that the resulting conditionals have properties that make them well-suited as a basis for formulating causal decision theory. Decision theory (at least if we omit the frills) is not an (...) esoteric science, however unfamiliar it may seem to an outsider. Rather it is a systematic exposition of the consequences of certain well-chosen platitudes about belief, desire, preference and choice. It is the very core of our common-sense theory of persons, dissected out and elegantly systematized. (David Lewis, Synthese 23:331–344, 1974, p. 337). A small distortion in the analysis of the conditional may create spurious problems with the analysis of other concepts. So if the facts about usage favor one among a number of subtly different theories, it may be important to determine which one it is. (Robert Stalnaker, A Defense of Conditional Excluded Middle, pp. 87–104, 1980, p. 87). (shrink)

Problems about the accidental properties of properties motivate us--force us, I think--not to identify properties with the sets of their instances. If we identify them instead with functions from worlds to extensions, we get a theory of properties that is neutral with respect to disputes over counterpart theory, and we avoid a problem for Lewis's theory of events. Similar problems about the temporary properties of properties motivate us--though this time they probably don't force us--to give up this theory as well, (...) and to identify properties with functions from world, time pairs to extensions. Again, the replacement theory is neutral with respect to a metaphysical dispute that the old theory (arguably) forces us to take a stand on--the dispute over whether objects have temporal parts. It also allows us to give a smoother semantics for predication, to better accommodate our intuitions about which objects temporary properties are properties of, and to make temporally self-locating beliefs genuinely self -locating. (shrink)

The Linda paradox is a key topic in current debates on the rationality of human reasoning and its limitations. We present a novel analysis of this paradox, based on the notion of verisimilitude as studied in the philosophy of science. The comparison with an alternative analysis based on probabilistic confirmation suggests how to overcome some problems of our account by introducing an adequately defined notion of verisimilitudinarian confirmation.

In the first part of this paper, I argue against the view that laws of nature are contingent, by attacking a necessary condition for its truth within the framework of a conception of laws as relations between universals. I try to show that there is no independent reason to think that universals have an essence independent of their nomological properties. However, such a non-qualitative essence is required to make sense of the idea that different laws link the same universals in (...) different possible worlds. In the second part, I give a positive argument for the necessity of at least some laws of nature, by showing with the example of a paradigmatic law of association that it consists in an internal relation between two universals which are determinables of the same class of determinates, where this relation is essential to both. Furthermore, I show that the necessity of laws of association could be accommodated within David Lewis' Humean metaphysics, but that it is incompatible with David Armstrong's combinatorialism. (shrink)

Counterpossibles are counterfactuals with necessarily false antecedents. The problem of counterpossibles is easiest to state within the "nearest possible world" framework for counterfactuals: on this approach, a counterfactual is true (roughly) when the consequent is true in the "nearest" possible world where the antecedent is true. Since counterpossibles have necessarily false antecedents, there is no possible world where the antecedent is true. On the approach favored by Lewis, Stalnaker, Williamson, and others, counterpossibles are all trivially true. I introduce several arguments (...) against the trivial approach. First, it is counter-intuitive to think that all counterpossibles are true. Second, if all counterpossibles were true, then we could not make sense of their use in logical, philosophical, or mathematical arguments. Making sense of the role of sentences like these requires that they not have vacuous truth conditions. The account of counterpossibles I ultimately favor is an extension of the "nearest possible world" semantics discussed above. The Lewis/Stalnaker account is supplemented with the addition of impossible worlds, and the nearness metric is extended to range over these impossible worlds as well as possible worlds. Thus, a counterfactual is true when its consequent is true in the nearest world where the antecedent is true; if the counterfactual's antecedent is impossible, then the nearest world in question will be an impossible world. Once the framework of impossible worlds and similarity is in place, we can put it to use in the analysis of other philosophical phenomena. I examine one proposal that makes use of a theory of counterpossibles to develop an analysis of the notion of metaphysical dependence. (shrink)

This essay is concerned with concentrations of entities, which play an important—albeit often overlooked—role in scientific explanation. First, I discuss an example from molecular biology to show that concentrations can play an irreducible causal role. Second, I provide a preliminary philosophical analysis of this causal role, suggesting some implications for extant theories of causation. I conclude by introducing the concept of causation by concentration, a form of statistical causation whose widespread presence throughout the sciences has been unduly neglected and which (...) deserves to be studied in more depth. 1 Introduction2 Solving Lillie's Paradox: Lysogenic Induction in Phage λ3 Repressor Concentration and the Tuning of the Switch4 Concentration and Causality5 Preemption in Concentrations: Analysis and Implications6 Causation by Concentration: General Definition, Refinements, and Further Applications. (shrink)

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

Stewart Cohen’s New Evil Demon argument raises familiar and widely discussed concerns for reliabilist accounts of epistemic justification. A now standard response to this argument, initiated by Alvin Goldman and Ernest Sosa, involves distinguishing different notions of justification. Juan Comesaña has recently and prominently claimed that his Indexical Reliabilism (IR) offers a novel solution in this tradition. We argue, however, that Comesaña’s proposal suffers serious difficulties from the perspective of the philosophy of language. More specifically, we show that the two (...) readings of sentences involving the word ‘justified’ which are required for Comesaña’s solution to the problem are not recoverable within the two-dimensional framework of Robert Stalnaker to which he appeals. We then consider, and reject, an attempt to overcome this difficulty by appeal to a complication of the theory involving counterfactuals, and conclude the paper by sketching our own preferred solution to Cohen’s New Evil Demon. (shrink)

This discussion note examines a recent argument for the principle that any counterfactual with true components is itself true. That argument rests upon two widely accepted principles of counterfactual logic to which the paper presents counterexamples. The conclusion speculates briefly upon the wider lessons that philosophers should draw from these examples for the semantics of counterfactuals.

This paper develops a new account of reference-fixing for proper names. The account is built around an intuitive claim about reference fixing: the claim that I am a participant in a practice of using α to refer to o only if my uses of α are constrained by the representationally relevant ways it is possible for o to behave. §I raises examples that suggest that a right account of how proper names refer should incorporate this claim. §II provides such an (...) account. (shrink)

This article presents a trope bundle theory of simple substances, the Strong Nuclear Theory[SNT] building on the schematic basis offered by Simons's (1994) Nuclear Theory[NT]. The SNT adopts Ellis's (2001) dispositional essentialist conception of simple substances as powerful particulars: all of their monadic properties are dispositional. Moreover, simple substances necessarily belong to some natural kind with a real essence formed by monadic properties. The SNT develops further the construction of substances the NT proposes to obtain an adequate trope bundle theory (...) of powerful particulars. The SNT allows for co-located powerful particulars. However, every powerful particular is necessarily co-located with its constituent tropes, which determine its causal powers. Every constituent trope of substance i is part of a trope aggregate (the n-bundle or c-bundle) that forms an individual figuring in the basic spatio-temporal relations. The location of these individuals determines the location of individual tropes. Since they are necessarily co-located with substance i when they exist, every trope t of i is necessarily co-located with i when it exits. Every simple substance has nuclear tropes necessary to it. It belongs to certain primary natural kind K because its nuclear tropes belong to certain distinct determinate kinds. (shrink)

Every kind of ‘ought’ implies some kind of ‘can’ – but there are many kinds of ‘ought’ and even more kinds of ‘can’. In this essay, I shall focus on a particular kind of ‘ought’ – specifically, on what I shall call the “rational ‘ought’”. On every occasion of use, this kind of ‘ought’ is focused on the situation of a particular agent at a particular time; but this kind of ‘ought’ is concerned, not with how that agent acts at (...) that time, but with what beliefs or intentions the agent has at the time, or with the sort of reasoning by means of which the agent at that time forms or revises those beliefs or intentions. (shrink)

An imperative conditional is a conditional in the imperative mood (by analogy with “indicative conditional”, “subjunctive conditional”). What, in general, is the meaning and the illocutionary effect of an imperative conditional? I survey four answers: the answer that imperative conditionals are commands to the effect that an indicative conditional be true; two versions of the answer that imperative conditionals express irreducibly conditional commands; and finally, the answer that imperative conditionals express a kind of hybrid speech act between command and assertion.

Abstract Timothy Williamson has recently proposed to undermine modal skepticism by appealing to the reducibility of modal to counterfactual logic ( Reducibility ). Central to Williamson’s strategy is the claim that use of the same non-deductive mode of inference ( counterfactual development , or CD ) whereby we typically arrive at knowledge of counterfactuals suffices for arriving at knowledge of metaphysical necessity via Reducibility. Granting Reducibility, I ask whether the use of CD plays any essential role in a Reducibility-based reply (...) to two kinds of modal skepticism. I argue that its use is entirely dispensable, and that Reducibility makes available replies to modal skeptics which show certain propositions to be metaphysically necessary by deductive arguments from premises the modal skeptic accepts can be known. Content Type Journal Article Pages 1-19 DOI 10.1007/s11098-011-9784-4 Authors Juhani Yli-Vakkuri, Wolfson College, Oxford University, Oxford, OX2 6UD UK Journal Philosophical Studies Online ISSN 1573-0883 Print ISSN 0031-8116. (shrink)

This paper discusses an important puzzle about the semantics of indicative conditionals and deontic necessity modals (should, ought, etc.): the Miner Puzzle (Parfit, ms; Kolodny and MacFarlane, J Philos 107:115–143, 2010). Rejecting modus ponens for the indicative conditional, as others have proposed, seems to solve a version of the puzzle, but is actually orthogonal to the puzzle itself. In fact, I prove that the puzzle arises for a variety of sophisticated analyses of the truth-conditions of indicative conditionals. A comprehensive solution (...) requires rethinking the relationship between relevant information (what we know) and practical rankings of possibilities and actions (what to do). I argue that (i) relevant information determines whether considerations of value may be treated as reasons for actions that realize them and against actions that don’t, (ii) incorporating this normative fact requires a revision of the standard ordering semantics for weak (but not for strong) deontic necessity modals, and (iii) an off-the-shelf semantics for weak deontic necessity modals, due to von Fintel and Iatridou, which distinguishes “basic” and “higher-order” ordering sources, and interprets weak deontic necessity modals relative to both, is well-suited to this task. The prominence of normative considerations in our proposal suggests a more general methodological lesson: formal semantic analysis of natural language modals expressing normative concepts demands that close attention be paid to the nature of the underlying normative phenomena. (shrink)

A major criticism of David Lewis’ counterfactual theory of causation is that it allows too many things to count as causes, especially since Lewis allows, in addition to events, absences to be causes as well. Peter Menzies has advanced this concern under the title “the problem of profligate causation.” In this paper, I argue that the problem of profligate causation provides resources for exposing a tension between Lewis’ acceptance of absence causation and his modal realism. The result is a different (...) problem of profligate causation—one that attacks the internal consistency of Lewisian metaphysics rather than employing common sense judgments or intuitions that conflict with Lewis’ extensive list of causes. (shrink)

Modality and Anti-Metaphysics critically examines the most prominent approaches to modality among analytic philosophers in the twentieth century, including essentialism. Defending both the project of metaphysics and the essentialist position that metaphysical modality is conceptually and ontologically primitive, Stephen McLeod argues that the logical positivists did not succeed in banishing metaphysical modality from their own theoretical apparatus and he offers an original defence of metaphysics against their advocacy of its elimination. -/- Seeking to assuage the sceptical worries which underlie modal (...) anti-realism, McLeod provides an original contribution to essentialist epistemology, engaging with current debates about modality and suggesting that standard essentialist approaches to some issues in the philosophies of logic and language require revision. -/- This book offers valuable insights to professional philosophers, postgraduates and advanced undergraduates interested in metaphysics, philosophy of logic or the history of twentieth-century analytic philosophy. (shrink)

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

This thesis is about the conceptualization of persistence of physical, middle-sized objects within the theoretical framework of the revisionary ‘B-theory’ of time. According to the B-theory, time does not flow, but is an extended and inherently directed fourth dimension along which the history of the universe is ‘laid out’ once and for all. It is a widespread view among philosophers that if we accept the B-theory, the commonsensical ‘endurance theory’ of persistence will have to be rejected. The endurance theory says (...) that objects persist through time by being wholly present at distinct times as numerically the same entity. Instead of endurantism, it has been argued, we have to adopt either ‘perdurantism’ or the ‘stage theory’. Perdurantism is the theory that objects are four-dimensional ‘space-time worms’ persisting through time by having distinct temporal parts at distinct times. The stage theory says that objects are instantaneous temporal parts (stages) of space-time worms, persisting by having distinct temporal counterparts at distinct times. In the thesis, it is argued that no good arguments have been provided for the conclusion that we are obliged to drop the endurance theory by acceptance of the B-theory. This conclusion stands even if the endurance theory incorporates the claim that objects endure through intrinsic change. It is also shown that perdurantism and the stage theory come with unwelcome consequences. -/- Paper I demonstrates that the main arguments for the view that objects cannot endure in B-time intrinsically unchanged fail. Papers II and III do the same with respect to the traditional arguments against endurance through intrinsic change in B-time. Paper III also contains a detailed account of the semantics of the tenseless copula, which occurs frequently in the debate. The contention of Paper IV is that four-dimensional space-time worms, as traditionally understood, are not suited to take dispositional predicates. In Paper V, it is shown that the stage theory needs to introduce an overabundance of persistence-concepts, many of which will have to be simultaneously applicable to a single object (qua falling under a single sortal), in order for the theory to be consistent. The final article, Paper VI, investigates the sense in which persistence can, as is sometimes suggested, be a ‘conventional matter’. It also asks whether alleged cases of ‘conventional persistence’ create trouble for the endurance theory. It is argued that conventions can only enter at a trivial semantic level, and that the endurance theory is no more threatened by such conventions than are its rivals. (shrink)

The merits of David Lewis’s Best System Account of natural law are frequently debated. But to my knowledge, the prospects for extending the BSA to cover meta-laws have never been examined. I shall identify two obstacles facing the most natural way of extending the BSA to cover meta-laws. The BSA’s fans should consider how these obstacles are to be overcome. Meta-laws are laws about laws. For example, Einstein’s special theory of relativity incorporates a meta-law: The content of the [special] relativity (...) theory can … be summarized in one sentence: all natural laws must be so conditioned that they are covariant with respect to Lorentz transformations. [The special theory of relativity] is not a theory in the usual sense but is better regarded as a second-level theory, or a theory of theories that constrains first-level theories. The principle of relativity is an example of a symmetry principle: a principle requiring that the first-order laws be unchanged under a given transformation. Long before Einstein proposed the principle of relativity, other spacetime symmetries were widely believed to be meta-laws: that the first-order laws are covariant under arbitrary spatial displacements, temporal displacements and spatial rotations. These spacetime symmetries require the laws to treat all spatial locations and directions alike and all moments alike. For instance, symmetry under temporal displacements rules out a fundamental force law specifying that a given force declines with the inverse-square of the distance before a given moment but with the inverse-cube of the distance at and after that moment. Wigner characterizes such a symmetry principle as ‘a superprinciple which is in …. (shrink)

*This work is no longer under development* Two major themes in the literature on indicative conditionals are that the content of indicative conditionals typically depends on what is known;1 that conditionals are intimately related to conditional probabilities.2 In possible world semantics for counterfactual conditionals, a standard assumption is that conditionals whose antecedents are metaphysically impossible are vacuously true.3 This aspect has recently been brought to the fore, and defended by Tim Williamson, who uses it in to characterize alethic necessity by (...) exploiting such equivalences as: A⇔¬A A. One might wish to postulate an analogous connection for indicative conditionals, with indicatives whose antecedents are epistemically impossible being vacuously true: and indeed, the modal account of indicative conditionals of Brian Weatherson has exactly this feature.4 This allows one to characterize an epistemic modal by the equivalence A⇔¬A→A. For simplicity, in what follows we write A as KA and think of it as expressing that subject S knows that A.5 The connection to probability has received much attention. Stalnaker suggested, as a way of articulating the ‘Ramsey Test’, the following very general schema for indicative conditionals relative to some probability function P: P = P 1For example, Nolan ; Weatherson ; Gillies. 2For example Stalnaker ; McGee ; Adams. 3Lewis. See Nolan for criticism. 4‘epistemically possible’ here means incompatible with what is known. 5This idea was suggested to me in conversation by John Hawthorne. I do not know of it being explored in print. The plausibility of this characterization will depend on the exact sense of ‘epistemically possible’ in play—if it is compatibility with what a single subject knows, then can be read ‘the relevant subject knows that p’. If it is more delicately formulated, we might be able to read as the epistemic modal ‘must’. (shrink)

In the Twentieth Century, Logic and Philosophy of Language are two of the few areas of philosophy in which philosophers made indisputable progress. For example, even now many of the foremost living ethicists present their theories as somewhat more explicit versions of the ideas of Kant, Mill, or Aristotle. In contrast, it would be patently absurd for a contemporary philosopher of language or logician to think of herself as working in the shadow of any figure who died before the Twentieth (...) Century began. Advances in these disciplines make even the most unaccomplished of its practitioners vastly more sophisticated than Kant. There were previous periods in which the problems of language and logic were studied extensively (e.g. the medieval period). But from the perspective of the progress made in the last 120 years, previous work is at most a source of interesting data or occasional insight. All systematic theorizing about content that meets contemporary standards of rigor has been done subsequently. (shrink)