Three matchsticks could be arranged on a table so as to form a triangle. Were you to place a lump of sugar into a cup of hot tea it would dissolve. You might never have been born. Such assertions express modal judgements and, as we suppose, truths about the universe. But if modal judgements can be true, what features of the universe make them true? Thanks largely to the efforts of David Lewis, philosophers nowadays find it natural to appeal to (...) alternative worlds to explicate modality. Something is possible if it occurs in at least one alternative world. A subjunctive conditional is true if, in the ‘nearest’ worlds in which its antecedent is true, its consequent is true. This paper includes a discussion of Lewis's ‘Humean’ ontology, the role alternative worlds play in Lewis's account of modality, and an Aristotelian alternative. (shrink)

This paper is about two controversial inference-patterns involving counterfactual or subjunctive conditionals. Given a plausible assumption about the truth-conditions of counterfactuals, it is shown that one can't go wrong in applying hypothetical syllogism (i.e., transitivity) so long as the set of worlds relevant for the conclusion is a subset of the sets of worlds relevant for the premises. It is also shown that one can't go wrong in applying antecedent strengthening so long as the set of worlds relevant for the (...) conclusion is a subset of that for the premise. These results are then adapted to Lewis's theory of counterfactuals. (shrink)

Gentzen’s and Jaśkowski’s formulations of natural deduction are logically equivalent in the normal sense of those words. However, Gentzen’s formulation more straightforwardly lends itself both to a normalization theorem and to a theory of “meaning” for connectives . The present paper investigates cases where Jaskowski’s formulation seems better suited. These cases range from the phenomenology and epistemology of proof construction to the ways to incorporate novel logical connectives into the language. We close with a demonstration of this latter aspect by (...) considering a Sheffer function for intuitionistic logic. (shrink)

We investigate, in a logical setting, the expressivist proposal that assertion primarily functions to express and coordinate doxastic states and that ‘might’ fundamentally expresses lack of belief. We provide a formal model of an agent’s doxastic state and novel assertability conditions for an associated formal language. We thereby prove that an arbitrary assertion always succeeds in expressing a well-defined doxastic state, and propose a fully general and intuitive update operation as a model of an agent coming to accept an arbitrary (...) assertion. Leaving a comprehensive philosophical and linguistic defense for elsewhere, we explore technical aspects of our framework, providing, for instance, a complete logic of assertability and reduction axioms for the novel update operations related to our proposal. Finally, we contrast our work with related proposals in the logic literature. (shrink)

Do the laws of nature supervene on ordinary, non-nomic matters of fact? Lange's criticism of Humean supervenience (HS) plays a key role in his account of natural laws. Though we are sympathetic to his account, we remain unconvinced by his criticism. We focus on his thought experiment involving a world containing nothing but a lone proton and argue that it does not cast sufficient doubt on HS. In addition, we express some concern about locating the lawmakers in an ontology of (...) primitive subjunctive facts and suggest that a 'mixed' metaphysics to the lawmaker question might be attractive. (shrink)

Peter van Inwagen’s original formulation of the Consequence Argument employed an inference rule that was shown to be invalid given van Inwagen’s interpretation of the modal operators in the Consequence Argument. In response, van Inwagen recently suggested a revised interpretation of his modal operators. Following up on a debate between Blum and Schnieder, I analyze van Inwagen’s revised interpretation in terms of explanatory notions and I argue that van Inwagen faces a dilemma: he either has to admit that beta entails (...) fatalism, or he has to admit that a new counterexample invalidates beta. Either way, it seems reasonable to reject beta and to conclude that the Consequence Argument fails. Further, I argue that Widerker’s well-known substitute for rule beta is faced with a similar dilemma and, therefore, is bound to fail as well. I conclude that, if the modal operators are interpreted in terms of explanatory notions, neither van Inwagen’s nor Widerker’s rule of inference turns out to be valid. (shrink)

It is widely held, even among nonnaturalists, that the moral supervenes on the natural. This is to say that for any two metaphysically possible worlds w and w′, and for any entities x in w and y in w′, any isomorphism between x and y that preserves the natural properties preserves the moral properties. In this paper, I put forward a conceivability argument against moral supervenience, assuming non-naturalism. First, I argue that though utilitarianism may be true, and the trolley driver (...) is permitted to kill the one to save the five, there is a conceivable scenario that is just like our world in all natural respects, yet at which deontology is true, and the trolly driver is not permitted to kill the one to save the five. I then argue that in the special case of morality, it is possible to infer from the conceivability of such a scenario to its possibility. It follows that supervenience is false. (shrink)

Carl Craver’s mutual manipulability criterion aims to pick out all and only those components of a mechanism that are constitutively relevant with respect to a given phenomenon. In devising his criterion, Craver has made heavy use of the notion of an ideal intervention, which is a tool for illuminating causal concepts in causal models. The problem is that typical mechanistic models contain non-causal relations in addition to causal ones, which is why the standard concept of an ideal intervention is not (...) appropriate in that context. In this paper, I first show how top-down interventions in mechanistic models violate the conditions for ideal interventions. Drawing from recent developments in the causal exclusion literature, I then argue for extended interventionism better suited for the purposes of the new mechanist. Finally, I show why adopting such an extended account leads to the surprising consequence that an important subset of mechanistic interlevel relations comes out as causal. (shrink)

As is well-known, David Lewis’ counterfactual theory of causation is subject to serious counterexamples in ‘exceptional’ cases. What has not received due attention in the literature so far is that Lewis’ theory fails to provide necessary and sufficient conditions for causation in ‘ordinary’ cases, too. In particular, the theory suffers from the ‘problem of large causes’. It is argued that this problem may be fixed by imposing a minimization constraint, whilst this solution brings along substantial costs as well. In particular, (...) a precise formulation of minimization requires defining an ‘essential part of an event’ and/or an ‘essential subevent’. Although the possibility of such a definition is ultimately left open, some doubts are raised on whether the counterfactualists’ resources are fit for this purpose, and whether the challenge can be met without substantially departing from Lewis’ intention, which was to provide a reductive account of causation. (shrink)

Counterfactual conditionals have been appealed to in various ways to show how the mind can be causally efficacious. However, it has often been overestimated what the truth of certain counterfactuals actually indicates about causation. The paper first identifies four approaches that seem to commit precisely this mistake. The arguments discussed involve erroneous assumptions about the connection of counterfactual dependence and genuine causation, as well as a disregard of the requisite evaluation conditions of counterfactuals. In a second step, the paper uses (...) the insights of the foregoing analyses to formulate a set of counterfactuals-based conditions that are characterized as sufficient to establish singular causal claims. The paper concludes that there are ample reasons to believe that some mental events satisfy all these conditions with respect to certain further events and, hence, that mental events sometimes are causes. (shrink)

Every account of moral responsibility has conditions that distinguish between the consequences, actions, or traits that warrant praise or blame and those that do not. One intuitive condition is that praiseworthiness and blameworthiness cannot be affected by luck, that is, by factors beyond the agent’s control. Several philosophers build their accounts of moral responsibility on this luck-free condition, and we may call their views Luck-Free Moral Responsibility (LFMR). I offer moral and metaphysical arguments against LFMR. First, I maintain that considerations (...) of fairness that often motivate LFMR do not require its adoption. Second, I contend that LFMR has counterintuitive implications for the nature and scope of praiseworthiness and blameworthiness and that LFMR is vulnerable to a reductio ad absurdum. Third, I state some common reasons for thinking that LFMR’s commitment to true counterfactuals of libertarian freedom is problematic, and I argue that if there are no such true counterfactuals and if LFMR is true, a person is praiseworthy and blameworthy at most for a tiny fraction of her actions. Fourth, I argue that proponents of LFMR cannot escape this skeptical cost by appealing to a different kind of counterfactual of freedom. Fifth, I develop an anti-skeptical motivation to affirm the idea that luck can affect moral responsibility. (shrink)

Setting off from a familiar distinction in the philosophy of properties, this paper introduces a tripartite distinction between sparse causation, abundant causation and mere abundant causation. It is argued that the contrast between sparse and mere abundant causation allows us to resolve notorious philosophical issues having to do with negative causation, causation involving institutional properties and physical macro-causation in a way that is unified, intuitive and in line with scientific doctrines and practices.

Owing to the problem of inescapable clashes, epistemic accounts of might-counterfactuals have recently gained traction. In a different vein, the might argument against conditional excluded middle has rendered the latter a contentious principle to incorporate into a logic for conditionals. The aim of this paper is to rescue both ontic mightcounterfactuals and conditional excluded middle from these disparate debates and show them to be compatible. I argue that the antecedent of a might-counterfactual is semantically underdetermined with respect to the counterfactual (...) worlds it selects for evaluation. This explains how might-counterfactuals select multiple counterfactual worlds as they apparently do and why their utterance confers a weaker alethic commitment on the speaker than does that of a would-counterfactual, as well as provides an ontic solution to inescapable clashes. I briefly sketch how the semantic underdetermination and truth conditions of mightcounterfactuals are regulated by conversational context. (shrink)

Humean metaphysics is characterized by a rejection of necessary connections between distinct existences. Dispositionalists claim that there are basic causal powers. The existence of such properties is widely held to be incompatible with the Humean rejection of necessary connections. In this paper I present a novel theory of causal powers that vindicates the dispositionalist claim that causal powers are basic, without embracing brute necessary connections. The key assumptions of the theory are that there are natural types of causal processes, and (...) that manifestations of powers are identified with certain kinds of causal processes. From these assumptions, the modal features of powers are explained in terms of internal relations between powers themselves and the process-types in which powers are manifested. (shrink)

Many powers metaphysicians postulate both active and passive powers, understood as distinct kinds of intrinsic causal properties of objects. I argue that the category of passive power is superfluous. I also offer a diagnosis of how philosophers are misled to postulate passive powers.

The problem of the source of necessity is the problem of explaining what makes necessary truths necessarily true. Simon Blackburn has presented a dilemma intended to show that any reductive, realist account of the source of necessity is bound to fail. Although Blackburn's dilemma faces serious problems, reflection on the form of explanations of necessities reveals that a revised dilemma succeeds in defeating any reductive account of the source of necessity. The lesson is that necessity is metaphysically primitive and irreducible.

Structural equations have become increasingly popular in recent years as tools for understanding causation. But standard structural equations approaches to causation face deep problems. The most philosophically interesting of these consists in their failure to incorporate a distinction between default states of an object or system, and deviations therefrom. Exploring this problem, and how to fix it, helps to illuminate the central role this distinction plays in our causal thinking.

In his (1981) paper, Stalnaker has revised his old theory of conditionals and has given the revision an interesting defense. Indeed, Stalnaker shows that this new theory meets the standard objections put to the old. However, I argue that the revision runs into difficulties in the context of quantum mechanics: If Stalnaker's theory of the conditional is assumed, then from plausible assumptions certain Bell-like conflicts with experiment can be derived. This result, I go on to argue, is a good reason (...) to reject Stalnaker's theory, at least for the quantum mechanical context. (shrink)

This paper discusses some serious difficulties for what we shall call the standard account of various kinds of relative necessity, according to which any given kind of relative necessity may be defined by a strict conditional - necessarily, if C then p - where C is a suitable constant proposition, such as a conjunction of physical laws. We argue, with the help of Humberstone, that the standard account has several unpalatable consequences. We argue that Humberstone’s alternative account has certain disadvantages, (...) and offer another - considerably simpler - solution. (shrink)

Many physics parameters need to be precisely set in order for life to exist in our universe. Or so says the fine-tuning argument. That the actual values are just right for life, the argument concludes, is a fact in need of deep physical or metaphysical explanation. Perhaps, the story goes, the parameter values settings are a matter of divine design. Or perhaps they result from a selection effect given our place in the “multiverse”. However, a very different approach to the (...) problem is possible. One may argue that the fine-tuning is an artefact of theorizing: it is explicable as the precise balancing act necessary for compact, systematic representation in science. Given such an explanation and drawing on earlier work from a number of sources, this essay shows how fine-tuning is best understood as evidence for a non-governing conception of laws rather than for design or multiverse. (shrink)

Judea Pearl (2000) was the first to propose a definition of actual causation using causal models. A number of authors have suggested that an adequate account of actual causation must appeal not only to causal structure but also to considerations of normality. In Halpern and Hitchcock (2011), we offer a definition of actual causation using extended causal models, which include information about both causal structure and normality. Extended causal models are potentially very complex. In this study, we show how it (...) is possible to achieve a compact representation of extended causal models. (shrink)

This paper evaluates the recent trend to renounce the similarity approach to counterfactuals in favor of the older metalinguistic theory. I try to show, first, that the metalinguistic theory cannot work in anything like its present form (the form described by many in the last decade who claim to be able to solve Goodman''s old problem of cotenability). This is so, I argue, because the metalinguistic theory requires laws of nature of a sort that we (apparently) do not have: current (...) physical theory cannot underwrite the metalinguistic theory. Second, I draw from the first point a motivation for the similarity approach, a motivation based on theoretical considerations apart from the standard ones of pretheoretical intuition. (shrink)

We propose new definitions of (causal) explanation, using structural equations to model counterfactuals. The definition is based on the notion of actual cause, as defined and motivated in a companion article. Essentially, an explanation is a fact that is not known for certain but, if found to be true, would constitute an actual cause of the fact to be explained, regardless of the agent's initial uncertainty. We show that the definition handles well a number of problematic examples from the literature.

Frankfurt examples invite controversy over whether the pertinent agent in these examples lacks the specific ability to do otherwise, and whether what she does can be obligatory or permissible. We develop an account of ability that implies that this agent does not have the specific ability to refrain from performing the germane action. The account also undergirds a view of obligation that entails that it is morally required or prohibited for an agent to perform an action only if she has (...) the specific ability to do, and to do otherwise than, perform it. Therefore, in Frankfurt examples, it is neither obligatory nor impermissible for the relevant agent to do what she does. (shrink)

We call attention to different formulations of how physical laws relate to what is physically possible in the philosophical literature, and argue that it may be the case that determinism fails under one formulation but reigns under the other. Whether this is so depends on our view on the nature of laws, and may also depend on the inter-theoretical relationships among our best physical theories, or so shall we argue.

The aim of the Consequence Argument is to show that, if determinism is true, no one has, or ever had, any choice about anything. In the stock version of the argument, its two premisses state that no one is, or ever was, able to act so that the past would have been different and no one is, or ever was, able to act so that the laws of nature would have been different. This stock version fails, however, because it requires (...) an invalid inference rule. The standard response is to strengthen both premisses by replacing ‘would’ with ‘might’. While this response ensures validity, it weakens the argument, since it strengthens the premisses. I show that we can do better: We can keep the weak reading of one premiss and just strengthen the other. This provides two versions of the Consequence Argument which are stronger than the standard revision. (shrink)

I call anti-resemblism the thesis that independently of any contextual specification there is no determinate fact of the matter about the comparative overall similarity of things. Anti-resemblism plays crucial roles in the philosophy of David Lewis. For instance, Lewis has argued that his counterpart theory is anti-essentialist on the grounds that counterpart relations are relations of comparative overall similarity and that anti-resemblism is true. After Lewis committed himself to a form of realism about natural properties he maintained that anti-resemblism is (...) true about the relations of overall similarity that enter his counterpart theory and his analysis of counterfactuals. However, in this article I argue that Lewis’s account of degrees of naturalness for properties combined with his modal realism entails that anti-resemblism is false. The Lewisian must amend Lewis’s system if she aims to benefit from the alleged virtues of anti-resemblism. I consider two ways of amending it, neither of which is a free lunch. (shrink)

When a debate seems intractable, with little agreement as to how one might proceed towards a resolution, it is understandable that philosophers should consider whether something might be amiss with the debate itself. Famously in the last century, philosophers of various stripes explored in various ways the possibility that at least certain philosophical debates are in some manner deficient in sense. Such moves are no longer so much in vogue. For one thing, the particular ways they have been made have (...) themselves undergone much critical scrutiny, so that many philosophers now feel that there is, for example, a Quinean response to Carnap, a Gricean reply to Austin, and a diluting proliferation of Wittgenstein interpretations.2 Be that as it may,3 there do of.. (shrink)

It is argued that one can learn from minimal economic models. Minimal models are models that are not similar to the real world, do not resemble some of its features, and do not adhere to accepted regularities. One learns from a model if constructing and analysing the model affects one’s confidence in hypotheses about the world. Economic models, I argue, are often assessed for their credibility. If a model is judged credible, it is considered to be a relevant possibility. Considering (...) such relevant possibilities may affect one’s confidence in necessity or impossibility hypotheses. Thus, one can learn from minimal economic models. (shrink)

The concept of luck is important in various areas of philosophy. In this paper I argue that two prominent accounts of luck, the modal and the probabilistic account of luck, need to be combined to accommodate the various ways in which luck comes in degrees. I briefly sketch such a hybrid account of luck, distinguish it from two similar accounts recently proposed, and consider some objections.

This paper argues for several related theses. First, the epistemological position that knowledge requires safe belief can be motivated by views in the philosophy of science, according to which good explanations show that their explananda are robust. This motivation goes via the idea—recently defended on both conceptual and empirical grounds—that knowledge attributions play a crucial role in explaining successful action. Second, motivating the safety requirement in this way creates a choice point—depending on how we understand robustness, we'll end up with (...) different conceptions of safety in epistemology. Lastly, and most controversially, there's an attractive choice at this point that will not vindicate some of the most influential applications of the safety-theoretic framework in epistemology, e.g., Williamson's arguments against the KK principle, and luminosity. (shrink)

Various writers have proposed that the notion of a possible world is a functional concept, yet very little has been done to develop that proposal. This paper explores a particular functionalist account of possible worlds, according to which pluralities of possible worlds are the bases for structures which provide occupants for the roles which analyse our ordinary modal concepts. It argues that the resulting position meets some of the stringent constraints which philosophers have placed upon accounts of possible worlds, while (...) also trivializing the question what possible worlds are. The paper then discusses a range of problems facing the functionalist position. (shrink)

Williamson has argued against scepticism concerning our metaphysically modal knowledge, by arguing that standard patterns of suppositional reasoning to counterfactual conclusions provide reliable sources of correct ascriptions of possibility and necessity. The paper argues that, while Williamson’s claims relating to necessity may well be right, he has not provided adequate reasons for thinking that the familiar modes of counterfactual reasoning to which he points generalise to provide a decent route to ascriptions of possibility. The paper also explores another path to (...) ascriptions of possibility that may be extracted from Williamson’s ideas, before briefly considering the general status of counterfactual reasoning in relation to our knowledge of possibilities. (shrink)

This paper explores trivalent truth conditions for indicative conditionals, examining the “defective” truth table proposed by de Finetti and Reichenbach. On their approach, a conditional takes the value of its consequent whenever its antecedent is true, and the value Indeterminate otherwise. Here we deal with the problem of selecting an adequate notion of validity for this conditional. We show that all standard validity schemes based on de Finetti’s table come with some problems, and highlight two ways out of the predicament: (...) one pairs de Finetti’s conditional with validity as the preservation of non-false values, but at the expense of Modus Ponens; the other modifies de Finetti’s table to restore Modus Ponens. In Part I of this paper, we present both alternatives, with specific attention to a variant of de Finetti’s table proposed by Cooper and Cantwell. In Part II, we give an in-depth treatment of the proof theory of the resulting logics, DF/TT and CC/TT: both are connexive logics, but with significantly different algebraic properties. (shrink)

In Part I of this paper, we identified and compared various schemes for trivalent truth conditions for indicative conditionals, most notably the proposals by de Finetti and Reichenbach on the one hand, and by Cooper and Cantwell on the other. Here we provide the proof theory for the resulting logics DF/TT and CC/TT, using tableau calculi and sequent calculi, and proving soundness and completeness results. Then we turn to the algebraic semantics, where both logics have substantive limitations: DF/TT allows for (...) algebraic completeness, but not for the construction of a canonical model, while CC/TT fails the construction of a Lindenbaum-Tarski algebra. With these results in mind, we draw up the balance and sketch future research projects. (shrink)

Repeatable artworks like musical works have presented theorists in the ontology of art with a puzzle. They seem in some respects like eternal, immutable objects and in others like created, historical objects. Creationists have embraced the latter appearances and attempted to compel Platonists to follow them. I examine in detail each argument in a cumulative case for Creationism, showing how the Platonist can respond. The conclusion is that the debate between Platonists and Creationists is a stalemate. In order for progress (...) to be made in the first-order debate, second-order progress on the metaontology of art needs to come first. (shrink)

Repeatable artworks like musical works have presented theorists in the ontology of art with a puzzle. They seem in some respects like eternal, immutable objects and in others like created, historical objects. Creationists have embraced the latter appearances and attempted to compel Platonists to follow them. I examine in detail each argument in a cumulative case for Creationism, showing how the Platonist can respond. The conclusion is that the debate between Platonists and Creationists is a stalemate. In order for progress (...) to be made in the first-order debate, second-order progress on the metaontology of art needs to come first. (shrink)

The Platonic theist Peter van Inwagen argues that God cannot create abstract objects. Thus, the quantifier ‘everything’ in traditional statements of the doctrine of creation should be appropriately restricted to things that can enter into causal relations and abstract objects cannot: ‘God is the creator of everything distinct from himself…that can enter into causal relations.’ I respond to van Inwagen arguing that he has provided no good reason for thinking abstract objects must be uncreated. And if this is the case, (...) then there is no good reason to think that God cannot create abstract objects. (shrink)

Morgenbesser's Coin is a thought experiment that exemplifies a widespread disposition to infer counterfactual independence from causal independence. I argue that this disposition is mistaken by analysing a closely related thought experiment.

The intuitive distinction between natural and unnatural properties (e.g., green vs. grue) informs our theorizing not only in fundamental physics, but also in non-fundamental domains. This paper develops a reductive account of this broad notion of naturalness that covers non-fundamental properties: for a property to be natural, I propose, is for it to figure in a law of nature. After motivating the account, I defend it from a potential circularity charge. I argue that a suitably broad notion of lawhood can (...) be defined independently of naturalness, if we help ourselves to the notion of a fundamental physical property. I end by showing how the notions of naturalness and lawhood that my account delivers help illuminate a number of other important philosophical notions, like causation, reference/meaning, and rational induction. (shrink)

This paper investigates whether 'even if A, B' is pragmatically polysemic, so that a nonconcessive conditional may have 'even if', and whether concessive conditionals, pragmatically defined, can fail to have 'even if' or a non-temporal 'still'. Different paraphrases are used to help elucidate pragmatic meanings. A theory of the pragmatic meanings of concessive and implicative conditionals is presented. The semantic meaning of 'even if' and the question of whether concessive conditionals imply the truth of their consequents are also discussed.

Many have accepted that ordinary counterfactuals and might counterfactuals are duals. In this paper, I show that this thesis leads to paradoxical results when combined with a few different unorthodox yet increasingly popular theses, including the thesis that counterfactuals are strict conditionals. Given Duality and several other theses, we can quickly infer the validity of another paradoxical principle, ‘The Counterfactual Direct Argument’, which says that ‘A> ’ entails ‘A> ’. First, I provide a collapse theorem for the ‘counterfactual direct argument’. (...) The counterfactual direct argument entails the logical equivalence of the subjunctive and material conditional, given a variety of assumptions. Second, I provide a semantics that validates the counterfactual direct argument without collapse. This theory further develops extant dynamic accounts of conditionals. I give a new semantics for disjunction, on which A or B is only true in a context when A and B are both unsettled. The resulting framework validates CDA while invalidating other commonly accepted principles concerning the conditional and disjunction. (shrink)

This paper outlines a theory and computer implementation of causal meanings and reasoning. The meanings depend on possibilities, and there are four weak causal relations: A causes B, A prevents B, A allows B, and A allows not‐B, and two stronger relations of cause and prevention. Thus, A causes B corresponds to three possibilities: A and B, not‐A and B, and not‐A and not‐B, with the temporal constraint that B does not precede A; and the stronger relation conveys only the (...) first and last of these possibilities. Individuals represent these relations in mental models of what is true in the various possibilities. The theory predicts a number of phenomena, and, contrary to many accounts, it implies that the meaning of causation is not probabilistic, differs from the meaning of enabling conditions, and does not depend on causal powers or mechanisms. The theory also implies that causal deductions do not depend on schemas or rules. (shrink)

I articulate and argue for a modest use to which philosophers who are not historians of philosophy might put the history of philosophy. That use is in conceptual cartography. I understand conceptual cartography to be the practice of mapping how concepts, including those as complex as philosophical views, relate. Using the history of philosophy in conceptual cartography uses that history to situate landmarks on a conceptual map, and then situates other views (historical or contemporary) relative to those landmarks. After articulating (...) and arguing for this use, I consider objections. (shrink)

Gödel’s Ontological argument is distinctive because it is the most sophisticated and formal of ontological arguments and relies heavily on the notion of positive property. Gödel uses a third-order modal logic with a property abstraction operator and property quantification into modal contexts. Gödel describes positive property as "independent of the accidental structure of the world"; "pure attribution," as opposed to privation; "positive in the 'moral aesthetic sense.'" Pure attribution seems likely to be related to the Leibnizian concept of perfection.By a (...) careful examination of the formal semantics of third-order modal logic with property abstraction together with a Completeness result for third-order modal logic with property abstraction for faithful models that I previously developed in 2000 in my work, Gödel’s Ontological Argument, I argue that it is not possible to develop a sufficient applied third-order modal semantics for Gödel’s ontological argument. As I explore possible approaches for an applied semantics including anti-Realist accounts of the semantics of modal logic compatible with Actualism, I argue that Gödel makes implicit philosophical assumptions which commit him to both possibilism (the belief in merely possible objects) and modal realism (the belief in possible worlds). (shrink)

Many defend the thesis that when someone knows p, they couldn’t easily have been wrong about p. But the notion of easy possibility in play is relatively undertheorized. One structural idea in the literature, the principle of Counterfactual Closure (CC), connects easy possibility with counterfactuals: if it easily could have happened that p, and if p were the case, then q would be the case, it follows that it easily could have happened that q. We first argue that while CC (...) is false, there is a true restriction of it to cases involving counterfactual dependence on a coin flip. The failure of CC falsifies a model where the easy possibilities are counterfactually similar to actuality. Next, we show that extant normality models, where the easy possibilities are the sufficiently normal ones, are incompatible with the restricted CC thesis involving coin flips. Next, we develop a new kind of normality theory that can accommodate the restricted version of CC. This new theory introduces a principle of Counterfactual Contamination, which says roughly that any world is fairly abnormal if at that world very abnormal events counterfactually depend on a coin flip. Finally, we explain why coin flips and other related events have a special status. A central take home lesson is that the correct principle in the vicinity of Safety is importantly normality-theoretic rather than (as it is usually conceived) similarity-theoretic. (shrink)

This paper investigates propositional hyperintensionality in counterfactuals. It starts with a scenario describing two children playing on a seesaw and studies the truth-value predictions for counterfactuals by four different semantic theories. The theories in question are Kit Fine’s truthmaker semantics, Luis Alonso-Ovalle’s alternative semantics, inquisitive semantics and Paolo Santorio’s syntactic truthmaker semantics. These predictions suggest that the theories that distinguish more of a given set of intensionally equivalent sentences (Fine and Alonso-Ovalle’s) fare better than those that do not (inquisitive semantics (...) and Santorio’s). Then we investigate how inquisitive semantics and Santorio can respond to these results. They can respond to them by helping themselves to considerations from Hurford disjunctions, disjunctions whose disjuncts stand in an entailment relation to one another. I argue that considerations from Hurford disjunctions are ad hoc modifications merely to predict the expected results. I conclude that the scenarios suggest a need for more fine-grained theories of sentential meaning in general. (shrink)