I articulate and argue for a modest use to which philosophers who are not historians of philosophy might put the history of philosophy. That use is in conceptual cartography. I understand conceptual cartography to be the practice of mapping how concepts, including those as complex as philosophical views, relate. Using the history of philosophy in conceptual cartography uses that history to situate landmarks on a conceptual map, and then situates other views (historical or contemporary) relative to those landmarks. After articulating (...) and arguing for this use, I consider objections. (shrink)

A new version of the ontological argument for the existence of God is outlined and examined. After giving a brief account of some traditional ontological arguments for the existence of God, where their defects are identified, it is explained how this new argument is built upon their foundations and surmounts their defects. In particular, this version uses the resources of impossible worlds to plug the common escape route from standard modal versions of the ontological argument. After outlining the nature of (...) impossible worlds, and motivating the need for positing them, the new argument is delineated and its premises justified. It is taken for granted that the argument cannot be sound, since it would prove too much. However, its premises are all plausible, and their denial promises to have significant ramifications. Several intuitive lines of objections are then explored in order to illuminate their shortcomings. The puzzle that the argument poses is therefore not whether the argument is sound, for it clearly cannot be. Rather, it is to place pressure on its plausible premises, so some plausible account of how the argument fails can be identified, and that the devising of such an account promises to be insightful. In the process, we should gain an improved understanding of how such ontological arguments work. (shrink)

All physical theories, from classical Newtonian mechanics to relativistic quantum field theory, entail propositions concerning the geometric structure of spacetime. To give an example, the general theory of relativity entails that spacetime is curved, smooth, and four-dimensional. In this dissertation, I take the structural commitments of our theories seriously and ask: how is such structure instantiated in the physical world? Mathematically, a property like 'being curved' is perfectly well-defined insofar as we know what it means for a mathematical space to (...) be curved. But what could it mean to say that the physical world is curved? Call this the problem of physical geometry. The problem of physical geometry is a plea for foundations--a request for fundamental truth conditions for physical-geometric propositions. My chief claim is that only a substantival theory of spacetime--a theory according to which spacetime is an entity in its own right, existing over and above the material content of the world--can supply the necessary truth conditions. (shrink)

This dissertation is divided into two parts. In the first part I defend substantivalism. I do this by offering, in chapter 1, a counterpart-theoretic defense of substantivalism from Leibniz’ shift arguments. Then, in chapter 2, I defend substantivalism from the hole argument and argue, against the consensus, that the question of haecceitism is irrelevant to substantivalism in the context of general relativity. In the second part of the dissertation I defend supersubstantivalism. I do this by offering, in chapter 3, an (...) argument against dualistic substantivalism. The argument appeals to plausible principles of modal plenitude to show that the dualist is committed to a range of problematic possibilities. Then, in chapter 4, I consider a range of supersubstantivalist positions. I conclude by arguing for a version of supersubstantivalism I call compresence supersubstantivalism. (shrink)

This paper argues that if propensities are displayed in objective physical chances then the appropriate representation of these chances is as indexed probability functions. Two alternative formal models, or accounts, for the relation between propensity properties and their chancy or probabilistic manifestations, in terms of conditionals and conditional probability are first reviewed. It is argued that both confront important objections, which are overcome by the account in terms of indexed probabilities. A number of further advantages of the indexed probability account (...) are discussed, which suggest that it is promising as a general theory of objective physical chance. The paper ends with a discussion of the indexical character of the objective chances that are grounded in propensities. (shrink)

A counterlegal is a counterfactual conditional containing an antecedent that is inconsistent with some set of laws. A backtracker is a counterfactual that tells us how things would be at a time earlier than that of its antecedent, were the antecedent to obtain. Typically, theories that evaluate counterlegals appropriately don’t evaluate backtrackers properly, and vice versa. Two cases in point: Lewis’ ordering semantics handles counterlegals well but not backtrackers. Hiddleston’s :632–657, 2005) causal-model semantics nicely handles backtrackers but not counterlegals. Taking (...) Hiddleston’s account as a starting point, I offer steps toward a theory capable of handling both counterlegals and backtrackers. The core contribution of this paper is a means for evaluating counterlegals relative to minimally-illegal models. (shrink)

In this paper, I want to hold, first, that a treatment of Frege cases in terms of a difference in cognitive phenomenology of the involved experiential mental states is not viable. Second, I will put forward another treatment of such cases that appeals to a difference in intentional objects metaphysically conceived not as exotica, but as schematic objects, that is, as objects that have no metaphysical nature qua objects of thought. This allows their nature to be settled independently of their (...) being thought of, in particular as concrete entities in the sense of entities that may be spatiotemporal occupiers. Yet third, as to Frege cases, cognitive phenomenology may return from the back door. For the realization that, if correct, solves any such case cannot but have a proprietary, though neither distinctive nor individuative, phenomenology. In my account, this is the realization that the different schematic intentional objects involved are none other than the same entity. (shrink)

In this paper I present a limitation to what may be called strictly-interventionistic causal-model semantic theories for subjunctive conditionals. And I offer a line of response to Briggs’ counterexample to Modus Ponens—given within a strictly-interventionistic framework—for the subjunctive conditional. The paper also contains some discussion of backtracking counterfactuals and backtracking interpretations. The limitation inherent to strict interventionism is brought out via a class of counterexamples. A causal-model semantics is strictly interventionistic just in case the procedure it gives for evaluating a (...) subjunctive conditional requires making the values of the variables implicated in the antecedent independent from the values of the parents of these antecedent variables. Most causal-model semantic theories that have gained attention are strictly interventionistic. (shrink)

In ‘The Varieties of Necessity’ Fine presents purported counterexamples to the view that a proposition is a naturally necessary truth if and only if it is logically necessary relative to or conditional upon the basic truths about the status and distribution of natural kinds, properties and relations. The aim of this article is to defend the view that natural necessity is relative necessity, and the general idea that we can define other kinds of necessity as relative, against Fine's criticisms.

According to Timothy Williamson, we should accept the simplest and most powerful second-order modal logic, and as a result accept an ontology of "bare possibilia". This general method for extracting ontology from logic is salutary, but its application in this case depends on a questionable assumption: that modality is a fundamental feature of the world.

It follows from David Lewis's counterpart-theoretic analysis of modality and his counterfactual theory of causation that causal claims are relativized to a set of counterpart relations. Call this Shlewis's view. I show how Shlewis's view can provide attractively unified solutions to similar modal and causal puzzles. I then argue that Shlewis's view is better motivated, by his own lights, than the view Lewis actually held, and also better motivated than a similar approach which relativizes causal claims to sets of ‘contrast (...) events’. (shrink)

This paper combines the ancient idea that causes necessitate their effects with Angelika Kratzer’s semantics of modality. On the resulting view, causal claims quantify over restricted domains of possible worlds determined by two contextually determined parameters. I argue that this view can explain a number of otherwise puzzling features of the way we use and evaluate causal language, including the difference between causing an effect and being a cause of it, the sensitivity of causal judgements to normative facts, and the (...) semantics of causal disagreements. (shrink)

Newman’s objection is sometimes taken to be a fatal objection to structural realism (SR). However, ambiguity in the definition of “structure” allows for versions that do not succumb to Newman’s objection. In this paper, I consider some versions of SR that maintain an abstract notion of structure yet avoid Newman’s objection. In particular, I consider versions suggested by Melia and Saatsi. They reject a solution that restricts the domain of the second-order quantifiers, and argue in favor of buttressing the language (...) with intensional operators such as “it is physically necessary that...”. I argue that their favored solution effectively requires the former suggestion that they reject. This argument suggests that a notion of natural properties may be indispensable to SR. (shrink)

In his earlier writings, Fred Dretske proposed an anti-skeptical strategy that is based on a rejection of the view that knowledge is closed under known entailment. This strategy is seemingly congenial with a sensitivity condition for knowledge, which is often associated with Dretske’s epistemology. However, it is not obvious how Dretske’s early account meshes with the information-theoretic view developed in Knowledge and the Flow of Information. One aim of this paper is to elucidate the connections between these accounts. First I (...) argue that, contrary to an objection raised by Christoph Jäger, the information-theoretic account is compatible with Dretske’s anti-skeptical strategy based on the rejection of closure. This strategy invokes the notion of channel conditions, which are roughly speaking those conditions that are necessary and jointly sufficient for a signal to carry information. I propose an interpretation of the account that is based on the idea that a signal’s carrying information requires that the channel conditions are stable. It is shown that the resulting account incorporates both a sensitivity condition and a safety condition for knowledge. Finally, I demonstrate how this proposal allows for knowledge of modally robust propositions without making its acquisition too easy, as simple safety accounts do. I end with a suggestion concerning the direction that future research should take, based on the fact that in its present form the information-theoretic account does not capture inferential knowledge. (shrink)

I discuss three connections between Dummett's writings about time and philosophical aspects of physics. The first connection arises from remarks of Dummett's about the different relations of observation to time and to space. The main point is uncontroversial and applies equally to classical and quantum physics. It concerns the fact that perceptual processing is so rapid, compared with the typical time-scale on which macroscopic objects change their observable properties, that it engenders the idea of a `common now', spread across space. (...) The other two connections are specific to quantum theory, as interpreted along the lines of Everett. So for these two connections, the physics side is controversial, just as the philosophical side is. In Section 3, I connect the subjective uncertainty before an Everettian `splitting' of the multiverse to Dummett's suggestion, inspired by McTaggart, that a complete, i.e. indexical-free description of a temporal reality is impossible. And in Section 4, I connect Barbour's denial that time is real---a denial along the lines of Everett, rather than McTaggart---to Dummett's suggestion that statements about the past are not determinately true or false, because they are not effectively decidable. (shrink)

Focusing on cases which involve binding into epistemic modals with definite descriptions and quantifiers, I raise some new problems for standard approaches to all of these expressions. The difficulties are resolved in a semantic framework that is dynamic in character. I close with a new class of problems about de re readings within the scope of modals.

In this paper, I argue that the supposition of divine omnipotence entails a contradiction: omnipotence both must and must not be intrinsic to God. Hence, traditional theism must be rejected. To begin, I separate out some theoretical distinctions needed to inform the discussion. I then advance two different arguments for the conclusion that omnipotence must be intrinsic to God; these utilise the notions of essence and aseity. Next, I argue that some necessary conditions on being omnipotent are extrinsic, and that (...) this means omnipotence cannot be intrinsic to God. I consider three different ways of resolving this conflict, but contend that each is unsuccessful. Before concluding, I explain why the type of strategy used to resolve the traditional paradoxes of omnipotence cannot be successfully employed against the paradox presented here. (shrink)

In a recent issue of this journal, Berit Brogaard and Joe Salerno presented a counterfactual theory of essence, designed to get around Kit Fine’s influential objections to the standard modal account of essence. I argue that Brogaard and Salerno’s theory does not avoid Fine’s objections. Then I propose a sequence of variations on their theory, and argue that none of them succeed either.

What are ceteris paribus laws? Which disciplines appeal to cp laws and which semantics, metaphysical underpinning, and epistemological dimensions do cp law statements have? Firstly, we give a short overview of the recent discussion on cp laws, which addresses these questions. Secondly, we suggest that given the rich and diverse literature on cp laws a broad conception of cp laws should be endorsed which takes into account the different ways in which laws can be non-universal . Finally, we provide an (...) overview of the special issue on that basis and describe the individual contributions to the special issue according to the issues they address: the range of applications of cp laws as well as the semantics, metaphysics, and epistemology pertaining to cp law statements. (shrink)

This essay offers a rearticulation and defence of the modal account of luck that the author developed in earlier work . In particular, the proposal is situated within a certain methodology, a component of which is paying due attention to the cognitive science literature on luck ascriptions. It is shown that with the modal account of luck properly articulated it can adequately deal with some of the problems that have recently been offered against it, and that the view has a (...) number of attractions over competing proposals, such as the lack of control account. (shrink)

We have two main aims: to construct mathematical models for analysing determinism, causality and supervenience; and then to use these to demonstrate the possibility of constructing an ontic construal of the operation of free will - one requiring both the presentation of genuine alternatives to an agent and their selecting between them in a manner that permits the attribution of responsibility. Determinism is modelled using trans-temporal ontic links between discrete juxtaposed universe states and shown to be distinct from predictability. Causality (...) is defined on a temporal sequence of δ-algebras and quantified using a measure. The measure leads to definitions of causal overdetermination and epiphenomena. Proofs are constructed to demonstrate deterministic universes must carry their properties essentially but not necessarily locally. We argue determinism and causality are separate doctrines. These models and results are marshalled to put the case that a counterfactual construal of ontic choice cannot work. In response we propose ‘immanence’ - a modified form of indeterminism whereby a universe can present choices to its denizens. We prove that beings subsumed within a universe cannot pilot their own actions. We then argue these beings can exercise free will only when selecting between choices inhering within immanent relata. A being is responsible for its selections if and only if it is constituted of a temporally evolving deterministic substructure. Our proposal is novel: it avoids injecting indeterminism into the decision process. Topological models for property supervenience are developed and used to reconstruct standard definitions from the literature. These are then used to demonstrate considerations of supervenience do not affect our arguments. We have demonstrated that a model of the exercise of free will involving both genuine choices and responsibility is possible but can only operate within a non-deterministic universe possessing specific traits. (shrink)

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

This paper adds evidence structure to standard models of belief, in the form of families of sets of worlds. We show how these more fine-grained models support natural actions of “evidence management”, ranging from update with external new information to internal rearrangement. We show how this perspective leads to new richer languages for existing neighborhood semantics for modal logic. Our main results are relative completeness theorems for the resulting dynamic logic of evidence.

In this article, we present a contextually embedded choice theory. Using concepts and tools of poset mathematics, we show how to include in rational choice theory cultural and social effects. Specifically, we define some choice superstructures, seen as choice set transformations imposed by cultural and social norms. As we shall argue, these transformations can be of help to explain choice behavior within different contexts. Moreover, we show that, once choice superstructures are taken into account, some well-known results about maximizing and (...) optimizing behavior are easily confirmed and some insights on intransitive choices may be phased out. (shrink)

In the literature there are at least two models for probabilistic belief revision: Bayesian updating and imaging [Lewis, D. K. (1973), Counterfactuals, Blackwell, Oxford; Gärdenfors, P. (1988), Knowledge in flux: modeling the dynamics of epistemic states, MIT Press, Cambridge, MA]. In this paper we focus on imaging rules that can be described by the following procedure: (1) Identify every state with some real valued vector of characteristics, and accordingly identify every probabilistic belief with an expected vector of characteristics; (2) For (...) every initial belief and every piece of information, choose the revised belief which is compatible with this information and for which the expected vector of characteristics has minimal Euclidean distance to the expected vector of characteristics of the initial belief. This class of rules thus satisfies an intuitive notion of minimal belief revision. The main result in this paper is to provide an axiomatic characterization of this class of imaging rules. (shrink)

This paper investigates some aspects of the semantics of deontic should-conditionals. The main objective is to understand which actual world facts make deontic statements true. The starting point for the investigation is a famous puzzle known as Chisholm’s Paradox. It is important because making sense of the data in Chisholm-style examples involves arriving at some conclusion regarding the interaction between what we consider ideal and what is actually true. I give an account of how facts affect the evaluation of should (...) formulated in a way that does not predict that the divergence between ideals and facts leads to contradictions. The proposed semantics for should and should-conditionals allows for factual detachment without giving rise to paradoxes. The proposal has several parts: a situation-based semantics for the modal should, a view of the propositions embedded under should that allows aspect to play a crucial role in anchoring propositions to the context set, and a proposal for if-clauses that distinguishes between epistemic if-clauses and if-clauses in the scope of should, treating the latter as restrictors on the quantificational domain of the modal. (shrink)

In this paper, I argue that the aspectual, marginality, and concessive uses of the grading particles still and already can be reduced to the fol lowing three classes of focus sensitive-grading particles: additive particles like too, scalar particles like even, and exclusive particles like only. The meaning differences among the occurrences of still (and already) are mostly reduced to the differences among these three classes of grading particles. In turn, these differences are shown to correlate with what type of object (...) is denoted by the phrase in the scope of the particle. The proposal has repercussions also for the focus-sensitive particle again. I investigate the latter too, and I propose a parallel between the temporal and nominal domains where the contrast between still and again is analyzed along the lines of the contrast between definite and indefinite noun phrases. (shrink)

This paper outlines a theory and computer implementation of causal meanings and reasoning. The meanings depend on possibilities, and there are four weak causal relations: A causes B, A prevents B, A allows B, and A allows not‐B, and two stronger relations of cause and prevention. Thus, A causes B corresponds to three possibilities: A and B, not‐A and B, and not‐A and not‐B, with the temporal constraint that B does not precede A; and the stronger relation conveys only the (...) first and last of these possibilities. Individuals represent these relations in mental models of what is true in the various possibilities. The theory predicts a number of phenomena, and, contrary to many accounts, it implies that the meaning of causation is not probabilistic, differs from the meaning of enabling conditions, and does not depend on causal powers or mechanisms. The theory also implies that causal deductions do not depend on schemas or rules. (shrink)

I offer a new account of fair-play obligations for non-excludable benefits received from the state. Firstly, I argue that non-acceptance of these benefits frees recipients of fairness obligations only when a counterfactual condition is met; i.e. when non-acceptance would hold up in the closest possible world in which recipients do not hold motivationally-biased beliefs triggered by a desire to free-ride. Secondly, I argue that because of common mechanisms of self-deception there will be recipients who reject these benefits without meeting the (...) counterfactual condition. For this reason, I suggest that those who reject non-excludable benefits provided by the state have a duty to support their rejection with adequate reasons. Failing that, they can be permissibly treated as if they had fair-play obligations (although in fact they might not have them). Thus, I claim that there is a distinction, largely unappreciated, between the question of whether we have a duty of fairness to obey the law and the question of whether we can be permissibly treated as if we had one. (shrink)

The Platonic theist Peter van Inwagen argues that God cannot create abstract objects. Thus, the quantifier ‘everything’ in traditional statements of the doctrine of creation should be appropriately restricted to things that can enter into causal relations and abstract objects cannot: ‘God is the creator of everything distinct from himself…that can enter into causal relations.’ I respond to van Inwagen arguing that he has provided no good reason for thinking abstract objects must be uncreated. And if this is the case, (...) then there is no good reason to think that God cannot create abstract objects. (shrink)

The rise of causality and the attendant graph-theoretic modeling tools in the study of counterfactual reasoning has had resounding effects in many areas of cognitive science, but it has thus far not permeated the mainstream in linguistic theory to a comparable degree. In this study I show that a version of the predominant framework for the formal semantic analysis of conditionals, Kratzer-style premise semantics, allows for a straightforward implementation of the crucial ideas and insights of Pearl-style causal networks. I spell (...) out the details of such an implementation, focusing especially on the notions of intervention on a network and backtracking interpretations of counterfactuals. (shrink)

Conditionals somehow express conditional beliefs. However, conditional belief is a bi-propositional attitude that is generally not truth-evaluable, in contrast to unconditional belief. Therefore, this article opts for an expressivistic semantics for conditionals, grounds this semantics in the arguably most adequate account of conditional belief, that is, ranking theory, and dismisses probability theory for that purpose, because probabilities cannot represent belief. Various expressive options are then explained in terms of ranking theory, with the intention to set out a general interpretive scheme (...) that is able to account for the most variegated usage of conditionals. The Ramsey test is only the first option. Relevance is another, familiar, but little understood item, which comes in several versions. This article adds a further family of expressive options, which is able to subsume also counterfactuals and causal conditionals, and indicates at the end how this family allows for partial recovery of truth conditions for conditionals. (shrink)

Prominent instances of anti-luck epistemology, in particular sensitivity and safety accounts of knowledge, introduce a modal condition on the pertinent belief in terms of closeness or similarity of possible worlds. Very roughly speaking, a belief must continue to be true in close possibilities in order to qualify as knowledge. Such closeness-accounts derive much support from their (alleged) ability to eliminate standard instances of epistemic luck as they appear in prominent Gettier-type examples. The article argues that there are new Gettier-type examples (...) which are grounded in “distant” epistemic luck. It is demonstrated that sensitivity and safety theories cannot handle such examples. (shrink)

This paper studies the use of hypothetical and value-based reasoning in US Supreme-Court cases concerning the United States Fourth Amendment. Drawing upon formal AI & Law models of legal argument a semi-formal reconstruction is given of parts of the Carney case, which has been studied previously in AI & law research on case-based reasoning. As part of the reconstruction, a semi-formal proposal is made for extending the formal AI & Law models with forms of metalevel reasoning in several argument schemes. (...) The result is compared with Rissland’s (1989) analysis in terms of dimensions and Ashley’s (2008) analysis in terms of his process model of legal argument with hypotheticals. (shrink)

In this paper I present some difficulties for Lewis’s and similar theories of counterfactuals, and suggest that the problem lies in the notion of absolute similarity. In order to explain the problem, I discuss the relation between Lewis’s and Goodman’s theory, and show that the two theories are not related in the way Lewis thought they were.

This essay reviews Theatre, Communication, Critical Realism (2010) by Tobin Nellhaus. It begins by outlining the objective of the book and proceeds to evaluate its central argument. The objective is to develop a theory of theatre founded on the premises of critical realism and thereby theoretically situate theatrical performance in its socio-cultural matrix. The argument is that critical realism is effective for developing a comprehensive account of theatrical performance because it has the capacity to reveal truths about the structure of (...) social reality (that correspond to those articulated by critical realism). In the second part of the review, employing the methods of conceptual analysis, I propose that Nellhaus’s thesis of ‘ontological doubling’ (which claims that performance doubles human agency) is undermined by certain epistemological presuppositions regarding the ontology of fictional characters. (shrink)

Direct source incompatibilism (DSI) is the conjunction of two claims: SI-F: there are genuine Frankfurt-style counterexamples (FSCs); SI-D: there is a sound version of the direct argument (DA). Eric Yang ( 2012 ) responds to a recent criticism of DSI (Campbell 2006 ). We show that Yang misses the mark. One can accept Yang’s criticisms and get the same result: there is a deep tension between FSCs and DA, between SI-F and SI-D. Thus, DSI is untenable. In this essay, we (...) use an important yet overlooked distinction between truthmakers and determiners to help drive this point home. (shrink)

An incorrect interpretation of Goodman’s theory of counterfactuals is persistently being offered in the literature. I find that strange. Even more so since the incorrectness is rather obvious. In this paper I try to figure out why is that happening. First I try to explain what Goodman did say, which of his claims are ignored, and what he did not say but is sometimes ascribed to him. I emphasize one of the bad features of the interpretation: it gives counterfactuals some (...) formal properties that neither Goodman nor (usually) the interpreter would accept. The usual interpretation (UI), which I claim should not be ascribed to Goodman, considers a counterfactual A>C true iff A, together with natural laws and all contingent truths cotenable with it, entails C. (UI) makes valid the law of conditional excluded middle, which Goodman clearly rejected. Among possible reasons for which the interpreters might find (UI) adequate is that (UI), as I argue, smuggles in the idea of minimal change, which is otherwise attractive, natural to many, but not to be found anywhere in Goodman’s paper. At the end I stress the significance of Goodman’s theory by arguing that we still need some of his notions to test the adequacy of our modern theories. (shrink)

A paper by Schulz (Philos Stud 149:367–386, 2010) describes how the suppositional view of indicative conditionals can be supplemented with a derived view of epistemic modals. In a recent criticism of this paper, Willer (Philos Stud 153:365–375, 2011) argues that the resulting account of conditionals and epistemic modals cannot do justice to the validity of certain inference patterns involving modalised conditionals. In the present response, I analyse Willer’s argument, identify an implicit presupposition which can plausibly be denied and show that (...) accepting it would blur the difference between plain assumptions and their epistemic necessitations. (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)

How are scientific explanations possible in ecology, given that there do not appear to be many—if any—ecological laws? To answer this question, I present and defend an account of scientific causal explanation in which ecological generalizations are explanatory if they are invariant rather than lawlike. An invariant generalization continues to hold or be valid under a special change—called an intervention—that changes the value of its variables. According to this account, causes are difference-makers that can be intervened upon to manipulate or (...) control their effects. I apply the account to ecological generalizations to show that invariance under interventions as a criterion of explanatory relevance provides interesting interpretations for the explanatory status of many ecological generalizations. Thus, I argue that there could be causal explanations in ecology by generalizations that are not, in a strict sense, laws. I also address the issue of mechanistic explanations in ecology by arguing that invariance and modularity constitute such explanations. (shrink)

We propose new definitions of (causal) explanation, using structural equations to model counterfactuals. The definition is based on the notion of actual cause, as defined and motivated in a companion article. Essentially, an explanation is a fact that is not known for certain but, if found to be true, would constitute an actual cause of the fact to be explained, regardless of the agent's initial uncertainty. We show that the definition handles well a number of problematic examples from the literature.

Laws in the special sciences are usually regarded to be non-universal. A theory of laws in the special sciences faces two challenges. (I) According to Lange's dilemma, laws in the special sciences are either false or trivially true. (II) They have to meet the ?requirement of relevance?, which is a way to require the non-accidentality of special science laws. I argue that both challenges can be met if one distinguishes four dimensions of (non-) universality. The upshot is that I argue (...) for the following explication of special science laws: L is a special science law just if (1) L is a system law, (2) L is quasi-Newtonian, and (3) L is minimally invariant. (shrink)

Laws of nature are puzzling because they have a 'modal character'—they seem to be 'necessary-ish'—even though they also seem to be metaphysically contingent. And it is hard to understand how contingent truths could have such a modal character. Scientific essentialism is a doctrine that seems to dissolve this puzzle, by showing that laws of nature are actually metaphysically necessary. I argue that even if the metaphysics of natural kinds and properties offered by scientific essentialism is correct, there are still some (...) metaphysically contingent truths that share the modal character of the laws of nature. I argue that these contingent truths should be considered laws of nature. So even if scientific essentialism is true, at least some laws of nature are metaphysically contingent. (shrink)

The natural interpretation of counterfactuals with disjunctive antecedents involves selecting from each of the disjuncts the worlds that come closest to the world of evaluation. It has been long noticed that capturing this interpretation poses a problem for a minimal change semantics for counterfactuals, because selecting the closest worlds from each disjunct requires accessing the denotation of the disjuncts from the denotation of the disjunctive antecedent, which the standard boolean analysis of or does not allow (Creary and Hill, Philosophy of (...) Science 43:341–344, 1975; Nute, Journal of Philosophy 72:773–778, 1975; Fine, Mind 84(335):451–458, 1975; Ellis et al. Journal of Philosophical Logic 6:335–357, 1977). This paper argues that the failure to capture the natural interpretation of disjunctive counterfactuals provides no reason to abandon a minimal change semantics. It shows that the natural interpretation of disjunctive counterfactuals is expected once we refine our assumptions about the semantics of or and the logical form of conditionals, and (i) we assume that disjunctions introduce propositional alternatives in the semantic derivation, in line with independently motivated proposals about the semantics of or (Aloni, 2003a; Simons, Natural Language Semantics 13:271–316, 2005; Alonso-Ovalle, Disjunction in Alternative Semantics. PhD thesis, 2006); and (ii) we treat conditionals as correlative constructions, as advocated in von Fintel (1994), Izvorski (Proceedings of NELS 26, 1996), Bhatt and Pancheva (2006), and Schlenker (2004). (shrink)

The standard approach to the so-called paradoxes of identity has been to argue that these paradoxes do not essentially concern the notion of identity but rather betray misconceptions on our part regarding other metaphysical notions, like that of an object or a property. This paper proposes a different approach by pointing to an ambiguity in the identity predicate and arguing that the concept of identity that figures in many ordinary identity claims, including those that appear in the paradoxes, is not (...) the traditional philosophical concept but one that can be defined in terms of relevant similarity. This approach to the paradoxes will be argued to be superior to the standard one. (shrink)