We find a simple counterfactual acceptable, it is argued, to the extent that (i) our probability of the consequent under the thought experiment of counterfactually supposing the antecedent is high, (ii) provided the latter is on-topic with respect to the former. Counterfactual supposition is represented by Lewisian imaging. Topicality, by an algebra of subject matters. A topic-sensitive probabilistic logic is then provided, to reason about the acceptability of simple counterfactuals.

This study analyses the predictions of the General Theory of Relativity (GTR) against a slightly modified version of the standard central mass solution (Schwarzschild solution). It is applied to central gravity in the solar system, the Pioneer spacecraft anomalies (which GTR fails to predict correctly), and planetary orbit distances and times, etc (where GTR is thought consistent.) -/- The modified gravity equation was motivated by a theory originally called ‘TFP’ (Time Flow Physics, 2004). This is now replaced by the ‘Geometric (...) Model’, 2014 [20], which retains the same theory of gravity. This analysis is offered partially as supporting detail for the claim in [20] that the theory is realistic in the solar system and explains the Pioneer anomalies. The overall conclusion is that the model can claim to explain the Pioneer anomalies, contingent on the analysis being independently verified and duplicated of course. -/- However the interest lies beyond testing this theory. To start with, it gives us a realistic scale on which gravity might vary from the accepted theory, remain consistent with most solar-scale astronomical observations. It is found here that the modified gravity equation would appear consistent with GTR for most phenomena, but it would retard the Pioneer spacecraft by about the observed amount (15 seconds or so at time). Hence it is a possible explanation of this anomaly, which as far as I know remains unexplained now for 20 years. -/- It also shows what many philosophers of science have emphasized: the pivotal role of counterfactual reasoning. By putting forward an exact alternative solution, and working through the full explanation, we discover a surprising ‘counterfactual paradox’: the modified theory slightly weakens GTR gravity – and yet the effect is to slow down the Pioneer trajectory, making it appear as if gravity is stronger than GTR. The inference that “there must be some tiny extra force…” (Musser, 1998 [1]) is wrong: there is a second option: “…or there may be a slightly weaker form of gravity than GTR.” . (shrink)

Aristotle is essentially human; that is, for all possible worlds metaphysically consistent with our own, if Aristotle exists, then he is human. This is a claim about the essential property of an object. The claim that objects have essential properties has been hotly disputed, but for present purposes, we can bracket that issue. In this essay, we are interested, rather, in the question of whether properties themselves have essential properties (or features) for their existence. We call those who suppose they (...) do “property essentialists”; those who do not, “property anti-essentialists,” or “quidditists.” We offer two complementary arguments. Our total argument is under-girded by two assumptions: transworld identity theory and “received view” counterfactual semantics, a la David Lewis. We then argue that, if one presumes that these are true, then one risks running headlong into paradox if one also accepts property anti-essentialism. That's the first argument. By contrast, if one accepts these same assumptions in conjunction with property essentialism, then the paradox is avoided. This is the second argument. We take it that our arguments work to show that, between property essentialism and quidditism, the property essentialist is on better footing. Plausibly, properties themselves do have essential properties for their existence. (shrink)

If the laws are deterministic, then standard theories of counterfactuals are forced to reject at least one of the following conditionals: 1) had you chosen differently, there would not have been a violation of the laws of nature; and 2) had you chosen differently, the initial conditions of the universe would not have been different. On the relevant readings—where we hold fixed factors causally independent of your choice—both of these conditionals appear true. And rejecting either one leads to trouble (...) for philosophical theories which rely upon counterfactual conditionals—like, for instance, causal decision theory. Here, I outline a semantics for counterfactual conditionals which allows us to accept both (1) and (2). And I discuss how this semantics deals with objections to causal decision theory from Arif Ahmed. (shrink)

ABSTRACT The apparent consistency of Sobel sequences famously motivated David Lewis to defend a variably strict conditional semantics for counterfactuals. If Sophie had gone to the parade, she would have seen Pedro. If Sophie had gone to the parade and had been stuck behind someone tall, she would not have seen Pedro. But if the order of the counterfactuals in a Sobel sequence is reversed—in the example, if is asserted prior to —the second counterfactual asserted no longer rings (...) true. This is the Heim sequence problem. That the order of assertion makes this difference is surprising on the variably strict account. Some argue that this is reason to reject the Lewis-Stalnaker semantics outright. Others argue that the problem motivates a contextualist rendering of counterfactuals. Still others maintain that the explanation for the phenomenon is merely pragmatic. I argue that none of these is right, and I defend a novel way to understand the phenomenon. My proposal avoids the problems faced by the alternative analyses and enjoys independent support. There is, however, a difficulty for my view: it entails that many ordinarily accepted counterfactuals are not true. I argue that this cost is acceptable. (shrink)

Anti-realism is plagued by Fitch’s paradox: the remarkable result that if one accepts that all truths are knowable, minimal assumptions about the nature of knowledge entail that every truth is known. Dorothy Edgington suggests to address this problem by understanding p is knowable to be a counterfactual claim, but her proposal must contend with a forceful objection by Timothy Williamson. I revisit Edgington’s basic idea and find that Williamson’s objection is obviated by a refined understanding of counterfactual knowability that is (...) grounded in possible courses of inquiry. I arrive at a precise definition of knowability that is not just a technical avoidance of paradox, but is metaphysically sound and does justice to the anti-realist idea. (shrink)

Is A & C sufficient for the truth of ‘if A were the case, C would be the case’? Jonathan Bennett thinks not, although the counterexample he gives is inconsistent with his own account of counterfactuals. In any case, I argue that anyone who accepts the case of Morgenbesser's coin, as Bennett does, should reject Bennett’s counterexample. Moreover, I show that the principle underlying his counterexample is unmotivated and indeed false. More generally, I argue that Morgenbesser’s coin commits us (...) to the sufficiency of A & C for the truth of the corresponding counterfactual. (shrink)

Counterfactual skepticism says that most ordinary counterfactuals are false. While few endorse counterfactual skepticism, the precise costs of the view are disputed and not generally well-understood. I have two aims in this paper. My first and primary aim is to establish, on grounds acceptable to all parties, that counterfactual skepticism is not benign. I argue it leads to significant skepticism about the future: if counterfactual skepticism is true, then we can have only very limited knowledge about the future. I (...) give three arguments to this conclusion, taking as premises principles connecting knowledge of indicative conditionals to knowledge of disjunctions; and principles linking knowledge of indicative conditionals to knowledge of counterfactual conditionals.My second aim is to examine the consequences for non-skeptical theories. My arguments indicate that not only are many ordinary counterfactuals true, but that we also know them. How can this be reconciled with the very real tension between counterfactuals and chance? I consider two solutions, one purely epistemic and one contextualist. Together they suggest something like contextualism about knowledge is required to fully resolve the skeptical threat. (shrink)

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

Counterfactual reasoning has always played a role in human life. We ask questions like, “Could it have been different?”, “Under which conditions might/would it have been different?”, “What would have happened if…?” If we don’t find an answer, i.e. what we accept as an answer, we may start reasoning. Reasoning means introducing still new information/assumptions, new questions, new answers to new questions etc. From a formal point of view, it may be compared with stepwise moving towards a destination in a (...) path-system, in which you never fully have an overview. In this way, reasoning is an activity, with its own rationale, which will be studied from the agent’s own perspective. Questions include: What are the conditions where asking that specific question, or introducing this information/assumption, etc. will count as a reasonable step or progress towards the answer of the initial question? What makes this step more reasonable than another? (shrink)

A widely accepted claim about counterfactuals is that they differ from strict conditionals, that is, there is no adequate representation of them as sentences of the form   . To justify this claim, Stalnaker and Lewis have argued that some fallacious inferences would turn out valid if counterfactuals were so represented. However, their argument has a flaw, as it rests on a questionable assumption about the relation between surface grammar and logical form. Without that assumption, no consequence (...) of the alleged kind is obtained, hence the claim may be rejected. (shrink)

When we evaluate artworks, we often point to what an artist could have done or what a work could have been in order to say something about the work as it actually is. Call this counterfactual reasoning in art criticism. On my account, counterfactual claims about artworks involve comparative aesthetic judgments between actual artworks and hypothetical variations of those works. The practice of imagining what an artwork could have been is critically useful because it can help us understand how artworks (...) achieve specific aesthetic effects. I conclude by responding to an objection to my account on the basis that it violates the widely accepted acquaintance principle in aesthetics, on which aesthetic judgments must be based on firsthand perceptual encounters with their objects. (shrink)

Conditional excluded middle (CEM) is the following principe of counterfactual logic: either, if it were the case that φ, it would be the case that ψ, or, if it were the case that φ, it would be the case that not-ψ. I will first show that CEM entails the identity of indiscernibles, the falsity of physicalism, and the failure of the modal to supervene on the categorical and of the vague to supervene on the precise. I will then argue that (...) we should accept these startling conclusions, since CEM is valid. (shrink)

Recent studies indicate that indicative conditionals like "If people wear masks, the spread of Covid-19 will be diminished" require a probabilistic dependency between their antecedents and consequents to be acceptable (Skovgaard-Olsen et al., 2016). But it is easy to make the slip from this claim to the thesis that indicative conditionals are acceptable only if this probabilistic dependency results from a causal relation between antecedent and consequent. According to Pearl (2009), understanding a causal relation involves multiple, hierarchically organized conceptual dimensions: (...) prediction, intervention, and counterfactual dependence. In a series of experiments, we test the hypothesis that these conceptual dimensions are differentially encoded in indicative and counterfactual conditionals. If this hypothesis holds, then there are limits as to how much of a causal relation is captured by indicative conditionals alone. Our results show that the acceptance of indicative and counterfactual conditionals can become dissociated. Furthermore, it is found that the acceptance of both is needed for accepting a causal relation between two co-occurring events. The implications that these findings have for the hypothesis above, and for recent debates at the intersection of the psychology of reasoning and causal judgment, are critically discussed. Our findings are consistent with viewing indicative conditionals as answering predictive queries requiring evidential relevance (even in the absence of direct causal relations). Counterfactual conditionals in contrast target causal relevance, specifically. Finally, we discuss the implications our results have for the yet unsolved question of how reasoners succeed in constructing causal models from verbal descriptions. (shrink)

Just as knowledge contextualism offers a way out of knowledge skepticism in the face of powerful skeptical arguments, counterfactual contextualism purports to answer the many compelling arguments for the skeptical thesis that most ordinary counterfactuals of the form ‘if A had happened, C would have happened’, are false. In this article I review a few of the arguments for counterfactual skepticism, before surveying the various types of contextualist responses. I then discuss some of the recent objections to counterfactual contextualism, (...) with an eye toward weighing contextualism's costs with the costs of accepting skepticism. I conclude by remarking on some of the implications that skepticism and contextualism each has for many disputes in metaphysics. (shrink)

Aaccording to D. K. lewis (1973), would-couterfactuals and might-counterfactuals are duals. from this, it follows that the negation of a would-counterfactual is equiv- alent to the corresponding “might-not”-counterfactual and that the negation of a might-counterfactual is equivalent to the corresponding “would-not”- counterfactual. there are cases, however, where we seem to be entitled to accept the would- counterfactual and we are also equally entitled to accept the corresponding might-not-counterfactual and cases where we seem to be entitled to accept the might-counterfactual (...) without being equally entitled to reject the corresponding would-not-counterfactual. In this paper, I will show that a distinction between two types of rejections for counterfactuals (p-rejection and s-rejection) and the recognition that might-not-counterfactuals may play the role of p-rejections (by an application to counterfactuals of the lewisian approach to conversational scores) could explain why the problematic cases should not be seen as cases where the duality of would- and might-counterfactuals fails. (shrink)

The counterfactual account of physical computation is simple and, for the most part, very attractive. However, it is usually thought to trivialize the notion of physical computation insofar as it implies ‘limited pancomputationalism’, this being the doctrine that every deterministic physical system computes some function. Should we bite the bullet and accept limited pancomputationalism, or reject the counterfactual account as untenable? Jack Copeland would have us do neither of the above. He attempts to thread a path between the two horns (...) of the dilemma by buttressing the counterfactual account with extra conditions intended to block certain classes of deterministic physical systems from qualifying as physical computers. His theory is called the ‘algorithm execution account’. Here we show that the algorithm execution account entails limited pancomputationalism, despite Copeland’s argument to the contrary. We suggest, partly on this basis, that the counterfactual account should be accepted as it stands, pancomputationalist warts and all. (shrink)

An examination of conditionals in di¤erent languages leads to a distinction of three types of conditionals instead of the usual two (indicative and subjunctive). The three types can be explained by the degree of acceptance or as-if acceptance of the truth of the antecedent. The labels subjunctive and indicative are shown to be inadequate. So-called indicative conditionals comprise two classes, the very frequent uncertain-fact conditionals and the quite rare accepted-fact conditionals. Uncertain-fact conditionals may have a time shift in contemporary English (...) and the future subjunctive in Portuguese (though not all of them do). Moreover, paraphrases of if with in case or supposing are usually possible with approximately the same meaning. Accepted-fact conditionals never have these features. (shrink)

Modal knowledge accounts that are based on standards possible-worlds semantics face well-known problems when it comes to knowledge of necessities. Beliefs in necessities are trivially sensitive and safe and, therefore, trivially constitute knowledge according to these accounts. In this paper, I will first argue that existing solutions to this necessity problem, which accept standard possible-worlds semantics, are unsatisfactory. In order to solve the necessity problem, I will utilize an unorthodox account of counterfactuals, as proposed by Nolan, on which we (...) also consider impossible worlds. Nolan’s account for counterpossibles delivers the intuitively correct result for sensitivity i.e. S’s belief is sensitive in intuitive cases of knowledge of necessities and insensitive in intuitive cases of knowledge failure. However, we acquire the same plausible result for safety only if we reject his strangeness of impossibility condition and accept the modal closeness of impossible worlds. In this case, the necessity problem can be analogously solved for sensitivity and safety. For some, such non-moderate accounts might come at too high a cost. In this respect, sensitivity is better off than safety when it comes to knowing necessities. (shrink)

Brian Cutter objected to the consequence argument due to its dependence on the principle that miracle workers are metaphysically impossible. A miracle worker is someone who has the ability to act in a way such that the laws of nature would be violated. While there is something to the thought that agents like us do not have this ability, Cutter claims that there is no compelling reason to regard miracle workers as metaphysically impossible. However, the paper contends that miracle workers (...) are indeed impossible according to well-known theories concerning the laws of nature. This result highlights the reliance of the consequence argument on a plausible premise, which is widely accepted by proponents of non-Humean views of laws. The paper also provides a way to explain away the intuition that miracle workers are possible, but this has the upshot that a recent, two-dimensional formulation of the consequence argument is unsound. (shrink)

The goal of this thesis to defend the philosophical view of the new ante rem substantivism against its supposed alternatives. To achieve such goal, we will present four views about the nature of laws, two kinds of realism and two kinds of anti-realism, and evaluate them critically. The disadvantages from those theories are going to be presented for us to show that they are insufficient to provide a metaphysics that is able to explain the world's counterfactuality, universality, and regularity, and (...) that just one form of realism, the new ante rem substantivism, can. This goal is important because the concept of laws of nature is widely used in many areas of science and philosophy, and because according to the view we accept, the laws may fulfill some theoretical roles, and not others. We intent to show that the new ante rem substantivism's laws are able to fulfill the roles that scientists would hope the natural laws to fulfill. (shrink)

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

If the laws of nature are metaphysically necessary, then it appears that miracles are metaphysically impossible. Yet Locke accepts both Essentialism, which takes the laws to be metaphysically necessary, and the possibility of miracles. I argue that the apparent conflict here can be resolved if the laws are by themselves insufficient for guaranteeing the outcome of a particular event. This suggests that, on Locke’s view, the laws of nature entail how an object would behave absent divine intervention. While other views (...) of laws also make miracles counterfactually dependent on God’s will, I show how this view is consistent with the Essentialist commitment to the view that the laws are metaphysically necessary. Further, I argue Locke’s view is a relatively attractive version of Essentialism, in part, because it allows for the possibility of miracles. (shrink)

Stalnaker argued that conditional excluded middle should be included in the principles that govern counterfactuals on the basis that intuitions support that principle. This is because there are pairs of competing counterfactuals that appear to be equally acceptable. In doing so, he was forced to introduced semantic vagueness into his system of counterfactuals. In this paper it is argued that there is a simpler and purely epistemic explanation of these cases that avoids the need for introducing semantic (...) vagueness into the semantics for counterfactuals. (shrink)

The causal impacts of genes and environment on any one biological trait are inextricably entangled, and consequently it is widely accepted that it makes no sense in singleton cases to privilege either factor for particular credit. On the other hand, at a population level it may well be the case that one of the factors is responsible for more variation than the other. Standard methodological practice in biology uses the statistical technique of analysis of variance to measure this latter kind (...) of causal efficacy. In this paper, I argue that: 1) analysis of variance is in fact badly suited to this role; and. (shrink)

Following Nancy Cartwright and others, I suggest that most (if not all) theories incorporate, or depend on, one or more idealizing assumptions. I then argue that such theories ought to be regimented as counterfactuals, the antecedents of which are simplifying assumptions. If this account of the logic form of theories is granted, then a serious problem arises for Bayesians concerning the prior probabilities of theories that have counterfactual form. If no such probabilities can be assigned, the the posterior probabilities (...) will be undefined, as the latter are defined in terms of the former. I argue here that the most plausible attempts to address the problem of probabilities of conditionals fail to help Bayesians, and, hence, that Bayesians are faced with a new problem. In so far as these proposed solutions fail, I argue that Bayesians must give up Bayesianism or accept the counterintuitive view that no theories that incorporate any idealizations have ever really been confirmed to any extent whatsoever. Moreover, as it appears that the latter horn of this dilemma is highly implausible, we are left with the conclusion that Bayesianism should be rejected, at least as it stands. (shrink)

If the Past Hypothesis underlies the arrows of time, what is the status of the Past Hypothesis? In this paper, I examine the role of the Past Hypothesis in the Boltzmannian account and defend the view that the Past Hypothesis is a candidate fundamental law of nature. Such a view is known to be compatible with Humeanism about laws, but as I argue it is also supported by a minimal non-Humean "governing'' view. Some worries arise from the non-dynamical and time-dependent (...) character of the Past Hypothesis as a boundary condition, the intrinsic vagueness in its specification, and the nature of the initial probability distribution. I show that these worries do not have much force, and in any case they become less relevant in a new quantum framework for analyzing time's arrows---the Wentaculus. Hence, the view that the Past Hypothesis is a candidate fundamental law should be more widely accepted than it is now. (shrink)

The concept of causation plays a central role in many philosophical theories, and yet no account of causation has gained widespread acceptance among those who have investigated its foundations. Theories based on laws, counterfactuals, physical processes, and probabilistic dependence and independence relations (the list is by no means exhaustive) have all received detailed treatment in recent years—and, while no account has been entirely successful, it is generally agreed that the concept has been greatly clarified by the attempts. In this (...) magnificent book, Woodward aims to give a unified account of causation and causal explanation in terms of the notion of a manipulation (or intervention, terms which can be read interchangeably). Not only does he produce in my view the most illuminating and comprehensive account of causation on offer, his theory also opens a great many avenues for future work in the area, and has ramifications for many other areas of philosophy. Making Things Happen ought to be of interest not only to philosophers of causation and philosophers of science, but to any philosopher whose concerns involve assumptions about the nature of causation, laws, or explanation. (shrink)

The expression conditional fallacy identifies a family of arguments deemed to entail odd and false consequences for notions defined in terms of counterfactuals. The antirealist notion of truth is typically defined in terms of what a rational enquirer or a community of rational enquirers would believe if they were suitably informed. This notion is deemed to entail, via the conditional fallacy, odd and false propositions, for example that there necessarily exists a rational enquirer. If these consequences do indeed follow (...) from the antirealist notion of truth, alethic antirealism should probably be rejected. In this paper we analyse the conditional fallacy from a semantic (i.e. model-theoretic) point of view. This allows us to identify with precision the philosophical commitments that ground the validity of this type of argument. We show that the conditional fallacy arguments against alethic antirealism are valid only if controversial metaphysical assumptions are accepted. We suggest that the antirealist is not committed to the conditional fallacy because she is not committed to some of these assumptions. (shrink)

Those who are – in the tradition of Meinong – willing to accept the claim that there are objects that do not exist usually argue that the ontological commitment to nonexistent objects allows to resolve a variety of problems of reference and intentionality, such as: the problem of singular negative existential statements, the problem of discourse on past and future objects, the problem of discourse on fictitious objects, the problem of counterfactual existentials, the problem of allegedly necessary truths on nonexistent (...) objects (e. g., "The round square is round".) It seems that the ontological commitment to nonexistent objects enables us to explain both the obvious truth of many predicative sentences whose subject terms do not denote anything existent and the possibility of intentional acts whose objects do not exist. The aim of this paper is to show that the commitment to nonexistents does not resolve any of these problems. Furthermore, some alternative solutions are delineated. (shrink)

This paper develops an account of the meaning of `ought', and the distinction between weak necessity modals (`ought', `should') and strong necessity modals (`must', `have to'). I argue that there is nothing specially ``strong'' about strong necessity modals per se: uses of `Must p' predicate the (deontic/epistemic/etc.) necessity of the prejacent p of the actual world (evaluation world). The apparent ``weakness'' of weak necessity modals derives from their bracketing whether the necessity of the prejacent is verified in the actual world. (...) `Ought p' can be accepted without needing to settle that the relevant considerations (norms, expectations, etc.) that actually apply verify the necessity of p. I call the basic account a modal-past approach to the weak/strong necessity modal distinction (for reasons that become evident). Several ways of implementing the approach in the formal semantics/pragmatics are critically examined. The account systematizes a wide range of linguistic phenomena: it generalizes across flavors of modality; it elucidates a special role that weak necessity modals play in discourse and planning; it captures contrasting logical, expressive, and illocutionary properties of weak and strong necessity modals; and it sheds light on how a notion of `ought' is often expressed in other languages. These phenomena have resisted systematic explanation. In closing I briefly consider how linguistic inquiry into differences among necessity modals may improve theorizing on broader philosophical issues. (shrink)

The conditional interpretation of general categorical statements like ‘All men are animals’ as universally quantified material conditionals ‘For all x, if x is F, then x is G’ suggests that the logical structure of law statements is conditional rather than categorical. Disregarding the problem that the universally quantified material conditional is trivially true whenever there are no xs that are F, there are some reasons to be sceptical of Frege’s equivalence between categorical and conditional expressions. -/- Now many philosophers will (...) claim that the material conditional interpretation of laws statements, dispositions ascriptions, or any causal claim is generally accepted as wrong and outdated. Still, there seem to be some basic logical assumptions that are shared by most of the participants in the debate on causal matters which at least stems from the traditional truth functional interpretation of conditionals. This is indicated by the vocabulary in the philosophical debate on causation, where one often speaks of ‘counterfactuals’, ‘possible worlds’ and ‘necessity’ without being explicit on whether or to what extent one accepts the logical-technical definition of these notions. To guarantee a non-Humean and non-extensional approach to causal relations, it is therefore important to be aware of the logical and metaphysical implications of the technical vocabulary. -/- In this paper we want to show why extensional logic cannot deal with causal relations. Via a logical analysis of law-like statements ‘All Fs are Gs’ we hope to throw some new light on interrelated notions like causation, laws, induction, hypotheticality and modality. If successful, our analysis should be of relevance for a deeper understanding of any type of causal relations, whether we understand them to be laws, dispositions, singulars or categoricals. (shrink)

One of the most basic methods of philosophy is, and has always been, the consideration of counterfactual cases and imaginary scenarios. One purpose of doing so obviously is to test our theories against such counterfactual cases. Although this method is widespread, it is far from being commonly accepted. Especially during the last two decades it has been confronted with criticism ranging from complete dismissal to denying only its critical powers to a cautious defense of the use of thought experiments as (...) counterexamples. One of the strongest criticisms of the method of thought experimentation is "modal skepticism" as explicated and defended by Peter van Inwagen. Van Inwagen argues that the philosopher's notion of logical possibility is confused and that its epistemology is dubious. I argue that van Inwagen's skepticism is unwarranted. There is a sufficiently clear notion of logical possibility and a sufficiently straightforward way of getting to know what is logically possible. In the remainder of the paper I show how that connects with the methodology of thought experimentation in philosophy. (shrink)

Although few linguists currently embrace the empirical paradigm, there are increasing calls for the development of tools for studying language that resemble those in exact sciences. This trend can be observed even in top mainstream linguistic journals, such as the Journal of Pragmatics, as exemplified by Xiang (2017). Today, however, linguists who adapt the methodologies from more advanced sciences face isolation from the mainstream linguistic community. This is because the majority of linguists in philological and philosophical departments remain convinced that (...) the object of their studies is fundamentally different from those studied by physicists. Therefore, they argue that linguistic methodology cannot resemble that used in empirical sciences. As a result, linguistics is often seen as requiring interpretation rather than an explanation, and evaluation of linguistic research is based on acceptance within the scholarly community rather than empirical testing. (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)

In the present research, the authors hypothesized that additive counterfactual thinking mind-sets, activated by adding new antecedent elements to reconstruct reality, promote an expansive processing style that broadens conceptual attention and facilitates performance on creative generation tasks, whereas subtractive counterfactual thinking mind-sets, activated by removing antecedent elements to reconstruct reality, promote a relational processing style that enhances tendencies to consider relationships and associations and facilitates performance on analytical problem-solving tasks. A reanalysis of a published data set suggested that the counterfactual (...) mind-set primes previously used in the literature tend to evoke subtractive counterfactuals. Studies 1 and 2 then demonstrated that subtractive counterfactual mind-sets enhanced performance on analytical problem-solving tasks relative to additive counterfactual mind-sets, whereas Studies 3 and 4 found that additive counterfactual mind-sets enhanced performance on creative generation tasks relative to subtractive counterfactual mind-sets. (shrink)

The use of counterfactuals for considerations of algorithmic fairness and explainability is gaining prominence within the machine learning community and industry. This paper argues for more caution with the use of counterfactuals when the facts to be considered are social categories such as race or gender. We review a broad body of papers from philosophy and social sciences on social ontology and the semantics of counterfactuals, and we conclude that the counterfactual approach in machine learning fairness and (...) social explainability can require an incoherent theory of what social categories are. Our findings suggest that most often the social categories may not admit counterfactual manipulation, and hence may not appropriately satisfy the demands for evaluating the truth or falsity of counterfactuals. This is important because the wide- spread use of counterfactuals in machine learning can lead to misleading results when applied in high-stakes domains. Accordingly, we argue that even though counterfactuals play an essential part in some causal inferences, their use for questions of algorithmic fairness and social explanations can create more problems than they resolve. Our positive result is a set of tenets about using counterfactuals for fairness and explanations in machine learning. (shrink)

Backtracking counterfactuals are problem cases for the standard, similarity based, theories of counterfactuals e.g., Lewis. These theories usually need to employ extra-assumptions to deal with those cases. Hiddleston, 632–657, 2005) proposes a causal theory of counterfactuals that, supposedly, deals well with backtracking. The main advantage of the causal theory is that it provides a unified account for backtracking and non-backtracking counterfactuals. In this paper, I present a backtracking counterfactual that is a problem case for Hiddleston’s account. (...) Then I propose an informational theory of counterfactuals, which deals well with this problem case while maintaining the main advantage of Hiddleston’s account. In addition, the informational theory offers a general theory of backtracking that provides clues for the semantics and epistemology of counterfactuals. I propose that backtracking is reasonable when the state of affairs expressed in the antecedent of a counterfactual transmits less information about an event in the past than the actual state of affairs. (shrink)

Counterfactuals are context-sensitive. However, we argue that various debates and doctrines in metaphysics and the philosophy of science are premised on ignoring the full extent of counterfactual context-sensitivity. Our focus is on the prominent "miracle" versus "no-miracle" debate about counterfactuals under the assumption that our laws of nature are deterministic. But we also discuss doctrines that employ counterfactuals in theories of rational decision, as well as doctrines that explain what it is to be a law of nature (...) in terms of counterfactuals. We conclude by drawing some morals about the use of counterfactuals in philosophical theorizing more generally. (shrink)

The importance of situational constraint for moral evaluations is widely accepted in philosophy, psychology, and the law. However, recent work suggests that this relationship is actually bidirectional: moral evaluations can also influence our judgments of situational constraint. For example, if an agent is thought to have acted immorally rather than morally, that agent is often judged to have acted with greater freedom and under less situational constraint. Moreover, when considering interpersonal situations, we judge that an agent who forces another to (...) act immorally (versus morally) uses more force. These two features can result in contradictory response patterns in which participants judge both that (1) a forcer forced a forcee to act and (2) the forcee was not forced by the forcer to act. Here, we characterize potential psychological mechanisms, in particular, “moral focus” and counterfactual reasoning that account for this paradoxical pattern of judgments. (shrink)

When people want to identify the causes of an event, assign credit or blame, or learn from their mistakes, they often reflect on how things could have gone differently. In this kind of reasoning, one considers a counterfactual world in which some events are different from their real-world counterparts and considers what else would have changed. Researchers have recently proposed several probabilistic models that aim to capture how people do (or should) reason about counterfactuals. We present a new model (...) and show that it accounts better for human inferences than several alternative models. Our model builds on the work of Pearl (2000), and extends his approach in a way that accommodates backtracking inferences and that acknowledges the difference between counterfactual interventions and counterfactual observations. We present six new experiments and analyze data from four experiments carried out by Rips (2010), and the results suggest that the new model provides an accurate account of both mean human judgments and the judgments of individuals. (shrink)

The subject of this paper is the notion of similarity between the actual and impossible worlds. Many believe that this notion is governed by two rules. Ac-cording to the first rule, every non-trivial world is more similar to the actual world than the trivial world is. The second rule states that every possible world is more similar to the actual world than any impossible world is. The aim of this paper is to challenge both of these rules. We argue that (...) acceptance of the first rule leads to the claim that the rule ex contradictione sequitur quodlibet is invalid in classical logic. The second rule does not recognize the fact that objects might be similar to one an-other due to various features. (shrink)

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

Counterfactuals are somewhat tolerant. Had Socrates been at least six feet tall, he need not have been exactly six feet tall. He might have been a little taller—he might have been six one or six two. But while he might have been a little taller, there are limits to how tall he would have been. Had he been at least six feet tall, he would not have been more than a hundred feet tall, for example. Counterfactuals are not (...) just tolerant, then, but bounded. This paper presents a surprising paradox: If counterfactuals are tolerant and bounded, then we can prove a flat contradiction using natural rules of inference. Something has to go then. But what? (shrink)

von Fintel and Gillies : 329–360, 2007) have proposed a dynamic strict conditional account of counterfactuals as an alternative to the standard variably strict account due to Stalnaker and Lewis. Von Fintel’s view is motivated largely by so-called reverse Sobel sequences, about which the standard view seems to make the wrong predictions. More recently Moss :561–586, 2012) has offered a pragmatic/epistemic explanation that purports to explain the data without requiring abandonment of the standard view. So far the small amount (...) of subsequent literature has focused primarily on the original class of cases motivating the strict conditional view. What is needed in the debate is an examination of the predictions of the dynamic strict conditional account for a broader range of data. I undertake this task here, presenting a slew of cases that are problematic for the strict conditional view but not for Moss’s view, and considering some possible responses. Ultimately I take my contribution to constitute a significant blow to the dynamic strict conditional view, though not a decisive verdict against it. (shrink)

The standard philosophical analysis of counterfactual conditionals—the Lewis-Stalnaker analysis—analyzes the truth-conditions of counterfactuals in terms of nearby possible worlds. This paper demonstrates that this analysis is false. §1 shows that it is a serious epistemic and metaphysical possibility that our “world” is a massive computer simulation, and that if the Lewis-Stalnaker analysis of counterfactuals is correct, then it should extend seamlessly to the case that our world is a computer simulation, in the form of a possible-simulation semantics. §2 (...) then shows, however, that a Lewis-Stalnaker-style possible-simulation semantics clearly fails as an analysis of the truth-conditions of counterfactuals in two types of simulated worlds: Humean Simulations and Necessitarian simulations. §3 then considers and answers several objections to the argument. Finally, §4 draws several skeptical, but compelling lessons about counterfactuals from the argument. (shrink)

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

This quantitative study explores the acceptability of Online Learning Action Cell (LAC) practice as a school-based professional development strategy for Tagumpay National High School (TNHS) teachers. The research was motivated by the Department of Education (DepEd) Order No. 35 s. 2016 which prompts public schools to comply with the implementation of LAC sessions because it has a positive impact on teachers’ beliefs and practices resulting in education reforms for learners’ benefit. However, in compliance with DepEd’s policy on maximizing Time-On-Task (...) (DepEd Order No. 9 s. 2005) and the teacher’s conflict of schedule and other ancillary and coordination functions, absences or non-participation in classroom LAC was noted. The viability of offering Online LAC sessions using appropriate media and technologies to provide more options and flexibility for the study is suggested and tested utilizing a conceptual framework drawn from DepEd Order No. 35 s. 2016, Simonson’s Equivalency Theory and Anderson’s Community of Inquiry (COI). A descriptive survey method was used in this study with purposive sampling identifying ten Technology and Livelihood Education (TLE) teachers to pilot the Online LAC based on the memorandum issued by the school head. The subjects went through a week of experience in a LAC session using Facebook (FB) as Learning Management System (LMS) while a researcher-designed survey tool in the form of a Likert-type scale questionnaire was administered via Google forms before and after the online session to measure teacher’s acceptability of Online LAC Session practice. In the analysis, a descriptive statistic shows that pre-post survey results on Online LAC session planning is from ‘moderately acceptable’ to ‘very highly acceptable’; implementation is from ‘acceptable’ to ‘very highly acceptable’, and evaluation is from ‘moderately acceptable’ to ‘very highly acceptable’. TNHS teachers' acceptability of Online LAC session practice increases after their participation in a fully-online learning environment. Limitations, recommendations, future research directions, and conclusions are also included in the study. -/- . (shrink)

The Acceptance of the Epicurean Thesis on Pleasure as the Absence of Pain -/- In this paper, I will argue that the Epicurean thesis on pleasure (hēdonē) as the absence of pain is a true claim and, moreover, is plausible. First, I will give justifications for the acceptance of pleasure as the absence of pain, as the Epicureans intended it to be understood. Then, I will offer further justification for the acceptance of a more extreme thesis on pleasure, specifically the (...) Epicurean thesis which is interpreted to mean that the greatest pleasure occurs in the complete absence of pain. In order to do this, I present the following premises to support the irrefutability of the Epicurean thesis on pleasure. For the first premise, I present the Epicurean belief of the blessed life with respect to the pleasure-pain relationship. Forthe second premise, I discuss the extent to which Epicurean pleasure is hedonistic in nature. For the third premise, I show that, in the Epicurean philosophy, there is calculation of pleasure and pain, which is an important contributing factor to the plausibility of the thesis. Thus, the premises support the plausibility and, in fact, lead to the coherent acceptance of the Epicurean thesis on pleasure as the absence of pain and, more specifically, the greatest pleasure as the complete absence of pain. (shrink)

The Acceptance of the Stoic Thesis on Affections (Pathē) -/- In this paper, I argue that the Stoic claim that one should strive towards having no affections (pathē) is a plausible and, moreover, true claim given the context of the Stoic thesis on affections (pathē) in relationship to their philosophy of the ultimate goal (telos) of life. Given the conception of affections (pathē) that the Stoics intended, the irrefutability that one should strive towards having no affections (pathē) is found in (...) the Stoic conception of impulse (hormē) and of value (namely how affections (pathē) lack value). Further, in the Stoic philosophy, there is identification of goods, bads and indifferents, which is an important contributing factor to the plausibility of the thesis. Taken together, these lead to the coherent acceptance of the Stoic thesis on affections (pathē), specifically that the allowance of affections (pathē) should be avoided. (shrink)