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

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

This paper is about avoiding commitment to an ontology of possible worlds with two primitives: a hyperintensional connective like ‘in virtue of’, and primitive quantification into predicate position. I argue that these tools (which some believe can be independently motivated) render dispensable the ontology of possible worlds needed by traditional anaylses of modality. They also shed new light on the notion of truth-at-a-world.

Conditional perfection is the phenomenon in which conditionals are strengthened to biconditionals. In some contexts, “If A, B” is understood as if it meant “A if and only if B.” We present and discuss a series of experiments designed to test one of the most promising pragmatic accounts of conditional perfection. This is the idea that conditional perfection is a form of exhaustification—that is a strengthening to an exhaustive reading, triggered by a question that the conditional answers. If a speaker (...) is asked how B comes about, then the answer “If A, B” is interpreted exhaustively to meaning that A is the only way to bring about B. Hence, “A if and only if B.” We uncover evidence that conditional perfection is a form of exhaustification, but not that it is triggered by a relationship to a salient question. (shrink)

Metaethical debunking arguments often conclude that no moral belief is epistemically justified. Early versions of such arguments largely relied on metaphors and analogies and left the epistemology of debunking underspecified. Debunkers have since come to take on substantial and broad-ranging epistemological commitments. The plausibility of metaethical debunking has thereby become entangled in thorny epistemological issues. In this thesis, I provide a critical yet sympathetic evaluation of the prospects and challenges facing such arguments in light of this development. In doing so, (...) I address the following central question: how could genealogical information undermine the epistemic justification of moral beliefs? In Part I, I begin answering the central question by extracting explicit and implicit epistemic principles from three popular debunking arguments. These arguments, due to Gilbert Harman, Richard Joyce, and Sharon Street, generate principles concerning ontological parsimony, explanatory dispensability, epistemic insensitivity, lack of epistemic safety, unexplained reliability, epistemic coincidences, and explanatory constraints on rational belief. Having set out the principles tasked with explaining how genealogical information undermines, Part II of the thesis seeks to evaluate whether debunking arguments built on them succeed. To this end, I consider two types of challenges faced by such arguments. First, there are strategies that attempt to block global moral debunking arguments. I argue that one popular such strategy, the so-called ‘third-factor strategy’, has been misunderstood. When understood correctly, it is of no help in answering debunking arguments. I then flesh out an alternative and more promising strategy for blocking such arguments. I then turn to internal challenges facing debunkers, particularly those who rely on ‘explanationist’ principles. I argue that explanationist debunking arguments, as well as most others, fall prey to one or more of four internal challenges: the implausibility of first-order epistemic principles, the threat of overgeneralization, the threat of self-defeat, and the need for costly metaepistemic commitments. I conclude that current debunking arguments fail to establish that no moral belief is justified. By analyzing why existing arguments fail, I develop two conditions of adequacy that debunkers must satisfy in order to navigate the internal challenges successfully. I end by suggesting future directions that debunkers should pursue to rehabilitate the prospects for global moral debunking arguments. (shrink)

Plausibly, agents act freely iff their actions are responses to reasons. But what sort of relationship between reason and action is required for the action to count as a response? The overwhelmingly dominant answer to this question is modalist. It holds that responses are actions that share a modally robust or secure relationship with the relevant reasons. This thesis offers a new alternative answer. It argues that responses are actions that can be explained by reasons in the right way. This (...) explanationist answer comes apart from the modalist answer. For it holds that actions are responses to reasons if they are explained by those reasons even if they don’t share a modally robust relationship. Explanationism thus offers a novel way of vindicating the intuition that alternative possibilities don’t matter to responding to reasons and (consequently) free agency. The key dialectical position the thesis develops is that both modalism and explanationism constitute attempts to capture he core type of relationship encoded by the notion of a response. Responses to reasons, at core, involve a non-accidental relationship between reason and action. We can either understand non-accidentality as a modal phenomenon – as a modally robust tracking between two facts. Or we can understand non-accidentality as an explanatory phenomenon – as a special explanatory relationship between two facts. According to my rival explanationist proposal, two facts share a non-accidental relationship iff we can give a unified explanation of why both obtain. Unified explanations are explanations of why [p&q] that cannot be decomposed into two (or more) separate independent explanations of p and of q. Consequently, according to explanationism about responding to reasons, actions are responses to reasons iff those reasons offer a rational explanation of the action that cannot be decomposed into separate independent components. (shrink)

Conditional judgements—judgements employing ‘if’—are essential to practical reasoning about what to do, as well as to much reasoning about what is the case. We handle them well enough from an early...

This essay aims to provide a modal logic for rational intuition. Similarly to treatments of the property of knowledge in epistemic logic, I argue that rational intuition can be codified by a modal operator governed by the modal $\mu$-calculus. Via correspondence results between fixed point modal propositional logic and the bisimulation-invariant fragment of monadic second-order logic, a precise translation can then be provided between the notion of 'intuition-of', i.e., the cognitive phenomenal properties of thoughts, and the modal operators regimenting the (...) notion of 'intuition-that'. I argue that intuition-that can further be shown to entrain conceptual elucidation, by way of figuring as a dynamic-interpretational modality which induces the reinterpretation of both domains of quantification and the intensions and hyperintensions of mathematical concepts that are formalizable in monadic first- and second-order formal languages. Hyperintensionality is countenanced via a topic-sensitive epistemic two-dimensional truthmaker semantics. (shrink)

While much of semantic theorizing is based on intuitions about logical phenomena associated with linguistic constructions—phenomena such as consistency and entailment—it is rare to see axiomatic treatments of linguistic fragments. Given a fragment interpreted in some class of formally specified models, it is often possible to ask for a characterization of the reasoning patterns validated by the class of models. Axiomatizations provide such a characterization, often in a perspicuous and efficient manner. In this paper, we highlight some of the benefits (...) of providing axiomatizations for the purpose of semantic theorizing. We illustrate some of these benefits using three examples from the study of modality. (shrink)

Semantic gaps between physical and mental discourse include the 'explanatory', 'epistemic' (Black-and-White Mary), and 'suppositional' (zombies) gaps; protosemantics is concerned with what is fundamental to meaning. Our tradition presupposes a truth-based protosemantics, with disastrous consequences for interpreting the semantic gaps: nonphysicalism, epiphenomenalism, separatism. Fortunately, an endorsement-based protosemantics, recentering meaning from the world to the mind, is technically viable, intuitively more plausible, and empirically more adequate. But, of present significance, it makes room for interpreting mental discourse as expressing simulations: this blocks (...) the disastrous consequences; and, as a bonus, accommodates hitherto anomalous asymmetries among the various semantic gaps. (shrink)

This paper presents an adaptive logic enhancement of conditional logics of normality that allows for defeasible applications of Modus Ponens to conditionals. In addition to the possibilities these logics already offer in terms of reasoning about conditionals, this way they are enriched by the ability to perform default inferencing. The idea is to apply Modus Ponens defeasibly to a conditional and a fact on the condition that it is ‘safe' to do so concerning the factual and conditional knowledge at hand. (...) It is for instance not safe if the given information describes exceptional circumstances: although birds usually fly, penguins are exceptional to this rule. The two adaptive standard strategies are shown to correspond to different intuitions, a skeptical and a credulous reasoning type, which manifest themselves in the handling of so-called floating conclusions. (shrink)

It is difficult to wander far in contemporary metaphysics without bumping into talk of possible worlds. And reference to possible worlds is not confined to metaphysics. It can be found in contemporary epistemology and ethics, and has even made its way into linguistics and decision theory. What are those possible worlds, the entities to which theorists in these disciplines all appeal? This paper sets out and evaluates a leading contemporary theory of possible worlds, David Lewis's Modal Realism. I note two (...) competing ambitions for a theory of possible worlds: that it be reductive and user-friendly. I then outline Modal Realism and consider objections to the effect that it cannot satisfy these ambitions. I conclude that there is some reason to believe that Modal Realism is not reductive and overwhelming reason to believe that it is not user-friendly. (shrink)

We investigate the notion of relevance as it pertains to ‘commonsense’, subjunctive conditionals. Relevance is taken here as a relation between a property (such as having a broken wing) and a conditional (such as birds typically fly). Specifically, we explore a notion of ‘causative’ relevance, distinct from ‘evidential’ relevance found, for example, in probabilistic approaches. A series of postulates characterising a minimal, parsimonious concept of relevance is developed. Along the way we argue that no purely logical account of relevance (even (...) at the metalevel) is possible. Finally, and with minimal restrictions, an explicit definition that agrees with the postulates is given. (shrink)

In this paper, I spell out and argue for a new epistemic theory of argumentation. Contrary to extant views, this theory is compatible with a pluralistic framework on argumentation, where the norms governing argumentation depend on the aim with which we engage in the practice. A domain of specifically epistemic argumentation is singled out, and I argue based on recent findings in modal epistemology that this domain is governed by the modal norm of safety; where a belief is safe just (...) in case it is produced by a method that would not easily produce a false belief. While this criterion is well-known and uncontroversial in epistemology, it has hitherto not been applied to epistemic theories of argumentation. I show that the norm allows for a novel and superior perspective of the relevance of the persistent interlocutor in argumentation theory, and on the relation between dialectical and epistemic norms more generally. (shrink)

Non-bivalent semantics of the future tense assert that propositions regarding future contingents are neither true nor false. One of the most relevant non-bivalent semantics is supervaluationism :264–281, 1970; Thomason, in: Gabbay, Guenthner Handbook of philosophical logic, Springer, Berlin, 1984), which preserves important logical principles. Recently, non-bivalent semantics are under attack from some pragmatics arguments: these semantics would be incompatible with our practices of asserting future contingents and with the probability we ascribe to such assertions :251–271, 2014; Cariani and Santorio in (...) Mind 127:129–165, 2018). The aim of this paper is to defend supervaluationism against this kind of criticism. We argue that, if probability is interpreted as the subjective belief in a proposition and if a semantic contextualism is adopted, supervaluationism makes correct predictions concerning the norms that govern our practices of asserting future contingents. Obviously, other arguments can be proposed against supervaluationism, but they must be of a different kind, such as metaphysical arguments. (shrink)

Conciliationism is a view—well, a family of views—in the epistemology of disagreement. The idea, simply put, is that, in a wide range of cases where you find yourself in disagreement with another reasoner about the truth of some proposition, you are rationally obliged to adjust your credence in the direction of hers. Conciliationism enjoys a fair bit of prima facie plausibility. Most versions of it, however, suffer from a common (and rather obvious) problem: self-incrimination. Although there is some recognition in (...) the recent literature on disagreement that there is a problem in this vicinity, it, more often than not, is completely ignored. When it is not completely ignored, both the conciliationists and their critics tend to frame the problem incorrectly. As a result, they end up focusing most of their attention on pseudo-problems rather than the genuine worry. Furthermore, even when they have hit on the genuine worry, conciliationists have tended to give surprising and implausible responses to it. Even by their own lights, conciliationists aren’t justified in believing their conciliationist theses. In this paper, I argue that it’s time to come clean. Time to look for a view on the epistemic significance of disagreement that we can actually be justified in believing. (shrink)

People frequently entertain counterfactual thoughts, or mental simulations about alternative ways the world could have been. But the perceived plausibility of those counterfactual thoughts varies widely. The current article interfaces research in the philosophy and semantics of counterfactual statements with the psychology of mental simulations, and it explores the role of perceived similarity in judgments of counterfactual plausibility. We report results from seven studies (N = 6405) jointly supporting three interconnected claims. First, the perceived plausibility of a counterfactual event is (...) predicted by the perceived similarity between the possible world in which the imagined situation is thought to occur and the actual world. Second, when people attend to differences between imagined possible worlds and the actual world, they think of the imagined possible worlds as less similar to the actual world and tend to judge counterfactuals in such worlds as less plausible. Lastly, when people attend to what is identical between imagined possible worlds and the actual world, they think of the imagined possible worlds as more similar to the actual world and tend to judge counterfactuals in such worlds as more plausible. We discuss these results in light of philosophical, semantic, and psychological theories of counterfactual thinking. (shrink)

Say that the Moving Spotlight Theory (MST) combines the following three theses: A-THEORY : There is an absolute distinction between present and non-present time.

I develop and argue for a kind of externalism about certain kinds of non-doxastic attitudes that I call policy externalism. Policy externalism about a given type of attitude is the view that all the reasonable policies for having attitudes of that type will not involve the agent's beliefs that some relevant conditions obtain. My defense primarily involves attitudes like hatred, regret, and admiration, and has two parts: a direct deductive argument and an indirect linguistic argument, an inference to the best (...) explanation of some strange ways we use certain conditionals. The main thought throughout is that attitudes we reason with, like belief, are very different from attitudes we don't reason with, in a way that constrains the former but not the latter. Finally, I investigate some consequences of policy externalism, including that it secures the possibility of genuine conditional apologies. (shrink)

In this paper I construct a system of semantics for classical and intuitionistic propositional logic based on epistemic norms governing belief expansion. Working in the AGM-framework of belief change, I give a generalisation of Gärdenfors’ notion of belief systems which can be defined without reference to a logical consequence operator by using a version of the Ramsey Test. These belief expansion systems can then be used to define epistemic models which are sound and complete for either classical or intuitionistic propositional (...) logic depending on which of the two notions of epistemic validity, identified by Levi and Arló-Costa, is used. Finally, I offer a discussion on how these results can be understood as providing a model theory within the framework of logical expressivism. (shrink)

This paper outlines an account of conditionals, the evidential account, which rests on the idea that a conditional is true just in case its antecedent supports its consequent. As we will show, the evidential account exhibits some distinctive logical features that deserve careful consideration. On the one hand, it departs from the material reading of ‘if then’ exactly in the way we would like it to depart from that reading. On the other, it significantly differs from the non-material accounts which (...) hinge on the Ramsey Test, advocated by Adams, Stalnaker, Lewis, and others. (shrink)

This paper investigates the logic of reasons. Its aim is to provide an analysis of the sentences of the form ‘p is a reason for q’ that yields a coherent account of their logical properties. The idea that we will develop is that ‘p is a reason for q’ is acceptable just in case a suitably defined relation of incompatibility obtains between p and ¬q. As we will suggest, a theory of reasons based on this idea can solve three challenging (...) puzzles that concern, respectively, contraposing reasons, conflicting reasons, and supererogatory reasons, and opens a new perspective on some classical issues concerning non-deductive inferences. (shrink)

This paper outlines an account of concessive conditionals that rests on two main ideas. One is that the logical form of a sentence as used in a given context is determined by the content expressed by the sentence in that context. The other is that a coherent distinction can be drawn between a reading of ‘if’ according to which a conditional is true when its consequent holds on the supposition that its antecedent holds, and a stronger reading according to which (...) a conditional is true when its antecedent supports its consequent. As we will suggest, the logical form of concessive conditionals can be elucidated by relying on this distinction. (shrink)

I present and discuss two logical results. The first shows that a non-trivial counterfactual analysis exists for any contingent proposition that is false in at least two possible worlds. The second result identifies a set of conditions that are individually necessary and jointly sufficient for the success of a counterfactual analysis. I use these results to shed light on the question whether disposition ascribing propositions can be analyzed as Stalnaker-Lewis conditional propositions. The answer is that they can, but, in order (...) for a counterfactual analysis to work, the antecedent and consequent must be related in a particular way, and David Lewis’s Time’s Arrow constraints on comparative world similarity must be relaxed. The upshot is that counterfactual analyses are easy to come by, in principle, even if not in practice. In that sense, it’s easy to be iffy. (shrink)

In "Backward causation and the Stalnaker-Lewis approach to counterfactuals," Analysis 62 (2002): 191–97, Michael Tooley argues that if a certain kind of backward causation is possible, then a Stalnaker-Lewis style comparative world similarity account of the truth conditions of counterfactuals cannot be sound. Tooley’s target is one particular type of semantics, but, as I show, the significance of Tooley’s example goes well beyond its consequences for any one semantics for the conditional.

In this essay I renew the case for Conditional Excluded Middle (CXM) in light of recent developments in the semantics of the subjunctive conditional. I argue that Michael Tooley’s recent backward causation counterexample to the Stalnaker-Lewis comparative world similarity semantics undermines the strongest argument against CXM, and I offer a new, principled argument for the validity of CXM that is in no way undermined by Tooley’s counterexample. Finally, I formulate a simple semantics for the subjunctive conditional that is consistent with (...) both CXM and Tooley’s counterexample. (shrink)

In this essay I renew the case for Conditional Excluded Middle in light of recent developments in the semantics of the subjunctive conditional. I argue that Michael Tooley's recent backward causation counterexample to the Stalnaker-Lewis comparative world similarity semantics undermines the strongest argument against CXM, and I offer a new, principled argument for the validity of CXM that is in no way undermined by Tooley's counterexample. Finally, I formulate a simple semantics for the subjunctive conditional that is consistent with both (...) CXM and Tooley's counterexample. (shrink)

A selection function based semantics is offered for the 'can' of ability based on the idea that 'John can run a four minute mile' is true iff John would do so under the right conditions, meaning that he would do so under at least one appropriately chosen test condition. Completeness is proved for an axiom system and semantics based on this idea, and the logic turns out to be interestingly different from any standard system of modal logic.

In “Backward Causation and the Stalnaker–Lewis Approach to Counterfactuals,” Analysis 62:191–7, (2002), Michael Tooley argues that if a certain kind of backward causation is possible, then a Stalnaker–Lewis comparative world similarity account of the truth conditions of counterfactuals cannot be sound. In “Tooley on Backward Causation,” Analysis 63:157–62, (2003), Paul Noordhof argues that Tooley’s example can be reconciled with a Stalnaker–Lewis account of counterfactuals if the comparative world similarity relation on which the Stalnaker–Lewis account relies is allowed to be antecedent-relative. (...) In this paper I show that taking comparative world similarity to be antecedent-relative results in a formal semantics which is a comparative world similarity semantics in name only. (shrink)

Temporal analyses of causal directionality fail if causes needn't precede their effects. Certain well-known difficulties with alternative (non-temporal) analyses have, in recent accounts, been avoided by attending more carefully to the formal features of relations typically figuring in philosophical discussions of causation. I discuss here a representative of such accounts, offered by David Sanford, according to which a correct analysis of causal priority must issue from viewing the condition relation as nonsymmetrical. The theory is shown first to be an implicitly (...) counterfactual treatment at its base: this provides for an explicit reformulation of several key notions in the theory. An argument is then presented, independent of these modal considerations, for the conclusion that causal priority is possible only given certain implausible assumptions about the asymmetric character of causal laws which, I claim, are not met. The best objection to this argument is shown to fail on several counts, partly in light of the counterfactual results offered earlier. It is concluded that, if laws are symmetric, analyses of the sort discussed must look elsewhere for the source of causal priority; but if laws are not symmetric, resting causal priority so heavily on nomological asymmetry is no analysis at all. (shrink)

How to accept a conditional? F. P. Ramsey proposed the following test in (Ramsey 1990).(RT) If A, then B must be accepted with respect to the current epistemic state iff the minimal hypothetical change of it needed to accept A also requires accepting B.

What is the function of cognition? On one influential account, cognition evolved to co-ordinate behaviour with environmental change or complexity. Liberal interpretations of this view ascribe cognition to an extraordinarily broad set of biological systems—even bacteria, which modulate their activity in response to salient external cues, would seem to qualify as cognitive agents. However, equating cognition with adaptive flexibility per se glosses over important distinctions in the way biological organisms deal with environmental complexity. Drawing on contemporary advances in theoretical biology (...) and computational neuroscience, we cash these distinctions out in terms of different kinds of generative models, and the representational and uncertainty-resolving capacities they afford. This analysis leads us to propose a formal criterion for delineating cognition from other, more pervasive forms of adaptive plasticity. On this view, biological cognition is rooted in a particular kind of functional organisation; namely, that which enables the agent to detach from the present and engage in counterfactual inference. (shrink)

The philosophy of time travel is a sub-field of metaphysics – the study of what there is and what things are like – that considers questions about the possibility of time travel and what a world in which time travel is possible looks like. These questions range from whether time travel is actually possible, to how time travellers can act in the past or future. This thesis delves into a particularly interesting, yet historically undertreated theme: the abilities of time travellers (...) and relatedly their freedom as well. The abilities and freedom of time travellers has been the source of a lot of recent discussion with some polarising views. The minority (which includes Lewis (1976), but also Ted Sider (2002)) argue for the affirmative – that time travellers are free and have the same (or perhaps more) abilities as non-time travellers. The majority (which includes Kadri Vihvelin (1996), Michael Rea (2005), Stephanie Rennick (2015), Alison Fernandes (2020), amongst others) argue for the negative, that time travellers do not have exactly the same freedoms and abilities as non-time travellers. I think that it is a mistake to be so pessimistic about the abilities and freedom of time travellers. I treat concerns about the freedom of time travellers and concerns about the abilities of time travellers as two sides of the same coin. Therefore, in what follows, I argue for two related conclusions. First, I argue that time travellers have all sorts of abilities. Second, I argue that time travellers are just as free as non-time travellers. In arguing for these conclusions, I first produce a novel analysis of ability which reveals important details about how abilities track inputs rather than outputs. Second, I use this new analysis of ability to present a new compatibilist account of free will. If I am right in arguing positively for the abilities and freedoms of time travellers, then this has large implications for both the current time travel discourse and the general debate surrounding freedom. Significantly, I am arguing against some prominent views about time travel and in suggesting that these views are mistaken, I am presenting new ideas about ability and freedom: specifically, that time travellers have the ability and are free to do impossible things. (shrink)

What relation must hold between a fact p and the corresponding belief that p for the belief to amount to knowledge? Many authors have recently proposed that the relation can be captured by subjunctive conditionals. In this paper I critically evaluate the main proposals along those lines.

Modal epistemologists parse modal conditions on knowledge in terms of metaphysical possibilities or ways the world might have been. This is problematic. Understanding modal conditions on knowledge this way has made modal epistemology, as currently worked out, unable to account for epistemic luck in the case of necessary truths, and unable to characterise widely discussed issues such as the problem of religious diversity and the perceived epistemological problem with knowledge of abstract objects. Moreover, there is reason to think that this (...) is a congenital defect of orthodox modal epistemology. This way of characterising modal epistemology is however optional. It is shown that one can non-circularly characterise modal conditions on knowledge in terms of epistemic possibilities, or ways the world might be for the target agent. Characterising the anti-luck condition in terms of epistemic possibilities removes the impediment to understanding epistemic luck in the case of necessary truths and opens the door to using these conditions to shed new light on some longstanding epistemological problems. (shrink)

Despite its intrinsic plausibility, the sensitivity principle has remained deeply unpopular on the grounds that it violates an even more plausible closure principle. Here we show that sensitivity does not, in general, violate closure. Sensitivity only violates closure when combined with further auxiliary premises—regarding which of an agent’s commitments constitute that agent’s beliefs—which are optional for the sensitivity theorist.

One can readily conceive of worlds of horrendous, gratuitous suffering. Moreover, such worlds seem possible. For classical theists, however, God, amongst other things, is perfectly good. So, the question arises: for classical theists are such evil worlds possible? Many classical theists have said no. This is the modal problem of evil. Herein, I discuss a related problem: the problem of evil worlds for Lewisian theism. Lewisian theism is the conjunction of Lewis’s modal realism and classical theism, and a leading Lewisian (...) theist, Almeida, thinks that Lewisian theists should admit the existence of on-balance evil worlds. I do not. Herein, I present a dilemma for Almeida: either give up God’s sovereignty and the reductionist account of modality or make God blameworthy for evil. (shrink)

ABSTRACT In several publications, François Recanati argues that time, world, location, and similar constituents are not arguments of the verb, although they do affect truth conditions. However, he points out that this fact does not decide the debate regarding whether these notions are represented as sentential operators variables bound by quantifiers, as both approaches can be made compatible with such non-arguments. He makes these points using philosophical arguments; in this paper I use linguistic evidence from a variety of languages. Specifically, (...) I demonstrate that time, world, location, and person behave syntactically and semantically the same across languages. Hence, either all are arguments, or neither are; and the evidence points to the latter position. The cross-linguistic data give rise to a generalization, which connects the availability of quantifying over times, worlds, locations, or persons with the availability of indexical expressions of the corresponding type. For example, a language that does not have temporal indexicals cannot have tense. I demonstrate that this generalization follows naturally from the quantifier approach, but would remain a mystery under the operator view. Therefore, the cross-linguistic evidence argues in the favor of the quantificational approach. (shrink)

According to a well-known argument, originally due to David Armstrong, powers theory is objectionable, as it leads to a ‘Meinongian’ ontology on which some entities are real but do not actually exist. I argue here that the right conclusion to draw from this argument has thus far not been identified and that doing so has significant implications for powers theory. Specifically, I argue that the key consequence of the argument is that it provides substantial grounds for trope powers theorists, but (...) not other powers theorists, to accept one version of the view that properties are powerful qualities. In particular, they have grounds to favour the view that powerful properties are properties with exclusively qualitative natures that ground modal facts. (shrink)