This paper argues that modal realism has a problem with mathematical impossibilities. Due to the peculiar way it treats both propositions and mathematical objects, modal realism cannot distinguish the content of different mathematically impossible beliefs. While one might be happy to identify all logically impossible beliefs, there are many different mathematically impossible beliefs, none of which is a belief in a logical contradiction. The fact that it cannot distinguish these beliefs speaks against adopting modal realism.

This is the second part of a two-part series on the logic of hyperlogic, a formal system for regimenting metalogical claims in the object language (even within embedded environments). Part A provided a minimal logic for hyperlogic that is sound and complete over the class of all models. In this part, we extend these completeness results to stronger logics that are sound and complete over restricted classes of models. We also investigate the logic of hyperlogic when the language is enriched (...) with hyperintensional operators such as counterfactual conditionals and belief operators. (shrink)

It is commonly believed that the role of context cannot be ignored in the analysis of conditionals, and counterfactuals in particular. On truth conditional accounts involving possible worlds semantics, conditionals have been analysed as expressions of relative necessity: “If A, then B” is true at some world w if B is true at all the A-worlds deemed relevant to the evaluation of the conditional at w. A drawback of this approach is that for the evaluation of conditionals with the same (...) antecedents at some world, the same worlds are deemed as relevant for all occasions of utterance. But surely this is inadequate, if shifts of contexts between occasions are to be accounted for. Both the linguistic and logical implications of this defect are discussed, and in order to overcome it a modification of David Lewis’ ordering semantics for counterfactuals is developed for a modified language. I follow Lewis by letting contexts determine comparative similarity assignments, and show that the addition of syntactic context parameters (context indices) to the language gives the freedom required to switch between sets of relevant antecedent worlds from occasion to occasion by choosing the corresponding similarity assignment accordingly. Thus an account that extends Lewis’ analysis of a language containing a single counterfactual connective > to a language containing infinitely many counterfactual connectives >_c, each indexed by a different context name c, overcomes the limitations of traditional analyses. Finally it is also shown that these traditional accounts can be recovered from the modified account if certain contextual restrictions are in place. -/- . (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)

A counterpossible is a counterfactual with an impossible antecedent. Counterpossibles present a puzzle for standard theories of counterfactuals, which predict that all counterpossibles are semantically vacuous. Moreover, counterpossibles play an important role in many debates within metaphysics and epistemology, including debates over grounding, causation, modality, mathematics, science, and even God. In this article, we will explore various positions on counterpossibles as well as their potential philosophical consequences.

Sentences about logic are often used to show that certain embedding expressions are hyperintensional. Yet it is not clear how to regiment “logic talk” in the object language so that it can be compositionally embedded under such expressions. In this paper, I develop a formal system called hyperlogic that is designed to do just that. I provide a hyperintensional semantics for hyperlogic that doesn’t appeal to logically impossible worlds, as traditionally understood, but instead uses a shiftable parameter that determines the (...) interpretation of the logical connectives. I argue this semantics compares favorably to the more common impossible worlds semantics, which faces difficulties interpreting propositionally quantified logic talk. (shrink)

An overview of hyperintensionality is provided. Hyperintensional languages have expressions with meanings that are more fine-grained than necessary equivalence. That is, the expressions may necessarily co-apply and yet be distinct in meaning. Adequately accounting for theories cast in hyperintensional languages is important in the philosophy of language; the philosophy of mind; metaphysics; and elsewhere. This entry presents a number of areas in which hyperintensionality is important; a range of approaches to theorising about hyperintensional matters; and a range of debates that (...) attention to hyperintensional constructions has generated. (shrink)

We develop and defend a new approach to counterlogicals. Non-vacuous counterlogicals, we argue, fall within a broader class of counterfactuals known as counterconventionals. Existing semantics for counterconventionals, 459–482 ) and, 1–27 ) allow counterfactuals to shift the interpretation of predicates and relations. We extend these theories to counterlogicals by allowing counterfactuals to shift the interpretation of logical vocabulary. This yields an elegant semantics for counterlogicals that avoids problems with the usual impossible worlds semantics. We conclude by showing how this approach (...) can be extended to counterpossibles more generally. (shrink)

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

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

This paper is concerned with counterfactual logic and its implications for the modal status of mathematical claims. It is most directly a response to an ambitious program by Yli-Vakkuri and Hawthorne (2018), who seek to establish that mathematics is committed to its own necessity. I claim that their argument fails to establish this result for two reasons. First, their assumptions force our hand on a controversial debate within counterfactual logic. In particular, they license counterfactual strengthening— the inference from ‘If A (...) were true then C would be true’ to ‘If A and B were true then C would be true’—which many reject. Second, the system they develop is provably equivalent to appending Deduction Theorem to a T modal logic. It is unsurprising that the combination of Deduction Theorem with T results in necessitation; indeed, it is precisely for this reason that many logicians reject Deduction Theorem in modal contexts. If Deduction Theorem is unacceptable for modal logic, it cannot be assumed to derive the necessity of mathematics. (shrink)

A great deal has been written about 'would' counterfactuals of causal dependence. Comparatively little has been said regarding 'would' counterfactuals of ontological dependence. The standard Lewis-Stalnaker semantics is inadequate for handling such counterfactuals. That's because some of these counterfactuals are counterpossibles, and the standard Lewis-Stalnaker semantics trivializes for counterpossibles. Fortunately, there is a straightforward extension of the Lewis-Stalnaker semantics available that handles counterpossibles: simply take Lewis's closeness relation that orders possible worlds and unleash it across impossible worlds. To apply the (...) extended semantics, an account of the closeness relation for counterpossibles is needed. In this paper I offer a strategy for evaluating 'would' counterfactuals of ontological dependence that understands closeness between worlds in terms of the metaphysical concept of grounding. (shrink)

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

Fictionalists maintain that possible worlds, numbers or composite objects exist only according to theories which are useful but false. Hale, Divers and Woodward have provided arguments which threaten to show that fictionalists must be prepared to regard the theories in question as contingently, rather than necessarily, false. If warranted, this conclusion would significantly limit the appeal of the fictionalist strategy rendering it unavailable to anyone antecedently convinced that mathematics and metaphysics concern non-contingent matters. I try to show that their arguments (...) can be resisted by developing and defending a strategy suggested by Rosen, Nolan and Dorr, according to which the fiction-operator is to be analysed in terms of a counterfactual that admits of non-trival truth-values even when the antecedent is impossible. (shrink)

In this paper, we argue that a distinction ought to be drawn between two ways in which a given world might be logically impossible. First, a world w might be impossible because the laws that hold at w are different from those that hold at some other world (say the actual world). Second, a world w might be impossible because the laws of logic that hold in some world (say the actual world) are violated at w. We develop a novel (...) way of modelling logical possibility that makes room for both kinds of logical impossibility. Doing so has interesting implications for the relationship between logical possibility and other kinds of possibility (for example, metaphysical possibility) and implications for the necessity or contingency of the laws of logic. (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)

Tim travels back in time and tries to kill his grandfather before his father was born. Tim fails. But why? Lewis's response was to cite "coincidences": Tim is the unlucky subject of gun jammings, banana peels, sudden changes of heart, and so on. A number of challenges have been raised against Lewis's response. The latest of these focuses on explanation. This paper diagnoses the source of this new disgruntlement and offers an alternative explanation for Tim's failure, one that Lewis would (...) not have liked. The explanation is an obvious one but controversial, so it is defended against all the objections that can be mustered. (shrink)

Conditional logics were originally developed for the purpose of modeling intuitively correct modes of reasoning involving conditional—especially counterfactual—expressions in natural language. While the debate over the logic of conditionals is as old as propositional logic, it was the development of worlds semantics for modal logic in the past century that catalyzed the rapid maturation of the field. Moreover, like modal logic, conditional logic has subsequently found a wide array of uses, from the traditional (e.g. counterfactuals) to the exotic (e.g. conditional (...) obligation). Despite the close connections between conditional and modal logic, both the technical development and philosophical exploitation of the latter has outstripped that of the former, with the result that noticeable lacunae exist in the literature on conditional logic. My dissertation addresses a number of these underdeveloped frontiers, producing new technical insights and philosophical applications. -/- I contribute to the solution of a problem posed by Priest of finding sound and complete labeled tableaux for systems of conditional logic from Lewis' V-family. To develop these tableaux, I draw on previous work on labeled tableaux for modal and conditional logic; errors and shortcomings in recent work on this problem are identified and corrected. While modal logic has by now been thoroughly studied in non-classical contexts, e.g. intuitionistic and relevant logic, the literature on conditional logic is still overwhelmingly classical. Another contribution of my dissertation is a thorough analysis of intuitionistic conditional logic, in which I utilize both algebraic and worlds semantics, and investigate how several novel embedding results might shed light on the philosophical interpretation of both intuitionistic logic and conditional logic extensions thereof. -/- My dissertation examines deontic and connexive conditional logic as well as the underappreciated history of connexive notions in the analysis of conditional obligation. The possibility of interpreting deontic modal logics in such systems (via embedding results) serves as an important theoretical guide. A philosophically motivated proscription on impossible obligations is shown to correspond to, and justify, certain (weak) connexive theses. Finally, I contribute to the intensifying debate over counterpossibles, counterfactuals with impossible antecedents, and take—in contrast to Lewis and Williamson—a non-vacuous line. Thus, in my view, a counterpossible like "If there had been a counterexample to the law of the excluded middle, Brouwer would not have been vindicated" is false, not (vacuously) true, although it has an impossible antecedent. I exploit impossible (non-normal) worlds—originally developed to model non-normal modal logics—to provide non-vacuous semantics for counterpossibles. I buttress the case for non-vacuous semantics by making recourse to both novel technical results and theoretical considerations. (shrink)

During the last quarter of a century, a number of philosophers have become attracted to the idea that necessity can be analyzed in terms of a hyperintensional notion of essence. One challenge for proponents of this view is to give a plausible explanation of our modal knowledge. The goal of this paper is to develop a strategy for meeting this challenge. My approach rests on an account of modality that I developed in previous work, and which analyzes modal properties in (...) terms of the notion of a metaphysical law. I discuss what information about the metaphysical laws is required for modal knowledge. Moreover, I describe two ways in which we might be able to acquire this information. The first way employs inference to the best explanation. The metaphysical laws, including the essential truths, play a crucial role in causal and grounding explanations and we can gain knowledge of these laws by abductive inferences from facts of which we have perceptual or a priori knowledge. The second way of gaining information about the metaphysical laws rests on knowledge that is partly constitutive of competence with the concepts that are needed to express the relevant information. Finally, I consider how knowledge of the metaphysical laws can be used to establish modal claims, paying special attention to the much-discussed connection between conceiving and possibility. (shrink)

A counteridentical is a counterfactual with an identity statement in the antecedent. While counteridenticals generally seem non-trivial, most semantic theories for counterfactuals, when combined with the necessity of identity and distinctness, attribute vacuous truth conditions to such counterfactuals. In light of this, one could try to save the orthodox theories either by appealing to pragmatics or by denying that the antecedents of alleged counteridenticals really contain identity claims. Or one could reject the orthodox theory of counterfactuals in favor of a (...) hyperintensional semantics that accommodates non-trivial counterpossibles. In this paper, I argue that none of these approaches can account for all the peculiar features of counteridenticals. Instead, I propose a modified version of Lewis’s counterpart theory, which rejects the necessity of identity, and show that it can explain all the peculiar features of counteridenticals in a satisfactory way. I conclude by defending the plausibility of contingent identity from objections. (shrink)

Composition as Identity is the view that an object is identical to its parts taken collectively. I elaborate and defend a theory based on this idea: composition is a kind of identity. Since this claim is best presented within a plural logic, I develop a formal system of plural logic. The principles of this system differ from the standard views on plural logic because one of my central claims is that identity is a relation which comes in a variety of (...) forms and only one of them obeys substitution unrestrictedly. I justify this departure from orthodoxy by showing some problems which result from attempts to avoid inconsistencies within plural logic by means of postulating other non-singular terms besides plural terms. Thereby, some of the main criticisms raised against Composition as Identity can be addressed. Further, I argue that the way objects are arranged is relevant with respect to the question which object they compose, i.e. to which object they are identical to. This helps to meet a second group of arguments against Composition as Identity. These arguments aim to show that identifying composite objects on the basis of the identity of their parts entails, contrary to our common sense view, that rearranging the parts of a composite object does not leave us with a different object. Moreover, it allows us to carve out the intensional aspects of Composition as Identity and to defend mereological universalism, the claim that any objects compose some object. Much of the pressure put on the latter view can be avoided by distinguishing the question whether some objects compose an object from the question what object they compose. Eventually, I conclude that Composition as Identity is a coherent and plausible position, as long as we take identity to be a more complex relation than commonly assumed. (shrink)

A counterpossible conditional is a counterfactual with an impossible antecedent. Common sense delivers the view that some such conditionals are true, and some are false. In recent publications, Timothy Williamson has defended the view that all are true. In this paper we defend the common sense view against Williamson’s objections.

Possible worlds have found many applications in contemporary philosophy: from theories of possibility and necessity, to accounts of conditionals, to theories of mental and linguistic content, to understanding supervenience relationships, to theories of properties and propositions, among many other applications. Almost as soon as possible worlds started to be used in formal theories in logic, philosophy of language, philosophy of mind, metaphysics, and elsewhere, theorists started to wonder whether impossible worlds should be postulated as well. In many applications, possible worlds (...) face limitations that can be dealt with through postulating impossible worlds as well. This chapter examines some of the uses of impossible worlds, and philosophical challenges theories of impossible worlds face. (shrink)

Boris Kment takes a new approach to the study of modality that emphasises the origin of modal notions in everyday thought. He argues that the concepts of necessity and possibility originate in counterfactual reasoning, which allows us to investigate explanatory connections. Contrary to accepted views, explanation is more fundamental than modality.

According to modal realism formulated by David Lewis, there exist concrete possible worlds. As he argues the hypothesis is serviceable and that is a sufficient reason to think it is true. On the other side, Lewis does not consider the pragmatic reasons to be conclusive. He admits that the theoretical benefits of modal realism can be illusory or that the acceptance of controversial ontology for the sake of theoretical benefits might be misguided in the first place. In the first part (...) of the paper, I consider the worry and conclude that although the worry is justified, there can be an epistemological justification for his theory. Next, I outline the so-called indispensability argument for the legitimacy of mathematical Platonism. Finally, I argue that the argument, if accepted, can be applied to metaphysics in general, to the arguing for the existence of concrete (im)possibilia in particular. (shrink)

To solve the problem of counterpossibles, many philosophers have been arguing that one needs to invoke impossible worlds. This extension of the ontology of modality should save the analysis of counterfactuals from being insensitive to the problem of counterpossibles. Since theories of impossible worlds are extensions of original accounts of modalities, it is worth stressing that proper analyses of counterpossibles should not weaken the latter.In this paper I argue that these theories of impossible wolrds, which are based on D. Lewis' (...) modal realism - Extended Modal Realism and Hybrid Modal Realism - might be consider as either an unattractive for modal realists or insufficient for analyzing counterpossibles. (shrink)

World semantics for relevant logics include so-called non-normal or impossible worlds providing model-theoretic counterexamples to such irrelevant entailments as (A ∧ ¬A) → B, A → (B∨¬B), or A → (B → B). Some well-known views interpret non-normal worlds as information states. If so, they can plausibly model our ability of conceiving or representing logical impossibilities. The phenomenon is explored by combining a formal setting with philosophical discussion. I take Priest’s basic relevant logic N4 and extend it, on the syntactic (...) side, with a representation operator, (R), and on the semantic side, with particularly anarchic non-normal worlds. This combination easily invalidates unwelcome “logical omniscience” in- ferences of standard epistemic logic, such as belief-consistency and closure under entailment. Some open questions are then raised on the best strategies to regiment (R) in order to express more vertebrate kinds of conceivability. (shrink)

Accounts of propositions as sets of possible worlds have been criticized for conflating distinct impossible propositions. In response to this problem, some have proposed to introduce impossible worlds to represent distinct impossibilities, endorsing the thesis that impossible worlds must be of the same kind; this has been called the parity thesis. I show that this thesis faces problems, and propose a hybrid account which rejects it: possible worlds are taken as concrete Lewisian worlds, and impossibilities are represented as set-theoretic constructions (...) out of them. This hybrid account (1) distinguishes many intuitively distinct impossible propositions; (2) identifies impossible propositions with extensional constructions; (3) avoids resorting to primitive modality, at least so far as Lewisian modal realism does. (shrink)

This chapter focuses on alternative logics. It discusses a hierarchy of logical reform. It presents case studies that illustrate particular aspects of the logical revisionism discussed in the chapter. The first case study is of intuitionistic logic. The second case study turns to quantum logic, a system proposed on empirical grounds as a resolution of the antinomies of quantum mechanics. The third case study is concerned with systems of relevance logic, which have been the subject of an especially detailed reform (...) program. Finally, the fourth case study is paraconsistent logic, perhaps the most controversial of serious proposals. (shrink)

The two main features of this thesis are (i) an account of contextualized (context indexed) counterfactuals, and (ii) a non-vacuist account of counterpossibles. Experience tells us that the truth of the counterfactual is contingent on what is meant by the antecedent, which in turn rests on what context is assumed to underlie its reading (intended meaning). On most conditional analyses, only the world of evaluation and the antecedent determine which worlds are relevant to determining the truth of a conditional, and (...) consequently what its truth value is. But that results in the underlying context being fixed, when evaluating distinct counterfactuals with the same antecedent on any single occasion, even when the context underlying the evaluation of each counterfactual may vary. Alternative approaches go some of the way toward resolving this inadequacy by appealing to a difference in the consequents associated with counterfactuals with the same antecedent. That is, in addition to the world of evaluation and the antecedent, the consequent contributes to the counterfactual’s evaluation. But these alternative approaches nevertheless give a single, determinate truth value to any single conditional (same antecedent and consequent), despite the possibility that this value may vary with context. My reply to these shortcomings (chapter 4) takes the form of an analysis of a language that makes appropriate explicit access to the intended context available. That is, I give an account of a contextualized counterfactual of the form ‘In context C: If it were the case that … , then it would be the case that …’. Although my proposal is largely based on Lewis’ (1973, 1981) analyses of counterfactuals (the logic VW and its ordering semantics), it does not require that any particular logic of counterfactuals should serve as its basis – rather, it is a general prescription for contextualizing a conditional language. The advantage of working with ordering semantics stems from existing results (which I apply and develop) concerning the properties of ordering frames that facilitate fashioning and implementing a notion of contextual information preservation. Analyses of counterfactuals, such as Lewis’ (1973), that cash out the truth of counterfactuals in terms of the corresponding material conditional’s truth at possible worlds result in all counterpossibles being evaluated as vacuously true. This is because antecedents of counterpossibles are not true at any possible world, by definition. Such vacuist analyses have already been identified and challenged by a number of authors. I join this critical front, and drawing on existing proposals, I develop an impossible world semantics for a non-vacuist account of counterpossibles (chapter 5), by modifying the same system and semantics that serve the basis of the contextualized account offered in chapter 4, i.e. Lewis’ (1986) ordering semantics for the logic VW. I critically evaluate the advantages and disadvantages of key conditions on the ordering of worlds on the extended domain and show that there is a sense in which all of Lewis’ analysis of mere counterfactuals can be preserved, whilst offering an analysis of counterpossibles that meets our intuitions. The first part of chapter 1 consists of an outline of the usefulness of impossible worlds across philosophical analyses and logic. That outline in conjunction with a critical evaluation of Lewis’ logical arguments in favour of vacuism in chapter 2, and his marvellous mountain argument against impossible worlds in chapter 3, serves to motivate and justify the impossible world semantics for counterpossibles proposed in chapter 5. The second part of chapter 1 discusses the limitations that various conditional logics face when tasked to give an adequate treatment of the influence of context. That introductory discussion in conjunction with an overview of conditional logics and their various semantics in chapter 2 – which includes an in-depth exposition of Stalnaker-Lewis similarity semantics for counterfactuals – serves as the motivation and conceptual basis for the contextualized account of counterfactuals proposed in chapter 4. (shrink)

The traditional Lewis–Stalnaker semantics treats all counterfactuals with an impossible antecedent as trivially or vacuously true. Many have regarded this as a serious defect of the semantics. For intuitively, it seems, counterfactuals with impossible antecedents—counterpossibles—can be non-trivially true and non-trivially false. Whereas the counterpossible "If Hobbes had squared the circle, then the mathematical community at the time would have been surprised" seems true, "If Hobbes had squared the circle, then sick children in the mountains of Afghanistan at the time would (...) have been thrilled" seems false. Many have proposed to extend the Lewis–Stalnaker semantics with impossible worlds to make room for a non-trivial or non-vacuous treatment of counterpossibles. Roughly, on the extended Lewis–Stalnaker semantics, we evaluate a counterfactual of the form "If A had been true, then C would have been true" by going to closest world—whether possible or impossible—in which A is true and check whether C is also true in that world. If the answer is "yes", the counterfactual is true; otherwise it is false. Since there are impossible worlds in which the mathematically impossible happens, there are impossible worlds in which Hobbes manages to square the circle. And intuitively, in the closest such impossible worlds, sick children in the mountains of Afghanistan are not thrilled—they remain sick and unmoved by the mathematical developments in Europe. If so, the counterpossible "If Hobbes had squared the circle, then sick children in the mountains of Afghanistan at the time would have been thrilled" comes out false, as desired. In this paper, I will critically investigate the extended Lewis–Stalnaker semantics for counterpossibles. I will argue that the standard version of the extended semantics, in which impossible worlds correspond to maximal, logically inconsistent entities, fails to give the correct semantic verdicts for many counterpossibles. In light of the negative arguments, I will then outline a new version of the extended Lewis–Stalnaker semantics that can avoid these problems. (shrink)

Several theorists have been attracted to the idea that in order to account for counterpossibles, i.e. counterfactuals with impossible antecedents, we must appeal to impossible worlds. However, few have attempted to provide a detailed impossible worlds account of counterpossibles. Berit Brogaard and Joe Salerno’s ‘Remarks on Counterpossibles’ is one of the few attempts to fill in this theoretical gap. In this article, I critically examine their account. I prove a number of unanticipated implications of their account that end up implying (...) a counterintuitive result. I then examine a suggested revision and point out a surprising implication of the revision. (shrink)

Modal Meinongianism is the most recent neo-Meinongian theory. Its main innovation consists in a Comprehension Principle which, unlike other neo-Meinongian approaches, seemingly avoids limitations on the properties that can characterize objects. However, in a recent paper A. Sauchelli has raised an objection against modal Meinongianism, to the effect that properties and relations involving reference to worlds at which they are instantiated, and specifically to the actual world or parts thereof, force a limitation of its Comprehension Principle. The theory, thus, is (...) no better off than other neo-Meinongian views in this respect. This article shows that the notion part of actuality in Sauchelli’s paper is ambiguous from the modal Meinongian viewpoint. Accordingly, his objection splits into two, depending on its disambiguation. It is then explained how neither interpretation forces modal Meinongianism to limit its Comprehension Principle. A third problem connected to Sauchelli’s objection is addressed: how to account for our felicitously referring to nonexistent objects via descriptions that embed reference to properties not actually instantiated by the objects. Overall, the replies to these difficulties provide good insights into the workings of the new Meinongian theory. (shrink)

A world is trivial if it makes every proposition true all at once. Such a world is impossible, an absurdity. Our world, we hope, is not an absurdity. It is important, nevertheless, for semantic and metaphysical theories that we be able to reason cogently about absurdities—if only to see that they are absurd. In this note we describe methods for ‘observing’ absurd objects like the trivial world without falling in to incoherence, using some basic techniques from modal logic. The goal (...) is to begin to locate the trivial world’s relative position in modal space; the outcome is that the less we assume about relative possibility, the more detail we can discern at the edge of reason. (shrink)

Several theists, including Linda Zagzebski, have claimed that theism is somehow committed to nonvacuism about counterpossibles. Even though Zagzebski herself has rejected vacuism, she has offered an argument in favour of it, which Edward Wierenga has defended as providing strong support for vacuism that is independent of the orthodox semantics for counterfactuals, mainly developed by David Lewis and Robert Stalnaker. In this paper I show that argument to be sound only relative to the orthodox semantics, which entails vacuism, and give (...) an example of a semantics for counterfactuals countenancing impossible worlds for which it fails. (shrink)

The aim of this paper is to point out the limitations of Hybrid Modal Realism as a general theory of modalities, i.e. one that gives an analysis of possibilities as well as impossibilities. To do so we will firstly sketch the goals that theories of impossible worlds should achieve. Secondly we will briefly present the two most popular accounts of impossibilities—Extended Modal Realism and Extended Ersatzism. We will focus on the aspects of both theories which became the motivation for a (...) hybrid view. In the last part of this paper we will analyze Francesco Berto’s Hybrid Modal Realism and present reasons why this account is an insufficient tool for analyzing impossibilities. (shrink)

Enhanced indispensability arguments seek to establish realism about mathematics based on the explanatory role that mathematics plays in science. Idealizations pose a problem for such arguments. Idealizations, in a similar way to mathematics, boost the explanatory credentials of our best scientific theories. And yet, idealizations are not the sorts of things that are supposed to attract a realist attitude. I argue that the explanatory symmetry between idealizations and mathematics can potentially be broken as follows: although idealizations contribute to the explanatory (...) power of our best theories, they do not carry the explanatory load. It is at least open however that mathematics is load-carrying. To give this idea substance, I offer an analysis of what it is to carry the explanatory load in terms of difference-making and counterfactuals. (shrink)

Counterpossibles are counterfactuals with necessarily false antecedents. The problem of counterpossibles is easiest to state within the "nearest possible world" framework for counterfactuals: on this approach, a counterfactual is true (roughly) when the consequent is true in the "nearest" possible world where the antecedent is true. Since counterpossibles have necessarily false antecedents, there is no possible world where the antecedent is true. On the approach favored by Lewis, Stalnaker, Williamson, and others, counterpossibles are all trivially true. I introduce several arguments (...) against the trivial approach. First, it is counter-intuitive to think that all counterpossibles are true. Second, if all counterpossibles were true, then we could not make sense of their use in logical, philosophical, or mathematical arguments. Making sense of the role of sentences like these requires that they not have vacuous truth conditions. The account of counterpossibles I ultimately favor is an extension of the "nearest possible world" semantics discussed above. The Lewis/Stalnaker account is supplemented with the addition of impossible worlds, and the nearness metric is extended to range over these impossible worlds as well as possible worlds. Thus, a counterfactual is true when its consequent is true in the nearest world where the antecedent is true; if the counterfactual's antecedent is impossible, then the nearest world in question will be an impossible world. Once the framework of impossible worlds and similarity is in place, we can put it to use in the analysis of other philosophical phenomena. I examine one proposal that makes use of a theory of counterpossibles to develop an analysis of the notion of metaphysical dependence. (shrink)

Hans Vaihinger tried to explain how mathematical theories can be useful without being true or even coherent, arguing that mathematicians employ a special kind of fictional or "as if" reasoning that reliably extracts truths from absurdities. Moritz Pasch insisted that Vaihinger was wrong about the incoherence of core mathematical theories, but right about the utility of fictional discourse in mathematics. This essay explores this area of agreement between Pasch and Vaihinger. Pasch's position raises questions about structuralist interpretations of mathematics.

Brogaard and Salerno (2005, Nous, 39, 123–139) have argued that antirealism resting on a counterfactual analysis of truth is flawed because it commits a conditional fallacy by entailing the absurdity that there is necessarily an epistemic agent. Brogaard and Salerno's argument relies on a formal proof built upon the criticism of two parallel proofs given by Plantinga (1982, "Proceedings and Addresses of the American Philosophical Association", 56, 47–70) and Rea (2000, "Nous," 34, 291–301). If this argument were conclusive, antirealism resting (...) on a counterfactual analysis of truth should probably be abandoned. I argue however that the antirealist is not committed to a controversial reading of counterfactuals presupposed in Brogaard and Salerno's proof, and that the antirealist can in principle adopt an alternative reading that makes this proof invalid. My conclusion is that no reductio of antirealism resting on a counterfactual analysis of truth has yet been provided. (shrink)

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

Mathematics appears to play a genuine explanatory role in science. But how do mathematical explanations work? Recently, a counterfactual approach to mathematical explanation has been suggested. I argue that such a view fails to differentiate the explanatory uses of mathematics within science from the non-explanatory uses. I go on to offer a solution to this problem by combining elements of the counterfactual theory of explanation with elements of a unification theory of explanation. The result is a theory according to which (...) a counterfactual is explanatory when it is an instance of a generalized counterfactual scheme. (shrink)

Even if you were the last person on Earth, you should not cut down all the trees—or so goes the Last Man thought experiment, which has been taken to show that nature has intrinsic value. But ‘Last Man’ is caught on a dilemma. If Last Man is too far inside the anthropocentric circle, so to speak, his actions cannot be indicative of intrinsic value. If Last Man is cast too far outside the anthropocentric circle, though, then value terms lose their (...) cogency. The experiment must satisfy conditions in a seemingly impossible ‘goldilocks’ zone. To this end I propose a new version, the Ultramodal Last Man, which appeals to Routley's work in metaphysics and non-classical logic. With this ‘Last Last Man’, I argue that the Local/Global dilemma is resolved: impossible equations balance in ultramodal space. For defenders and critics alike, this helps to clarify the demands of intrinsic value, and renews a role for non-standard logics in value theory. (shrink)

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

In a recent issue of this journal, Berit Brogaard and Joe Salerno presented a counterfactual theory of essence, designed to get around Kit Fine’s influential objections to the standard modal account of essence. I argue that Brogaard and Salerno’s theory does not avoid Fine’s objections. Then I propose a sequence of variations on their theory, and argue that none of them succeed either.

There are various entities which, if they exist, would be candidates for necessary beings: God, propositions, relations, properties, states of affairs, possible worlds, and numbers, among others. Note that the first entity in this list is a concrete entity , while the rest are abstract entities. Many interesting philosophical questions arise when one inquires about necessary beings: What makes it the case that they exist necessarily? Is there a grounding for their necessary existence? Do some of them depend on others? (...) If so, how might one understand the dependence relation? (shrink)

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