This paper extends Kripke’s theory of truth to a language with a variably strict conditional operator, of the kind that Stalnaker and others have used to represent ordinary indicative conditionals of English. It then shows how to combine this with a different and independently motivated conditional operator, to get a substantial logic of restricted quantification within naive truth theory.

The Razor says: do not multiply entities without necessity! The Laser says: do not multiply fundamental entities without necessity! Behind the Laser lies a deep insight. This is a distinction between the costs and the commitments of a theory. According to the Razor, every commitment is a cost. Not so according to the Laser. According to the Laser, derivative entities are an ontological free lunch: that is, they are a commitment without a cost. Jonathan Schaffer (2015) has argued that the (...) Laser should replace the Razor. In Sections 2-4 we shall discuss and argue against Schaffer’s arguments for replacing the Razor with the Laser. Schaffer considers several objections to his views, and in Sections 5-7 we shall argue that Schaffer does not deal successfully with two of them. In Section 8 we shall present a probabilistic argument for the Laser. However, the argument has a limitation and does not support the replacement of the Razor with the Laser. Indeed, it supports only the claim that, given certain assumptions, the multiplication of explanatorily relevant derivative entities does not matter; but, as we argue in the same section, there is an argument that multiplying explanatorily superfluous derivative entities does makes a theory less rationally acceptable. Our conclusion is that the Laser cannot replace the Razor and that derivative entities are not an ontological free lunch. (shrink)

The safety condition on knowledge, in the spirit of anti-luck epistemology, has become one of the most popular approaches to the Gettier problem. In the first part of this essay, I intend to show one of the reasons the anti-luck epistemologist presents for thinking that the safety theory, and not the sensitivity theory, offers the proper anti-luck condition on knowledge. In the second part of this essay, I intend to show that the anti-luck epistemologist does not succeed, because the safety (...) theory fails to capture a necessary requirement for the possession of knowledge. I will attack safety on two fronts. First, I will raise doubts about whether there is any principled safety condition capable of handling a kind of case, involving inductive knowledge, that it was designed to handle. Second, I will consider two cases in which the safety condition is not met but the protagonist seems to have knowledge nonetheless, and I will vindicate my intuitions for thinking that those are in fact cases of knowledge by contrasting them with traditional, well-known Gettier cases. I want to conclude, finally, that safety failures do not necessarily prevent one from acquiring knowledge. (shrink)

We examine the relationship between the logics of nonsense of Bochvar and Halldén and the containment logics in the neighborhood of William Parry’s A I. We detail two strategies for manufacturing containment logics from nonsense logics—taking either connexive and paraconsistent fragments of such systems—and show how systems determined by these techniques have appeared as Frederick Johnson’s R C and Carlos Oller’s A L. In particular, we prove that Johnson’s system is precisely the intersection of Bochvar’s B 3 and Graham Priest’s (...) non-symmetrized connexive logic and that Oller’s system lies just beneath the intersection of B 3 and Priest’s paraconsistent L P. We conclude by examining Oller’s system in more depth, giving it a characterization in terms of L P and showing that it plays the same role to Harry Deutsch’s paraconsistent containment logic S that Aleksandr Zinov'ev’s S 1 plays with respect to A I. (shrink)

Sometimes, one can imagine, in virtue of having some experience, that one is someone else having some property. This is puzzling if imagination is a guide to possibility, since it seems impossible for one to be someone else. In this paper, I offer a way of dissolving the puzzle. When one claims that, by having some experience, one imagines that one is someone else having some property, what one imagines, I suggest, is that if the other person had the property (...) in question, then having it would be, for them, like having the relevant experience is for one. I discuss two alternative views about the content of these episodes of imagination, and argue that both of them are too weak and too strong. The proposed view avoids the two difficulties while preserving some intuitions about the phenomenology and the epistemology of imagination which are captured by the alternative views. (shrink)

In their article 'Causes and Explanations: A Structural-Model Approach. Part I: Causes', Joseph Halpern and Judea Pearl draw upon structural equation models to develop an attractive analysis of 'actual cause'. Their analysis is designed for the case of deterministic causation. I show that their account can be naturally extended to provide an elegant treatment of probabilistic causation.

Philosophical Issues, Volume 30, Issue 1, Page 86-101, October 2020.

Este trabajo discute el problema de que la inmensa mayoría de los adjetivos deverbales dan lugar a lecturas no episódicas, lo cual se traduce en desafíos para su análisis, toda vez que no tenemos una definición sólida de las propiedades positivas de los adjetivos. Se propone que en un sistema con dominios ontológicos donde el nivel verbal define esencias eventivas sin anclaje a mundos o tiempos el problema se resuelve de forma directa sin necesidad de proponer nudos explícitamente adjetivales. Las (...) ventajas de este sistema se ilustran con la clase de adjetivos relacionales deverbales. (shrink)

In the hopes of finding supporting evidence for various accounts of actual causation, many philosophers have recently turned to psychological findings about the influence of norms on counterfactual cognition. Surprisingly little philosophical attention has been paid, however, to the question of why considerations of normality should be relevant to counterfactual cognition to begin with. In this paper, I follow two aims. First, against the methodology of two prominent psychological accounts, I argue for a functional approach to understanding the selectivity of (...) counterfactual cognition. Second, I take some steps towards a systematic analysis by providing a qualitative, decision‐theoretic account of one important function of counterfactual thinking, namely, inferring, in the face of undesirable outcomes, corrective policies that prevent the occurrence of similar outcomes in future circumstances. I make a case for employing this analysis by (a) showing its value for assessing the rationality of imagination‐driven counterfactual generation, (b) highlighting its use for making sense of practices in history and policy analysis where counterfactual selection plays a central role, and (c) demonstrating its diagnostic value for identifying areas where counterfactual generation may lead us into epistemic and ethical troubles. (shrink)

‘Ifs’ come washed or unwashed. The washed ifs are embedded in precise theories: the constantly strict implication of deductive inference, the variably strict implication of ‘nearness’ conditionals, and statements of conditional probability. By a nearness conditional I mean the common part of Stalnaker's and D. Lewis's theory of counterfactual conditionals, which depends on a notion that possible worlds are more or less near to each other, as a measure of their over-all similarity to each other.

Does y obtain under the counterfactual supposition that x? The answer to this question is famously thought to depend on whether y obtains in the most similar world in which x obtains. What this notion of ‘similarity’ consists in is controversial, but in recent years, graphical causal models have proved incredibly useful in getting a handle on considerations of similarity between worlds. One limitation of the resulting conception of similarity is that it says nothing about what would obtain were the (...) causal structure to be different from what it actually is, or from what we believe it to be. In this paper, we explore the possibility of using graphical causal models to resolve counterfactual queries about causal structure by introducing a notion of similarity between causal graphs. Since there are multiple principled senses in which a graph G* can be more similar to a graph G than a graph G**, we introduce multiple similarity metrics, as well as multiple ways to prioritize the various metrics when settling counterfactual queries about causal structure. (shrink)

We examine two competing effects of beliefs on conditional inferences. The suppression effect occurs for conditionals, for example, “if she watered the plants they bloomed,” when beliefs about additional background conditions, for example, “if the sun shone they bloomed” decrease the frequency of inferences such as modus tollens (from “the plants did not bloom” to “therefore she did not water them”). In contrast, the counterfactual elevation effect occurs for counterfactual conditionals, for example, “if she had watered the plants they would (...) have bloomed,” when beliefs about the known or presupposed facts, “she did not water the plants and they did not bloom” increase the frequency of inferences such as modus tollens. We report six experiments that show that beliefs about additional conditions take precedence over beliefs about presupposed facts for counterfactuals. The modus tollens inference is suppressed for counterfactuals that contain additional conditions (Experiments 1a and 1b). The denial of the antecedent inference (from “she did not water the plants” to “therefore they did not bloom”) is suppressed for counterfactuals that contain alternatives (Experiments 2a and 2b). We report a new “switched‐suppression” effect for conditionals with negated components, for example, “if she had not watered the plants they would not have bloomed”: modus tollens is suppressed by alternatives and denial of the antecedent by additional conditions, rather than vice versa (Experiments 3a and 3b). We discuss the implications of the results for alternative theories of conditional reasoning. (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)

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)

In the paper "On the role of the research agenda in epistemic change", Olsson and Westlund have suggested that the notion of epistemic state employed in the standard framework of belief revision (Alchourrón et al. 1985; Gärdenfors 1988) should be extended to include a representation of the agent's research agenda (Olsson and Westlund 2006). The resulting framework will here be referred to as interrogative belief revision. In this paper, I attempt to deal with the problem of how research agendas should (...) change in contraction, a problem largely left open by Olsson and Westlund. Two desiderata of an appropriate solution are suggested: one is a principle of continuity, stating that changes in the research agenda should somehow reflect that certain long term research interests are kept fixed. The other desideratum, which is based on part of Olsson and Westlund's motivation for adding research agendas to the epistemic states, is that we should be able to account for how contraction may serve to open up new, fruitful hypotheses for investigation. In order to achieve these desiderata, I base my solution on a revised version of Olsson and Westlund's notion of epistemic state. (shrink)

According to Hintikka and Sandu, metaphorical meaning is word-based and can be analyzed in the framework of possible world semantics (PWS) by means of nonstandard meaning lines drawn via similarity considerations. It is shown how PWS offers an analytical tool which enables Hintikka and Sandu's theory to resist classical objections against the comparison view and theories involving considerations to alternative scenarios. It is further argued that Hintikka and Sandu's theory is superior to Davidson's "non-meaning" theory of metaphor and the speech-act (...) approaches of Searle and Grice. Finally, it is shown how Hintikka and Sandu's view is deficient in not being able to account for the type of metaphoricity exposed by cognitive semantics, but how principles could be incorporated in order to take this into account. (shrink)

Recent years have seen growing interest in modifying interventionist accounts of causal explanation in order to characterise noncausal explanation. However, one surprising element of such accounts is that they have typically jettisoned the core feature of interventionism: interventions. Indeed, the prevailing opinion within the philosophy of science literature suggests that interventions exclusively demarcate causal relationships. This position is so prevalent that, until now, no one has even thought to name it. We call it “intervention puritanism” (I-puritanism, for short). In this (...) paper, we mount the first sustained defence of the idea that there are distinctively noncausal explanations which can be characterized in terms of possible interventions; a position we call “intervention liberalism” (I-liberalism, for short). While many have followed James Woodward (2003) in committing to I-puritanism, we trace support for I-liberalism back to the work of Jaegwon Kim (1974). Furthermore, we analyse two recent sources of scepticism regarding I-liberalism: debate surrounding mechanistic constitution; and attempts to provide a monistic account of explanation. We show that neither literature provides compelling reasons for adopting I-puritanism. Finally, we present a novel taxonomy of available positions upon the role of possible interventions in explanation: weak causal imperialism; strong causal imperialism; monist intervention puritanism; pluralist intervention puritanism; monist intervention liberalism; and finally, the specific position defended in this paper, pluralist intervention liberalism. (shrink)

A series of recent arguments purport to show that most counterfactuals of the form if A had happened then C would have happened are not true. These arguments pose a challenge to those of us who think that counterfactual discourse is a useful part of ordinary conversation, of philosophical reasoning, and of scientific inquiry. Either we find a way to revise the semantics for counterfactuals in order to avoid these arguments, or we find a way to ensure that the relevant (...) counterfactuals, while not true, are still assertible. I argue that regardless of which of these two strategies we choose, the natural ways of implementing these strategies all share a surprising consequence: they commit us to a particular metaphysical view about chance. (shrink)

This paper is concerned with counterfactual logic and its implications for the modal status of mathematical claims. It is most directly a response to an ambitious program by Yli-Vakkuri and Hawthorne, who seek to establish that mathematics is committed to its own necessity. I demonstrate that their assumptions collapse the counterfactual conditional into the material conditional. This collapse entails the success of counterfactual strengthening, which is controversial within counterfactual logic, and which has counterexamples within pure and applied mathematics. I close (...) by discussing the dispensability of counterfactual conditionals within the language of mathematics. (shrink)

A compelling requirement on normative theories is that they should be satisfiable, that is, in every possible choice situation with a finite number of alternatives, there should be at least one performable act such that, if one were to perform that act, one would comply with the theory. In this paper, I argue that, given some standard assumptions about free will and counterfactuals, Objective Act Consequentialism violates this requirement.

There is a strong pull to the idea that there is some metaphysically interesting distinction between the fully real, objective, observer‐independent qualities of things as they are in themselves, and the less‐than‐fully‐real, subjective, observer‐dependent qualities of things as they are for us. Call this (putative) distinction the primary/secondary quality distinction. The distinction between primary and secondary qualities is philosophically interesting because it is (a) often quite attractive to draw such a distinction, and (b) incredibly hard to spell it out in (...) any kind of satisfying and sensible way. I attempt such a spelling‐out after first trying to pin down in more detail what we want from the primary/secondary quality distinction, and saying a bit about why that is such a hard thing to get. (shrink)

The notion of risk plays a central role in economics, finance, health, psychology, law and elsewhere, and is prevalent in managing challenges and resources in day-to-day life. In recent work, Duncan Pritchard (2015, 2016) has argued against the orthodox probabilistic conception of risk on which the risk of a hypothetical scenario is determined by how probable it is, and in favour of a modal conception on which the risk of a hypothetical scenario is determined by how modally close it is. (...) In this article, we use Pritchard’s discussion as a springboard for a more wide-ranging discussion of the notion of risk. We introduce three different conceptions of risk: the standard probabilistic conception, Pritchard’s modal conception, and a normalcy conception that is new (though it has some precursors in the psychological literature on risk perception). Ultimately, we argue that the modal conception is ill-suited to the roles that a notion of risk is required to play and explore the prospects for a form of pluralism about risk, embracing both the probabilistic and the normalcy conceptions. (shrink)

Given its importance in modern physics, philosophers of science have paid surprisingly little attention to the subject of symmetries and invariances, and they have largely neglected the subtopic of symmetry breaking. I illustrate how the topic of laws and symmetries brings into fruitful interaction technical issues in physics and mathematics with both methodological issues in philosophy of science, such as the status of laws of physics, and metaphysical issues, such as the nature of objectivity.

Many have claimed that ceteris paribus (CP) laws are a quite legitimate feature of scientific theories, some even going so far as to claim that laws of all scientific theories currently on offer are merely CP. We argue here that one of the common props of such a thesis, that there are numerous examples of CP laws in physics, is false. Moreover, besides the absence of genuine examples from physics, we suggest that otherwise unproblematic claims are rendered untestable by the (...) mere addition of the CP operator. Thus, “CP all Fs are Gs” when read as a straightforward statement of fact, cannot be the stuff of scientific theory. Rather, we suggest that when ``ceteris paribus'' appears in scientific works it plays a pragmatic role of pointing to more respectable claims. (shrink)

Much of the literature on "ceteris paribus" laws is based on a misguided egalitarianism about the sciences. For example, it is commonly held that the special sciences are riddled with ceteris paribus laws; from this many commentators conclude that if the special sciences are not to be accorded a second class status, it must be ceteris paribus all the way down to fundamental physics. We argue that the (purported) laws of fundamental physics are not hedged by ceteris paribus clauses and (...) provisos. Furthermore, we show that not only is there no persuasive analysis of the truth conditions for ceteris paribus laws, there is not even an acceptable account of how they are to be saved from triviality or how they are to be melded with standard scientific methodology. Our way out of this unsatisfactory situation to reject the widespread notion that the achievements and the scientific status of the special sciences must be understood in terms of ceteris paribus laws. (shrink)

We address the question of whether it is possible to operate a time machine by manipulating matter and energy so as to manufacture closed timelike curves. This question has received a great deal of attention in the physics literature, with attempts to prove no-go theorems based on classical general relativity and various hybrid theories serving as steps along the way towards quantum gravity. Despite the effort put into these no-go theorems, there is no widely accepted definition of a time machine. (...) We explain the conundrum that must be faced in providing a satisfactory definition and propose a resolution. Roughly, we require that all extensions of the time machine region contain closed timelike curves; the actions of the time machine operator are then sufficiently “potent” to guarantee that closed timelike curves appear. We then review no-go theorems based on classical general relativity, semi-classical quantum gravity, quantum field theory on curved spacetime, and Euclidean quantum gravity. Our verdict on the question of our title is that no result of sufficient generality to underwrite a confident “yes” has been proven. Our review of the no-go results does, however, highlight several foundational problems at the intersection of general relativity and quantum physics that lend substance to the search for an answer. (shrink)

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

David Lewis ([1986b]) gives an attractive and familiar account of counterfactual dependence in the standard context. This account has recently been subject to a counterexample from Adam Elga ([2000]). In this article, I formulate a Lewisian response to Elga’s counterexample. The strategy is to add an extra criterion to Lewis’s similarity metric, which determines the comparative similarity of worlds. This extra criterion instructs us to take special science laws into consideration as well as fundamental laws. I argue that the Second (...) Law of Thermodynamics should be seen as a special science law, and give a brief account of what Lewisian special science laws should look like. If successful, this proposal blocks Elga’s counterexample. (shrink)

I develop and argue for a kind of externalism about certain kinds of non-doxastic attitudes that I call policy externalism. Policy externalism about a given type of attitude is the view that all the reasonable policies for having attitudes of that type will not involve the agent's beliefs that some relevant conditions obtain. My defense primarily involves attitudes like hatred, regret, and admiration, and has two parts: a direct deductive argument and an indirect linguistic argument, an inference to the best (...) explanation of some strange ways we use certain conditionals. The main thought throughout is that attitudes we reason with, like belief, are very different from attitudes we don't reason with, in a way that constrains the former but not the latter. Finally, I investigate some consequences of policy externalism, including that it secures the possibility of genuine conditional apologies. (shrink)

Abstract In this paper I offer an anti-Humean interpretation of the causal interactions in somatic medicine. I focus on life-threatening pathological states and show how Nancy Cartwright’s capacities can offer a plausible epistemology for medical processes and the singular causal claims advanced in medical diagnoses. I argue that the capacities manifested in the emergence of symptoms and signs could be tracked down if healthy organisms are construed as nomological machines and suggest that the causal reasoning from current medical practice bears (...) a tacit adherence to anti-Humean assumptions. Content Type Journal Article Pages 1-28 DOI 10.1007/s12136-011-0141-1 Authors Stefan Dragulinescu, Drumul Taberei 20, Bucharest, Romania Journal Acta Analytica Online ISSN 1874-6349 Print ISSN 0353-5150. (shrink)

Some of the information we receive comes to us in an explicitly conditional form. It is an open question how to model the accommodation of such information in a Bayesian framework. This paper presents data suggesting that there may be no strictly Bayesian account of updating on conditionals. Specifically, the data seem to indicate that such updating at least sometimes proceeds on the basis of explanatory considerations, which famously have no home in standard Bayesian epistemology. The paper also proposes a (...) still broadly Bayesian model of updating on conditionals that explicitly factors in explanation. The model is shown to have clear empirical content and thus to be open to empirical testing. (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)

Some metaphysicians believe that existence debates are easily resolved by trivial inferences from Moorean premises. This paper considers how the introduction of negative Moorean facts—negative existentials that command Moorean certainty—complicates this picture. In particular, it shows how such facts, when combined with certain plausible metaontological principles, generate a puzzle that commits the proponents of this method to a contradiction.

This paper aims to explain why the laws of nature are held fixed in counterfactual reasoning. I begin by highlighting three salient features of counterfactual reasoning: it is conservative, nomically guided, and it uses hindsight. I then present a rationale for our engagement in counterfactual reasoning that aims to make sense of these features. In particular, I argue that counterfactual reasoning helps us evaluate the evidential relations between unanticipated pieces of evidence and various hypotheses of interest about the history of (...) the actual world. Given this goal, it makes a great deal of sense that counterfactual reasoning would have the aforementioned features. Additionally, it turns out that this account of counterfactual reasoning is nicely congruent with Humean views of laws. Specifically, it can explain, in a Humean-friendly way, both why the laws are counterfactually resilient, and why we may be inclined to have anti-Humean intuitions in the first place, even if some form of Humeanism is correct. (shrink)

The measurement problem concerns an apparent conflict between the two fundamental principles of quantum mechanics, namely the Schrödinger equation and the measurement postulate. These principles describe inconsistent behavior for quantum systems in so-called "measurement contexts." Many theorists have thought that the measurement problem can only be resolved by proposing a mechanistic explanation of (genuine or apparent) wavefunction collapse that avoids explicit reference to "measurement." However, I argue here that the measurement problem dissolves if we accept Humeanism about laws of nature. (...) On a Humean metaphysics, there is no conflict between the two principles, nor is there any inherent problem with the concept of "measurement" figuring into the account of collapse. (shrink)

Most meanings we express belong to large families of variant meanings, among which it would be implausible to suppose that some are much more apt for being expressed than others. This abundance of candidate meanings creates pressure to think that the proposition attributing any particular meaning to an expression is modally plastic: its truth depends very sensitively on the exact microphysical state of the world. However, such plasticity seems to threaten ordinary counterfactuals whose consequents contain speech reports, since it is (...) hard to see how we could reasonably be confident in a counterfactual whose consequent can be true only if a certain very finely tuned microphysical configuration obtains. This essay develops the foregoing puzzle and explores several possible solutions. (shrink)

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

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

Adam Elga has presented an anti-thermodynamic process as a counterexample to Lewis’s default semantics for counterfactuals. The outstanding reaction of Jonathan Schaffer and Boris Kment is revisionary. It sacrifices Lewis’s aim of defining causation in terms of counterfactual dependence. Lewis himself suggested an alternative: «counter-entropic funnybusiness» should make for dissimilarity. But how is this alternative to be spelled out? I discuss a recent proposal: include special science laws, among them the laws of thermodynamics. Although the proposal fails, it serves to (...) uncover the limits of Elga’s example. (shrink)

The following semantics for counterfactuals is fairly standard: for a counterfactual to be true, the closest antecedent worlds have to be consequent worlds. Closeness is measured by overall similarity of worlds to an evaluation world. There is a range of interrelated challenges to this account: counterfactual scepticism, ‘Hegel’-, ‘Sobel’-, and ‘Heim’-sequences. So far there is no unified solution to these challenges. I discuss a solution that preserves the standard semantics by writing the shifty parameter into pragmatics. The solution has been (...) suggested by Križ for Sobel- and Heim-sequences, yet I argue that it can be generalized to counterfactual scepticism. Conditionals are subject to a pattern which is familiar from descriptions. Everyday counterfactuals are semantically homogeneous and pragmatically non-maximal. Homogeneity: a counterfactual is neither true nor false if only some but not all closest antecedent worlds are consequent worlds. Non-maximality: in many contexts, not all but only practically all closest antecedent worlds have to be consequent worlds for the utterance of a counterfactual to say something true if the difference does not matter for the purposes of conversation. (shrink)

ABSTRACTIf-thenism is a strategy of paraphrasing seemingly obvious claims in order to avoid their problematic commitments. The success of this strategy, says Yablo, depends on the possibility of reading everyday language conditionals incrementally. The incremental reading is to exclude that the supposition of the antecedent might interfere with the truth of the consequent, as in the standard or ‘interference’ reading. I argue that Yablo's main arguments for the incremental reading are question-begging.

Since our capacities and methods of cognizing reality merely seem to tell us how things are but only within close limits how they could or must be, our claims to knowledge of mere possibilities and necessities raise the suspicion of exceptionalism: the capacities and methods used in developing these claims seem special compared to those involved in cognizing reality. One may be sceptical especially with regard to them, and there are doubts that they can be naturalistically explained. To avoid exceptionalism, (...) Timothy Williamson has proposed to reduce the epistemology of modality to the epistemology of everyday counterfactuals. There are doubts that the proposal succeeds. One objection is that the counterfactual-based epistemology fails to account for metaphysical necessities like the necessity of origin. For the account to cover such necessities, constitutive facts like the origin of a living being would have to form implicit constraints built into the capacity for everyday counterfactual reasoning. But is counterfactual reasoning indeed so constrained? I answer this question in the affirmative, presenting an epistemology of counterfactuals for modal epistemology to build on. The constraints gradually emerge by a broadly abductive process, starting from within everyday counterfactual reasoning. The process does not presuppose any independent knowledge of the constitutive status of certain facts. (shrink)

Rationalism, my target, says that in order to have perceptual knowledge, such as that your hand is making a fist, you must “antecedently” (or “independently”) know that skeptical scenarios don’t obtain, such as the skeptical scenario that you are in the Matrix. I motivate the specific form of Rationalism shared by, among others, White (Philos Stud 131:525–557, 2006) and Wright (Proc Aristot Soc Suppl Vol 78:167–212, 2004), which credits us with warrant to believe (or “accept”, in Wright’s terms) that our (...) senses are reliably veridical, where that warrant is one we enjoy by default, that is, without relying on any evidence or engaging in any positive argument. The problem with this form of Rationalism is that, even if you have default knowledge that your senses are reliable, this is not adequate to rule out every kind of skeptical scenario. The problem is created by one-off skeptical scenarios, scenarios that involve a highly reliable perceiver who, by a pure fluke, has a one-off, non-veridical experience. I claim you cannot infer that your present perceptual experience is veridical just on the basis of knowledge of your general reliability. More generally, if you infer that the present F is G, just on the basis of your knowledge that most Fs are Gs, this is what I call statistical inference, and, as I argue, statistical inference by itself does not generate knowledge. I defend this view of statistical inference against objections, including the objection that radical skepticism about our ordinary inductive knowledge will follow unless statistical inference generates knowledge. (shrink)

We’ve all been at parties where there's one cookie left on what was once a plate full of cookies, a cookie no one will eat simply because everyone is following a rule of etiquette, according to which you’re not supposed to eat the last cookie. Or at least we think everyone is following this rule, but maybe not. In this paper I present a new paradox, the Cookie Paradox, which is an argument that seems to prove that in any situation (...) in which everyone is truly following the rule, no one eats any cookies at all, no matter how many there are to be eaten. The ‘Cookie Argument’ resembles the more familiar argument that surprise exams are impossible, but it's not exactly the same. I argue that the biggest difference is that, unlike the surprise exam argument, the Cookie Argument is actually sound! I conclude the paper by explaining how it could be possible for a group of people to engage in behavior (eating cookies) that guarantees that at least one of the members of the group will violate a rule, even when it's common knowledge in the group that everyone is committed to following that very rule. (shrink)

Several philosophers have claimed that S knows p only if S’ s belief is safe, where S's belief is safe iff (roughly) in nearby possible worlds in which S believes p, p is true. One widely held intuition many people have is that one cannot know that one's lottery ticket will lose a fair lottery prior to an announcement of the winner, regardless of how probable it is that it will lose. Duncan Pritchard has claimed that a chief advantage of (...) safety theory is that it can explain the lottery intuition without succumbing to skepticism. I argue that Pritchard is wrong. If a version of safety theory can explain the lottery intuition, it will also lead to skepticism. Content Type Journal Article Category Original Article Pages 1-26 DOI 10.1007/s10670-011-9305-z Authors Dylan Dodd, Department of Philosophy, Northern Institute of Philosophy, University of Aberdeen, Aberdeen, UK Journal Erkenntnis Online ISSN 1572-8420 Print ISSN 0165-0106. (shrink)