In On the Plurality of Worlds (Lewis 1986), David Lewis imposes a condition on realist theories of modality which he calls ‘plenitude’. Lewis apparently assigns this condition considerable importance, and uses it to motivate his Humean principle of recombination, but he never says exactly what plenitude amounts to. This chapter first sets aside some obvious ways of reconstructing the plenitude criterion which do not fit with the textual evidence. An objection to modal realism due to John Divers and Joseph Melia (...) (Divers and Melia 2002) is diagnosed as equivocating between an overly-demanding plenitude constraint and a weaker constraint which fails to establish their conclusion. An alternative deflationary interpretation of the plenitude condition has it following from an application of standard theoretical virtues to a modal realist’s total theory; Lewis’ correspondence provides new evidence in support of this interpretation. The deflationary plenitude criterion also has broader application, beyond Lewisian modal realism. (shrink)

Comparatively easy questions we might ask about creativity are distinguished from the hard question of explaining transformative creativity. Many have focused on the easy questions, offering no reason to think that the imagining relied upon in creative cognition cannot be reduced to more basic folk psychological states. The relevance of associative thought processes to songwriting is then explored as a means for understanding the nature of transformative creativity. Productive artificial neural networks—known as generative antagonistic networks (GANs)—are a recent example of (...) how a system’s ability to generate novel products can both be finely tuned by prior experience and grounded in strategies that cannot be articulated by the system itself. Further, the kinds of processes exploited by GANs need not be seen as incorporating something akin to sui generis imaginative states. The chapter concludes with reflection on the added relevance of personal character to explanations of creativity. [This is Chapter 12 of the book Explaining Imagination.]. (shrink)

Currie’s (2010) argument that “i-desires” must be posited to explain our responses to fiction is critically discussed. It is argued that beliefs and desires featuring ‘in the fiction’ operators—and not sui generis imaginings (or "i-beliefs" or "i-desires")—are the crucial states involved in generating fiction-directed affect. A defense of the “Operator Claim” is mounted, according to which ‘in the fiction’ operators would be also be required within fiction-directed sui generis imaginings (or "i-beliefs" and "i-desires"), were there such. Once we appreciate that (...) even fiction-directed sui generis imaginings would need to incorporate ‘in the fiction’ operators, the main appeal of the idea that sui generis imaginings (or "i-beliefs" or "i-desires") are at work in fiction-appreciation dissipates. [This is Chapter 10 of Explaining Imagination (OUP, 2020)]. (shrink)

This paper develops an account of the meaning of `ought', and the distinction between weak necessity modals (`ought', `should') and strong necessity modals (`must', `have to'). I argue that there is nothing specially ``strong'' about strong necessity modals per se: uses of `Must p' predicate the (deontic/epistemic/etc.) necessity of the prejacent p of the actual world (evaluation world). The apparent ``weakness'' of weak necessity modals derives from their bracketing whether the necessity of the prejacent is verified in the actual world. (...) `Ought p' can be accepted without needing to settle that the relevant considerations (norms, expectations, etc.) that actually apply verify the necessity of p. I call the basic account a modal-past approach to the weak/strong necessity modal distinction (for reasons that become evident). Several ways of implementing the approach in the formal semantics/pragmatics are critically examined. The account systematizes a wide range of linguistic phenomena: it generalizes across flavors of modality; it elucidates a special role that weak necessity modals play in discourse and planning; it captures contrasting logical, expressive, and illocutionary properties of weak and strong necessity modals; and it sheds light on how a notion of `ought' is often expressed in other languages. These phenomena have resisted systematic explanation. In closing I briefly consider how linguistic inquiry into differences among necessity modals may improve theorizing on broader philosophical issues. (shrink)

I give two arguments for the claim that all events which occur at the actual world and are such that they could be caused, are also such that they must actually be caused. The first argument is an improvement of a similar argument advanced by Alexander Pruss, which I show to be invalid. It uses Pruss’s Brouwer Analog for counterfactual logic, and, as a consequence, implies inconsistency with Lewis’s semantics for counterfactuals. While (I suggest) this consequence may not be objectionable, (...) the argument founders on the fact that Pruss’s Brouwer Analog has a clear counterexample. I thus turn to a second, “Lewisian” argument, which requires only an affirmation of one element of Lewis’s analysis of causation and one other, fairly weak possibility claim about the nature of wholly contingent events. The final section of the paper explains how both arguments escape objections from supposed indeterminacy in quantum physics. (shrink)

The paper provides an alternative interpretation of ‘pair points’, discussed in Beall et al., "On the ternary relation and conditionality", J. of Philosophical Logic 41(3), 595-612. Pair points are seen as points viewed from two different ‘perspectives’ and the latter are explicated in terms of two independent valuations. The interpretation is developed into a semantics using pairs of Kripke models (‘pair models’). It is demonstrated that, if certain conditions are fulfilled, pair models are validity-preserving copies of positive substructural models. This (...) yields a general soundness and completeness result for a variety of (positive) substructural logics with respect to multimodal Kripke frames with binary accessibility relations. In addition, an epistemic interpretation of pair models is provided. (shrink)

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)

Kolmogorov''s axiomatization of probability includes the familiarratio formula for conditional probability: 0).$$ " align="middle" border="0">.

“S ought (not) to see to it that p at t” is true iff an intention on the part of S to see to it that p at t is (in) correct. From this truth condition follows an understanding of the conceptual role of ought-claims in practical inference: ought-claims are interchangeable with intentions having the same content. From this conceptual role, it is quite clear why first-person, present-tense ought-judgments, and just those, motivate: failure to be motivated is a failure of (...) rationality. The point and purpose of 'ought' is mainly to express the results of practical reasoning performed on premises held hypothetically, an exercise of which there are many varieties. Our capacity for normative thought and language is a consequence of, and intimately related to, our capacity for practical thought. (shrink)

The classic formulation of causal decision theory (CDT) appeals to counterfactuals. It says that you should aim to choose an option that would have a good outcome, were you to choose it. However, this version of CDT faces trouble if the laws of nature are deterministic. After all, the standard theory of counterfactuals says that, if the laws are deterministic, then if anything—including the choice you make—were different in the present, either the laws would be violated or the distant past (...) would be changed. And as several authors have shown, it's easy to transform this upshot of the standard theory of counterfactuals into full-blown counterexamples to CDT. In response to these counterexamples, I argue here that the problem lies, not so much with CDT's guiding idea—that it's the expected causal consequences of your actions that matter for rational decision-making—but with the fact that the classic formulation of CDT doesn't pay sufficient attention to the context-sensitivity of counterfactuals. I develop a contextualist version of CDT which better accounts for this context-sensitivity. And I show that my theory avoids the problems faced by the classic formulation of CDT in determinstic worlds. (shrink)

Contrary to the commonly held position of Luis de Molina, Thomas Flint and others, I argue that counterfactuals of divine freedom are pre-volitional for God within the Molinist framework. That is, CDFs are not true even partly in virtue of some act of God’s will. As a result, I argue that the Molinist God fails to satisfy an epistemic openness requirement for rational deliberation, and thus she cannot rationally deliberate about which world to actualize.

The actualism/possibilism debate in ethics is about whether counterfactuals of freedom concerning what an agent would freely do if they were in certain circumstances even partly determines that agent’s obligations. This debate arose from an argument against the coherence of utilitarianism in the deontic logic literature. In this chapter, we first trace the historical origins of this debate and then examine actualism, possibilism, and securitism through the lens of consequentialism. After examining their respective benefits and drawbacks, we argue that, contrary (...) to what has been assumed, actualism and securitism both succumb to the so-called nonratifiability problem. In making this argument, we develop this problem in detail and argue that it’s a much more serious problem than has been appreciated. We conclude by arguing that an alternative view, hybridism, is independently the most plausible position and best fits with the nature of consequentialism, partly in light of avoiding the nonratifiability problem. (shrink)

Perszyk has argued that Molinists cannot consistently endorse the consequence argument because of a structurally similar argument for the incompatibility of true Molinist counterfactuals of freedom and the ability to do otherwise. Wierenga has argued that on the proper understanding of CCFs, there is a relevant difference between the consequence argument and the anti-Molinist argument. I argue that, even on Wierenga’s understanding of CCFs, there is in fact no relevant difference between the two arguments. Moreover, I strengthen Perszyk’s challenge by (...) highlighting further relevant similarities between CCFs and facts about the laws. (shrink)

Das Buch verschafft einen Überblick über die neuere Willensfreiheitsdebatte, wobei es auch die Konsequenzen der Hirnforschung für das Freiheitsproblem erörtert. Ferner entwickelt der Autor eine eigene Position, die er 'fähigkeitsbasierten Libertarismus' nennt. Er widerspricht dem breiten philosophischen Konsens, dass jedenfalls eine Art von Freiheit mit einem naturwissenschaftlichen Weltbild unverträglich sei, nämlich die Fähigkeit, sich unter gegebenen Bedingungen so oder anders zu entscheiden. Im Buch wird argumentiert, dass der libertarischen Freiheitsauffassung, die wir im Alltag alle teilen, bei näherer Betrachtung keine Tatschen (...) entgegenstehen, sondern nur philosophische Doktrinen. Zwar können wir durch unser Handeln keine Naturgesetze abändern und sind auch keine ersten Beweger, aber für ein So-oder-Anderskönnen bedarf es dessen nicht. (shrink)

This book addresses how our revisionary practices account for relations between texts and how they are read. It offers an overarching philosophy of revision concerning works of fiction, fact, and faith, revealing unexpected insights about the philosophy of language, the metaphysics of fact and fiction, and the history and philosophy of science and religion. It will be of interest to a wide range of scholars and advanced students working in philosophy of language, metaphysics, philosophy of literature, literary theory and criticism, (...) and history and philosophy of science and religion. (shrink)

– The paper defends a naturalistic version of modal actualism according to which what is metaphysically possible is determined by dispositions found in the actual world. We argue that there is just one world—this one—and that all genuine possibilities are anchored by the dispositions exemplified in this world. This is the case regardless of whether or not those dispositions are manifested. As long as the possibility is one that would obtain were the relevant disposition manifested, it is a genuine possibility. (...) Furthermore, by starting from actual dispositional properties and branching out, we are able to include possibilities that are quite far removed from any state of affairs that happens to obtain, while still providing a natural and actual grounding of possibility. Stressing the importance of ontological considerations in any theory of possibility, it is argued that the account of possibility in terms of dispositional properties provides a more palatable ontology than those of its competitors. Coming at it from the other direction, the dispositional account of possibility also provides motivation for taking an ontology of dispositions more seriously. As well as the relevant dispositional notions required to lay out the view, the paper discusses the dispositional realism needed as the basis for the account of possibility. (shrink)

Can there be an objective morality without God? Derek Parfit argues that it can and offers a theory of morality that is neither theistic nor naturalistic. This book provides a critical assessment of Parfit's metaethical theory. Jakobsen identifies some problems in Parfit’s theory – problems concerning moral normativity, the ontological status of morality, and evolutionary influence on our moral beliefs – and argues that theological resources can help solve them. By showing how Parfit’s theory may be improved by the help (...) of theology, Jakobsen demonstrates the relevance of theology in philosophical and metaethical debates and argues that Christian theism offers a better explanation of morality than what Parfit’s non-naturalism does. (shrink)

​Imagination will remain a mystery—we will not be able to explain imagination—until we can break it into parts we already understand. Explaining Imagination is a guidebook for doing just that, where the parts are other ordinary mental states like beliefs, desires, judgments, and decisions. In different combinations and contexts, these states constitute cases of imagining. This reductive approach to imagination is at direct odds with the current orthodoxy, according to which imagination is a sui generis mental state or process—one with (...) its own inscrutable principles of operation. Explaining Imagination upends that view, showing how, on closer inspection, the imaginings at work in hypothetical reasoning, pretense, the enjoyment of fiction, and creativity are reducible to other familiar mental states—judgments, beliefs, desires, and decisions among them. Crisscrossing contemporary philosophy of mind, cognitive science, and aesthetics, Explaining Imagination argues that a clearer understanding of imagination is already well within reach. (shrink)

Provisional draft, pre-production copy of my book “The Modal Future” (forthcoming with Cambridge University Press).

This paper defends the case against (sparse) disjunctive properties by means of four Armstrongian arguments. The first of these is a logical atomist argument from truthmaking, which is, broadly speaking, ‘Armstrongian’ (Armstrong 1997). This argument is strong – although it stands or falls with the relevant notion of truthmaking, as it were. However, three arguments, which are prima facie independent of truthmaking, can be found explicitly early in Armstrong’s middle period. Two of these early arguments face a serious objection put (...) forward forcefully by Louise Antony (2003) and Alan Penczek (1997), respectively. I consider these objections and argue that they fail. Thus, even if the argument from truthmaking is indecisive, disjunctive properties should be rejected. (shrink)

The book discusses the structure, content, and evaluation of cosmological arguments. The introductory chapter investigates features essential to cosmological arguments. Traditionally, cosmological arguments are distinguished by their appeal to change, causation, contingency or objective becoming in the world. But none of these is in fact essential to the formulation of cosmological arguments. Chapters 1-3 present a critical discussion of traditional Thomistic, Kalam, and Leibnizian cosmological arguments, noting various advantages and disadvantages of these approaches. Chapter 4 offers an entirely new approach (...) to the cosmological argument - the approach of theistic modal realism. The proper explananda of cosmological arguments on this approach is not change, causation, contingency or objective becoming in the world. The proper explananda is the totality of metaphysical reality - all actualia and all possibilia. The result is the most compelling and least objectionable version of the cosmological argument. (shrink)

'Reason, Causation and Compatibility with the Phenomena' strives to give answers to the philosophical problem of the interplay between realism, explanation and experience. This book is a compilation of essays that recollect significant conceptions of rival terms such as determinism and freedom, reason and appearance, power and knowledge. This title discusses the progress made in epistemology and natural philosophy, especially the steps that led from the ancient theory of atomism to the modern quantum theory, and from mathematization to analytic philosophy. (...) Moreover, it provides possible gateways from modern deadlocks of theory either through approaches to consciousness or through historical critique of intellectual authorities. This work will be of interest to those either researching or studying in colleges and universities, especially in the departments of philosophy, history of science, philosophy of science, philosophy of physics and quantum mechanics, history of ideas and culture. Greek and Latin Literature students and instructors may also find this book to be both a fascinating and valuable point of reference. (shrink)

Esta enciclopédia abrange, de uma forma introdutória mas desejavelmente rigorosa, uma diversidade de conceitos, temas, problemas, argumentos e teorias localizados numa área relativamente recente de estudos, os quais tem sido habitual qualificar como «estudos lógico-filosóficos». De uma forma apropriadamente genérica, e apesar de o território teórico abrangido ser extenso e de contornos por vezes difusos, podemos dizer que na área se investiga um conjunto de questões fundamentais acerca da natureza da linguagem, da mente, da cognição e do raciocínio humanos, bem (...) como questões acerca das conexões destes com a realidade não mental e extralinguística. A razão daquela qualificação é a seguinte: por um lado, a investigação em questão é qualificada como filosófica em virtude do elevado grau de generalidade e abstracção das questões examinadas (entre outras coisas); por outro, a investigação é qualificada como lógica em virtude de ser uma investigação logicamente disciplinada, no sentido de nela se fazer um uso intenso de conceitos, técnicas e métodos provenientes da disciplina de lógica. O agregado de tópicos que constitui a área de estudos lógico-filosóficos é já visível, pelo menos em parte, no Tractatus Logico-Philosophicus de Ludwig Wittgenstein, uma obra publicada em 1921. E uma boa maneira de ter uma ideia sinóptica do território disciplinar abrangido por esta enciclopédia, ou pelo menos de uma porção substancial dele, é extrair do Tractatus uma lista dos tópicos mais salientes aí discutidos; a lista incluirá certamente tópicos do seguinte género, muitos dos quais se podem encontrar ao longo desta enciclopédia: factos e estados de coisas; objectos; representação; crenças e estados mentais; pensamentos; a proposição; nomes próprios; valores de verdade e bivalência; quantificação; funções de verdade; verdade lógica; identidade; tautologia; o raciocínio matemático; a natureza da inferência; o cepticismo e o solipsismo; a indução; as constantes lógicas; a negação; a forma lógica; as leis da ciência; o número. (shrink)

Is it possible to construct a machine that can act of its own accord? There are a number of skeptical arguments which conclude that autonomous machine agency is impossible. Yet if autonomous machine agency is impossible, then serious doubt is cast on the possibility of autonomous human action, at least on the widely held assumption that some form of materialism is true. The purpose of this dissertation is to show that autonomous machine agency is possible, thereby showing that the autonomy (...) of human action is compatible with materialism. ;I proceed as follows. Chapter 1 casts the problem of autonomous machine agency. Chapter 2 sets out the skeptic's case against autonomous machine agency by canvassing arguments against the possibility of machine agency and arguments against the possibility of autonomous machine agency. Chapter 3 begins work on a theory of autonomous machine agency by developing and defending axioms of a theory of agency from thought experiments and examples. Chapter 4 expands the theory of agency to a theory of autonomous agency by adding axioms of autonomy. ;The axioms of autonomous agency contain the primitive terms 'belief', 'desire', and 'deliberation', which require further explication if the theory is to be of any use in arguing for the possibility of autonomous machine agency. Chapters 5 and 6 take up this challenge by developing mathematically tractable axioms of deliberation, belief, and desire. ;Chapter 7 completes the theory by developing axioms of mechanism derived from the substantial literature in the foundations of computer science. Chapter 8 employs the resulting theory of autonomous machine agency to show just how the functional prerequisites of autonomous agency can in principle be met by machines, thereby demonstrating the possibility of autonomous machine agency. ;Chapter 9 serves as a cautionary postscript. In spite of having shown that autonomous machine agency is possible, the implications are not always happy for current efforts in artificial intelligence or current philosophical theories of autonomous human agency. Nevertheless, the argument for autonomous machine agency suggests several research programs at the nexus of Philosophy of Mind and Artificial Intelligence. (shrink)

I argue for a soft compatibilist theory of free will, i.e., such that free will is compatible with both determinism and indeterminism, directly opposite hard incompatibilism, which holds free will incompatible both with determinism and indeterminism. My intuitions in this book are primarily based on an analysis of meditation, but my arguments are highly syncretic, deriving from many fields, including behaviorism, psychology, conditioning and deconditioning theory, philosophy of language, philosophy of mind, simulation theory, etc. I offer a causal/functional analysis of (...) meta-mental control, or 'metacausality', cashed out in counterfactual terms, to solve what I call the easy problem of free will. (shrink)

In this paper, we argue that the popular claim that laws of nature explain their instances creates a philosophical puzzle when it is combined with the widely held requirement that explanations need to be underpinned by ‘wordly’ relations. We argue that a “direct solution” to the puzzle that accounts for both explanatory laws and explanatory realism requires endorsing at least a radical metaphysics. Then, we examine the ramifications of a “skeptical solution”, i.e., dissolving it by giving up at least one (...) of these two claims, and argue that adopting it is more favorable to Humean reductionists than to anti-reductionists about laws of nature. (shrink)

The role of causation and counterfactuals in causal decision theory is vexed and disputed. Recently, Brian Hedden (2023) argues that we should abandon causal decision theory in favour of an alternative: counterfactual decision theory. I argue that, pace Hedden, counterfactual decision theory is not a competitor to, but rather a version of, causal decision theory – the most popular version by far. I provide textual evidence that the founding fathers of causal decision theory (Stalnaker, Gibbard, Harper, Lewis, Skyrms, Sobel, and (...) Joyce) all endorse counterfactual decision theories. I additionally discuss why these theories came to be called ‘causal’, rather than ‘counterfactual’. And I argue that, properly understood, causal decision theory escapes Hedden's objections. (shrink)

Ordinarily counterfactuals are seen as making statements about states of affairs, albeit ones that hold in merely possible or alternative worlds. Thus analyzed, nearly all counterfactuals turn out to be incoherent. Any counterfactual, thus analyzed, requires that there be a metaphysically (not just epistemically) possible world w where the laws are the same as here, and where almost all of the facts are the same as here. (The factual differences relate to the antecedent and consequent of the counter-factual.) But, as (...) I show, this requirement typically involves the positing of worlds whose necessary non-existence can be shown by fairly elementary deductions. Further, the possible-worlds analysis of counterfactuals is guilty of covert circularity. For, thus analyzed, counterfactuals can only be understood in terms of laws of nature (the laws that apply here are assumed in the hypothetical world - except in the atypical case where the counterfactual is also a counter-nomic). But the concept of a law cannot itself be defined except in terms of the notion of a counterfactual (a law is given by a counterfactual-supporting proposition). I give a purely epistemic analysis of counterfactuals, arguing that they are crypto-probability propositions. I also argue that the relevant kind of probability can be defined wholly in terms of what has happened (not what would happen and not even what must happen in a nomic sense). So my analysis isn’t guilty of any kind of circularity. (shrink)

This dissertation concerns the foundations of epistemic modality. I examine the nature of epistemic modality, when the modal operator is interpreted as concerning both apriority and conceivability, as well as states of knowledge and belief. The dissertation demonstrates how phenomenal consciousness and gradational possible-worlds models in Bayesian perceptual psychology relate to epistemic modal space. The dissertation demonstrates, then, how epistemic modality relates to the computational theory of mind; metaphysical modality; deontic modality; logical modality; the types of mathematical modality; to the (...) epistemic status of undecidable propositions and abstraction principles in the philosophy of mathematics; to the apriori-aposteriori distinction; to the modal profile of rational propositional intuition; and to the types of intention, when the latter is interpreted as a modal mental state. Examining the nature of epistemic logic itself, I develop a novel approach to conditions of self-knowledge in the setting of the modal μ-calculus, as well as novel epistemicist solutions to Curry's, the liar, and the knowability paradoxes. Solutions to previously intransigent issues concerning the first-person concept; the distinction between fundamental and derivative truths; and the unity of intention and its role in decision theory, are developed along the way. (shrink)

The ontology of decision theory has been subject to considerable debate in the past, and discussion of just how we ought to view decision problems has revealed more than one interesting problem, as well as suggested some novel modifications of classical decision theory. In this paper it will be argued that Bayesian, or evidential, decision-theoretic characterizations of decision situations fail to adequately account for knowledge concerning the causal connections between acts, states, and outcomes in decision situations, and so they are (...) incomplete. Second, it will be argues that when we attempt to incorporate the knowledge of such causal connections into Bayesian decision theory, a substantial technical problem arises for which there is no currently available solution that does not suffer from some damning objection or other. From a broader perspective, this then throws into question the use of decision theory as a model of human or machine planning. (shrink)

By analyzing the meaning of time I argue, without endorsing operationalism, that time is necessarily related to physical systems which can serve as clocks. This leads to a version of relationism about time which entails that there is no time 'before' the universe. Three notions of metaphysical 'time' (associated, respectively, with time as a mathematical concept, substantivalism, and modal relationism) which might support the idea of time 'before' the universe are discussed. I argue that there are no good reasons to (...) believe that metaphysical 'time' can be identified with what we ordinarily call time. I also briefly review and criticize the idea of time 'before' the big bang, associated with some recent speculative models in modern cosmology, and I argue that if the big bang model is a (roughly) correct description of our universe, then the best current answer to the question in the title is that time did have a beginning. (shrink)

The paper is about the interpretation of opaque verbs like “seek”, “owe”, and “resemble” which allow for unspecific readings of their (indefinite) objects. It is shown that the following two observations create a problem for semantic analysis: (a) The opaque position is upward monotone: “John seeks a unicorn” implies “John seeks an animal”, given that “unicorn” is more specific than “animal”. (b) Indefinite objects of opaque verbs allow for higher-order, or “underspecific”, readings: “Jones is looking for something Smith is looking (...) for” can express that there is something unspecific that both Jones and Smith are looking for. Given (a) and (b), it would seem that the following inference is hard to escape, if the premisses are construed unspecifically and the conclusion is taken on its under- specific reading: Jones is looking for a sweater. Smith is looking for a pen. Smith is looking for something Jones is looking for. (shrink)

The Philosophical Forum, Volume 52, Issue 3, Page 245-261, Fall 2021.

It has been argued that an advantage of the safety account over the sensitivity account is that the safety account preserves epistemic closure, while the sensitivity account implies epistemic closure failure. However, the argument fails to take the method-relativity of the modal conditions on knowledge, viz., sensitivity and safety, into account. In this paper, I argue that the sensitivity account and the safety account are on a par with respect to epistemic closure once the method-relativity of the modal conditions is (...) taken into account. Therefore, epistemic closure is no longer an arbiter in the debate. (shrink)

Meinertsen has recently put forward three arguments against disjunctive properties: the arguments from truthmaking, commonality, and causation. In this paper, I argue that all three arguments fail. The argument from truthmaking rests on the problematic notion of different types of truthmakers and is therefore itself problematic. The argument from commonality may hold but only at the cost of losing much of the philosophical significance of its conclusion. The argument from causation essentially collapses into the argument from truthmaking and is therefore (...) problematic for the same reason as the latter is. I conclude that Meinertsen has not made a case against disjunctive properties. (shrink)

The safety principle is the view that, roughly, if one knows that p, p could not easily have been false. It is common for safety theorists to relativize safety to belief-formation methods. In this paper, I argue that there is no fixed principle of method-individuation that can stand up to scrutiny. I examine various ways to individuate methods and argue that all of them are subject to serious counterexamples. In the end, I conclude by considering some alternative ways to preserve (...) the insight behind safety without invoking a fixed principle of method-individuation. (shrink)

We examine a formal semantics for counterfactual conditionals due to Judea Pearl, which formalizes the interventionist interpretation of counterfactuals central to the interventionist accounts of causation and explanation. We show that a characteristic principle validated by Pearl’s semantics, known as the principle of reversibility, states a kind of irreversibility: counterfactual dependence (in David Lewis’s sense) between two distinct events is irreversible. Moreover, we show that Pearl’s semantics rules out only mutual counterfactual dependence, not cyclic dependence in general. This, we argue, (...) suggests that Pearl’s logic is either too weak or too strong. (shrink)

In the artificial intelligence literature a promising approach to counterfactual reasoning is to interpret counterfactual conditionals based on causal models. Different logics of such causal counterfactuals have been developed with respect to different classes of causal models. In this paper I characterize the class of causal models that are Lewisian in the sense that they validate the principles in Lewis’s well-known logic of counterfactuals. I then develop a system sound and complete with respect to this class. The resulting logic is (...) the weakest logic of causal counterfactuals that respects Lewis’s principles, sits in between the logic developed by Galles and Pearl and the logic developed by Halpern, and stands to Galles and Pearl’s logic in the same fashion as Lewis’s stands to Stalnaker’s. (shrink)

The idea of fragmentalism has been proposed by Kit Fine as a non-standard view of tense realism. This paper examines a modal version of the view, called modal fragmentalism, which combines genuine realism and realism of modality. Modal fragmentalism has been recently discussed by Iaquinto. But unlike Iaquinto, who primarily focused on possibilities de re, in this paper, we focus on expressions of possibilities de dicto. We argue that the chief idea of modal realism should be that different worlds are (...) distinguished not just in terms of how things are differently with respect to each world, but also in terms of how things could have been differently with respect to each world. This demands a realism-oriented semantics for suppositional contents, and more specifically, for conditionals. By deploying a multidimensional semantics for conditionals, we show that there are good reasons to consider modal fragmentalism as a serious approach in metaphysics, which shares many similarities with the fragmentalism of tense. (shrink)

Newman’s objection is sometimes taken to be a fatal objection to structural realism (SR). However, ambiguity in the definition of “structure” allows for versions that do not succumb to Newman’s objection. In this paper, I consider some versions of SR that maintain an abstract notion of structure yet avoid Newman’s objection. In particular, I consider versions suggested by Melia and Saatsi. They reject a solution that restricts the domain of the second-order quantifiers, and argue in favor of buttressing the language (...) with intensional operators such as “it is physically necessary that...”. I argue that their favored solution effectively requires the former suggestion that they reject. This argument suggests that a notion of natural properties may be indispensable to SR. (shrink)

Some have argued for a division of epistemic labor in which mathematicians supply truths and philosophers supply their necessity. We argue that this is wrong: mathematics is committed to its own necessity. Counterfactuals play a starring role.

Some have argued for a division of epistemic labor in which mathematicians supply truths and philosophers supply their necessity. We argue that this is wrong: mathematics is committed to its own necessity. Counterfactuals play a starring role.

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)

Dispositional essentialists argue that physical properties have their causal roles essentially. This is typically taken to mean that physical properties are identical to dispositions. I argue that this is untenable, and that we must instead say that properties bestow dispositions. I explore what it is for a property to have such a role essentially. Dispositional essentialists argue for their view by citing certain epistemological and metaphysical implications, and I appeal to these implications to place desiderata on the concept of essence (...) involved. I argue that the traditional modal theory of essence meets these desiderata, but that the resulting theory wrongly implies that certain dispositions essential to mass are essential to charge, thereby offering a new argument against modal theories of essence. I argue that dispositional essentialism requires a primitive notion of essence, and develop a primitivist theory based on Kit Fine's views. I show that the primitivist theory has all the virtues of the modal alternative, and none of the vices. I develop a novel way of thinking about the relationship between properties, laws and dispositions, and argue that it has distinct advantages over standard dispositional essentialist formulations. (shrink)

This paper defends a counterexample to Modus Tollens, and uses it to draw some conclusions about the logic and semantics of indicative conditionals and probability operators in natural language. Along the way we investigate some of the interactions of these expressions with 'knows', and we call into question the thesis that all knowledge ascriptions have truth-conditions.

Epistemic modal operators give rise to something very like, but also very unlike, Moore's paradox. I set out the puzzling phenomena, explain why a standard relational semantics for these operators cannot handle them, and recommend an alternative semantics. A pragmatics appropriate to the semantics is developed and interactions between the semantics, the pragmatics, and the definition of consequence are investigated. The semantics is then extended to probability operators. Some problems and prospects for probabilistic representations of content and context are explored.