It is natural to ask under what conditions negating a conditional is equivalent to negating its consequent. Given a bivalent background logic, this is equivalent to asking about the conjunction of Conditional Excluded Middle (CEM, opposite conditionals are not both false) and Weak Boethius' Thesis (WBT, opposite conditionals are not both true). In the system CI.0 of consequential implication, which is intertranslatable with the modal logic KT, WBT is a theorem, so it is natural to ask which instances of CEM (...) are derivable. We also investigate the systems CIw and CI of consequential implication, corresponding to the modal logics K and KD respectively, with occasional remarks about stronger systems. While unrestricted CEM produces modal collapse in all these systems, CEM restricted to contingent formulas yields the Alt2 axiom (semantically, each world can see at most two worlds), which corresponds to the symmetry of consequential implication. It is proved that in all the main systems considered, a given instance of CEM is derivable if and only if the result of replacing consequential implication by the material biconditional in one or other of its disjuncts is provable. Several related results are also proved. The methods of the paper are those of propositional modal logic as applied to a special sort of conditional. (shrink)

The conservation of energy and momentum have been viewed as undermining Cartesian mental causation since the 1690s. Modern discussions of the topic tend to use mid-nineteenth century physics, neglecting both locality and Noether’s theorem and its converse. The relevance of General Relativity has rarely been considered. But a few authors have proposed that the non-localizability of gravitational energy and consequent lack of physically meaningful local conservation laws answers the conservation objection to mental causation: conservation already fails in GR, so there (...) is nothing for minds to violate. This paper is motivated by two ideas. First, one might take seriously the fact that GR formally has an infinity of rigid symmetries of the action and hence, by Noether’s first theorem, an infinity of conserved energies-momenta. Second, Sean Carroll has asked how one should modify the Dirac–Maxwell–Einstein equations to describe mental causation. This paper uses the generalized Bianchi identities to show that General Relativity tends to exclude, not facilitate, such Cartesian mental causation. In the simplest case, Cartesian mental influence must be spatio-temporally constant, and hence 0. The difficulty may diminish for more complicated models. Its persuasiveness is also affected by larger world-view considerations. The new general relativistic objection provides some support for realism about gravitational energy-momentum in GR. Such realism also might help to answer an objection to theories of causation involving conserved quantities, because energies-momenta would be conserved even in GR. (shrink)

In this paper, I examine whether agents who commit testimonial injustice are morally responsible for their wrongdoing, given that they are ignorant of their wrongdoing. Fricker (2007) argues that agents whose social setting lacks the concepts or reasons necessary for them to correct for testimonial injustice are excused. I argue that agents whose social settings have these concepts or reasons available are also typically excused, because they lack the capacity to recognise those concepts or reasons. Attempts to trace this lack (...) of capacity back to an earlier culpable wrongdoing will often fail, due to there being no point at which these perpetrators knowingly chose to develop their prejudices. Attempts to ground culpability under Talbert’s (2008) Attributionist account of moral responsibility will also fail. This is because perpetrators’ lack of awareness of what they are doing makes it the case that they are not expressing objectionable evaluative judgments in the way required for blameworthiness. Finally, I argue that our temptation to blame agents who commit testimonial injustice is not completely unfounded. Appealing to Watson’s (1996) attributability/accountability distinction allows us to make sense of how some responses to the jurors are appropriate, despite their being excused. (shrink)

I argue in favor of a certain connection between knowledge and the permissibility of action. On this approach, we do not think of the relation between those notions as reflecting a universal epistemic principle. Instead, we think of it as something resembling a platitude from folk psychology. With the help of some elementary tools from the logic of normativity and counterfactuals, I attempt to establish the connection by deriving it from more elementary principles. The new formulation involves a ceteris paribus (...) clause. Though it is often difficult to specify the exact content of a ceteris paribus clause, we will see that our clause is derived from a descriptive generalization with independent motivation. (shrink)

Sidney Morgenbesser brought to attention cases of the following form: (MC1) Chump tosses an indeterministic coin and, whilst it is in mid-air, calls heads. The coin lands tails, and Chump loses. His betting was causally independent of the coin’s fall. Chump seems right to say: ‘If I had bet tails, I would have won.’1 (MC2).

We present a unified approach for investigating rational reasoning about basic argument forms involving indicative conditionals, counterfactuals, and basic quantified statements within coherence-based probability logic. After introducing the rationality framework, we present an interactive view on the relation between normative and empirical work. Then, we report a new experiment which shows that people interpret indicative conditionals and counterfactuals by coherent conditional probability assertions and negate conditionals by negating their consequents. The data support the conditional probability interpretation of conditionals and the (...) narrow-scope reading of the negation of conditionals. Finally, we argue that coherent conditional probabilities are important for probabilistic analyses of conditionals, nonmonotonic reasoning, quantified statements, and paradoxes. (shrink)

Many people seem to share some version of what has been called the “intuition of neutrality” aboutcreating new people, which, roughly, says that there exists a certain range of levels of well-beingsuch that creating people within this range is, in itself, morally neutral, but creating people with alevel of well-being outside this range is not morally neutral. In this paper, I will discuss differentinterpretations of this intuition, and specifically distinguish between what I will call counterfactualinterpretations and Do-interpretations of the intuition. (...) I will argue that it is hard to interpret theintuition in a way that does not give rise to antinatalist moral reasons, i.e. reasons favoring an emptyfuture population, when it comes to choices of social policy. In particular, this holds if we assume aconception of relevant outcomes of actions reflecting consequentialist moral intuitions. In the end, I will formulate a normative principle of welfare promotion which I argue respects the most plausiblecounterfactual version of the neutrality intuition. (shrink)

Molinism is named after Luis de Molina (1535–1600). Molina and his fellow Jesuits became entangled in a fierce debate over issues involving the doctrine of divine providence, which is a picture of how God runs the world. Molinism reemerged in the 1970s after Alvin Plantinga unwittingly assumed it in his Free Will Defense against the ‘Logical’ Argument from Evil. Molinism has been the subject of vigorous debate in analytic philosophy of religion ever since. The main aim of this essay is (...) to survey the main contours of this debate. We will visit some ‘old’ battlefields and current hot spots in the ongoing Molinism Wars. (shrink)

Our objectives in this article are to bring some theoretical order into developmental sequences and simultaneities in children’s ability to appreciate multiple labels for single objects, to reason with identity statements, to reason hypothetically, counterfactually, and with beliefs and desires, and to explain why an ‘implicit’ understanding of belief occurs before an ‘explicit’ understanding. The central idea behind our explanation is the emerging grasp of how objects of thought and desire relate to real objects and to each other. To capture (...) this idea we make use of the notion of discourse referents, as did Perner and Brandl (2005), to explain the developmental link between understanding beliefs and alternative naming. We present confirming evidence of the prediction from this analysis that children should have comparable problems with understanding identity statements. We explain the precociously correct answers in ‘implicit’ false belief tests based on indirect measures in the following way: From infancy children are able to keep track of other people’s experiences, to reason about counterfactual circumstances, and to reason about goal-directed (rational) action depending on given circumstances. Indirect tasks reduce the bias to use actual circumstances for reasoning about goal directed action compared to the traditional task, which leads to more correct answers. An emerging metarepresentational understanding helps overcome these biases and enables not only correct action prediction but also the explanation of erroneous actions. The common metarepresentational element explains why false belief tasks and the alternative naming task are mastered at the same time as children understand identity statements. (shrink)

One of the main line of responses to the infamous causal exclusion problem has been based on the counterfactual account of causation. However, arguments have begun to surface to the effect that the counterfactual theory is in fact ill-equipped to solve the exclusion problem due to its commitment to downward causation. This argumentation is here critically analysed. An analysis of counterfactual dependence is presented and it is shown that if the semantics of counterfactuals is taken into account carefully enough, the (...) counterfactual notion of causation does not need to be committed to downward causation. However, it is a further question whether this is eventually enough to solve the exclusion problem for the analysis shows how the problem itself can take various different forms. (shrink)

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

In a recent article, Zhang and Foo generalized the AGM postulates for contraction to include infinite epistemic input. The new type of belief change is called set contraction. Zhang and Foo also introduced a constructive model for set contraction, called nicely ordered partition, as a generalization of epistemic entrenchment. It was shown however that the functions induced from nicely ordered partitions do not quite match the postulates for set contraction. The mismatch was fixed with the introduction of an extra condition (...) called the limit postulate. The limit postulate establishes a connection between contraction by infinite epistemic input and contraction by finite epistemic input (reducing the former to the latter) and it is appealing both on mathematical and on conceptual grounds. It is debatable however whether the limit postulate can be adopted as a general feature of rationality in set contraction. Instead we propose that the limit postulate is viewed as a condition characterizing an important special case of set contraction functions. With this reading in mind, in this article we introduce an alternative generalization of epistemic entrenchment, based on the notion of comparative possibility. We prove that the functions induced from comparative possibility preorders precisely match those satisfying the postulates for set contraction (without the limit postulate). The relationship between comparative possibility and epistemic entrenchment is also investigated. Finally, we formulate necessary and sufficient conditions under which the functions induced from comparative possibility preorders coincide with the special class of contraction functions characterized by the limit postulate. (shrink)

Default reasoning occurs whenever the truth of the evidence available to the reasoner does not guarantee the truth of the conclusion being drawn. Despite this, one is entitled to draw the conclusion “by default” on the grounds that we have no information which would make us doubt that the inference should be drawn. It is the type of conclusion we draw in the ordinary world and ordinary situations in which we find ourselves. Formally speaking, ‘nonmonotonic reasoning’ refers to argumentation in (...) which one uses certain information to reach a conclusion, but where it is possible that adding some further information to those very same premises could make one want to retract the original conclusion. It is easily seen that the informal notion of default reasoning manifests a type of nonmonotonic reasoning. Generally speaking, default statements are said to be true about the class of objects they describe, despite the acknowledged existence of “exceptional instances” of the class. In the absence of explicit information that an object is one of the exceptions we are enjoined to apply the default statement to the object. But further information may later tell us that the object is in fact one of the exceptions. So this is one of the points where nonmonotonicity resides in default reasoning. (shrink)

According to some scholars, while sets of greenhouse gases emissions generate harms deriving from climate change, which can be mitigated through collective actions, individual emissions and mitigation activities seem to be causally insufficient to cause harms. If so, single individuals are neither responsible for climate harms, nor they have mitigation duties. If this view were true, there would be collective responsibility for climate harms without individual responsibility and collective mitigation duties without individual duties: this is puzzling. This paper explores a (...) way to solve this puzzle. First, it will be argued that individual emissions, though not proper and full-fledged causes, causally contribute to raise the probability of climate harms. As a consequence, individuals are in fact responsible for their expected contributions to climate harms – this is contributive responsibility for likely outcomes. Second, it will be argued that people have responsibility also for the possible impacts of their individual emissions on climate harms. People can plausibly be regarded as individually responsible for the possible outcomes of their actions in close possible alternative worlds – this is robust responsibility. Non-causal individual responsibility for climate harms is plausible, and the puzzle may be solved. (shrink)

The nonexistence of fictional entities does not seem incompatible with their possible existence. The aim of this paper is to give an account of the intuitive truth of statements of possible existence involving fictional proper names in an actualist framework. After having clarified the opposition between a possibilist and an actualist approach of possible wolds, I distinguish fictional individuals from fictional characters and the fictional use of fictional proper names from their metafictional use. On that basis, statements of possible existence (...) involving fictional proper names literally say of fictional characters conceived as abstract objects that they might have been exemplified. (shrink)

David Armstrong argues that necessitation relations among universals are the best explanation of some of our observations. If we consequently accept them into our ontologies, then we can justify induction, because these necessitation relations also have implications for the unobserved. By embracing Armstrongian universals, we can vindicate some of our strongest epistemological intuitions and answer the Problem of Induction. However, Armstrong’s reasoning has recently been challenged on a variety of grounds. Critics argue against both Armstrong’s usage of inference to the (...) best explanation and even whether, by Armstrong’s own standards, necessitation relations offer a potential explanation of this explanandum, let alone the best explanation. I defend Armstrong against these particular criticisms. Firstly, even though there are reasons to think that Armstrong’s justification fails as a self-contained defence of induction, it can usefully complement several other answers to Hume. Secondly, I argue that Armstrong’s reasoning is consistent with his own standards for explanation. (shrink)

This paper begins by considering Dummett's justificationist treatment of statements about the past in his book Truth and the Past (2004). Contrary to Dummett's position, there is no way of applying the intuitionistic distinction in the arithmetical case between direct and indirect methods of establishing a content to the case of past-tense statements. Attempts to do so either give the wrong truth conditions, or rely on notions not available to a justificationist position. A better, realistic treatment makes ineliminable use of (...) identity of state in its positive account of understanding of the past tense; this account can also be applied to other subject matters besides the past. A theory is developed of how realists should conceive of the relation between meaning and evidence. Points from this discussion are used in criticism of Wright's minimalist conception of truth. Three grades of possible involvement of truth and reference in a substantive theory of intentional content are distinguished, and reasons are given for thinking that a range of contents involve the highest degree of involvement of reference and truth in their substantive individuation. (shrink)

Making sense of our reasoning in disputes about necessary truths requires admitting nonvacuous counterpossibles. One class of these is the counteressentials, which ask us to make contrary to fact suppositions about essences. A popular strategy in accounting for nonvacuous counterpossibles is to extend the standard possible worlds semantics for subjunctive conditionals by the addition of impossible worlds. A conditional A □-> C is then taken to be true if all of the nearest A worlds are C worlds. I argue that (...) a straightforward extension of the standard possible worlds semantics to impossible worlds does not result in a viable account of counteressentials and propose an alternative covering law semantics for counteressentials. (shrink)

Traditional procedures for rational updating fail when it comes to self-locating opinions, such as your credences about where you are and what time it is. This paper develops an updating procedure for rational agents with self-locating beliefs. In short, I argue that rational updating can be factored into two steps. The first step uses information you recall from your previous self to form a hypothetical credence distribution, and the second step changes this hypothetical distribution to reflect information you have genuinely (...) learned as time has passed. While the second step resembles traditional procedures of updating by conditionalization, the first is best understood by analogy to traditional models of how agents transmit self-locating opinions through ordinary interpersonal communication. (shrink)

In this paper, I will present a problem for reductive accounts of knowledge-undermining epistemic luck. By “reductive” I mean accounts that try to analyze epistemic luck in non-epistemic terms. I will begin by briefly considering Jennifer Lackey's (2006) criticism of Duncan Pritchard's (2005) safety-based account of epistemic luck. I will further develop her objection to Pritchard by drawing on the defeasible-reasoning tradition. I will then show that her objection to safety-based accounts is an instance of a more general problem with (...) reductive accounts of epistemic luck. In short, they face a dilemma: they can either fail to vindicate the intuitive verdicts about cases or they can illicitly appeal to the epistemic vocabulary they are trying to reduce. The upshot is that we can only understand epistemic luck in terms of the assessment of the subject's reasons and we can't give a reductive account of that. (shrink)

The idea that sentences can be closer or further apart in meaning is highly intuitive. Not only that, it is also a pillar of logic, semantic theory and the philosophy of science, and follows from other commitments about similarity. The present paper proposes a novel way of comparing the ‘distance’ between two pairs of propositions. We define ‘\ is closer in meaning to \ than \ is to \’ and thereby give a precise account of comparative propositional similarity facts. Notably, (...) our definition eschews metric assumptions, which are unrealistic in most applications of interest. (shrink)

Certain measurement-related constructions impose a requirement that the measure function used track the part-whole structure of the domain of measurement, so that a given entity or eventuality must have a larger measurement in the chosen dimension than any of its salient proper parts. I provide evidence from English and Chinese that these constructions can be used to measure the intensity of mental states like hatred and love, indicating that in the natural language ontology of such states, intensity correlates with part-whole (...) structure. A natural language metaphysics of psychological intensity meeting this requirement is then developed and integrated into the semantics. Further complications arise when looking at attitudes like want, wish, and regret, which also permit measurements of intensity in the relevant constructions. To account for such attitudes, the ontology and semantics are then enriched in a way that integrates ordering and quantification over possible worlds into the part-whole structure of attitude states, so that even in these more complicated cases, the constructions at hand have a unified compositional semantics. (shrink)

This paper reports completeness results for dyadic deontic logics in the tradition of Hansson’s systems. There are two ways to understand the core notion of best antecedent-worlds, which underpins such systems. One is in terms of maximality, and the other in terms of optimality. Depending on the choice being made, one gets different evaluation rules for the deontic modalities, but also different versions of the so-called limit assumption. Four of them are disentangled, and compared. The main observation of this paper (...) is that, even in the partial order case, the contrast between maximality and optimality is not as significant as one could expect, because the logic remains the same whatever notion of best is used. This is established by showing that, given analogous properties for the betterness relation, the same system is sound and complete with respect to its intended modelling. The chief result of this paper concerns Åqvist’s system F supplemented with the principle of cautious monotony. It is established that, under the maximality rule, F + is sound and complete with respect to the class of models in which the betterness relation is required be reflexive and smooth . From this, a number of spin-off results are obtained. First and foremost, it is shown that a similar determination result holds for optimality; that is, under the optimality rule, F + is also sound and complete with respect to the class of models in which the betterness relation is reflexive and smooth . Other spin-off results concern classes of models in which further constraints are placed on the betterness relation, like totalness and transitivity. (shrink)

The aim of this paper is to strengthen the point made by Horty about the relationship between reason holism and moral particularism. In the literature prima facie obligations have been considered as the only source of reason holism. I strengthen Horty’s point in two ways. First, I show that contrary-to-duties provide another independent support for reason holism. Next I outline a formal theory that is able to capture these two sources of holism. While in simple settings the proposed account coincides (...) with Horty’s one, this is not true in more complicated or “realistic” settings in which more than two norms collide. My chosen formalism is so-called input/output logic. A bottom-line example is introduced. It raises the issue of whether the conventional wisdom is right in assuming that normative reasons run parallel to epistemic ones. (shrink)

Here I explore the prospects for fictionalism about the mental, modeled after fictionalism about possible worlds. Mental fictionalism holds that the mental states posited by folk psychology do not exist, yet that some sentences of folk psychological discourse are true. This is accomplished by construing truths of folk psychology as “truths according to the mentalistic fiction.” After formulating the view, I identify five ways that the view appears self-refuting. Moreover, I argue that this cannot be fixed by semantic ascent or (...) by a kind of primitivism. Even so, I also show that the “self-refutation” charges are subtly question-begging. Nevertheless, the reply reveals that a mental fictionalist ought to be a kind of quietist. (shrink)

The properties of belief revision operators are known to have an informal semantics which relates them to the axioms of conditional logic. The purpose of this paper is to make this connection precise via the model theory of conditional logic. A semantics for conditional logic is presented, which is expressed in terms of algebraic models constructed ultimately out of revision operators. In addition, it is shown that each algebraic model determines both a revision operator and a logic, that are related (...) by virtue of the stable Ramsey test. (shrink)

Enthymemes are traditionally defined as arguments in which some elements are left unstated. It is an empirical fact that enthymemes are both enormously frequent and appropriately understood in everyday argumentation. Why is it so? We outline an answer that dispenses with the so called "principle of charity", which is the standard notion underlying most works on enthymemes. In contrast, we suggest that a different force drives enthymematic argumentation—namely, parsimony, i.e. the tendency to optimize resource consumption, in light of the agent's (...) goals. On this view, the frequent use of enthymemes does not indicate sub-optimal performance of arguers, requiring appeals to charity for their redemption. On the contrary, it is seen as a highly adaptive argumentation strategy, given the need of everyday reasoners to optimize their cognitive resources. Considerations of parsimony also affect enthymeme reconstruction, i.e. the process by which the interpreter makes sense of the speaker's enthymemes. Far from being driven by any pro-social cooperative instinct, interpretative efforts are aimed at extracting valuable information at reasonable costs from available sources. Thus, there is a tension between parsimony and charity, insofar as the former is a non-social constraint for self-regulation of one's behaviour, whereas the latter implies a pro-social attitude. We will argue that some versions of charity are untenable for enthymeme interpretation, while others are compatible with the view defended here, but still require parsimony to expose the ultimate reasons upon which a presumption of fair treatment in enthymeme reconstruction is founded. (shrink)

Dynamic epistemic logic, broadly conceived, is the study of logics of information change. This is the first paper in a two-part series introducing this research area. In this paper, I introduce the basic logical systems for reasoning about the knowledge and beliefs of a group of agents.

If well-designed, the results of a Randomised Clinical Trial can justify a causal claim between treatment and effect in the study population; however, additional information might be needed to carry over this result to another population. RCTs have been criticized exactly on grounds of failing to provide this sort of information Evidence, inference and enquiry. Oxford University Press, New York, 2011), as well as to black-box important details regarding the mechanisms underpinning the causal law instantiated by the RCT result. On (...) the other side, so-called In Silico Clinical Trials face the same criticisms addressed against standard modelling and simulation techniques, and cannot be equated to experiments Philosophy of molecular medicine: foundational issues in research and practice, Routledge, New York, 2017; Parker in Synthese 169:483–496, 2009; Parke in Philos Sci 81:516–536, 2014; Diez Roux in Am J Epidemiol 181:100–102, 2015 and related discussions in Frigg and Reiss in Synthese 169:593–613, 2009; Winsberg in Synthese 169:575–592, 2009; Beisbart and Norton in Int Stud Philos Sci 26:403–422, 2012). We undertake a formal analysis of both methods in order to identify their distinct contribution to causal inference in the clinical setting. Britton et al.’s study :E2098–E2105, 2013) on the impact of ion current variability on cardiac electrophysiology is used for illustrative purposes. We deduce that, by predicting variability through interpolation, ISCTs aid with problems regarding extrapolation of RCTs results, and therefore in assessing their external validity. Furthermore, ISCTs can be said to encode “thick” causal knowledge —as opposed to “thin” difference-making information inferred from RCTs. Hence, ISCTs and RCTs cannot replace one another but rather, they are complementary in that the former provide information about the determinants of variability of causal effects, while the latter can, under certain conditions, establish causality in the first place. (shrink)

We describe a logic of preference in which modal connectives reflect reasons to desire that a sentence be true. Various conditions on models are introduced and analyzed.

It is customary in current philosophy of time to distinguish between an A- (or tensed) and a B- (or tenseless) theory of time. It is also customary to distinguish between an old B-theory of time, and a new B-theory of time. We may say that the former holds both semantic atensionalism and ontological atensionalism, whereas the latter gives up semantic atensionalism and retains ontological atensionalism. It is typically assumed that the B-theorists have been induced by advances in the philosophy of (...) language and related A-theorists’ criticisms to acknowledge that semantic atensionalism can hardly stand, but have also maintained that what is essential for the B-theory is ontological atensionalism, which can be independently defended. Here it is argued that the B-theorists have been too quick in abandoning semantic atensionalism: they can still cling to it. (shrink)

Mentalism preserves the triad: brain's state — thought — state of affairs whereas phy‐sicalism identifies the former two elements of it. Both stands meet the famous difficulties. But these presuppose ontological actualism. On the ground of ontological possibilism, claiming the existence of all possible worlds, one may identify a thought with the corresponding state of affairs in a possible world. Yet, possibilism turns out to be too narrow to carry such an identification and requires a significant generalization.

The present article tests counterintuitiveness theory and methodology in relation to religious dream imagery using data on religious dream content. The endeavor adopts a “fractionated” or “piecemeal” approach where supernatural agent (SA) cognition is held to be a pivotal building block of purportedly religious dreaming. Such supernaturalistic conceptualizations manifests in a cognitive environment of dream simulation processes, threat detection and violation of basic conceptual categorization characterized by counterintuitiveness. By addressing SA cognitions as constituents of allegedly religious dream imagery, additional theorizing (...) and supporting data is presented in a growing body of research in the Cognitive Science of Religion (e.g., Barrett, 2017; Barrett et al., 2009; Hornbeck and Barrett, 2013) and on religious dreaming (McNamara, 2016; McNamara and Bulkeley, 2015). The aim of the article is partly to map and align contemporary theorizing regarding counterintuitiveness and CI schemes with empirical qualification of the prosaic hypothesis about the predominance of supernaturalism in allegedly religious dreaming. This is done by (a) exploring the crucial topic of the pervasiveness of cognitive counterintuitiveness; (b) testing Barrett’s counterintuitiveness coding and quantifying scheme (CI scheme) for counterintuitiveness in the context of religious dreaming by assessing intercoder reliability; and (c) exploring the prevalence and base rate frequency of counterintuitiveness in dream reports. This undertaking aims to contribute to the methodology and understanding of religious dream cognition, as well as to establish the cross-cultural base rates of counterintuitiveness in dreams for future research. (shrink)

Abstract There are at least eight good reasons practicing historians should concern themselves with counterfactual claims. Furthermore, four of these reasons do not even require that we are able to tell which historical counterfactuals are true and which are false. This paper defends the claim that these reasons to be concerned with counterfactuals are good ones, and discusses how each can contribute to the practice of history. Content Type Journal Article Pages 1-19 DOI 10.1007/s11098-011-9817-z Authors Daniel Nolan, School of Philosophy, (...) Australian National University, 0200 Canberra, Australia Journal Philosophical Studies Online ISSN 1573-0883 Print ISSN 0031-8116. (shrink)

_ Source: _Volume 10, Issue 3, pp 441 - 456 Several kinds of historical alternatives are distinguished. Different kinds of historical alternatives are valuable to the practice of history for different reasons. Important uses for historical alternatives include representing different sides of historical disputes; distributing chances of different outcomes over alternatives; and offering explanations of why various alternatives did _not_ in fact happen. Consideration of counterfactuals about what would have happened had things been different in particular ways plays particularly useful (...) roles in reasoning about historical analogues of current conditions; reasoning about causal claims; and in evaluating historical explanations. When evaluating the role of alternative histories in historical thinking, we should keep in mind the uses of historical alternatives that go well beyond the long-term and specific scenarios that are the focus of so-called “counterfactual history”. (shrink)

Philosophers have found postulating possible worlds to be very useful in a number of areas, including philosophy of language and mind, logic, and metaphysics. Impossible worlds are a natural extension to this use of possible worlds, and can help resolve a number of difficulties thrown up by possible‐worlds frameworks.

In the last few decades of the twentieth century there was a revolution in metaphysics: the intensional revolution. Many metaphysicians rejected the doctrine, associated with Quine and Davidson, that extensional analyses and theoretical resources were the only acceptable ones. Metaphysicians embraced tools like modal and counterfactual analyses, claims of modal and counterfactual dependence, and entities such as possible worlds and intensionally individuated properties and relations. The twenty-first century is seeing a hypterintensional revolution. Theoretical tools in common use carve more finely (...) than by necessary equivalence: two pieces of language can apply to the same entities across all possible worlds but not be equivalent; thoughts can be necessarily equivalent in truth value but not synonymous. This paper argues that hyperintensional resources are valuable in metaphysics outside theories of representation, and discusses some promising areas of hyperintensional metaphysics. (shrink)

Curry's paradox for "if.. then.." concerns the paradoxical features of sentences of the form "If this very sentence is true, then 2+2=5". Standard inference principles lead us to the conclusion that such conditionals have true consequents: so, for example, 2+2=5 after all. There has been a lot of technical work done on formal options for blocking Curry paradoxes while only compromising a little on the various central principles of logic and meaning that are under threat. -/- Once we have a (...) sense of the technical options, though, a philosophical choice remains. When dealing with puzzles in the logic of conditionals, a natural place to turn is independently motivated semantic theories of the behaviour of "if... then...". This paper argues that the closest-worlds approach outlined in Nolan 1997 offers a philosophically satisfying reason to deny conditional proof and so block the paradoxical Curry reasoning, and can give the verdict that standard Curry conditionals are false, along with related "contraction conditionals". (shrink)

A relation ≺ϕ between noncommuting 1-0 quantum observables (i.e., projections) is introduced, ϕ being the state vector of the system. This relation extends the empirical implication between commuting projections. An operational interpretation of the new relation is given, which can be expressed also in counterfactual terms. It is shown that a relation proposed some years ago by Hardegree, namely the Sasaki arrow ↪ϕ, can be interpreted in terms of the relation ≺ϕ; furthermore, this new relation turns out to be successful (...) also in cases in which the Sasaki arrow fails. (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 last several decades of research on counterfactual conditionals in the fields of philosophy and linguistics have yielded a predominant paradigm according to which the notion of similarity plays the starring role. Roughly, a counterfactual of the form A > C is true iff the closest A-worlds are all C-worlds, where the closeness of a world is a function of its similarity, in a certain sense, to the actual world. I argue that this is deeply misguided. In some cases we (...) may only care about the closest A-worlds, but quite often we care about some broader variety of A-worlds varying in closeness. After presenting several problem cases for the similarity-based paradigm, some new and some known, I propose an alternative paradigm for the semantics of counterfactuals, which introduces the notion of A-scenarios, understood roughly as different ways of making A true. According to this view, A > C is true iff all the contextually relevant ways of making A true also make C true. I then more carefully spell out a working view that formalizes this idea with greater precision, and explore the consequences of that version of the view. (shrink)

This paper evaluates whether and to what extent modal constraints on knowledge or the semantics of ‘knows’, which make essential reference to what goes on in other possible worlds, can be considered non-epistemic factors with epistemic significance. This is best understood as the question whether modal factors are non-truth-relevant factors that make the difference between true belief and knowledge, or to whether a true belief falls under the extension of ‘knowledge’ in a context, where a factor is truth-relevant with respect (...) to S’s belief that P iff it bears on the probability that P is true. To the extent that these factors are non-epistemic, epistemologies that endorse them—modal epistemologies—stand in conflict with intellectualism. I focus on three modal epistemologies: safety, sensitivity, and David Lewis’s epistemic contextualism. I argue that prima facie, safety and sensitivity allow that non-epistemic changes in a context can shift the closeness ordering on worlds, and in so doing make a difference to whether S knows P, while Lewis’s contextualism allows that non-epistemic changes in a context can shift the relevant domain of not-P possibilities that must be eliminated for ‘S knows P’ to be true in that context. Then to make her theory compatible with intellectualism, the modal epistemologist must say much more about the notion of probability at play in the definition of ‘truth-relevant’. I suggest that either accepting or rejecting that modal epistemologies are intellectualist has significance consequences for debates between pragmatists and purists, which radiate into wider contemporary epistemology. (shrink)