This paper explores the prospects of a combinatorial account of modality. We argue against David M. Armstrong’s version of combinatorialism, which seeks to do without modal primitives, on the grounds, among other things, that Armstrong’s basic ontological categories are themselves subject to non-contingent constraints on recombination. We outline an alternative version, which acknowledges the necessity of modal primitives, at the level of ontology, and not just of our concepts.

Traditional combinatory logic uses combinators S and K to represent all Turing-computable functions on natural numbers, but there are Turing-computable functions on the combinators themselves that cannot be so represented, because they access internal structure in ways that S and K cannot. Much of this expressive power is captured by adding a factorisation combinator F. The resulting SF-calculus is structure complete, in that it supports all pattern-matching functions whose patterns are in normal form, including a function that decides structural equality (...) of arbitrary normal forms. A general characterisation of the structure complete, confluent combinatory calculi is given along with some examples. These are able to represent all their Turing-computable functions whose domain is limited to normal forms. The combinator F can be typed using an existential type to represent internal type information. (shrink)

Many contemporary philosophers accept Hume's Dictum, according to which there are no metaphysically necessary connections between distinct, intrinsically typed entities. Tacit in Lewis 's work is a potential motivation for HD, according to which one should accept HD as presupposed by the best account of the range of metaphysical possibilities---namely, a combinatorial account, applied to spatiotemporal fundamentalia. Here I elucidate and assess this Ludovician motivation for HD. After refining HD and surveying its key, recurrent role in Lewis (...) ’s work, I present Lewis ’s appeal to HD as providing a broadly axiomatic generating basis for the space of metaphysical modality, and canvas the prima facie advantages of the resulting combinatorial principle---HD ---as being principled, extensionally adequate and modally reductive. Most criticisms of Lewis 's combinatorialism have targeted seeming ways in which the theory overgenerates the desired space; I rather argue that HD seriously undergenerates the desired space in three different ways. For each way I argue that available means of overcoming the undergeneration either fail to close the gap, undermine the claim that HD is a principled generator of metaphysical modal space, undermine the reductive status of Lewis 's combinatorialism, or call into question the truth of HD. (shrink)

Armstrong’s combinatorial theory of possibility faces the obvious difficulty that not all universals are compatible. In this paper I develop three objections against Armstrong’s attempt to account for property incompatibilities. First, Armstrong’s account cannot handle incompatibilities holding among properties that are either simple, or that are complex but stand to one another in the relation of overlap rather than in the part/ whole relation. Secondly, at the heart of Armstrong’s account lies a notion of structural universals (...) which, building on an objection by David Lewis, is shown to be incoherent. I consider and reject two alternative ways of construing the composition of structural universals in an attempt to meet Lewis’ objection. An important consequence of this is that all putative structural properties are in fact simple. Finally, I argue that the quasi-mereological account presupposes modality in a way that undermines the reductionist aim of the combinatorialist theory of which it is a central part. I conclude that Armstrong’ quasi-mereological account of property incompatibility fails. Without that account, however, Armstrong’s combinatorial theory either fails to get off the ground, or else must give up its goal of reducing the notion of possibility to something non-modal. (shrink)

In this essay I comparatively evaluate two realist metaphysical accounts of modality: David Lewis’ (1986) genuine modal realism (GMR), and neo-Aristotelian modal realism (AMR) as put forth by Alexander Pruss (2011). GMR offers a reductive analysis of modal claims of possibility and necessity in terms of claims quantifying over concrete worlds and counterparts, and is in this way committed the existence of a plurality of concrete worlds other than the actual world; AMR, on the other hand, offers an analysis (...) of modal claims in terms of claims about the causal powers of existing objects in the actual world, and identifies these powers and powerful properties as the truthmakers for modal truths of possibility and necessity. I consider two objections to GMR; firstly, that it leads to ethical paradoxes, and secondly, that the counterparts it offers as truthmakers for modal claims are fundamentally irrelevant to the de re modal properties of objects. I argue that AMR bears a prima facie advantage over GMR by reason of its avoidance of those two objections, before evaluating two objections faced by AMR itself, namely, that its analysis is not genuinely explanatory, and secondly, that the ontology of powers fails to account for the full range of metaphysical possibility. I argue that AMR has the resources to avoid these objections, that AMR on balance is more attractive, and that therefore AMR is worthy of serious consideration by advocates of GMR. References LEWIS, DAVID K. (1986). On the plurality of worlds. New York, NY, USA: B. Blackwell. PRUSS, ALEXANDER R. (2011). Actuality, Possibility, and Worlds. London: Continuum. (shrink)

This book sets out a Kant-inspired theory of modality, driven by a methodology which takes seriously questions about the function of modal judgment as a guide to a metaphysics of modality. It argues that we need logical modal concepts as a condition on our ability to think, and metaphysical modal concepts as a condition on our ability to think objectively. Concordant with this, it argues that logical necessity has its source in the laws of thought and that metaphysical (...) necessity is relative to conditions on objective thought. This this account of metaphysical necessity, which is termed “Modal Transcendentalism”, is then further developed, covering questions concerning necessary and contingent existence, de re necessity, essentialism, and modal epistemology. (shrink)

Due to the influence of Nathan Salmon’s views, endorsement of the “flexibility of origins” thesis is often thought to carry a commitment to the denial of S4. This paper rejects the existence of this commitment and examines how Peacocke’s theory of the modal may accommodate flexibility of origins without denying S4. One of the essential features of Peacocke’s account is the identification of the Principles of Possibility, which include the Modal Extension Principle (MEP), and a set of Constitutive Principles. (...) Regarding their modal status, Peacocke argues for the necessity of MEP, but leaves open the possibility that some of the Constitutive Principles be only contingently true. Here, I show that the contingency of the Constitutive Principles is inconsistent with the recursivity of MEP, and this makes the account validate S4. It is also shown that, compatibly with the necessity of the Constitutive Principles, the account can still accommodate intuitions about flexibility of origins. However, the account we end up with once those intuitions are consistently accommodated may not be satisfactory, and this opens up the debate about whether or not artefacts allow for some variation in their origins. (shrink)

Due to the influence of Nathan Salmon’s views, endorsement of the “flexibility of origins” thesis is often thought to carry a commitment to the denial of S4. This paper rejects the existence of this commitment and examines how Peacocke’s theory of the modal may accommodate flexibility of origins without denying S4. One of the essential features of Peacocke’s account is the identification of the Principles of Possibility, which include the Modal Extension Principle (MEP), and a set of Constitutive Principles. (...) Regarding their modal status, Peacocke argues for the necessity of MEP, but leaves open the possibility that some of the Constitutive Principles be only contingently true. Here, I show that the contingency of the Constitutive Principles is inconsistent with the recursivity of MEP, and this makes the account validate S4. It is also shown that, compatibly with the necessity of the Constitutive Principles, the account can still accommodate intuitions about flexibility of origins. However, the account we end up with once those intuitions are consistently accommodated may not be satisfactory, and this opens up the debate about whether or not artefacts allow for some variation in their origins. (shrink)

In their searching contributions to this Symposium, Gideon Rosen, Timothy Williamson and Crispin Wright identify a set of issues crucial for assessing the principle-based treatment of modality I presented in Chapter Four of Being Known. I thank them for such focused and thoughtful discussions. This response is organized as a series of questions and proposed answers that aim to address the issues they raise. I hope their contributions will be as helpful to the reader as they have been to (...) me in understanding what is, and what is not, involved in the principle-based conception. My response will not consist only in defense and elaboration. On some issues, I will argue that the position formulated in Being Known needs supplementation. On others, especially those concerned with actualism and possibilia, it needs revision and a new positive theory. (shrink)

In their searching contributions to this Symposium, Gideon Rosen, Timothy Williamson and Crispin Wright identify a set of issues crucial for assessing the principle-based treatment of modality I presented in Chapter Four of Being Known. I thank them for such focused and thoughtful discussions. This response is organized as a series of questions and proposed answers that aim to address the issues they raise. I hope their contributions will be as helpful to the reader as they have been to (...) me in understanding what is, and what is not, involved in the principle-based conception. My response will not consist only in defense and elaboration. On some issues, I will argue that the position formulated in Being Known needs supplementation. On others, especially those concerned with actualism and possibilia, it needs revision and a new positive theory. (shrink)

What grounds the truth of modal statements? And how do we get to know about what is possible or necessary? One of the most prominent anti-realist perspectives on the nature of modality, due to Peter Menzies, is the response-dependent account of modal concepts. Typically, offering a response-dependent account of a concept means defining it in terms of dispositions to elicit certain mental states from suitable agents under suitable circumstances. Menzies grounded possibility and necessity in the conceivability-response of (...) ideal conceivers: P is possible iff an ideal conceiver could conceive that P. I will draw attention to three major objections that can be identified in the modal metaphysics and epistemology literature: Chalmers’ Incoherency Objection, Sherratt’s Transparency Objection and Geirsson’s Irrelevancy Objection. Each of these objections raises a different worry regarding Menzies’ account: that the notion of an ideal conceiver is incoherent, that the account implies a controversial thesis, and that it fails to offer an explanation of our knowledge of modality. The aim of this paper is to defend the response-dependent account of modality against these three objections. (shrink)

On Kratzer’s canonical account, modal expressions (like “might” and “must”) are represented semantically as quantifiers over possibilities. Such expressions are themselves neutral; they make a single contribution to determining the propositions expressed across a wide range of uses. What modulates the modality of the proposition expressed—as bouletic, epistemic, deontic, etc.—is context.2 This ain’t the canon for nothing. Its power lies in its ability to figure in a simple and highly unified explanation of a fairly wide range of language (...) use. Recently, though, the canon’s neat story has come under attack. The challenge cases involve the epistemic use of a modal sentence for which no single resolution of the contextual parameter appears capable of accommodating all our intuitions.3 According to these revisionaries, such cases show that the canonical story needs to be amended in some way that makes multiple bodies of information relevant to the assessment of such statements. Here I show that how the right canonical, flexibly contextualist account of modals can accommodate the full range of challenge cases. The key will be to extend Kratzer’s formal semantic account with an account of how context selects values for a modal’s.. (shrink)

As Vetter says, we are at the “beginning of the debate, not the end” (2015: 300) when it comes to evaluating her potentiality-based account of metaphysical modality. This paper contributes to this developing debate by highlighting three problems for Vetter’s account. Specifically, I begin (§1) by articulating some relevant details of Vetter’s potentiality-based view. This leads to the first issue (§2), concerning unclarity in the idea of degrees of potentiality. Similarly, the second issue (§3) raises trouble for (...) Vetter’s proposed individuation conditions for potentialities. Finally, the third issue (§4) is about apparently unmanifestable intrinsic potentialities, and suggests that there might be some deeper problems with anchoring metaphysical possibilities in concrete objects. More generally, though the issues detailed here are problematic, I do not take them to be fatal. However, they do show that, at minimum, further clarification of Vetter’s potentiality view is required. As Vetter says, we are at the “beginning of the debate, not the end” (2015: 300) when it comes to evaluating her potentiality-based account of metaphysical modality. This paper contributes to this developing debate by highlighting three problems for Vetter’s account. Specifically, I begin (§1) by articulating some relevant details of Vetter’s potentiality-based view. This leads to the first issue (§2), concerning unclarity in the idea of degrees of potentiality. Similarly, the second issue (§3) raises trouble for Vetter’s proposed individuation conditions for potentialities. Finally, the third issue (§4) is about apparently unmanifestable intrinsic potentialities, and suggests that there might be some deeper problems with anchoring metaphysical possibilities in concrete objects. More generally, though the issues detailed here are problematic, I do not take them to be fatal. However, they do show that, at minimum, further clarification of Vetter’s potentiality view is required. (shrink)

According to the canonical formulation of the modal account of luck [e.g. Pritchard (2005)], an event is lucky just when that event occurs in the actual world but not in a wide class of the nearest possible worlds where the relevant conditions for that event are the same as in the actual world. This paper argues, with reference to a novel variety of counterexample, that it is a mistake to focus, when assessing a given event for luckiness, on events (...) distributed over just the nearest possible worlds. More specifically, our objection to the canonical formulation of the modal account of luck reveals that whether an event is lucky depends crucially on events distributed over all possible worlds–viz., across the modal universe. It is shown that an amended modal account of luck which respects this point has the additional virtue of avoiding a notable kind of counterexample to modal accounts of luck proposed by Lackey (2008). (shrink)

This essay offers a rearticulation and defence of the modal account of luck that the author developed in earlier work . In particular, the proposal is situated within a certain methodology, a component of which is paying due attention to the cognitive science literature on luck ascriptions. It is shown that with the modal account of luck properly articulated it can adequately deal with some of the problems that have recently been offered against it, and that the view (...) has a number of attractions over competing proposals, such as the lack of control account. (shrink)

According to the simple modal account of essence, an object has a property essentially just in case it has it in every world in which it exists. As many have observed, the simple modal account is implausible for a number of reasons. This has led to various proposals for strengthening the account, for example, by adding a restriction to the intrinsic or sparse properties. I argue, however, that these amendments to the simple modal account themselves fail. (...) Drawing on lessons from these failures, I propose a new version of a modal account, inspired by Ruth Barcan Marcus's defense of the coherence of quantified modal logic, according to which an object has a property essentially just in case (i) it has it in every world in which it exists, (ii) the property is discriminating (or non-trivial), and (iii) the property is qualitative. The resulting account of essence does not face any of the standard objections other accounts face, and I defend it from other potential objections. (shrink)

In the second half of Book One of the Prior Analytics, Aristotle reflects on the application of the formalized logic has developed in the first half, focusing particularly on the non-modal or assertoric syllogistic developed in the first seven chapters. These reflections lead Alexander of Aphrodisias, who was a great exponent of Aristotelianism in the late second century, to explain and sometimes argue against subsequent developments of Aristotle's logic and alternatives and objections to it, ideas associated mainly with his colleague (...) Theophrastus and with the Stoics. The other main topic of this part of the Prior Analytics is the specification of a method for discovering true premises needed to prove a given proposition. Aristotle's presentation is sometimes difficult to follow, and Alexander's discussion is extremely helpful to the uninitiated reader. In his commentary on the final chapter translated in this volume, Alexander provides an insightful account of Aristotle's criticism of Plato's method of division. (shrink)

In this paper, I motivate a modal account of propositions on the basis of an iterative conception of propositions. As an application, I suggest that the account provides a satisfying solution to the Russell-Myhill paradox. The account is in the spirit of recently developed modal accounts of sets motivated on the basis of the iterative conception of sets.

This essay offers a rearticulation and defence of the modal account of luck that the author developed in earlier work (e.g., Pritchard ). In particular, the proposal is situated within a certain methodology, a component of which is paying due attention to the cognitive science literature on luck (and risk) ascriptions. It is shown that with the modal account of luck properly articulated it can adequately deal with some of the problems that have recently been offered against it, (...) and that the view has a number of attractions over competing proposals, such as the lack of control account. (shrink)

In this paper I develop a theory of 'function' and function as a deontic modal word and phenomenon. Kratzer’s account of the semantics for the deontic modals is invoked and using her approach a formal schema for the semantics of 'function'-sentences is proposed. My account of function is a modalized and extended version of Cummins’ systems-type account of function. In the biological and physical sciences, on this account, function is a complex empirical deontic modal property. It (...) is built on the property of X’s doing Y well enough to enable Z, which is implicitly deontic because of the evaluative but nonetheless empirical in its biological and physical applications. This account of function resolves many of the traditional puzzles about biological and physical function, and extends naturally to include the other types of function. With a variant treatment of the semantics, this account is argued also to apply to mathematical function, where it is shown to be interestingly related to Frege’s account of function. (shrink)

Kit Fine advanced a remarkable objection to the Modal Account of Essentialism. Fine’s concern is commonly thought to have put the modal account in serious jeopardy. I believe that Fine’s objection is mainly based on two intuitions. As a reaction to Fine’s argument, while many scholars have abandoned the modal account, others have attempted to save it. The main strategy in the last direction consists in adding to the modal criterion a condition that is supposed to hold (...) universally. For different reasons, this strategy ends up rejecting part of the first Fine’s intuition. I believe that a modal contextualist approach to essentialist claims, through the addition of a ‘particularist’ condition to the modal criterion, can provide an interesting alternative for those who wish to maintain a modal approachto essentialism. I will show that this approach, while rejecting the second Finean intuition, is able to account for his first intuition. (shrink)

We argue that Armstrong's Combinatorialism allows for the possibility of nothing by giving a Combinatorial account of the empty world and show that such an account is consistent with the ontological and conceptual aims of the theory. We then suggest that the Combinatorialist should allow for this possibility given some methodological considerations. Consequently, rather than being 'spoils for the victor', as Armstrong maintains, deciding whether there might have been nothing helps to determine which metaphysics of modality (...) is to be preferred. (shrink)

This paper offers an articulation and defence of the modal account of legal risk in light of a range of objections that have been proposed against this view in the recent literature. It is argued that these objections all trade on a failure to distinguish between the modal nature of risk more generally, and the application of this modal account to particular decision-making contexts, such as legal contexts, where one must rely on a restricted body of information. It (...) is argued that once the modal account of legal risk is properly understood as involving information-relative judgements about the modal closeness of the target risk event, the objections to the view are neutralized. (shrink)

Although it is frequently said that logic is a purely formal discipline lacking any content for special philosophical subdisciplines, I argue in this essay that the concepts of predication, and of the properties of objects presupposed by standard first-order logic are sufficient to address many of the traditional problems of ontology. The concept of an object's having a property is extended to provide an intensional definition of the existence of an object as the object's possessing a maximally consistent property combination, (...) consisting, for any property or its complement. Nonexistent objects by the proposed definition are those that either lack both some property and its complement, or have both a property and its complement included in its corresponding property combination. The definition in turn makes it possible to offer solutions based on purely logical concepts of such longstanding metaphysical problems as why there is something rather than nothing, and why there exists exactly one logically contingent actual world, itself a maximally consistent combination of true predication instances or facts. Additionally, the ontology upholds an argument in support of modal actualism and against modal realism, treating all logically possible worlds other than the actual world as predicationally incomplete nonexistent objects or semantic fictions. (shrink)

Why does symbolic communication in humans develop primarily in an oral medium, and how do theories of language origin explain this? Non-human primates, despite their ability to learn and use symbolic signs, do not develop symbols as in oral language. This partly owes to the lack of a direct cortico-motoneuron control of vocalizations in these species compared to humans. Yet such modality-related factors that can impinge on the rise of symbolic language are interpreted differently in two types of evolutionary (...) storylines. 1) Some theories posit that symbolic language originated in a gestural modality, as in “sign languages”. However, this overlooks work on emerging sign and spoken language showing that gestures and speech shape signs differently. 2) In modality-dependent theories, some emphasize the role of iconic sounds, though these lack the efficiency of arbitrary symbols. Other theorists suggest that ontogenesis serves to identify human-specific mechanisms underlying an evolutionary shift from pitch varying to orally-modulated vocalizations (babble). This shift creates numerous oral features that can support efficient symbolic associations. We illustrate this principle using a sound-picture association task with 40 learners who hear words in an unfamiliar language (Mandarin) with and without a filtering of oral features. Symbolic associations arise more rapidly and accurately for sounds containing oral features compared to sounds bearing only pitch features, an effect also reported in experiments with infants. The results imply that, beyond a competence to learn and use symbols, the rise of symbolic language rests on the types of signs that a modality of expression affords. (shrink)

In a recent paper in this journal Duncan Pritchard responds to an objection to the modal account of risk pressed by Ebert, Smith and Durbach ( 2020 ). In this paper, I expand upon the objection and argue that it still stands. I go on to consider a more general question raised by this exchange – whether risk is ‘objective’, or whether it is something that varies from one perspective to another.

We review some of the major accounts in the current epistemology of modality and identify some shared issues that plague all of them. In order to provide insight into the nature of modal statements in science, philosophy, and beyond, a satisfactory epistemology of modality would need to be suitably applicable to practical and theoretical contexts by limited beings. However, many epistemologies of modality seem to work only when we have access to the kind of knowledge that is (...) at least currently beyond our reach. Or, in the extreme case, it is argued that even if we knew all the relevant information about the respective domain – or even the entire state of the world – there would still remain a special class of modal truths that would be left unaccounted for. Neither picture bodes well for practical applicability, nor for the philosophical justification of these epistemologies. This is especially the case as we hold that one of the main motivations for modal inquiry typically arises in cases of imperfect information and limited cognitive resources. We close by providing a partial remedy to the situation by suggesting an overall framework of relative modality (RM) that can be used to both unify some existing modal epistemologies and, at the same time, make them more metaphysically modest. (shrink)

This article is a critique of Thaddeus Metz’s modal relational approach to moral status in African ethics. According to moral relationalism, a being has moral status if it exhibits the capacity for communal relationship as either a subject or an object. While Metz defends a prima facie plausibility of MR as an African account of moral status, this article provides a fresh perspective to the debate on moral status in environmental and ethical discourse. It raises two objections against MR: (...) the capability criterion inherent in MR is not only exogenous to African thought but also undermines the viability of MR; and MR cannot account for the standing of species populations. Both objections have severe implications for biodiversity conservation efforts in Africa and beyond. (shrink)

Several recent accounts of modeling have focused on the modal dimension of scientific inquiry. More precisely, it has been suggested that there are specific models and modeling practices that are best understood as being geared towards possibilities, a view recently dubbed modal modeling. But modalities encompass much more than mere possibility claims. Besides possibilities, modal modeling can also be used to investigate contingencies, necessities or impossibilities. Although these modal concepts are logically connected to the notion of possibility, not all models (...) are equal in their affordances for these richer modal inferences. This paper investigates the modal extent of selected models and argues that analyzing singular model-target pairings by themselves is typically not enough to explain their modal aptness or to identify the kinds of modalities they can be used to reason about. Furthermore, it is argued that some important concepts that are not explicitly modal - like biological robustness - can be understood modally through their relational nature to a background space of possibilities. In conclusion, it is suggested that the strategy of modal modeling is contrastive, situating particular possibilities in larger modal spaces and studying the structural relations within them. (shrink)

When we talk about creation, we use the progressive and verbs of creation as in ‘Mary is building a house’. The modal account of the progressive says that a sentence such as ‘Mary is building a house’ is true just in case Mary eventually builds a house in all worlds in which her house-building proceeds normally. Recently, the modal account has come under fire from those who claim that it over-generates modal entailments and those who think the progressive (...) should be treated as a predicate of events. By properly situating the modal account within a contemporary semantic framework for natural language modals, I argue that it gives the best semantic treatment of the progressive. (shrink)

This paper responds to criticism of the Kripkean account of logical truth in first-order modal logic. The criticism, largely ignored in the literature, claims that when the box and diamond are interpreted as the logical modality operators, the Kripkean account is extensionally incorrect because it fails to reflect the fact that all sentences stating truths about what is logically possible are themselves logically necessary. I defend the Kripkean account by arguing that some true sentences about logical (...) possibility are not logically necessary. (shrink)

The paper proposes an account of the contrast (noticed in Karttunen 1976) between the interpretations of the following two discourses: Harvey courts a girl at every convention. {She is very pretty. vs. She always comes to the banquet with him.}. The initial sentence is ambiguous between two quantifier scopings, but the first discourse as a whole allows only for the wide-scope indefinite reading, while the second allows for both. This cross-sentential interaction between quantifier scope and anaphora is captured by (...) means of a new dynamic system couched in classical type logic, which extends Compositional DRT (Muskens 1996) with plural information states (modeled, following van den Berg 1996, as sets of variable assignments). Given the underlying type logic, compositionality at sub-clausal level follows automatically and standard techniques from Montague semantics become available. The paper also shows that modal subordination (A wolf might come in. It would eat Harvey first) can be analyzed in a parallel way, i.e. the system captures the anaphoric and quantificational parallels between the individual and modal domains argued for in Stone (1999) (among others). In the process, we see that modal / individual-level quantifiers enter anaphoric connections as a matter of course, usually functioning simultaneously as both indefinites and pronouns. (shrink)

One of the most widely recognised intuitions about knowledge is that knowing precludes believing truly as a matter of luck. On Pritchard’s highly influential modal account of epistemic luck, luckily true beliefs are, roughly, those for which there are many close possible worlds in which the same belief formed in the same way is false. My aim is to introduce a new challenge to this account. Starting from the observation—as documented by a number of recent EEG studies—that our (...) capacity to detect visual stimuli fluctuates with the phase of our neural oscillations, I argue that there can be very close possible worlds in which an actual-world detectable stimulus is undetectable. However, this doesn’t diminish our willingness to attribute knowledge in the case that the stimulus is detectable, even when undetectability would result in the same belief formed in the same way being false. As I will argue at length, the modal account appears unable to accommodate this result. (shrink)

We introduce and study hierarchies of extensions of the propositional modal and temporal languages with pairs of new syntactic devices: point of reference-reference pointer which enable semantic references to be made within a formula. We propose three different but equivalent semantics for the extended languages, discuss and compare their expressiveness. The languages with reference pointers are shown to have great expressive power (especially when their frugal syntax is taken into account), perspicuous semantics, and simple deductive systems. For instance, Kamp's (...) and Stavi's temporal operators, as well as nominals (names, clock variables), are definable in them. Universal validity in these languages is proved undecidable. The basic modal and temporal logics with reference pointers are uniformly axiomatized and a strong completeness theorem is proved for them and extended to some classes of their extensions. (shrink)

An account of distinctively mathematical explanation (DME) should satisfy three desiderata: it should account for the modal import of some DMEs; it should distinguish uses of mathematics in explanation that are distinctively mathematical from those that are not (Baron [2016]); and it should also account for the directionality of DMEs (Craver and Povich [2017]). Baron’s (forthcoming) deductive-mathematical account, because it is modelled on the deductive-nomological account, is unlikely to satisfy these desiderata. I provide a counterfactual (...) account of DME, the Narrow Ontic Counterfactual Account (NOCA), that can satisfy all three desiderata. NOCA appeals to ontic considerations to account for explanatory asymmetry and ground the relevant counterfactuals. NOCA provides a unification of the causal and the non-causal, the ontic and the modal, by identifying a common core that all explanations share and in virtue of which they are explanatory. (shrink)

There are three theories in the epistemology of modality that have received sustained attention over the past 20 years: conceivability-theory, counterfactual-theory, and deduction-theory. In this paper we argue that all three face what we call the problem of modal epistemic friction. One consequence of the problem is that for any of the three accounts to yield modal knowledge, the account must provide an epistemology of essence. We discuss an attempt to fend off the problem within the context of (...) the internalism versus externalism debate about epistemic justification. We then investigate the effects that the PMEF has on reductive and non-reductive theories of the relation between essence and modality. (shrink)

Possible worlds, concrete or abstract as you like, are irrelevant to the truthmakers for modality—or so I shall argue in this paper. First, I present the neo-Humean picture of modality, and explain why those who accept it deny a common sense view of modality. Second, I present what I take to be the most pressing objection to the neo-Humean account, one that, I argue, applies equally well to any theory that grounds modality in possible worlds. (...) Third, I present an alternative, properties-based theory of modality and explore several specific ways to flesh the general proposal out, including my favored version, the powers theory. And, fourth, I offer a powers semantics for counterfactuals that each version of the properties-based theory of modality can accept, mutatis mutandis. Together with a definition of possibility and necessity in terms of counterfactuals, the powers semantics of counterfactuals generates a semantics for modality that appeals to causal powers and not possible worlds. (shrink)

As philosophers are keen to say, there is a possible world where Socrates is a carpenter. Plausibly, truths about what might or could not be the case are not basic but grounded in more fundamental features of reality. Steinberg develops this insight into a novel account of the supervenience structure of the modal realm. This study was awardedthe 2012 GAP/ontos award.".

Modal intuitions are the primary source of modal knowledge but also of modal error. According to the theory of modal error in this paper, modal intuitions retain their evidential force in spite of their fallibility, and erroneous modal intuitions are in principle identifiable and eliminable by subjecting our intuitions to a priori dialectic. After an inventory of standard sources of modal error, two further sources are examined in detail. The first source - namely, the failure to distinguish between metaphysical possibility (...) and various kinds of epistemic possibility - turns out to be comparatively easy to untangle and poses little threat to intuition-driven philosophical investigation. The second source is the local misunderstanding of one's concepts . This pathology may be understood on analogy with a patient who is given a clean bill of health at his annual check-up, despite his having a cold at the time of the check-up: although the patient's health is locally disrupted, his overall health is sufficiently good to enable him to overcome the cold without external intervention. Even when our understanding of certain pivotal concepts has lapsed locally, our larger body of intuitions is sufficiently reliable to allow us, without intervention, to ferret out the modal errors resulting from this lapse of understanding by means of dialectic and/or a process of a priori reflection. This source of modal error, and our capacity to overcome it, has wide-ranging implications for philosophical method - including, in particular, its promise for disarming skepticism about the classical method of intuition-driven investigation itself. Indeed, it is shown that skeptical accounts of modal error are ultimately self-defeating. (shrink)

Philosophers of science have recently taken care to highlight different modeling practices where scientific models primarily contribute modal information, in the form of for example possibility claims, how-possibly explanations, or counterfactual conditionals. While examples abound, comparatively little attention is being paid to the question of under what conditions, and in virtue of what, models can perform this epistemic function. In this paper, we firstly delineate modal modeling from other modeling practices, and secondly reviewattempts to spell out and explain the epistemic (...) success conditions of modal modeling. The aim is to more clearly expose the respective justificatory strategies of these accounts, and secondly, to identify lacunae where further work is needed. (shrink)

Crosslinguistically, the same modal words can be used to express a wide range of interpretations. This crosslinguistic trend supports a Kratzerian analysis, where each modal has a core lexical entry and where the difference between an epistemic and a root interpretation is contextually determined. A long-standing problem for such a unified account is the equally robust crosslinguistic correlation between a modal’s interpretation and its syntactic behavior: epistemics scope high (in particular higher than tense and aspect) and roots low, a (...) fact which has led to proposals that hardwire different syntactic positions for epistemics and roots (cf. Cinque’s hierarchy). This paper argues that the range of interpretations a modal receives is even more restricted: a modal must be keyed to certain time-individual pairs, but not others. I show that this can be captured straightforwardly by minimally modifying the Kratzerian account: modals are relative to an event—rather than a world—of evaluation, which readily provides a time (the event’s running time) and (an) individual(s) (the event’s participants). I propose that this event relativity of modals can in turn explain the correlation between type of interpretation and syntactic position, without stipulation of an interpretation-specific height for modals. (shrink)