Single-case and long-run propensity theories are among the main objective interpretations of probability. There have been various objections to these theories, e.g. that it is difficult to explain why propensities should satisfy the probability axioms and, worse, that propensities are at odds with these axioms, that the explication of propensities is circular and accordingly not informative, and that single-case propensities are metaphysical and accordingly non-scientific. We consider various propensity theories of probability and their prospects in light of these objections. We (...) argue that while propensity theories face challenges, these challenges do not undermine their validity as prospective interpretations of probability in science. (shrink)

De Finetti is one of the founding fathers of the subjective school of probability. He held that probabilities are subjective, coherent degrees of expectation, and he argued that none of the objective interpretations of probability make sense. While his theory has been influential in science and philosophy, it has encountered various objections. I argue that these objections overlook central aspects of de Finetti’s philosophy of probability and are largely unfounded. I propose a new interpretation of de Finetti’s theory that highlights (...) these aspects and explains how they are an integral part of de Finetti’s instrumentalist philosophy of probability. I conclude by drawing an analogy between misconceptions about de Finetti’s philosophy of probability and common misconceptions about instrumentalism. (shrink)

I present an approach to our conceiving absolute impossibilities—things which obtain at no possible world—in terms of ceteris paribus intentional operators: variably restricted quantifiers on possible and impossible worlds based on world similarity. The explicit content of a representation plays a role similar in some respects to the one of a ceteris paribus conditional antecedent. I discuss how such operators invalidate logical closure for conceivability, and how similarity works when impossible worlds are around. Unlike what happens with ceteris paribus counterfactual (...) conditionals, the closest worlds are relevantly closest belief-worlds: closest to how things are believed to be, rather than to how they are. Also, closeness takes into account apriority and the opacity of intentional contexts. (shrink)

The paper makes two points. First, any theory of knowledge must explain the difference between cases of knowledge from falsehood and Gettier cases where the subject relies on reasoning from falsehood. Second, the closeness-to-the-truth approach to explaining the difference between knowledge-yielding and knowledge-suppressing falsehoods does not hold up to scrutiny.

I want to model a finite, fallible cognitive agent who imagines that p in the sense of mentally representing a scenario—a configuration of objects and properties—correctly described by p. I propose to capture imagination, so understood, via variably strict world quantifiers, in a modal framework including both possible and so-called impossible worlds. The latter secure lack of classical logical closure for the relevant mental states, while the variability of strictness captures how the agent imports information from actuality in the imagined (...) non-actual scenarios. Imagination turns out to be highly hyperintensional, but not logically anarchic. Section 1 sets the stage and impossible worlds are quickly introduced in Sect. 2. Section 3 proposes to model imagination via variably strict world quantifiers. Section 4 introduces the formal semantics. Section 5 argues that imagination has a minimal mereological structure validating some logical inferences. Section 6 deals with how imagination under-determines the represented contents. Section 7 proposes additional constraints on the semantics, validating further inferences. Section 8 describes some welcome invalidities. Section 9 examines the effects of importing false beliefs into the imagined scenarios. Finally, Sect. 10 hints at possible developments of the theory in the direction of two-dimensional semantics. (shrink)

Sentences \(\varphi\) and \(\psi\) are _cognitive synonyms_ for one when they play the same role in one’s cognitive life. The notion is pervasive (Sect. 1 ), but elusive: it is bound to be hyperintensional (Sect. 2 ), but excessive fine-graining would trivialize it and there are reasons for some coarse-graining (Sect. 2.1 ). Conceptual limitations stand in the way of a natural algebra (Sect. 2.2 ), and it should be sensitive to subject matters (Sect. 2.3 ). A cognitively adequate individuation (...) of content may be intransitive (Sect. 3 ) due to ‘dead parrot’ series: sequences of sentences \(\varphi _1, \ldots, \varphi _n\) where adjacent \(\varphi _i\) and \(\varphi _{i+1}\) are cognitive synonyms while \(\varphi _1\) and \(\varphi _n\) are not (Sect. 3.1 ). Finding an intransitive account is hard: Fregean equipollence won’t do (Sect. 3.2 ) and a result by Leitgeb shows that it wouldn’t satisfy a minimal compositionality principle (Sect. 3.3 )._Sed contra_, there are reasons for transitivity, too (Sect. 3.4 ). In Sect. 4, we come up with a formal semantics capturing this jumble of desiderata, thereby showing that the notion is coherent. In Sect. 5, we re-assess the desiderata in its light. (shrink)

I propose a comprehensive account of negation as a modal operator, vindicating a moderate logical pluralism. Negation is taken as a quantifier on worlds, restricted by an accessibility relation encoding the basic concept of compatibility. This latter captures the core meaning of the operator. While some candidate negations are then ruled out as violating plausible constraints on compatibility, different specifications of the notion of world support different logical conducts for negations. The approach unifies in a philosophically motivated picture the following (...) results: nothing can be called a negation properly if it does not satisfy Contraposition and Double Negation Introduction; the pair consisting of two split or Galois negations encodes a distinction without a difference; some paraconsistent negations also fail to count as real negations, but others may; intuitionistic negation qualifies as real negation, and classical Boolean negation does as well, to the extent that constructivist and paraconsistent doubts on it do not turn on the basic concept of compatibility but rather on the interpretation of worlds. (shrink)

I present a formal theory of the logic and aboutness of imagination. Aboutness is understood as the relation between meaningful items and what they concern, as per Yablo and Fine’s works on the notion. Imagination is understood as per Chalmers’ positive conceivability: the intentional state of a subject who conceives that p by imagining a situation—a configuration of objects and properties—verifying p. So far aboutness theory has been developed mainly for linguistic representation, but it is natural to extend it to (...) intentional states. The proposed framework combines a modal semantics with a mereology of contents: imagination operators are understood as variably strict quantifiers over worlds with a content-preservation constraint. (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)

This article discusses a familiar version of trope theory as opposed to a familiar version of the theory of universals, examining how these two rivals address the problem of “attribute agreement”—a problem that has been at the root of the very reason for developing these theories in the first place. The article shows that there is not much of a difference between the ways these two theories handle the problem, and in a more general way it argues that there is (...) little reason for preferring one theory over the other. It is not interested in this claim only for the sake of the debate between trope theory and the theory of universals. Indeed, the reasons why it claims that it is so difficult to choose one theory over the other can be applied to other cases as well (where they might lead to claims of metaphysical equivalence). (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)

A variation of Bell's theorem that deals with the indeterministic case is formulated and proved within the logical framework of Lewis's theory of counterfactuals. The no-faster-than-light-influence condition is expressed in terms of Lewis would counterfactual conditionals. Objections to this procedure raised by certain philosophers of science are examined and answered. The theorem shows that the incompatibility between the predictions of quantum theory and the idea of no faster-than-light influence cannot be ascribed to any auxiliary or tacit assumption of either determinism (...) or the related idea that outcomes of unperformed measurements are determinate within nature. In addition, the theorem provides an example of an application of Lewis's theory of counterfactuals in a rigorous scientific context. (shrink)

In this paper, I argue that David Lewis’s possible world semantics for counterfactual discourse and for fictional discourse are apparently inconsistent and in need of revision. The problem emerges for Lewis’s account once one considers how to evaluate ambifictional counterfactuals. Since this is likely not a concept familiar to most, and since it does not appear that the problem has been previously recognized in the critical literature, I will begin by rehearsing Lewis’s possible worlds semantics for counterfactuals and fiction. Then (...) I will explicate the distinction between intrafictional, extrafictional, interfictional, and ambifictional propositions. Next, I will state what an ambifictional counterfactual proposition is, and explain why this kind of discourse confounds Lewis’s system. I will conclude, finally, with a brief discussion of how the Lewisian would be best advised to resolve the paradox. (shrink)

Team semantics is a highly general framework for logics which describe dependencies and independencies among variables. Typically, the dependencies considered in this context are properties of sets of configurations or data records. We show how team semantics can be further generalized to support languages for the discussion of interventionist counterfactuals and causal dependencies, such as those that arise in manipulationist theories of causation. We show that the “causal teams” we introduce in the present paper can be used for modelling some (...) classical counterfactual scenarios which are not captured by the usual causal models. We then analyse the basic properties of our counterfactual languages and discuss extensively the differences with respect to the Lewisian tradition. (shrink)

I aim to show that standard theories of counterfactuals are mistaken, not in detail, but in principle, and I aim to say what form a tenable theory must take. Standard theories entail a categorical interpretation of counterfactuals, on which to state that, if it were that A, it would be that C is to state something, not relative to any supposition or hypothesis, but categorically. On the rival suppositional interpretation, to state that, if it were that A, it would be (...) that C is to state that it would be that C relative to the supposition that it were that A. The two interpretations make incompatible predictions concerning the correct evaluation of counterfactuals. I argue that the suppositional interpretation makes the correct prediction. (shrink)

It has seemed, to many, that there is an important connection between the ways in which some theoretical posits explain our observations, and our reasons for being ontologically committed to those posits. One way to spell out this connection is in terms of what has become known as the explanatory criterion of ontological commitment. This is, roughly, the view that we ought to posit only those entities that are indispensable to our best explanations. Our primary aim is to argue that (...) the moral nonnaturalist places herself in an invidious position if she simply accepts that the nonnatural moral facts that she posits are not explanatory. Instead, we offer the nonnaturalist an alternative strategy for dealing with moral explanations. The strategy is to retain the explanatory criterion of ontological commitment and maintain that moral properties are, in fact, explanatory. The explanations they provide are not causal explanations; instead, moral properties make a non-causal difference to the physical facts. (shrink)

In this paper, I will defend the thesis that fundamental natural laws are distinguished from accidental empirical generalizations neither by metaphysical necessity, 147–155, 2005, 2007) nor by contingent necessitation. The only sort of modal force that distinguishes natural laws, I will argue, arises from the peculiar physical property of mutual independence of elementary interactions exemplifying the laws. Mutual independence of elementary interactions means that their existence and their nature do not depend in any way on which other interactions presently occur. (...) It is exactly this general physical property of elementary interactions in the actual world that provides natural laws with their specific modal force and grounds the experience of nature’s ‘recalcitrance’. Thus, the modal force of natural laws is explained by contingent non-modal properties of nature. In the second part of the paper, I deal with some alleged counterexamples to my approach: constraint laws, compositional laws, symmetry principles and conservation laws. These sorts of laws turn out to be compatible with my approach: constraint laws and compositional laws do not represent the dynamics of interaction-types by themselves, but only as constitutive parts of a complete set of equations, whereas symmetry principles and conservation laws do not represent any specific dynamics, but only impose general constraints on possible interactions. (shrink)

We argue that explanations appealing to logical impossibilities are genuine explanations. Our defense is based on a certain picture of impossibility. Namely, that there are impossibilities and that the impossibilities have structure. Assuming this broad picture of impossibility we defend the genuineness of explanations that appeal to logical impossibilities against three objections. First, that such explanations are at odds with the perceived conceptual connection between explanation and counterfactual dependence. Second, that there are no genuinely contrastive why-questions that involve logical impossibilities (...) and, third, that explanations appealing to logical impossibilities rule nothing out. (shrink)

This paper offers a new way to evaluate counterfactual conditionals on the supposition that actually, there is no time. We then parlay this method of evaluation into a way of evaluating causal claims. Our primary aim is to preserve, at a minimum, the assertibility of certain counterfactual and causal claims once time has been excised from reality. This is an important first step in a more general reconstruction project that has two important components. First, recovering our ordinary language claims involving (...) notions such as persistence, change and agency and, second, recovering enough observational evidence so that any timeless metaphysics is not empirically self-refuting. However, the project of investigating causation in a timeless setting has a greater relevance than its application to timeless physical theory alone. For, as we show, it can be used to model the assertibility conditions of causal claims more generally. (shrink)

The standard view about counterfactuals is that a counterfactual (A > C) is true if and only if the A-worlds most similar to the actual world @ are C-worlds. I argue that the worlds conception of counterfactuals is wrong. I assume that counterfactuals have non-trivial truth-values under physical determinism. I show that the possible-worlds approach cannot explain many embeddings of the form (P > (Q > R)), which intuitively are perfectly assertable, and which must be true if the contingent falsity (...) of (Q > R) is to be explained. If (P > (Q > R)) has a backtracking reading then the contingent facts that (Q > R) needs to be true in the closest P-worlds are absent. If (P > (Q > R)) has a forwardtracking reading, then the laws required by (Q > R) to be true in the closest P-worlds will be absent, because they are violated in those worlds. Solutions like lossy laws or denial of embedding won't work. The only approach to counterfactuals that explains the embedding is a pragmatic metalinguistic approach in which the whole idea that counterfactuals are about a modal reality, be it abstract or concrete, is given up. (shrink)

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

ABSTRACT Our goal in this paper is to extend counterfactual accounts of scientific explanation to mathematics. Our focus, in particular, is on intra-mathematical explanations: explanations of one mathematical fact in terms of another. We offer a basic counterfactual theory of intra-mathematical explanations, before modelling the explanatory structure of a test case using counterfactual machinery. We finish by considering the application of counterpossibles to mathematical explanation, and explore a second test case along these lines.

Possibilistic logic and modal logic are knowledge representation frameworks sharing some common features, such as the duality between possibility and necessity, and the decomposability of necessity for conjunctions, as well as some obvious differences since possibility theory is graded. At the semantic level, possibilistic logic relies on possibility distributions and modal logic on accessibility relations. In the last 30 years, there have been a series of attempts for bridging the two frameworks in one way or another. In this paper, we (...) compare the relational semantics of epistemic logics with simpler possibilistic semantics of a fragment of such logics that only uses modal formulas of depth 1. This minimal epistemic logic handles both all-or-nothing beliefs and explicitly ignored facts. We also contrast epistemic logic with the S5-based rough set logic. Finally, this paper presents extensions of generalized possibilistic logic with objective and non-nested multimodal formulas, in the style of modal logics KD45 and S5. (shrink)

We propose a new model for forming and revising beliefs about unknown probabilities. To go beyond what is known with certainty and represent the agent’s beliefs about probability, we consider a plausibility map, associating to each possible distribution a plausibility ranking. Beliefs are defined as in Belief Revision Theory, in terms of truth in the most plausible worlds. We consider two forms of conditioning or belief update, corresponding to the acquisition of two types of information: learning observable evidence obtained by (...) repeated sampling from the unknown distribution; and learning higher-order information about the distribution. The first changes only the plausibility map, but leaves the given set of possible distributions essentially unchanged; the second rules out some distributions, thus shrinking the set of possibilities, without changing their plausibility ordering.. We look at stability of beliefs under either of these types of learning, defining two related notions, as well as a measure of the verisimilitude of a given plausibility model. We prove a number of convergence results, showing how our agent’s beliefs track the true probability after repeated sampling, and how she eventually gains in a sense knowledge of that true probability. Finally, we sketch the contours of a dynamic doxastic logic for statistical learning. (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)

Jaegwon Kim’s supervenience/exclusion argument attempts to show that non-reductive physicalism is incompatible with mental causation. This influential argument can be seen as relying on the following principle, which I call “the piggyback principle”: If, with respect to an effect, E, an instance of a supervenient property, A, has no causal powers over and above, or in addition to, those had by its supervenience base, B, then the instance of A does not cause E (unless A is identical with B). In (...) their “Epiphenomenalism: The Dos and the Don’ts,” Larry Shapiro and Elliott Sober employ a novel empirical approach to challenge the piggyback principle. Their empirical approach pulls from the experiments of August Weismann regarding the inheritance of acquired characteristics. Through an examination of Weismann’s experiments, Shapiro and Sober extract lessons in reasoning about the epiphenomenalism of a property. And according to these empirically drawn lessons, the piggyback principle is a don’t. My primary aim in this paper is to defend the piggyback principle against Shapiro and Sober’s empirical approach. (shrink)

We argue in favor of merely disjunctive effects, namely cases in which an event or fact, C, is not a cause of an effect, E1, and is also not a cause of a distinct effect, E2, and yet C is a cause of the disjunctive effect (E1 orE2). Disjunctive effects let us retain the additivity and the distributivity of causation. According to additivity, if C is a cause of E1 and C is a cause of E2, then C is a (...) cause of E1 and E2. According to distributivity, if C is a cause of E1 and E2, then C is a cause of E1 and C is a cause of E2. We draw an analogy between causation and intensional notions like believing, wanting, and owing, which also admit of merely disjunctive cases. We argue that both the Lewisian counterfactual account of causation (including its recent emendation by Sartorio) and the contrastive account of causation fail to properly account for this phenomenon. (shrink)

I argue that reflection on philosophers who could have been working among us but aren’t can lead us to give up our philosophical beliefs.

Many epistemologists are enamored with a defeat condition on knowledge. In this paper we present some implementation problems for defeatism, understood along either internalist or externalist lines. We then propose that one who accepts a knowledge norm of belief, according to which one ought to believe only what one knows, can explain away much of the motivation for defeatism. This is an important result, because on the one hand it respects the plausibility of the intuitions about defeat shared by many (...) in epistemology; but on the other hand, it obviates the need to provide a unified account of defeat which plays well with the most plausible views of how knowledge fits with evidential probability. (shrink)

According to dispositionalism, de re modality is grounded in the intrinsic natures of dispositional properties. Those properties are able to serve as the ground of de re modal truths, it is said, because they bear a special relation to counterfactual conditionals, one of truthmaking. However, because dispositionalism purports to ground de re modality only on the intrinsic natures of dispositional properties, it had better be the case that they do not play that truthmaking role merely in virtue of their being (...) embedded in some particular, extrinsic causal context. This paper examines a recent argument against dispositionalism that purports to show that the intrinsicality of that relation cannot be maintained, due to the ceteris paribus nature of the counterfactuals that dispositions make-true. When two prominent responses are examined, both are found wanting: at best, they require unjustified special pleading, and at worst, they amount to little more than ad hoc conceptual trickery. (shrink)

According to the proponents of Developmental Systems Theory and the Causal Parity Thesis, the privileging of the genome as “first among equals” with respect to the development of phenotypic traits is more a reflection of our own heuristic prejudice than of ontology - the underlying causal structures responsible for that specified development no more single out the genome as primary than they do other broadly “environmental” factors. Parting with the methodology of the popular responses to the Thesis, this paper offers (...) a novel criterion for ‘causal primacy’, one that is grounded in the ontology of the unique causal role of dispositional properties. This paper argues that, if the genome is conceptualised as realising dispositional properties that are “directed toward” phenotypic traits, the parity of ‘causal roles’ between genetic and extra-genetic factors is no longer apparent, and further, that the causal primacy of the genome is both plausible and defensible. (shrink)

According to contemporary ‘process ontology’, organisms are best conceptualised as spatio-temporally extended entities whose mereological composition is fundamentally contingent and whose essence consists in changeability. In contrast to the Aristotelian precepts of classical ‘substance ontology’, from the four-dimensional perspective of this framework, the identity of an organism is grounded not in certain collections of privileged properties, or features which it could not fail to possess, but in the succession of diachronic relations by which it persists, or ‘perdures’ as one entity (...) over time. In this paper, I offer a novel defence of substance ontology by arguing that the coherency and plausibility of the radical reconceptualisation of organisms proffered by process ontology ultimately depends upon its making use of the ‘substantial’ principles it purports to replace. (shrink)

In this chapter, I make the case for platonic realism, the thesis that there are properties that lack spatial locations. After criticizing the one-over-many argument for realism and Lewis's argument for realism, I endorse a modal argument that derives the existence of platonic properties from considerations involving necessary truth. I then defend this argument from various objections. Finally, I argue that epistemic considerations and considerations of parsimony favor a weak form of platonic realism on which there are platonic properties, but (...) each property could have had an instance, and would have been located in its instances if it had any. (shrink)

The main purpose of this dissertation is to examine critically and discuss the role of imagination in science and religion, with particular emphasis on its possible epistemic, creative, and meaning-making functions. In order to answer my research questions, I apply theories and concepts from contemporary philosophy of mind on scientific and religious practices. This framework allows me to explore the mental state of imagination, not as an isolated phenomenon but, rather, as one of many mental states that co-exist and interplay (...) in our cogntive architecture. Based on the philosophical discourse of philosophy of mind, four types of imagination are indentified and conceptualized: sensory, propositional, experiential, and creative imagination. These categories are then employed on five phenomena that can be found in scientific and religious environments: metaphors, models, thought experiments, aspect perception, and - in the religious case - rituals. In relation to the concept of religious "seeing" I consider how imaginings may influence visionary experiences and visualization, and compare these phenomena with cases of scientific visualization and eureka experiences. In regard to scientific and religious models, a distinction is made between, on the one hand, two notions of truth and, on the other hand, truth-independent meaning-making. In light of these categories, I differentiate between, and critically discuss, the use of imagination in doxastic, non-doxastic and fictionalist accounts. In light of this investigation, I formulate and defend the position of interactivism, which acknowledges a constant interplay between different attitudes and mental states. In my examination of rituals and scientific and religious thought experiments, special attention is given to the mental capacity to recreate the experiences that are entailed in an imagined scenario. At the end of the investigation, I consider the possible impact that my study might have on how we view science and religion as well as the dialogue bewteen these two fields. (shrink)

We introduce a bimodal epistemic logic intended to capture knowledge as truth in all epistemically alternative states and belief as a generalised ‘majority’ quantifier, interpreted as truth in most of the epistemically alternative states. This doxastic interpretation is of interest in knowledge-representation applications and it also holds an independent philosophical and technical appeal. The logic comprises an epistemic modal operator, a doxastic modal operator of consistent and complete belief and ‘bridge’ axioms which relate knowledge to belief. To capture the notion (...) of a ‘majority’ we use the ‘large sets’ introduced independently by K. Schlechta and V. Jauregui, augmented with a requirement of completeness, which furnishes a ‘weak ultrafilter’ concept. We provide semantics in the form of possible-worlds frames, properly blending relational semantics with a version of general Scott–Montague frames and we obtain soundness and completeness results. We examine the validity of certain epistemic principles discussed in the literature, in particular some of the ‘bridge’ axioms discussed by W. Lenzen and R. Stalnaker, as well as the ‘paradox of the perfect believer’, which is not a theorem of. (shrink)

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

Differences in the interpretation of would-conditionals with simple (perfective) and perfect antecedent clauses are marked enough to discourage a unified view. However, this paper presents a unified, Lewis–Stalnaker style semantics for the modal in such constructions. Differences in the interpretation of the conditionals are derived from the interaction between the interpretation of different types of aspect and the modal. The paper makes a distinction between perfective and perfect aspect in terms of whether they make reference to or quantify over Lewis-style (...) events. In making reference to Lewis-events, perfective aspect is shown to be incompatible with counterfactual would-conditionals. The so-called ‘epistemic flavor’ of perfective conditionals about the future is derived from the use of diagonalization as an interpretive strategy called upon to resolve reference. (shrink)

This paper investigates the interpretation of counterfactual conditionals. The main goal of the paper is to provide an account of the semantic role of similarity in the evaluation of counterfactuals. The paper proposes an analysis according to which counterfactuals are treated as predications “ de re ” over past situations in the actual world. The relevant situations enter semantic composition via the interpretation of tense. Counterfactuals are treated as law-like conditionals with de re predication over particular facts. Similarity with respect (...) to particular facts is ensured by the semantics of tense in interaction with the modal, while the modal itself is responsible for invoking laws. In the paper, various arguments are provided to support a local view of similarity over the global approach found in semantics along the line of Lewis’s and Stalnaker’s. Arguments are also provided tying the evaluation of similarity to the interpretation of tense. Finally, arguments are provided to show that in key cases, the approaches make comparable predictions. (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)

This paper addresses a particular interpretation of quantum mechanics, i.e. superdeterminism. In short, superdeterminism i) takes the world to be fundamentally deterministic, ii) postulates hidden variables, and iii) contra Bell, saves locality at the cost of violating the principle of statistical independence. Superdeterminism currently enjoys little support in the physics and philosophy communities. Many take it to posit the ubiquitous occurrence of hard-to-digest conspiratorial and coincidental events; others object that violating the principle of statistical independence implies the death of the (...) scientific methodology. In this paper, we offer a defense to these and other objections. To counter the conspiracy objection, we draw upon the philosophical literature on time travel, and conclude that the picture of the world offered by the superdeterminist does not need to be particularly surprising or conspiratorial. We then move on to other recent objections, in particular those that focus on the methodology of science and the nature of the physical laws compatible with superdeterminism. A key ingredient of our arguments is that the principle of statistical independence may be violated in theory, but valid for practical purposes. Our overarching goal is to offer a defense of superdeterminism with respect to its main objections, so that it can earn its keep as a legitimate contender among the possible interpretations of quantum mechanics. (shrink)

According to Woodward’s influential account of explanation, explanations have a counterfactual structure, and explanatory counterfactuals are analysed in terms of causal relations and interventions. In this paper, we provide a formal semantics of explanatory counterfactuals based on a Ramsey Test semantics of conditionals. Like Woodward’s account, our account is guided by causal considerations. Unlike Woodward’s account, it makes no reference to causal graphs and it also covers cases of explanation where interventions are impossible.

This article compares David Lewis’s understanding of counterfactuals with a Platonic theory of counterfactual truthmakers. By pointing to some weaknesses in Lewis’s theory, it will highlight some of the strengths of the Platonic theory. The article will progress in the following way. First, I present David Lewis’s understanding of counterfactuals, and discuss some problems the theory has. Next, I discuss Platonic truthmakers, in general, and then show how this applies to counterfactuals. Finally, I discuss the strengths and weaknesses of the (...) Platonic theory, and how it is superior to Lewis’s theory. (shrink)

This is an essay on the understanding of disposition concepts, which exploits the Ramsey test semantics of conditionals for a refined conditional analysis of dispositions. I will show that this semantics allows for a more accurate account of disposition concepts than the standard semantics of conditionals by David Lewis. This includes dealing with the counterexamples to the conditional analysis, which are known as finks, antidotes, and mimics.

Knowledge closure is, roughly, the following claim: For every agent S and propositions P and Q, if S knows P, knows that P implies Q, and believes Q because it is so implied, then S knows Q. Almost every epistemologist believes that closure is true. Indeed, they often believe that it so obviously true that any theory implying its denial is thereby refuted. Some prominent epistemologists have nevertheless denied it, most famously Fred Dretske and Robert Nozick. There are closure advocates (...) who see other virtues in those accounts, however, and so who introduce revisions of one sort or another in order to preserve closure while maintaining their spirit. One popular approach is to replace the “sensitivity” constraint at the heart of both of those accounts with a “safety” constraint, as advocated by Timothy Williamson, Duncan Pritchard, Ernest Sosa, Stephen Luper, and others. The purpose of this essay is to show that this approach does not succeed: safety does not save closure. And neither does a popular variation on the safety theme, the safe-basis or safe-indicator account. (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 main aim in the forthcoming discussion is to contrast theistic modal realism and theistic actualist realism. Actualist realism is the dominant view among theists and presents the most serious challenge to theistic modal realism. I discuss various prominent forms of theistic actualist realism. I offer reasons for rejecting the view of metaphysical reality that actualist realism affords. I discuss theistic modal realism and show that the traditional conception of God is perfectly consistent with the metaphysics of genuine modal realism. (...) Indeed theistic modal realism is more suited to traditional theism than is any version of actualist realism. (shrink)