Sider (2011, 2013) proposes a reductive analysis of metaphysical modality—‘(modal) Humeanism’—and goes on to argue that it has interesting epistemological and methodological implications. In particular, Humeanism is supposed to undermine a class of ‘arguments from possibility’, which includes Sider's (1993) own argument against mereological nihilism and Chalmers's (1996) argument against physicalism. I argue that Sider's arguments do not go through, and moreover that we should instead expect Humeanism to be compatible with the practice of arguing (...) class='Hi'>from possibility in philosophy. (shrink)

This collection highlights the new trend away from rationalism and toward empiricism in the epistemology of modality. Accordingly, the book represents a wide range of positions on the empirical sources of modal knowledge. Readers will find an introduction that surveys the field and provides a brief overview of the work, which progresses from empirically-sensitive rationalist accounts to fully empiricist accounts of modal knowledge. Early chapters focus on challenges to rationalist theories, essence-based approaches to modal knowledge, (...) and the prospects for naturalizing modal epistemology. The middle chapters present positive accounts that reject rationalism, but which stop short of advocating exclusive appeal to empirical sources of modal knowledge. The final chapters mark a transition toward exclusive reliance on empirical sources of modal knowledge. They explore ways of making similarity-based, analogical, inductive, and abductive arguments for modal claims based on empirical information. Modal epistemology is coming into its own as a field, and this book has the potential to anchor a new research agenda. (shrink)

There is a common assumption in the semantics of modal auxiliaries in natural language; in utterances of MOD φ , where MOD is a modal and φ is the prejacent, context determines the particular flavor of modality expressed by the modal. Such is the standard contextualist semantics of Kratzer and related proposals. This winds up being a problem, because there is a significant class of modals which have constraints on the admissible modal flavor that are not (...) traceable to context. For example, in MUST φ , subsentential properties of φ, like the aspectual class of the predicate in the prejacent, can affect the flavor of MUST. By encoding the above assumption into the semantics, such contextualist accounts fail to be able to explain, much less to predict, this pattern. Worse yet, attempts to exploit the resources of the theory in service of an explanation run afoul of important commitments of the view, like the hypothesis that modals have a uniform semantics. Given these circumstances, these data might seem like a justification for dispensing with the uniformity hypothesis. The present paper lays out the above problem in detail. Against the pessimistic view, I argue that the the contextualist account can in fact explain and predict these patterns while preserving the uniformity hypothesis. This requires adopting an amendment to the semantics of modals based on the work of Valentine Hacquard. Aside from maintaining the contextualist paradigm and preserving uniformity, the proposal also clarifies the role of context in the interpretation of modals. As it will turn out, the role of context ought to be circumscribed in its flavor-determining role for modals. (shrink)

Philosophers often make exotic-sounding modal claims, such as: “A timeless world is impossible”, “The laws of physics could have been different from what they are”, “There could have been an additional phenomenal colour”. Otherwise popular empiricist modal epistemologies in the contemporary literature cannot account for whatever epistemic justification we might have for making such modal claims. Those who do not, as a result of this, endorse scepticism with respect to their epistemic status typically suggest that they (...) can be justified but have yet to develop some distinct, workable theory of how. That is, they endorse a form of non-uniformism about the epistemology of modality, according to which claims about philosophically interesting modal matters need to be justified differently from e.g. everyday or scientific modal claims, but they fail to provide any more detail. This article aims to fill this gap by outlining how such a non-uniformist view could be spelled out and what story about philosophically interesting modal justification it could contain. (shrink)

This is a review of *Necessary Existence* (by Alex Pruss and Josh Rasmussen). The review outlines a response to the main line of argument that is developed in the book.

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)

I discuss the structure of genealogical debunking arguments. I argue that they undermine our mathematical beliefs if they undermine our moral beliefs. The contrary appearance stems from a confusion of arithmetic truths with (first-order) logical truths, or from a confusion of reliability with justification. I conclude with a discussion of the cogency of debunking arguments, in light of the above. Their cogency depends on whether information can undermine all of our beliefs of a kind, F, without (...) giving us direct reason to doubt that our F-beliefs are modally secure. (shrink)

The contemporary versions of the ontological argument that originated from Charles Hartshorne are formalized proofs based on unique modal theories. The simplest well-known theory of this kind arises from the b system of modal logic by adding two extra-logical axioms: “If the perfect being exists, then it necessarily exists‘ and “It is possible that the perfect being exists‘. In the paper a similar argument is presented, however none of the systems of modal logic is relevant (...) to it. Its only premises are the axiom and, instead of, the new axiom : “If the perfect being doesn’t exist, it necessarily doesn’t‘. The main goal of the work is to prove that is no more controversial than and -- in consequence -- the whole strength of the modal ontological argument lies in the set of its extra-logical premises. In order to do that, three arguments are formulated: ontological, “cosmological‘ and metalogical. (shrink)

The objection from the insolvability of principle-based modal disagreements appears to support the claim that there are no objective modal facts, or at the very least modal facts cannot be accounted for by modal rationalist theories. An idea that resurfaced fairly recently in the literature is that the use of ordinary empirical statements presupposes some prior grasp of modal notions. If this is correct, then the idea that we may have a total agreement concerning (...) empirical facts and disagree on modal facts, which is the starting point of the objection from the insolvability of modal disagreement, is undercut. This paper examines the no-separation thesis and shows that some of the arguments against the classical (empiricist) distinction between empirical and modal statements fail to be conclusive if they are taken to defend a strong notion of metaphysical possibility. The no-separation thesis appears to work only in theoretical frameworks where metaphysical modalities are considered (broadly) conceptual. For these reasons, the no-separation thesis cannot save modal rationalism from the insolvability of modal disagreement. (shrink)

The present work explores various ways in which contingent evidence can impact metaphysics, while advocating that, just as a scientific realist allows for ampliative inferences to the unobservable, ampliative inferences from possible evidence can warrant possibility claims that lie beyond the reach of sensorial imagination. In slogan form: possible evidence is a guide to possibility. Drawing on Shoemaker’s (1969) argument for the possibility of time without change, I advocate the following principle: If there is a possible world at which (...) the observable facts make it objectively reasonable to conclude that p, then we should conclude that p is possibly true. This provides a route to contingentism in metaphysics, for, if one considers that there are worlds in which the observable facts make it objectively reasonable to conclude that p, and worlds in which the observable facts make it objectively reasonable to conclude that not-p, then my principle tells us that we should conclude that possibly-p and possibly not-p, i.e. that p is contingent. This contingency in what is reasonable to conclude, I suggest, occurs most saliently in debates where evidence of phenomenal experience and empirical science are marshalled to support one theory over another. I also explore some consequences of taking possible evidence to be a guide to possibility in this way, among them being an interesting modal analogue of the lottery paradox. (shrink)

This paper presents a uniform general account of regress problems in the form of a pentalemma—i.e., a set of five mutually inconsistent claims. Specific regress problems can be analyzed as instances of such a general schema, and this Regress Pentalemma Schema can be employed to generate deductively valid arguments from the truth of a subset of four claims to the falsity of the fifth. Thus, a uniform account of the nature of regress problems allows for an improved understanding (...) of specific regress objections or arguments, and, correspondingly, of the general logical geography of the debate about infinite regresses. This uniform approach is illustrated by a treatment of the classical epistemological problem of justification, but it encompasses a whole variety of cases including explanation and ontological grounding. Furthermore, this general account is compared and contrasted with the existing literature discussing argument schemata for regress objections, particularly with the work of Jan Willem Wieland. It is shown how such other schemata can be incorporated and superseded by the general Regress Pentalemma Schema. (shrink)

In this chapter, it is suggested that our epistemic access to metaphysical modality generally involves rationalist, a priori elements. However, these a priori elements are much more subtle than ‘traditional’ modal rationalism assumes. In fact, some might even question the ‘apriority’ of these elements, but I should stress that I consider a priori and a posteriori elements especially in our modal inquiry to be so deeply intertwined that it is not easy to tell them apart. Supposed metaphysically necessary (...) identity statements involving natural kind terms are a good example: the fact that empirical input is crucial in establishing their necessity has clouded the role and content of the a priori input, as I have previously argued. For instance, the supposed metaphysically necessary identity statement involving water and its microstructure can only be established with the help of a controversial a priori principle concerning the determination of chemical properties by microstructure. The Kripke-Putnam framework of modal epistemology fails precisely because it is unclear whether the required a priori element is present. My positive proposal builds on E. J. Lowe’s work. Lowe holds that our knowledge of metaphysical modality is based on our knowledge of essence. Lowe’s account strives to offer a uniform picture of modal epistemology: essence is the basis of all our modal knowledge. This is the basis of Lowe’s modal rationalism. I believe that Lowe’s proposal is on the right lines in the case of abstract objects, but I doubt that it can be successfully applied to the case of natural kinds. Accordingly, the case of natural kinds will be my main focus and I will suggest that modal rationalism, at least as it is traditionally understood, falls short of explaining modal knowledge concerning natural kinds. Yet, I think that Lowe has identified something of crucial importance for modal epistemology, namely the essentialist, a priori elements present in our modal inquiry. The upshot is that rather than moving all the way from modal rationalism to modal empiricism, a type of hybrid approach, ‘empirically-informed modal rationalism ’, can be developed. (shrink)

Much of what has been discussed in the theory of reference in the last twenty-five years is strongly influenced by considerations centring on the business of devising a semantics for quantified modal logic. In this context, discussion of the property of rigidity plays an important role. This property is conceived of as a semantic modal property that distinguishes proper names from descriptions. It is argued that there is a semantic modal asym- metry between expressions of these (...) types. In this talk I shall challenge this assumption. By examining the intuitive Kripkean argument or test employed I arrive at two rather nonconformist results: Firstly, it seems that the test does not establish a genuine semantic asymmetry: Rigidity appears to be a pragmatic property. Secondly, the test does not seem to demonstrate an asymmetry at all: When applied correctly it suggests that both proper names and descriptions (even discounting notorious cases like “the even prime”) can be used rigidly—or so I shall argue. (shrink)

The thesis of this paper is that the capacity to think of one’s perceptions as cross-modally integrated is incompatible with a reductionist account of the self. In §2 I distinguish three versions of the argument from cross-modality. According to the ‘unification’ version of the argument, what needs to be explained is one’s capacity to identify an object touched as the same as an object simultaneously seen. According to the ‘recognition’ version, what needs to be explained is one’s capacity, having (...) once seen an object, to reidentify that same object by touch alone. According to the ‘objectivity’ version, what needs to be explained is one’s capacity to think of one’s perceptions in different modalities as perceptions of one and the same object. The third version seems to establish that one must conceive of oneself substantially, as the numerically identical owner of one’s experiences, a conclusion in agreement with recent work in developmental psychology claiming to show that an infant’s cross-modal capacities are essentially implicated in their development of a sense of self. There is further work to be done if this is to be tumed into an argument against reductionism: there is no swift route from the epistemology of self-consciousness to the metaphysics of the self. In the §3, I will claim that there is, nevertheless, an argument linking the two. What I propose is an argument derived, not from the token-reflexive rule for the first-person, but resting on its anaphoric behaviour spanning intensional operators. (shrink)

A fundamental entity is an entity that is ‘ontologically independent’; it does not depend on anything else for its existence or essence. It seems to follow that a fundamental entity is ‘modally free’ in some sense. This assumption, that fundamentality entails modal freedom (or ‘FEMF’ as I shall label the thesis), is used in the service of other arguments in metaphysics. But as I will argue, the road from fundamentality to modal freedom is not so straightforward. (...) The defender of FEMF should provide positive reasons for believing it, especially in light of recent views that are incompatible with it. I examine both direct and indirect routes to FEMF. (shrink)

I present a case for a rapprochement between aspects of rationalism and scientific realism, by way of a general framework employing modal epistemology and elements of 2-dimensional semantics (2DS). My overall argument strategy is meta-inductive: The bulk of this paper establishes a “base case,” i.e., a concretely constructive example by which I demonstrate this linkage. The base case or constructive example acts as the exemplar for generating, in a constructively ‘bottom-up’ fashion, a more generally rigorous case for rationalism-realism qua (...) modal epistemology. The exemple I choose in D. Chalmers’ (2002) modal rationalism and R. Giere’s (1985, 1988) constructive realism. I show by way of a thorough analysis how Giere’s claims concerning modal scope are characterized as instances of Chalmers’ modal rationalism, both weak and strong. In essence, as I demonstrate via Chalmers’ notions, ceteris paribus the constructive realist ultimately opts for a comparatively wider gate, characterized by modal reasoning, to lead from the rooms of conceivability qua thought experiments and models, to the pastures of metaphysical possibility. Chalmers likewise tries to erect such a wider gate, in his general conceivability-possibility theses. Anti-realists, on the other hand, see a narrower passage and my contention herein is that they suffer from modal myopia, which hopefully the ‘corrective vision’ of Chalmers’ modal rationalism can restore. In the introduction and concluding sections I sketch out suggestions of constructing ‘inductive steps’ from my base case, to generate more extensively general claims regarding realism qua rationalism. -/- . (shrink)

A primary challenge from the relativist to the contextualist about epistemic modals is to explain eavesdropping data—i.e., why the eavesdropper is inclined to judge the speaker as having uttered an epistemic modal falsehood (when she is so inclined), even though the speaker’s utterance is true according to reasonable contextualist truth conditions. The issue turns in large part on the strength and shape of the data, both of which are in dispute. One complaint is that an eavesdropper’s truth value (...) judgments fluctuate with variations of non- epistemic fact (even after the relevant epistemic/information states are determined). The project here is to strengthen and reframe this complaint in a debate-neutral way, and to show how a sober contextualism can uniformly accommodate it and the standard eavesdropping data. Along the way we reject John Hawthorne’s danger-theoretic explanation of these subtleties. (shrink)

Since Saul Kripke’s and Hilary Putnam’s groundbreaking work in the Seventies, the idea has emerged that natural kind terms are semantically special among common nouns. Stephen P. Schwartz, for example, has argued that an artifactual kind term like “pencil” functions very differently from a natural kind term like “tiger.” This, however, blatantly violates a principle that I call Semantic Uniformity. In this paper, I defend the principle. In particular, I outline a picture of how natural kind terms function (...) based on Kripke’s and Putnam’s considerations, and I use it to rebut Schwartz’s arguments, showing that if it works for natural kind terms, it can work for artifactual kind terms too, or at least that Schwartz did not provide good enough reasons to the contrary. (shrink)

ABSTRACT: The modal systems of the Stoic logician Chrysippus and the two Hellenistic logicians Philo and Diodorus Cronus have survived in a fragmentary state in several sources. From these it is clear that Chrysippus was acquainted with Philo’s and Diodorus’ modal notions, and also that he developed his own in contrast of Diodorus’ and in some way incorporated Philo’s. The goal of this paper is to reconstruct the three modal systems, including their modal definitions and (...) modal theorems, and to make clear the exact relations between them; moreover, to elucidate the philosophical reasons that may have led Chrysippus to modify his predessors’ modal concept in the way he did. It becomes apparent that Chrysippus skillfully combined Philo’s and Diodorus’ modal notions, with making only a minimal change to Diodorus’ concept of possibility; and that he thus obtained a modal system of modalities (logical and physical) which fit perfectly fit into Stoic philosophy. (shrink)

This dissertation contains four independent essays addressing a cluster of related topics in the philosophy of mind. Chapter 1: “Fundamentality Physicalism” argues that physicalism can usefully be conceived of as a thesis about fundamentality. The chapter explores a variety of other potential formulations of physicalism (particularly modal formulations), contrasts fundamentality physicalism with these theses, and offers reasons to prefer fundamentality physicalism over these rivals. Chapter 2:“Modal Rationalism and the Demonstrative Reply to the Master Argument Against Physicalism” introduces the (...) Master Argument Against Physicalism and investigates its crucial premise: the inference from an a priori gap between the physical and consciousness to a lack of necessitation between the two. I argue against the strong form of modal rationalism that underwrites the master argument and offer a more moderate rationalist view. I offer a novel demonstrative reply to the master argument, according to which a connection between conscious experience and demonstratives, not dualism, is the source of the epistemic gap between consciousness and the physical. Chapter 3: “Conceptual Mastery and the Knowledge Argument” argues that Frank Jackson’s famous anti-physicalist knowledge argument featuring Mary, a brilliant neuroscientist raised in a black and white room, founders on a dilemma. Either (i) Mary cannot know the relevant experiential truths because of trivial obstacles that have no bearing on the truth of physicalism or (ii) once the obstacles have been removed, Mary can know the relevant truths. Chapter 4: “Toward a Theory of Conceptual Mastery” investigates the question “Under what conditions does a thinker fully understand, or have mastery of, a concept?” I argue against three views of conceptual mastery, according to which conceptual mastery is a matter of holding certain beliefs, being disposed to make certain inferences, or having certain intuitions. I propose and respond to objections to my own “meaning postulate view” of the conditions under which a thinker has mastery of a concept. (shrink)

Debunking arguments—also known as etiological arguments, genealogical arguments, access problems, isolation objec- tions, and reliability challenges—arise in philosophical debates about a diverse range of topics, including causation, chance, color, consciousness, epistemic reasons, free will, grounding, laws of nature, logic, mathematics, modality, morality, natural kinds, ordinary objects, religion, and time. What unifies the arguments is the transition from a premise about what does or doesn't explain why we have certain mental states to a negative assessment of (...) their epistemic status. I examine the common, underlying structure of the arguments and the different strategies for motivating and resisting the premises of debunking arguments. (shrink)

Paradoxes of nested modality, like Chisholm’s paradox, rely on S4 or something stronger as the propositional logic of metaphysical modality. Sarah-Jane Leslie’s objection to the resolution of Chisholm’s paradox by means of rejection of S4 modal logic is investigated. A modal notion of essence congenial to Leslie’s objection is clarified. An argument is presented in support of Leslie’s crucial but unsupported assertion that, on pain of inconsistency, an object’s essence is the same in every possible world. A fallacy (...) in the argument is exposed. Alternative interpretations of Leslie’s objection are provided and are found to involve equivocation between different notions of “essence.” A material artifact’s modal essence, as distinct from its quiddity essence, could have been different than it is. (shrink)

Upward monotonic semantics for necessity modals give rise to Ross’s Puzzle: they predict that □φ entails □(φ ∨ ψ), but common intuitions about arguments of this form suggest they are invalid. It is widely assumed that the intuitive judgments involved in Ross’s Puzzle can be explained in terms of the licensing of ‘Diversity’ inferences: from □(φ ∨ ψ), interpreters infer that the truth of each disjunct (φ, ψ) is compatible with the relevant set of worlds. I introduce two (...) pieces of data that this analysis fails to explain. Analyzing this data, I argue, suggests that necessity modals with embedded disjunctions license ‘Independence’ inferences: from the truth of □(φ ∨ ψ), interpreters infer that φ-without-ψ and ψ-without-φ are each compatible with the relevant set of worlds. I outline a bilateral inquisitive semantics for necessity modals that predicts the validity of the Independence inferences. I then argue that the resulting theory should be understood as one on which disjunctions denote pluralities of propositions, and necessity modals behave like collective predicates applied to these pluralities. (shrink)

What makes a valid argument valid? Generally speaking, in a valid argument, if the premisses are true, then the conclusion must necessarily also be true. But on its own, this doesn’t tell us all that much. What is truth? And what is necessity? In what follows, I consider answers to these questions proposed by the fourteenth century logician John Buridan († ca. 1358). My central claim is that Buridan’s logic is downstream from his metaphysics. Accordingly, I treat his metaphysical (...) discussions as the key to his logic. As has been often noted, Buridan’s metaphysics are radically anti-realist about universals, though I think the depth and scope of his anti-realism has at times been papered over. Buridan constructs his logic on an amazingly spartan ontology, and this accomplishment is overdue for reconsideration. To the foregoing questions: truth is a feature of propositions, and of propositions only—not of proposition-like states of affairs, or anything like that. It is a function of the reference or supposition (suppositio) of their terms, which depends on predication in a propositional context. And necessary truth is grounded in causation: a predication is necessary if it cannot be falsified by any power, natural or supernatural, without ii annihilating what its terms stand for. “Socrates is a human”, for instance, can only be falsified by annihilating Socrates, and so it is a necessary truth. -/- These considerations provide an ample theoretical basis for a thorough examination of Buridan’s modal logic. This is what the thesis culminates with. In the final chapter, I set forth some novel and surprising findings, chief of which is this: Buridan’s modal syntax and semantics are nothing like Kripke’s—and indeed are incompatible with them. This has significant implications not only for modal logic and metaphysics, but for how we think about medieval logic and philosophy more generally. -/- Throughout the thesis, I advocate a methodology of emphasising the differences, rather than the similarities, between past and present thought. Buridan is wildly unlike what we’re used to, and we should let him speak for himself. (shrink)

⦿ In my dissertation I introduce, motivate and take the first steps in the implementation of, the project of naturalising modal metaphysics: the transformation of the field into a chapter of the philosophy of science rather than speculative, autonomous metaphysics. -/- ⦿ In the introduction, I explain the concept of naturalisation that I apply throughout the dissertation, which I argue to be an improvement on Ladyman and Ross' proposal for naturalised metaphysics. I also object to Williamson's proposal that (...) class='Hi'>modal metaphysics --- or some view in the area --- is already a quasi-scientific discipline. -/- ⦿ Recently, some philosophers have argued that the notion of metaphysical modality is as ill defined as to be of little theoretical utility. In the second chapter I intend to contribute to such skepticism. First, I observe that each of the proposed marks of the concept, except for factivity, is highly controversial; thus, its logical structure is deeply obscure. With the failure of the "first principles" approach, I examine the paradigmatic intended applications of the concept, and argue that each makes it a device for a very specific and controversial project: a device, therefore, for which a naturalist will find no use for. I conclude that there is no well-defined or theoretically useful notion of objective necessity other than logical or physical necessity, and I suggest that naturalising modal metaphysics can provide more stable methodological foundations. -/- ⦿ In the third chapter I answer a possible objection against the in-principle viability of the project: that the concept of metaphysical modality cannot be understood through the philosophical analysis of any scientific theory, since metaphysical necessity "transcends'' natural necessity, and science only deals with the latter. I argue that the most important arguments for this transcendence thesis fail or face problems that, as of today, remain unsolved. -/- ⦿ Call the idea that science doesn't need modality, "demodalism''. Demodalism is a first step in a naturalistic argument for modal antirealism. In the fourth chapter I examine six versions of demodalism to explain why a family of formalisms, that I call "spaces of possibility'', are (i) used in a quasi-ubiquitous way in mathematised sciences (I provide examples from theoretical computer science to microeconomics), (ii) scientifically interpreted in modal terms, and (iii) used for at least six important tasks: (1) defining laws and theories; (2) defining important concepts from different sciences (I give several examples); (3) making essential classifications; (4) providing different types of explanations; (5) providing the connection between theory and statistics, and (6) understanding the transition between a theory and its successor (as is the case with quantisation). -/- ⦿ In fifth chapter I propose and defend a naturalised modal ontology. This is a realism about modal structure: my realism about constraints. The modal structure of a system are the relationships between its possible states and between its possible states and those of other systems. It is given by the plurality of restrictions to which said system is subject. A constraint is a factor that explains the impossibility of a class of states; I explain this concept further. First, I defend my point of view by rejecting some of its main rivals: constructive empiricism, Humean conventionalism, and wave function realism, as they fail to make sense of quantum chaos. This is because the field requires the notion of objective modal structure, and the mentioned views have trouble explaining the modal facts of quantum dynamics. Then, I argue that constraint realism supersedes these views in the context of Bohm's standard theory and mechanics, and underpins the study of quantum chaos. Finally, I consider and reject two possible problems for my point of view. -/- ⦿ A central concern of modal metaphysicians has been to understand the logical system that best characterises necessity. In the sixth chapter I intend to recover the logical project applied to my naturalistic modal metaphysics. Scientists and philosophers of science accept different degrees of physical necessity, ranging from purely mathematically necessary facts that restrict physical behaviour, to kinetic principles, to particular dynamical constraints. I argue that this motivates a multimodal approach to modal logic, and that the time dependence of dynamics motivates a logic of historical necessity. I propose multimodal propositional (classical) logics for Bohmian mechanics and the Everettian theory of many divergent worlds, and I close with a criticism of Williamson's approach to the logic of state spaces of dynamic systems. (shrink)

Arguments have always played a central role within logic and philosophy. But little attention has been paid to arguments as a distinctive kind of discourse, with its own semantics and pragmatics. The goal of this essay is to study the mechanisms by means of which we make arguments in discourse, starting from the semantics of argument connectives such as `therefore'. While some proposals have been made in the literature, they fail to account for the distinctive anaphoric (...) behavior of `therefore', as well as uses of argument connectives in complex arguments, suppositional arguments, arguments with non-declarative conclusions, as well as arguments with parenthetical remarks. A comprehensive account of arguments requires imposing a distinctive tree-like structure on contexts. We show how to extend our account to accommodate modal subordination and and di fferent flavors of `therefore'. (shrink)

We draw out significant consequences of a relatively popular theory of metaphysical modality—branching actualism—for cosmological arguments for God’s existence. According to branching actualism, every possible world shares an initial history with the actual world and diverges only because causal powers (or dispositions, or some such) are differentially exercised. We argue that branching actualism undergirds successful responses to two recent cosmological arguments: the Grim Reaper Kalam argument and a modal argument from contingency. We also argue that branching (...) actualism affords a response to one popular defense of the classic contingency argument. What results are new difficulties for several cosmological arguments arising from the metaphysics of modality. (shrink)

In his book Worlds and Individuals, Possible and Otherwise (2010), Takashi Yagisawa presents and argues for a novel and imaginative version of modal realism. It differs both from Lewis’s modal realism (Lewis 1986) and from actualists’ ersatz accounts (Adams 1974; Sider 2002). In this paper, I’ll present two arguments, each of which shows that Yagisawa’s metaphysics is incoherent. The first argument shows that the combination of Yagisawa’s metaphysics with impossibilia leads to triviality: every sentence whatsoever (...) comes out true. This is so even if Yagisawa accepts a paraconsistent notion of logical consequence, on which contradictions do not entail arbitrary conclusions. The second argument is independent of Yagisawa’s acceptance of impossibilia. It shows that Yagisawa’s metaphysics of possible worlds is incoherent. Using ordinary modal reasoning, I derive a contradiction from Yagisawa’s account of possible worlds. (shrink)

Certain passages in Kaplan’s ‘Demonstratives’ are often taken to show that non-vacuous sentential operators associated with a certain parameter of sentential truth require a corresponding relativism concerning assertoric contents: namely, their truth values also must vary with that parameter. Thus, for example, the non-vacuity of a temporal sentential operator ‘always’ would require some of its operands to have contents that have different truth values at different times. While making no claims about Kaplan’s intentions, we provide several reconstructions of how such (...) an argument might go, focusing on the case of time and temporal operators as an illustration. What we regard as the most plausible reconstruction of the argument establishes a conclusion similar enough to that attributed to Kaplan. However, the argument overgenerates, leading to absurd consequences. We conclude that we must distinguish assertoric contents from compositional semantic values, and argue that once they are distinguished, the argument fails to establish any substantial conclusions. We also briefly discuss a related argument commonly attributed to Lewis, and a recent variant due to Weber. (shrink)

This paper considers two problems -- one in philosophy of religion and another in philosophy of physics -- and shows that the two problems have one solution. Some Christian philosophers have endorsed the views that (i) there was a first finitely long period of time, (ii) God is in time, and yet (iii) God did not have a beginning. If there was a first finitely long period of time and God is in time then there was a first finitely long (...) period of time in God's life. But if God's life includes a first finitely long period of time, then, on one initially intuitive conception of beginning to exist, God began to exist. Thus, at first glance, (i)-(iii) are not mutually compatible. Meanwhile, on a variety of proposals for quantum gravity theories or interpretations of quantum theory, space-time is not fundamental to physical reality and instead can (somehow) be explained in terms of yet more fundamental physical substructures. As I show, there is a strong intuition that if space-time is not fundamental to physical reality, then, even if there were a first finitely long period in the life of physical reality, physical reality would be beginningless. Thus, both theistic philosophers and philosophers of physics have developed theories on which some beginningless entities have a first finitely long temporal period in their lives and so both groups should be interested in developing criteria that distinguish such entities from entities with a beginning. In this paper, I offer one necessary (but not sufficient) condition, namely, that entities that begin to exist are absent from the closest possible worlds without time. The view that I defend has one significant upshot: no sound argument can use the mere fact (if it is a fact) that past time is finite to reach the conclusion that the totality of physical reality had a beginning. (shrink)

Arguments and conditionals are powerful means language provides us to reason about possibilities and to reach conclusions from premises. These two kinds of constructions exhibit several affinities—e.g., they both come in different varieties depending on the mood; they share some of the same connectives (i.e., ‘then’); they allow for similar patterns of modal subordination. In the light of these affinities, it is not surprising that prominent theories of conditionals—old and new suppositionalisms as well as dynamic theories of (...) conditionals—as well as certain reductive theories of arguments tend to semantically assimilate conditionals and arguments. In this paper, I shall marshall some linguistic evidence as well as some theoretical considerations for thinking that, despite these similarities, arguments and conditionals should be given a different semantics and I shall lay out a framework that can capture at least some of their affinities while accounting for their outstanding differences. (shrink)

I consider the first-order modal logic which counts as valid those sentences which are true on every interpretation of the non-logical constants. Based on the assumptions that it is necessary what individuals there are and that it is necessary which propositions are necessary, Timothy Williamson has tentatively suggested an argument for the claim that this logic is determined by a possible world structure consisting of an infinite set of individuals and an infinite set of worlds. He notes that only (...) the cardinalities of these sets matters, and that not all pairs of infinite sets determine the same logic. I use so-called two-cardinal theorems from model theory to investigate the space of logics and consequence relations determined by pairs of infinite sets, and show how to eliminate the assumption that worlds are individuals from Williamson’s argument. (shrink)

This chapter analyzes several key themes in Kant’s views about modality. We begin with the pre-critical Only Possible Argument in Support of a Demonstration of the Existence of God, in which Kant distinguishes between formal and material elements of possibility, claims that all possibility requires an actual ground, and argues for the existence of a single necessary being. We then briefly consider how Kant’s views change in his mature period, especially concerning the role of form and thought in defining modality. (...) Kant’s mature views, however, present two difficult interpretive puzzles. The first puzzle concerns whether Kant has a generally reductive view of modality. While Kant’s views on logical modality, the role of actuality in grounding possibility, and the relation of modality to cognition all suggest reduction, we argue that the categorial status of modal concepts and the difficulty in even identifying amodal grounds for modal facts all suggest a non-reductive view. The second puzzle concerns whether Kant accepts modal facts or properties at the noumenal level. While Kant’s appeal to noumenal necessary connections, the contingency of noumenal willing, and the idea of a necessary noumenal being suggest that he endorses noumenal modality, his claims that modal concepts express only relations to the faculty of cognition and his claim that modal concepts arise from our distinctive psychological structures, we argue, suggest that he rejects noumenal modality. We conclude by considering potential solutions to these puzzles. (shrink)

John Searle has argued that the aim of strong AI of creating a thinking computer is misguided. Searle’s Chinese Room Argument purports to show that syntax does not suffice for semantics and that computer programs as such must fail to have intrinsic intentionality. But we are not mainly interested in the program itself but rather the implementation of the program in some material. It does not follow by necessity from the fact that computer programs are defined syntactically that the (...) implementation of them cannot suffice for semantics. Perhaps our world is a world in which any implementation of the right computer program will create a system with intrinsic intentionality, in which case Searle’s Chinese Room Scenario is empirically (nomically) impossible. But, indeed, perhaps our world is a world in which Searle’s Chinese Room Scenario is empirically (nomically) possible and that the silicon basis of modern day computers are one kind of material unsuited to give you intrinsic intentionality. The metaphysical question turns out to be a question of what kind of world we are in and I argue that in this respect we do not know our modal address. The Modal Address Argument does not ensure that strong AI will succeed, but it shows that Searle’s challenge on the research program of strong AI fails in its objectives. (shrink)

The aim of this paper is to discuss a seemingly straightforward argument against physicalism which, despite being implicit in much of the philosophical debate about consciousness, has not received the attention it deserves (compared to other, better-known “epistemic”, “modal”, and “conceivability” arguments). This is the argument from the non-supervenience of the first-personal (and indexical) facts on the third-personal (and non-indexical) ones. This non-supervenience, together with the assumption that the physical facts (as conventionally understood) are third-personal, entails that (...) some facts – namely, first-personal, phenomenal ones – do not supervene on the physical facts. Unlike other arguments against physicalism, the first-personal argument, if successful, refutes not only physicalism but also other third-personal metaphysical pictures, including standard versions of dualism. (shrink)

Marton ( 2019 ) argues that that it follows from the standard antirealist theory of truth, which states that truth and possible knowledge are equivalent, that knowing possibilities is equivalent to the possibility of knowing, whereas these notions should be distinct. Moreover, he argues that the usual strategies of dealing with the Church–Fitch paradox of knowability are either not able to deal with his modal-epistemic collapse result or they only do so at a high price. Against this, I (...) argue that Marton’s paper does not present any seriously novel challenge to anti-realism not already found in the Church–Fitch result. Furthermore, Edgington ( 1985 ) reformulated antirealist theory of truth can deal with his modal-epistemic collapse argument at no cost. (shrink)

At the start of his discussion of causation, Hume claims to demonstrate that simultaneous causation is absolutely impossible; all causes must precede their effects in time. I argue that considering Hume’s modal theory can reveal two important and previously unaddressed features of this argument. First, his modal metaphysics resolves one of the most pressing extant interpretive issues: how Hume is able to infer from the claim that it is possible for some object to be simultaneously caused to (...) the claim that it is possible for all objects to be simultaneously caused. This step, I argue, is justified by Hume’s theory of relations. Based on an analysis of the representational capacities of the imagination in the Treatise, I develop a modal theory for relations that supports inferences of this kind. Second, his distinction between absolute and natural modality raises a problem that has not yet been identified in the literature. Hume is trying to conclude that something is metaphysically impossible, but one of his premises relies on a mere natural impossibility (that no object can begin to exist uncaused). I argue that this is an intractable problem: Hume cannot get the conclusion he wants because it depends on an equivocation between two strengths of modality. (shrink)

In this paper, I argue that the temporal connective prima (‘before’) is a comparative adverb. The argument is based on a number of grammatical facts from Italian, showing that there is an asymmetry between prima and dopo (‘after’). On the ground of their divergent behaviour, I suggest that dopo has a different grammatical status from prima. I propose a semantic treatment for prima that is based on an independently motivated analysis of comparatives which can be traced back to (...) Seuren (in: Kiefer and Ruwet (eds.) Generative grammar in Europe, 1973). Dopo is analyzed instead as an atomic two-place predicate which contributes a binary relation over events to the sentence meaning. The different semantic treatments of the two connectives provide an explanation for the grammatical asymmetries considered at the outset; interestingly, they also shed some light on other asymmetries between prima and dopo, which are known to hold for the English temporal connectives before and after as well: these asymmetries are related to the veridicality properties, the distribution of NPIs, and the logical properties of these connectives first described in Anscombe (Philos Rev 73:3–24, 1964). (shrink)

The first section of the chapter will address the philosophy of modality among Spinoza’s medieval Jewish predecessors, and, primarily, in Hasdai Crescas (1340-1410/11), a bold and original, anti-Aristotelian philosopher. This section should both complement the discussion of modality in medieval Christian and Islamic philosophy in the previous chapters of this volume and provide some lesser-known historical background to Spinoza’s own engagement with modal philosophy. Following a section on Spinoza’s definitions of his main modal concepts and his understanding of (...) contingency, I will turn, in the third section, to discuss the extent of Spinoza’s commitment to necessitarianism. The recent debate about whether Spinoza was a strict necessitarian has resulted in quite a few insights about Spinoza’s modal philosophy, but it has also detracted attention from some basic questions about Spinoza’s modal philosophy, and in the fourth and last section of the chapter, I will attempt to chart the foundational questions that still have been barely explored. The primary aim of this chapter it to provide a survey and outline of the chief elements of Spinoza’s modal philosophy. Still, beyond the mere overview of Spinoza’s arguments (and some major scholarly debates), I will also advance two original theses. First, I will show that Spinoza makes a distinction between two notions of contingency, and that once this important distinction is observed, Spinoza’s various assertions about contingency turn out to be consistent. Secondly, I will discuss the text (E2a1) which is commonly taken to be the strongest and most stubborn proof against the reading of Spinoza as strict necessitarianism; I will show that the basic meaning of this text has been widely misunderstood, and that E2a1 is perfectly compatible with strict necessitarianism. (shrink)

This paper first argues that we can bring out a tension between the following three popular doctrines: (i) the canonical reduction of metaphysical modality to essence, due to Fine, (ii) contingentism, which says that possibly something could have failed to be something, and (iii) the doctrine that metaphysical modality obeys the modal logic S5. After presenting two such arguments (one from the theorems of S4 and another from the theorems of B), I turn to exploring various (...) conclusions we might draw in light of these results, and argue that none comes cost free. In the course of laying out possible responses to my arguments, we'll have a chance to evaluate various doctrines about the interplay between contingency and essence, as well as develop some alternative reductions of metaphysical modality to essence. I don't decisively come down in favor of one response over the others, though I say some things that point towards the conclusion that essence has no role to play in reducing metaphysical modality. (shrink)

In this paper, I discuss the main characteristics of the epistemology of modal rationalism by proceeding from the critical investigation of Peacocke’s theory of modality. I build on arguments by Crispin Wright and Sonia Roca-Royes, which are generalised and supplemented by further analysis, in order to show that principle-based accounts have little prospects of succeeding in their task of providing an integrated account of the metaphysics and the epistemology of modality. I argue that it is unlikely that (...) we will able to develop an exhaustive and accurate principle-based account that discriminates objectively between correct and deviant modal knowledge. Even if such an account can be formulated, a non-circular way of justifying its necessity also seems to be out of our reach. (shrink)

The present dissertation investigates certain facets of the logical structure of oughts – where “ought” is used as a noun, roughly meaning obligation. I do so by following two lines of inquiry. The first part of the thesis places oughts in the context of practical rationality. The second part of the thesis concerns the inference rules governing arguments about oughts, and specifically the inference rule of Reasoning by Cases. These two lines of inquiry, together, aim to expound upon oughts (...) in rationality and reasoning. The methodology used in this dissertation is the one of philosophical logic, in which logical, qualitative models are developed to support and foster conceptual analysis. The dissertation consists of four main chapters. The first two chapters are devoted to the role of oughts in practical rationality. I focus on the so-called Enkratic principle of rationality, which – in its most general formulation – requires that if an agent believes sincerely and with conviction that she ought to do X, then she intends to X. I develop a logical framework to investigate the (static and dynamic) relation between those oughts believed by the agent and her intentions. It is shown that, under certain minimal assumptions, the Enkratic principle of rationality is a principle of limited validity. The following two chapters of the dissertation constitute a study of the classical inference rule of Reasoning by Cases, which – in its simplest form – moves from the premises “A or B”, “if A then C” and “if B then C” to the conclusion “C”. Recent literature has called the validity of Reasoning by Cases into question, with the most influential counterexample being the so-called Miners’ Puzzle – an instance of Reasoning by Cases where “C” involves oughts. I provide a unifying explanation of why the Miners’ Puzzle emerges. It is shown that, within specific boundaries, Reasoning by Cases is a valid inference rule. (shrink)

Kit Fine has proposed a new solution to what he calls ‘a familiar puzzle’ concerning modality and existence. The puzzle concerns the argument from the alleged truths ‘It is necessary that Socrates is a man’ and ‘It is possible that Socrates does not exist’ to the apparent falsehood ‘It is possible that Socrates is a man and does not exist’. We discuss in detail Fine’s setting up of the ‘puzzle’ and his rejection, with which we concur, of two mooted (...) solutions to it. (One of these uses standard, Kripkean, notions, and the other rests on work done by Arthur Prior.) We set out, and reject, the philosophy of modality underlying Fine’s new solution, and we defend an alternative response to the alleged puzzle. Our solution follows the work of David Wiggins in distinguishing between the sentential operator ‘It is necessary that’ and the predicate modifier ‘necessarily’. We briefly provide this distinction with a possible- world semantics on which it is neither a necessary truth, in some sense, that Socrates exists nor true, in some sense, that Socrates necessarily exists. (shrink)

A simple argument against Lewisian modal realism as portrayed in On the Plurality of World arises from its treatment of doxastic modalities. It is easily shown that if it is true, it is impossible to doubt the theory on ontological grounds, or, that, if it is possible to maintain doubt about modal realism’s existential postulate, it has to be false. The argument hinges on the fact that modal realism’s main ontological hypothesis, if true, is necessarily true.

The aim of this paper is to show that Priest's modal Meinongianism might benefit from joining forces with two-dimensionalism. For this purpose, I propose a two-dimensional solution to a problem for modal Meinongianism that is posed by Beall, Sauchelli, and Milne, and show that, by taking recourse to two-dimensionalism, divergent intuitions about the question of whether fictional characters might exist can be reconciled. Moreover, two-dimensionalism helps to rebut Kroon's argument to the conclusion that modal Meinongianism cannot (...) rule out the odd claim that some non-existent objects have existence-entailing properties at the actual world. (shrink)

Henry More argues that materialism cannot account for cases where a single subject or perceiver has multiple perceptions simultaneously. Since we clearly do have multiple perceptions at the same time--for example, when we see, hear, and smell simultaneously--More concludes that we are not wholly material. In response to More's argument, Margaret Cavendish adopts a two-fold strategy. First, she argues that there is no general obstacle to mental unification in her version of materialism. Second, Cavendish appeals to the mind or rational (...) matter--terms she often uses interchangeably—to explain the integration of sensory input from multiple senses. When the mind integrates perceptions across modalities, the different parts of rational matter share their knowledge so that they all come to perceive alike. When rational parts successfully communicate their knowledge, each part knows what all the others know. They pool their knowledge; they perceive alike. Thus, when someone hears, sees, and tastes, each part of her mind hears, sees, and tastes alike, in parallel and in unison. The Cavendishian mind, in short, approximates simplicity by achieving uniformity or homogeneity of perceptions across its parts. (shrink)

The paper considers sentences in which “now” occurs in initial position and shows that the meaning they convey differs from the meaning of sentences that are otherwise identical except for “now” occurring in final position. We argue that the occurrence of “now” in initial position triggers a particular kind of modal reading for the sentence to which the adverb is prefixed. A general notion of modal forcing is proposed to provide a uniform account of this kind of (...) reading. Armed with this account, we offer a solution to two tense-modal puzzles, which have to do with fatalism and the possibility of a changing past. (shrink)

In this paper, we clarify, unpack, and ultimately resist what is perhaps the most prominent argument for the compatibility of free will and determinism: the epistemic argument for compatibilism. We focus on one such argument as articulated by David Lewis: (i) we know we are free, (ii) for all we know everything is predetermined, (iii) if we know we are free but for all we know everything is predetermined, then for all we know we are free but everything is predetermined, (...) (iv) if for all we know we are free but predetermined, then it is really possible that we are, so (v) compatibilism. We uncover how the crucial epistemic modality underlying (iv) must be understood, and contend that, understood this way, the libertarian can resist (iv). Importantly, however, resisting the argument does commit the libertarian to what has been called “flip-flopping”—but we argue that this is perfectly coherent. We conclude by articulating two crucially ways the libertarian can resist the argument, by saying that we can know that determinism is false "from the armchair". (shrink)

ABSTRACT. Two arguments have recently been advanced that Maxwell-Boltzmann particles are indistinguishable just like Bose-Einstein and Fermi-Dirac particles. Bringing modal metaphysics to bear on these arguments shows that ontological indistinguishability for classical (MB) particles does not follow. The first argument, resting on symmetry in the occupation representation for all three cases, fails since peculiar correlations exist in the quantum (BE and FD) context as harbingers of ontic indistinguishability, while the indistinguishability of classical particles remains purely epistemic. The (...) second argument, deriving from the classical limits of quantum statistical partition functions, embodies a conceptual confusion. After clarifying the doctrine of haecceitism, a third argument is considered that attempts to deflate metaphysical concerns altogether by showing that the phase-space and distribution-space representations of MB-statistics have contrary haecceitistic import. Careful analysis shows this argument to fail as well, leaving de re modality unproblematically grounding particle identity in the classical context while genuine puzzlement about the underlying ontology remains for quantum statistics. (shrink)

Many philosophers believe that there is a causal condition on perception, and that this condition is a conceptual truth about perception. A highly influential argument for this claim is based on intuitive responses to Gricean-style thought experiments. Do the folk share the intuitions of philosophers? Roberts et al. (2016) presented participants with two kinds of cases: Blocker cases (similar to Grice’s case involving a mirror and a pillar) and Non-Blocker cases (similar to Grice’s case involving a clock and brain stimulation). (...) They found that a substantial minority agreed that seeing occurs in the Non-Blocker cases, and that in the Blocker cases significantly less agreed that seeing occurs. They thus hypothesized that folk intuitions better align with a no blocker condition than with a causal condition. This paper continues this line of enquiry with two new experiments. The paper investigates the generality and robustness of Roberts et al.’s findings by expanding the sense modalities tested from only vision to audition and olfaction as well. The paper also uses Gricean-style thought experiments as a case study for investigating the “reflection defense” against the negative project in experimental philosophy. Our results replicate and extend Roberts et al.’s study and support their hypothesis that folk intuitions better align with a no blocker condition. They also provide an empirical reason to doubt the reflection defense. (shrink)