This paper presents a unified argument against three widely held contemporary analyses of lawhood—Humean reductionism about laws, the dispositionalist view of laws, and the view of laws as relation...

The Consequence argument is an argument from plausible premises–our lack of causal power over the laws and past–to an implausible conclusion: that if determinism is true, we are equally powerless with respect to the future. What the compatibilist needs is a theory of counterfactuals that preserves the links between counterfactuals, causation, and the natural laws in a way that supports our commonsense belief that we have the power to make a causal difference to the future but no such (...) power with respect to the past. Lewis’s critique of the Consequence argument was based on his theory of counterfactuals and his analysis of causation as a counterfactual relation between particular events. He argued that, at a world that is deterministic in the way that ours might be, counterfactuals are temporally asymmetric in a way that matches the contingent temporal asymmetry of cauation. So it is not surprising, but only to be expected, that the past is causally closed while the future is causally open. If this worked, it would be just what the compatibilist needs. But it doesn’t work. There is an argument, due to Tooley and recently endorsed by Wasserman, that a fundamental feature of Lewis’s theory of counterfactuals is inconsistent with the metaphysical possibility of time travel and backwards causation. If this is right, then Lewis’s response to the Consequence argument fails. I endorse this conclusion, but argue that there is a better theory of counterfactuals–a theory that leaves open the metaphysical possibility of time travel to the past and backwards causation. (shrink)

Evaluating counterfactuals in worlds with deterministic laws poses a puzzle. In a wide array of cases, it does not seem plausible that if a non-actual event were to occur that either the past would be different or that the laws would be different. But it’s also difficult to see how we can avoid this result. Some philosophers have argued that we can avoid this dilemma by allowing that a proposition can be a law even though it has violations. On (...) this view, for the relevant cases, the past and the laws would still hold, but the laws would have a violation. In this paper, I raise a problem for the claim that the laws and the past are preserved for all of the relevant counterfactual antecedents. I further argue that this problem undermines motivating the possibility of violations on the grounds that they allow us to hold that the past and the laws are typically counterfactually preserved, even if they are not always preserved. (shrink)

The purpose of this paper is to argue that the hybrid formalism fits naturally in the context of David Lewis’s counterfactual logic and that its introduction into this framework is desirable. This hybridization enables us to regard the inference “The pig is Mary; Mary is pregnant; therefore the pig is pregnant” as a process of updating local information (which depends on the given situation) by using global information (independent of the situation). Our hybridization also has the following technical advantages: (i) (...) it preserves the completeness and decidability of Lewis’s logic; (ii) it allows us to characterize the Limit Assumption as a proof-rule with some side-conditions; and (iii) it enables us to establish a general Kripke completeness result by using the proof-rule corresponding to the Limit Assumption. Keywords Counterfactual logic - David Lewis - Contextually definite description - Hybrid logic - Arthur Prior - The limit assumption - Strong completeness - Decidability - Bisimulation - Pure completeness. (shrink)

It is argued that contraposition is valid for a class of natural language conditionals, if some modifications are allowed to preserve the meaning of the original conditional. In many cases, implicit temporal indices must be considered, making a change in verb tense necessary. A suitable contrapositive for implicative counterfactual conditionals can also usually be found. In some cases, the addition of certain words is necessary to preserve meaning that is present in the original sentence and would be lost or changed (...) in the contrapositive without them. A distinction is made between adding new meaning and adding new words to preserve existing meaning. For concessive conditionals and relevance conditionals, however, no valid contrapositive can be found. They do not belong to the class of contraposable conditionals, which can be independently defined. Difficult cases are also discussed in which the contradictory of the consequent semantically entails the truth of the antecedent. In such cases the content of the antecedent is implicit in the meaning of the consequent. Contraposition becomes possible if what is implicit in the original consequent is made explicit in the contrapositive antecedent. (shrink)

Environmentalists care about nature. Often, they reason and act as if they consider nature to be valuable for its own sake, i.e., to have non-instrumental value. Yet, there is a rather widespread reluctance, even among environmentalists, to explicitly ascribe such value to nature. One important explanation of this is probably the thought that it would be mysterious in one way or another if nature possessed such value. In addition, Bryan Norton’s influential convergence hypothesis states that, from a practical point of (...) view, it makes no or little difference whether we ascribe non-instrumental value to nature, given the depth and variety of instrumental value that it possesses. In this paper we provide a counterfactual argument, applying to anyone who genuinely cares about nature, for endorsing non-instrumental value in it. Even if we accept, for the sake of argument, something like the convergence hypothesis, relying on nature’s instrumental value for preservational purposes is risky business for environmentalists. We also briefly consider the mysteriousness-objection to non-instrumental value in nature. We show that with respect to most accounts of non-instrumental value, there is nothing particularly mysterious about nature possessing such value. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:A Báñezian Grounding for Counterfactuals of Creaturely Freedom:A Response to James Dominic Rooney, O.P.Taylor Patrick O'NeillIntroductionIn a recently published article, James Rooney, O.P., critiques a fundamental aspect of Réginald Garrigou-Lagrange's articulation of the relation between divine causality and creaturely freedom, which I also defended in my recent book.1 Specifically, Rooney argues that at least some of what Garrigou-Lagrange holds is rooted in a Molinist rather than Báñezian understanding (...) of human freedom and divine causality. The aim of this paper is to articulate the basic objections raised by Rooney and to show why the objections fail. We shall not provide an exegetical or textual analysis of Báñez himself, but rather will establish a speculative grounding and agreement between basic principles of Báñezianism and Garrigou-Lagrange's articulation, ultimately affirming the necessity of positing creaturely counterfactuals for Báñezianism.Rooney makes two distinct (but related) objections to Garrigou-Lagrange's treatment. First, he claims that Báñezianism as a system rejects the notion of "alternative possibilities" when considering the creaturely will and its relation to divine causality, especially in regard to physical premotion. I shall argue that this is incorrect, and indeed misses one of the constitutive elements of Báñezianism—in fact the very grounding for its claim that infallibly moved actions remain free. Second, Rooney claims that Garrigou-Lagrange posits [End Page 651] a circular argument regarding the reality of sin. Garrigou-Lagrange's argument would be circular if it corresponded to a single order of causality or if counterfactuals of creaturely freedom were incompatible with Báñezianism. But we shall argue that they are not. As such, the argument is not only not circular, but rather elucidates a constitutive element of the Báñezian system, thereby refuting the objection. In short, Garrigou-Lagrange's articulation of Báñezian premotion admits of counterfactuals without relying upon divine passivity, and it remains internally coherent.Rooney's Critique of the So-called "Garrigou Manoeuvre"Rooney begins the essay by outlining a few of the major differences between a Molinist and Báñezian view of human freedom. Rooney's argument is that there is a potential "grounding problem" for Báñezianism, or at least for Báñezianism as articulated by Garrigou-Lagrange. As Rooney notes, Báñezianism posits that God's efficacious grace is ontologically antecedent to our good actions (and his permission of sin is ontologically antecedent to our sin). But how does this position retain free choice, if divine causation or permission is infallibly determinative and antecedent to creaturely choice? Rooney says:The Banezians need to account for how it is possible that a creature can do otherwise in the special case when God moves the creature to act through grace. Specifically, what grounds the truth of the claim that, even when God determines human free choices from eternity such that a human being has only one course of action open to them, those human beings are morally responsible for their actions? If the Banezian view entails that human beings, acting under grace, strictly lack any ability to do otherwise, then the view is incoherent.2As such, we can see that "the ability to do otherwise" is an essential, grounding element for defending Báñezianism against radically compatibilist or double-predestinarian views of human freedom, which have been condemned by the Church at Trent and in subsequent condemnations of Jansenism.3 Of course, the phrase "ability to do otherwise" is metaphysically [End Page 652] ambiguous, which Rooney admits. Various articulations of a more metaphysically precise grounding for the preservation of free choice under the influence of efficacious grace (or while efficacious grace is withheld) have been put forth, and Rooney focuses on a particular "strategy" which he associates with Garrigou-Lagrange and myself.4 He terms this strategy the "Garrigou Manoeuvre."Rooney notes that "Garrigou-Lagrange claims that there is something in virtue of which God denies someone efficacious grace, and that this is in the control of the sinner."5 He quotes Garrigou-Lagrange as saying that a person "is deprived of efficacious grace because by sinning he resists sufficient grace.... [Therefore,] God... (shrink)

It is widely held that counterfactuals, unlike attitude ascriptions, preserve the referential transparency of their constituents, i.e., that counterfactuals validate the substitution of identicals when their constituents do. The only putative counterexamples in the literature come from counterpossibles, i.e., counterfactuals with impossible antecedents. Advocates of counterpossibilism, i.e., the view that counterpossibles are not all vacuous, argue that counterpossibles can generate referential opacity. But in order to explain why most substitution inferences into counterfactuals seem valid, counterpossibilists also (...) often maintain that counterfactuals with possible antecedents are transparency‐preserving. I argue that if counterpossibles can generate opacity, then so can ordinary counterfactuals with possible antecedents. Utilizing an analogy between counterfactuals and attitude ascriptions, I provide a counterpossibilist‐friendly explanation for the apparent validity of substitution inferences into counterfactuals. I conclude by suggesting that the debate over counterpossibles is closely tied to questions concerning the extent to which counterfactuals are more like attitude ascriptions and epistemic operators than previously recognized. (shrink)

Children approach counterfactual questions about stories with a reasoning strategy that falls short of adults’ Counterfactual Reasoning (CFR). It was dubbed “Basic Conditional Reasoning” (BCR) in Rafetseder et al. (Child Dev 81(1):376–389, 2010). In this paper we provide a characterisation of the differences between BCR and CFR using a distinction between permanent and nonpermanent features of stories and Lewis/Stalnaker counterfactual logic. The critical difference pertains to how consistency between a story and a conditional antecedent incompatible with a nonpermanent feature of (...) the story is achieved. Basic conditional reasoners simply drop all nonpermanent features of the story. Counterfactual reasoners preserve as much of the story as possible while accommodating the antecedent. (shrink)

The paper begins by focusing the basic idea that Gestalt phenomena belong not only to the realm of perception but to the realm of inference. It is shown that Gestalt effects often occur both in counterfactual and in ampliative – i.e. inductive and abductive – reasoning. The main thesis of the paper is that the common feature of such forms of non-deductive reasoning is provided by a rational selection between incompatible conclusions, where rationality lies in the choice of the alternative (...) which preserves the maximum of background information. It is also stressed a distinction between a weak and a strong notion of incompatibility. Such distinction may help in giving account of some alleged Gestalt phenomena which have been recognized in theory construction and theory change. (shrink)

In this paper, I consider Mark Sagoff’s well-known discussion of the restoration of Michelangelo’s Pietà. Provocatively, he argues that the Pietà should not have been restored to its undamaged state after it was attacked. I argue that Sagoff is mistaken in this. His analysis of restoration is a result of his working view of the Pietà’s identity. Using a modal analysis of counterfactual damage to the Pietà, I argue that the notion of identity at work in his view is deeply (...) problematic. I provide an alternative analysis of the Pietà: one which supports the restoration project, provides an alternative metaphysical basis for the identity of the work, and which still captures certain aesthetic intuitions which Sagoff has correctly identified. Whilst my metaphysical analysis is proposed just on the basis of the case of the Pietà, the metaphysical and conceptual analysis involved would be helpful in considering issues in the identity of artworks more generally. (shrink)

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

The basis of the paper is a logic of analytical consequential implication, CI.0, which is known to be equivalent to the well-known modal system KT thanks to the definition A → B = df A ⥽ B ∧ Ξ (Α, Β), Ξ (Α, Β) being a symbol for what is called here Equimodality Property: (□A ≡ □B) ∧ (◊A ≡ ◊B). Extending CI.0 (=KT) with axioms and rules for the so-called circumstantial operator symbolized by *, one obtains a system CI.0*Eq (...) in whose language one can define an operator ↠ suitable to formalize context-dependent conditionals (so to counterfactual conditionals) via the definition (Def ↠) A ↠ B = df *A ⥽ B ∧ Ξ (Α, Β).. The central problem of the paper is to identify inside CI.0*Eq + Def ↠ a set of axioms yielding the fragment consisting of all and only theorems in which only truth-functional operators and the two operators → and ↠ occur. This system, here called CI.0, is introduced in §3. In view of the intended purpose, it is introduced a complete and tableau-decidable system KTw, which is an extension of KT with axioms for the so-called quasi-variables w(A), w(B)… Three translation functions among the three languages used in the paper are then introduced. The first, Tr, maps every wff of form *A into wffs of form w(A) ∧ A and translates theorems of CI.0*Eq into theorems of KTw. The second, t°, translates theorems of CI.0 into theorems of CI.0*Eq by applying Def↠. A third one, t, translates theorems of CI.0 into theorems of KTw. As a consequence, it follows that t°A = TrtA. In §4 it is proved that CI.0 is complete w.r.t. the class of CI.0-models of form where f is a selection function and R an access relation. It is then proved (i) that CI.0 models may be converted into KTw-models; (ii) that the truth-value of a proposition in a world of a CI.0-model is preserved in the same world of the derived KTw-model; (iii) that A is a CI.0-thesis iff its translation tA is KTw-thesis. It follows that, if A is not a CI.0-thesis, tA is not a KTw-thesis, so also that TrtA is not a CI.0*Eq-thesis. Since t°A = TrtA and t°A is a function built on Def↠, this proves that every t°-translation of a CI.0-wff that is a CI.0*Eq-theorem is a CI.0-theorem. Since the converse proposition is proved in §2, their conjunction establishes the desired result. In the final section, it is proved that CI.0 is tableau-decidable, that ↠ is not a trivial operator and that ↠ enjoys the positive and negative properties required in §1 for context-dependent conditionals. Some final remarks suggest that studying the relations between CI.0 and systems of classical conditional logic may be a promising line of investigation. (shrink)

Abstract In this paper I consider an easier-to-read and improved to a certain extent version of the causal chance-based analysis of counterfactuals that I proposed and argued for in my A Theory of Counterfactuals. Sections 2, 3 and 4 form Part I: In it, I survey the analysis of the core counterfactuals (in which, very roughly, the antecedent is compatible with history prior to it). In section 2 I go through the three main aspects of this analysis, (...) which are the following. First, it is a causal analysis, in that it requires that intermediate events to which the antecedent event is not a cause be preserved in the main truth-condition schema. Second, it highlights the central notion to the semantics of counterfactuals on the account presented here -- the notion of the counterfactual probability of a given counterfactual, which is the probability of the consequent given the following: the antecedent, the prior history, and the preserved intermediate events. Third, it considers the truth conditions for counterfactuals of this sort as consisting in this counterfactual probability being higher than a threshold. In section 3, I re-formulate the analysis of preservational counterfactuals in terms of the notion of being a cause, which ends up being quite compact. In section 4 I illustrate this analysis by showing how it handles two examples that have been considered puzzling – Morgenbesser's counterfactual and Edgington's counterfactual. Sections 5 and on constitute Part II: Its main initial thrust is provided in section 5, where I present the main lines of the extension of the theory from the core counterfactuals (analyzed in part I) to counterfactuals (roughly) whose antecedents are not compatible with their prior history. In this part II, I elaborate on counterfactuals that don't belong to the core, and more specifically on so-called reconstructional counterfactuals (as opposed to the preservational counterfactuals, which constitute the core counterfactual-type). The heart of the analysis is formulated in terms of processes leading to the antecedent (event/state), and more specifically in terms of processes likely to have led to the antecedent, a notion which is analyzed entirely in terms of chance. It covers so-called reconstructional counterfactuals as opposed to the core, so-called preservational counterfactuals, which are analyzed in sections 2 and 3 of part I. The counterfactual probability of such reconstructional counterfactuals is determined via the probability of possible processes leading to the antecedent weighed, primarily and roughly, by the conditional probability of the antecedent given such process: The counterfactual probability is thus, very roughly, a weighted sum for all processes most likely to have led to the antecedent, diverging at a fixed time. In section 6 I explain and elaborate further on the main points in section 5. In section 7 I illustrate the reconstructional analysis. I specify counterfactuals which are so-called process-pointers, since their consequent specifies stages in processes likely to have led to their antecedent. I argue that so-called backtracking counterfactuals are process-pointers counterfactuals, which fit into the reconstructional analysis, and do not call for a separate reading. I then illustrate cases where a speaker unwittingly employs a certain counterfactual while charitably construable as intending to assert (or ‘having in mind’) another. Here I also cover the issue of how to construe what one can take as back-tracking counterfactuals, or counterfactuals of the reconstructional sort, and more specifically, which divergence point they should be taken as alluding to (prior to which the history is held fixed). Some such cases also give rise to what one can take as a dual reading of a counterfactual between preservational and reconstructional readings. Such cases may yield an ambiguity, where in many cases one construal is dominant. In section 8 I illustrate the analysis by applying it to the famous Bizet-Verdi counterfactuals. This detailed analysis of counterfactuals (designed for the indeterministic case) has three main distinctive elements: its being chance-based, its causal aspect, and the use it makes of processes most likely to have led to the antecedent-event. This analysis is couched in a very different conceptual base from, and is an alternative account to, analyses in terms of the standard notion of closeness or distance of possible worlds, which is the main feature of the Stalnaker-Lewis-type analyses of counterfactuals. This notion of closeness or distance plays no role whatsoever in the analysis presented here. (This notion of closeness has been left open by Stalnaker, and to significant extent also by Lewis's second account.) . (shrink)

James Woodward’s manipulationist counterfactual theory of explanation offers strong tools for an adequate approach to explanation endeavours. One of these tools is the notion of intervention, which serves as a guiding principle for identifying explanations as causal, thus preserving the unidirectionality of explanatory praxis. Nevertheless, in this paper, I argue that in some cases of explanation, this notion has a rather redundant role since it is either impossible to define or it can be replaced by other types of manipulations or (...) both. I shall show these shortcomings of intervention in two particularly detailed analyses of an economic example pertaining to Okun’s law and the pendulum explanation. In analysing the former example, I contend that given the complex causal situation of economic phenomena, the notion of intervention is inept at helping explain them. In the latter example, I show that the notion of intervention is readily replaceable by other types of variation—conceptual or mathematical. Finally, I shall end this article by examining the case of pendulum explanation in light of Woodward’s new approach to explanation direction. In the end, the conclusion is that the variables of the pendulum law are in a symmetrical relationship. (shrink)

A powerful argument against the counterfactual comparative account of harm is that it cannot distinguish harming from failing to benefit. In reply to this problem, I suggest a new account of harm. The account is a counterfactual comparative one, but it counts as harms only those events that make a person occupy his level of well-being at the world at which the event occurs. This account distinguishes harming from failing to benefit in a way that accommodates our intuitions about the (...) standard problem cases. In laying the groundwork for this account, I also demonstrate that rival accounts of harm are able to distinguish harming from failing to benefit only if, and because, they also appeal to the distinction between making upshots happen and allowing upshots to happen. One important implication of my discussion is that preserving the moral asymmetry between harming and failing to benefit requires a commitment to the existence of a metaphysical and moral distinction between making and allowing. (shrink)

A conclusion follows from given premisses if and only if an acceptable counterfactual-supporting covering generalization of the argument rules out, either definitively or with some modal qualification, simultaneous acceptability of the premisses and non-accepta-bility of the conclusion, even though it does not rule out acceptability of the premisses and does not require acceptability of the conclusion independently of the premisses. Hence the reiterative associated conditional of an argument is true if and only it has such a covering generalization, and a (...) supposed unexpressed premiss supplied to make an argument formally valid should be a covering generalization. (shrink)

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

Our imaginings seem to be similar to our perceiving and remembering episodes in that they all represent something. They all seem to have content. But what exactly is the structure and the source of the content of our imaginings? In this paper, I put forward an account of imaginative content. The main tenet of this account is that, when a subject tries to imagine a state of affairs by having some experience, their imagining has a counterfactual content. What the subject (...) imagines is that perceiving the state of affairs would be, for them, like having that experience. I discuss three alternative views of imaginative content, and argue that none of them can account for two types of error in imagination. The proposed view, I suggest, can account for both types of error while, at the same time, preserving some intuitions which seem to motivate the alternative views. (shrink)

A combination of process and counterfactual theories of causation is proposed with the aim of preserving the strengths of each of the approaches while avoiding their shortcomings. The basis for the combination, or hybrid, view is the need, common to both accounts, of imposing a stability requirement on the causal relation.

Kim argues that we can never have more than one complete and independent explanation for a single event. The existence of both mental and physical explanations for behavior would seem to violate this principle. We can avoid violating it only if we suppose that mental causal relationships supervene on physical causal relationships. I argue that although his solution is attractive in many respects, it will not do as it stands. I propose an alternate understanding of supervenient causation which preserves the (...) advantages of Kim's account while avoiding the problems. My analysis involves appeal to counterfactuals. Any counterfactual analysis must confront the problem that mental states appear to be screened off from causal relevance by physical states. I argue that screening off is not a problem, because cases in which mental states appear to be screened off are cases in which background conditions are not held constant. (shrink)

Sven Bernecker presents an analysis of the concept of propositional (or factual) memory, and examines a number of metaphysical and epistemological issues crucial to the understanding of memory. -/- Bernecker argues that memory, unlike knowledge, implies neither belief nor justification. There are instances where memory, though hitting the mark of truth, succeeds in an epistemically defective way. This book shows that, contrary to received wisdom in epistemology, memory not only preserves epistemic features generated by other epistemic sources but also functions (...) as a source of justification and knowledge. According to the causal theory of memory argued for in this book, the dependence of memory states on past representations supports counterfactuals of the form: if the subject hadn't represented a given proposition in the past he wouldn't represent it in the present. The book argues for a version of content externalism whereupon the individuation of memory contents depends on relations the subject bears to his past physical or social environment. Moreover, Bernecker shows that memory doesn't require identity, but only similarity, of past and present attitudes and contents. The notion of content similarity is explicated in terms of the entailment relation. (shrink)

This paper offers a modeling account of episodic representation. I argue that the episodic system constructsmental models: representations that preserve the spatiotemporal structure of represented domains. In prototypical cases, these domains are events: occurrences taken by subjects to have characteristic structures, dynamics and relatively determinate beginnings and ends. Due to their simplicity and manipulability, mental event models can be used in a variety of cognitive contexts: in remembering the personal past, but also in future-oriented and counterfactual imagination. As structural representations, (...) they allow surrogative reasoning, supporting inferences about their constituents which can be used in reasoning about the represented events. (shrink)

The ontological dependence of one domain on another is compatible with the explanatory autonomy of the less basic domain. That autonomy results from the fact that the relationship between two domains can be very complex. In this paper I distinguish two different types of complexity, two ways the relationship between domains can fail to be transparent, both of which are relevant to evolutionary biology. Sometimes high level explanations preserve a certain type of causal or counterfactual information which would be lost (...) at the lower level; I argue that this is central to the proper understanding of the adaptationist program. Sometimes high level kinds are multiply realised by lower level kinds: I argue that this is central to the understanding of macroevolution. (shrink)

What is it to know more? By what metric should the quantity of one's knowledge be measured? I start by examining and arguing against a very natural approach to the measure of knowledge, one on which how much is a matter of how many. I then turn to the quasi-spatial notion of counterfactual distance and show how a model that appeals to distance avoids the problems that plague appeals to cardinality. But such a model faces fatal problems of its own. (...) Reflection on what the distance model gets right and where it goes wrong motivates a third approach, which appeals not to cardinality, nor to counterfactual distance, but to similarity. I close the paper by advocating this model and briefly discussing some of its significance for epistemic normativity. In particular, I argue that the 'trivial truths' objection to the view that truth is the goal of inquiry rests on an unstated, but false, assumption about the measure of knowledge, and suggest that a similarity model preserves truth as the aim of belief in an intuitively satisfying way. (shrink)

Folklore has it that Sobel sequences favor a variably strict analysis of conditionals over its plainly strict alternative. While recent discussions for or against the lore have focussed on Sobel sequences involving counterfactuals, this paper draws attention to the fact that indicative Sobel sequences are just as felicitous as are their counterfactual cousins. The fact, or so I shall argue here, disrupts the folklore: given minimal assumptions about the semantics and pragmatics of indicative conditionals, a textbook variably strict analysis (...) fails to predict that indicative Sobel sequences are felicitous. The correct lesson to draw from Sobel sequences is that their felicity challenges classical implementations of the variably strict and of the plainly strict analysis alike. In response to this challenge I develop a dynamic strict analysis of conditionals that handles indicative Sobel sequences with grace while preserving intuitive constraints on the semantics and pragmatics of their members. A discussion of how such an analysis may handle the challenge from reverse Sobel sequences is provided. (shrink)

Fine and Rosen have argued that normative necessity is distinct from and weaker than metaphysical necessity. The first aim of this paper is to specify what it would take for this view to be true—that is, what normative necessity would have to be like. The author argues that in order for normative necessity to be weaker than metaphysical necessity, the metaphysical necessities must all be preserved under every counterfactual antecedent with which they are all collectively logically consistent—even when their preservation (...) requires that a normative necessity fail to be preserved. By exhibiting some examples that fail to display this pattern of counterfactual invariance, the author argues against the view that normative necessity is weaker than metaphysical necessity. To give this argument is the second aim of this paper. (shrink)

Hyperlogic is a hyperintensional system designed to regiment metalogical claims (e.g., “Intuitionistic logic is correct” or “The law of excluded middle holds”) into the object language, including within embedded environments such as attitude reports and counterfactuals. This paper is the first of a two-part series exploring the logic of hyperlogic. This part presents a minimal logic of hyperlogic and proves its completeness. It consists of two interdefined axiomatic systems: one for classical consequence (truth preservation under a classical interpretation of (...) the connectives) and one for “universal” consequence (truth preservation under any interpretation). The sequel to this paper explores stronger logics that are sound and complete over various restricted classes of models as well as languages with hyperintensional operators. (shrink)

Moral realists can, and should, allow that the truth-conditional content of moral judgments is in part attitudinal. I develop a two-dimensional semantics that embraces attitudinal content while preserving realist convictions about the independence of moral facts from our attitudes. Relative to worlds “considered as counterfactual,” moral terms rigidly track objective, response-independent properties. But relative to different ways the actual world turns out to be, they nonrigidly track whatever properties turn out to be the objects of our relevant attitudes. This theory (...) provides realists with a satisfactory account of Moral Twin Earth cases and an improved response to Blackburn’s supervenience argument. (shrink)

The present essay includes six thematically connected papers on negation in the areas of the philosophy of logic, philosophical logic and metaphysics. Each of the chapters besides the first, which puts each the chapters to follow into context, highlights a central problem negation poses to a certain area of philosophy. Chapter 2 discusses the problem of logical revisionism and whether there is any room for genuine disagreement, and hence shared meaning, between the classicist and deviant's respective uses of 'not'. If (...) there is not, revision is impossible. I argue that revision is indeed possible and provide an account of negation as contradictoriness according to which a number of alleged negations are declared genuine. Among them are the negations of FDE and a wide family of other relevant logics, LP, Kleene weak and strong 3-valued logics with either "exclusion" or "choice" negation, and intuitionistic logic. Chapter 3 discusses the problem of furnishing intuitionistic logic with an empirical negation for adequately expressing claims of the form 'A is undecided at present' or 'A may never be decided' the latter of which has been argued to be intuitionistically inconsistent. Chapter 4 highlights the importance of various notions of consequence-as-s-preservation where s may be falsity, indeterminacy or some other semantic value, in formulating rationality constraints on speech acts and propositional attitudes such as rejection, denial and dubitability. Chapter 5 provides an account of the nature of truth values regarded as objects. It is argued that only truth exists as the maximal truthmaker. The consequences this has for semantics representationally construed are considered and it is argued that every logic, from classical to non-classical, is gappy. Moreover, a truthmaker theory is developed whereby only positive truths, an account of which is also developed therein, have truthmakers. Chapter 6 investigates the definability of negation as "absolute" impossibility, i.e. where the notion of necessity or possibility in question corresponds to the global modality. The modality is not readily definable in the usual Kripkean languages and so neither is impossibility taken in the broadest sense. The languages considered here include one with counterfactual operators and propositional quantification and another bimodal language with a modality and its complementary. Among the definability results we give some preservation and translation results as well. (shrink)

In this dissertation I provide a novel logic of the ordinary-language conditional. First, however, I endeavor to make clearer and more precise just what the objects of the study of the conditional are, as a lack of clarity as to what counts as an instance of a given category of conditional has resulted in deep and significant confusions in subsequent analysis. I motivate for a factual/counterfactual distinction, though not at the level of particular instances of the conditional. Instead, I argue (...) that each individual instance of the conditional may be interpreted either factually or counterfactually, rather than these instances dividing into distinct types. I examine the classic Oswald–Kennedy pair of sentences, typically taken to be the quintessential example of how conditionals must be split into two different categories, to show that they in fact do not demonstrate this. I then present my account of the logic underlying the ordinary-language conditional, the system C3, and a justification of the form it takes. This logic provides distinct interpretations of the conditional as it concerns what is factual or what is counterfactual, respectively. The factual interpretation is true when both antecedent and consequent are true at the actual world, false when the antecedent is true and consequent false, and not truth-apt otherwise. The counterfactual interpretation incorporates a ceteris paribus clause, ensuring that it is not falsified by extraordinary, unforeseeable occurrences, and is true when, at all worlds at which the antecedent is ceteris paribus true, the consequent too is true. It is false when, at any of these worlds the consequent is false; and not truth-apt otherwise. I go on to examine alternative theories of the conditional—from the suppositionalist approach to evaluating the putative indicative conditional, to Stalnaker’s combined indicative and counterfactual account, and Lewis’s analysis of the counterfactual; among a number of others—and offer comparison to my own theory. Finally, I look at various challenges to my account of the conditional. Being a strict conditional (albeit variably so), that of C3 is open to the objection that it fails to match ordinary speakers’ intuitions as regards its truth-value assignments to, for instance, conditionals with necessarily true consequents. I address these so- called paradoxes of the strict conditional, and also discussion the question of truth-preservation in the C3 system in the case of such inferences as those relying on transitivity and that of modus ponens. I maintain that these inferences are indeed truth-preserving under certain, specifiable, conditions, and I close by offering possible avenues for further research. (shrink)

Professor Goodman first presented his "new riddle of induction" in 1946 but it was mainly the more elaborated version published in his Fact, Fiction and Forecast in 1955 that has captured the attention of philosophers. Since then, numerous attempts to solve his "paradox of grue" appeared in press; none of them, however, proved to be wholly satisfactory. In this paper I want to present a solution to this 30-years old puzzle. In the first section I shall try to show that (...) my solution, which is based on a Gedankenexperiment, is immune to the objections leveled against previous attempts. In light of this solution I shall re-examine the status of the paradox and show that in order to preserve the meaningfulness of the paradox some type of Platonic framework for the theory of meaning should have to be assumed. In the last section I shall discuss a proposed solution to the paradox using counterfactual claims. I will show that despite the similarity between counterfactuals and thought-experiments, the counterfactual approach does not lead to a satisfactory solution. (shrink)

It is commonly agreed that logic studies the form of arguments and that the concept of a consequence relation is based on the idea of truth-preservation in all models. Based on some observations about arguments involving conditionals, Brogaard and Salerno argue that the consequence relation should be defined in terms of truth-preservation within one fixed context. I will argue that Ichikawa’s contextualism for counterfactuals can be treated as an elucidation of what they have in mind. Instead of standing for (...) or against Stalnaker’s or Lewis’s semantics of counterfactuals, I will argue that the key to explaining the phenomena in question is the concept of a consequence relation. To support the point above, logical contextualism or relativism will be introduced and defended. I thus suggest that the concept of a consequence relation is sensitive to the context in which a certain argument is asserted. (shrink)

It is commonly agreed that logic studies the form of arguments and that the concept of a consequence relation is based on the idea of truth-preservation in all models. Based on some observations about arguments involving conditionals, Brogaard and Salerno argue that the consequence relation should be defined in terms of truth-preservation within one fixed context. I will argue that Ichikawa’s contextualism for counterfactuals can be treated as an elucidation of what they have in mind. Instead of standing for (...) or against Stalnaker’s or Lewis’s semantics of counterfactuals, I will argue that the key to explaining the phenomena in question is the concept of a consequence relation. To support the point above, logical contextualism or relativism will be introduced and defended. I thus suggest that the concept of a consequence relation is sensitive to the context in which a certain argument is asserted. (shrink)

It is a consensus to locate the origin of the reflexive foundations of modern semantics in Frege's work. Since Frege's distinction between two components of meaning (sense and reference), however, semantics has been forced to lead a double life. Among its first receptions, in Russell's famous article (1905), the first unresolved criticism of this solution was that: It is not possible to split semantics into a theory about two classes of objects without their yielding one and the same thing under (...) lower and higher conditions of instantiation (depending on the function used to identify it). But even Russell could not avoid a crisis. It is not possible to reconcile semantic coordination for a set of non-classical extension of instantiation and encoding (possible instances, counterfactual truth values, etc.) while preserving the classical properties of signification. This article covers these moments with a rough diagnosis: modern semantics has a reflexive ceiling. It is unable to model the contingent features of an "object" without oversizing itself to deal with various constraints on that object adapted to various strategies of intensional and modal specification. In order to model idealized conditions of assertability (Putnam), one must filter the sentences that pass Tarskian test using non-sematic parameters – like the parameter of coherence of a scientific paradigm. It cannot keep that model without stopping being semantic. We conclude with a response to attempts to give semantic status to complex scientific reasoning, and a suggestion as to how to locate the philosophical origin of this claim. (shrink)

Recent descendants of David Lewis, such as Stephen Torre, Dilip Ninan, and Dirk Kindermann have utilized multi-centered propositions, which are roughly sets of possible worlds centered on a sequence of individuals, to characterize the content of attitudes. In an attempt to explain counterfactual attitudes such as wishing and imagining, Ninan (2012, 2013) developed a more fine-grained characterization of multi-centered propositions than others in the multi-centered camp. While Ninan provides a systematic explanation of the nature of de se attitudes (attitudes one (...) expresses with first-person pronouns like ‘I’ or ‘me’), the nature of other types of indexical attitudes (attitudes one expresses with indexical terms like ‘you,’ ‘today,’ ‘now,’) is not explored. This paper does two things. First, it demonstrates how we can account for indexical attitudes within Ninan’s framework. This, however, has the consequence of generating propositions of limited accessibility of sorts, which in turn conflict with a received and simple model of linguistic communication. According to this simple model, successful communication consists of the transmission of mental content from speaker to hearer. Second, in light of this conflict, the paper proposes an adjustment to Ninan’s theory in order to avoid commitment to propositions of limited accessibility, and thus preserve the shareability of attitudinal content from speaker to hearer. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Reviewed by:Possibility and Necessity in the Time of Peter Abelard by Irene BininiWolfgang LenzenIrene Binini. Possibility and Necessity in the Time of Peter Abelard. Investigating Medieval Philosophy Series. Leiden: Brill, 2021. Pp. xii + 326. Hardback, $166.00.This book is an impressive work written by a young Italian scholar who received her PhD only five years ago in Pisa. It is divided into three parts. Part 1 gives a survey (...) of "Early 12th-Century Debates on Modal Propositions"; part 2 is devoted to "Abelard's Modal Logic"; [End Page 327] part 3 deals with the views of "Abelard on the Metaphysics and Epistemology of Modalities." The author displays a profound knowledge of the relevant literature. The primary sources comprise twenty manuscripts preserved in various European libraries, plus forty-eight printed works (from Abelard to William of Sherwood). The list of secondary sources contains altogether 136 items from A (Astroh) to Z (Zagzebski), but, interestingly, it does not mention a monograph that, by its very title, claims to give an exposition of Abelard's logic, namely Maria Teresa Beonio-Brocchieri Fumagalli's La Logica di Abelardo (Firenze: La Nuova Italia, 1964).As far as I can judge (as a nonnative English-speaker), the linguistic quality of Binini's book is quite good. The explanations in the main text, including the translations from Latin sources, are easily comprehensible, and the many quotations (distributed over no less than 655 footnotes) are almost without any fault. Thus, the book rightly deserves inclusion in the prestigious series Investigating Medieval Philosophy. Yet, at least according to my taste, the book contains many redundancies. Again and again, the author first explains a certain issue at some length, then confirms the correctness of her interpretation by means of a longer (English) quotation, and finally reconfirms it by fully quoting the Latin text in the footnotes.As Binini explains in the book's concluding chapter, her aim is to present "an all-encompassing reflection on [Abelard's] works on modalities" and "a comparison between these works and the parallel reflections advanced by other masters and logicians in the early 12th century" (308). She undoubtedly achieves this goal. The comparison of Abelard's views on possibility and necessity with the views of other logicians is mainly carried out in chapters 1–3. Ancient and early medieval logicians such as, in particular, the Stoics and Boethius favored the basic idea that "something," p, is necessary if and only if p is always the case (or true). Accordingly, p is possible if and only if p is at least sometime the case. Abelard, however, was not willing to accept that each possibility has to become realized at some time. He instead offered a "nature-based characterization of possibility" that can "account for unrealized, past, counterfactual, and even unactualizable possibilities" (308). Abelard's idea is that something, x, is possibly a P if and only if the property of being P is compatible with the nature of x. Hence this view basically amounts to a de re conception of possibility that attributes modalities to things, while the temporal view attributes modal properties primarily to propositions (or states of affairs) and hence can be labeled de dicto (or de sensu).Let us now turn to Binini's twofold aim (as formulated on the back cover of her book) to present a "uniform and consistent" reassessment of Abelard's theory of modalities and of his modal logic. The former task is tackled in chapters 8–10. After summarizing, in chapter 8, Abelard's general views on "Nature and Modalities," chapter 9 is devoted to a detailed discussion of the "Many Senses of Possibility." In five consecutive sections, Binini investigates the conception of (1) possibility as "non-repugnancy with nature" (illustrated by the thesis that "any man can be a bishop" [235]); (2) unrealizable but "conceivable" possibilities (such as the existence of humans lacking the ability to laugh [240]); (3) determinate potencies (like that of an amputee who nevertheless "can walk" [248]); (4) past and counterfactual potencies (like that of a blind person who might be able to see); and (5) other puzzling de re possibilities (such as "irrational humans" [261]).The final... (shrink)