Davies argues that the ontology of artworks as performances offers a principled way of explaining work-relativity of modality. Object oriented contextualist ontologies of art (Levinson) cannot adequately address the problem of work-relativity of modal properties because they understand looseness in what counts as the same context as a view that slight differences in the work-constitutive features of provenance are work-relative. I argue that it is more in the spirit of contextualism to understand looseness as context-dependent. This points to (...) the general problem—the context of appreciation is not robust enough to ground modal intuitions about objective entities. In general, when epistemology dictates ontology there is always a threat of anti-realism, scepticism and relativism. Davies also appeals to the modality principle—an entity’s essential properties are all and only its constitutive properties. Davies understands essentiality in a traditional way: a property P is an essential property of an object o iff o could not exist and lack P. Kit Fine has recently made a convincing case for the view that the notion of essence is not to be understood in modal terms. I explore some of the implications of this view for Davies’ modal argument for the performance theory. (shrink)

Recent epistemology of modality has seen a growing trend towards metaphysics-first approaches. Contrastingly, this paper offers a more philosophically modest account of justifying modal claims, focusing on the practices of scientific modal inferences. Two ways of making such inferences are identified and analyzed: actualist-manipulationist modality and relative modality. In AM, what is observed to be or not to be the case in actuality or under manipulations, allows us to make modal inferences. AM-based inferences are fallible, but (...) the same holds for practically all empirical inquiry. In RM, modal inferences are evaluated relative to what is kept fixed in a system, like a theory or a model. RM-based inferences are more certain but framework-dependent. While elements from both AM and RM can be found in some existing accounts of modality, it is worth highlighting them in their own right and isolating their features for closer scrutiny. This helps to establish their relevant epistemologies that are free from some strong philosophical assumptions often attached to them in the literature. We close by showing how combining these two routes amounts to a view that accounts for a rich variety of modal inferences in science. (shrink)

In ordinary language, in the medical sciences, and in the overlap between them, we frequently make claims which imply that we might have had different gametic origins from the ones we actually have. Such statements seem intuitively true and coherent. But they counterfactually ascribe different DNA to their referents and therefore contradict material-origin essentialism, which Kripke and his followers argue is intuitively obvious. In this paper I argue, using examples from ordinary language and from philosophy of medicine and bioethics, that (...) statements which attribute alternative material origins to their referents are useful, common in political and medical reasoning, and in many cases best interpreted literally. So we must replace the doctrine of material-origin essentialism with one that can make sense of ordinary discourse and the language of the medical sciences. I propose an anti-essentialist account of such counterfactuals according to which individuals’ modal properties are relative to a given inquiry. (shrink)

This paper explores the idea that a semantics for ‘ought’ should be neutral between different ways of deciding what an agent ought to do in a situation. While the idea is, I argue, well-motivated, taking it seriously leads to surprising, even paradoxical, problems for theorizing about the meaning of ‘ought’. This paper describes and defends one strategy—a form of Expressivism for the modal ‘ought’—for navigating these problems.

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)

Cognitive scientists have become increasingly interested in understanding how natural minds represent and reason about possible ways the world could be. However, there is currently little agreement on how to understand this remarkable capacity for modal thought. We argue that the capacity for modal thought is built from a set of relatively simple component parts, centrally involving an ability to consider possible extensions of a part of the actual world. Natural minds can productively combine this ability with a range of (...) other capacities, eventually allowing for the observed suite of increasingly more sophisticated ways of modal reasoning. We demonstrate how our (de)compositional account is supported by both the trajectory of children’s developing capacity for reasoning about possible ways the world could be and by what we know about how such modal thought is expressed within and across natural languages. Our approach makes new predictions about which kinds of capacities are required by which kinds of experimental tasks and, as a result, contributes to settling currently open theoretical questions about the development of modal thought and the acquisition of modal vocabulary in children. Our work also provides a more systematic way of understanding possible variation in modal thought and talk, and, more generally, paves the way toward a unified theory that will ultimately allow researchers across disciplines to relate their findings to each other within a framework of shared assumptions. (shrink)

There is a modal relative of Euthyphro’s dilemma that goes like this: are necessary truths true because God affirms them, or does God affirm them because they’re true? If you accept the first horn, necessary truths are as contingent as God’s free will. If you accept the second, God is less ultimate than the modal ontology that establishes certain truths as necessary. If you try to split the horns by affirming that necessary truths are somehow grounded in God’s nature, (...) Brian Leftow meets you with an argument. I will argue that Leftow’s argument fails and that, contrary to his argument, there is a good reason to believe that necessary truths are grounded in God’s nature. (shrink)

If, relative to a context, what a sentence says is necessarily true, then what it says must be so. If, relative to a context, what a sentence says is possible, then what it says could be true. Following natural philosophical usage, it would thus seem clear that in assessing an occurrence of a sentence for possibility or necessity, one is assessing what is said by that occurrence. In this paper, I argue that natural philosophical usage misleads here. In (...) assessing an occurrence of a sentence for possibility or necessity, one is not assessing the modal status of the proposition expressed by that occurrence of the sentence. (shrink)

Timothy Williamson has argued that in the debate on modal ontology, the familiar distinction between actualism and possibilism should be replaced by a distinction between positions he calls contingentism and necessitism. He has also argued in favor of necessitism, using results on quantified modal logic with plurally interpreted second-order quantifiers showing that necessitists can draw distinctions contingentists cannot draw. Some of these results are similar to well-known results on the relative expressivity of quantified modal logics with so-called inner and (...) outer quantifiers. The present paper deals with these issues in the context of quantified modal logics with generalized quantifiers. Its main aim is to establish two results for such a logic: Firstly, contingentists can draw the distinctions necessitists can draw if and only if the logic with inner quantifiers is at least as expressive as the logic with outer quantifiers, and necessitists can draw the distinctions contingentists can draw if and only if the logic with outer quantifiers is at least as expressive as the logic with inner quantifiers. Secondly, the former two items are the case if and only if all of the generalized quantifiers are first-order definable, and the latter two items are the case if and only if first-order logic with these generalized quantifiers relativizes. (shrink)

A very simple contextualist treatment of a sentence containing an epistemic modal, e.g. a might be F, is that it is true iff for all the contextually salient community knows, a is F. It is widely agreed that the simple theory will not work in some cases, but the counterexamples produced so far seem amenable to a more complicated contextualist theory. We argue, however, that no contextualist theory can capture the evaluations speakers naturally make of sentences containing epistemic modals. If (...) we want to respect these evaluations, our best option is a relativist theory of epistemic modals. On a relativist theory, an utterance of a might be F can be true relative to one context of evaluation and false relative to another. We argue that such a theory does better than any rival approach at capturing all the behaviour of epistemic modals. (shrink)

The Diuisio Aristotelea 67M/32DL draws a distinction between two categories of beings, per se and relatives. I defend three main theses. First, that the relation of dependence characterizing the members of the latter category is modal and symmetrical in nature and, accordingly, the per se-relatives contrast cannot be equivalent to the substance-accidents contrast. Second, that the type of relativity relevant to this diuisio is both ontological and semantic in nature (but with different emphases depending on the version of the diuisio (...) considered). Third, I argue, against a widespread opinion, that the last line of the DL version of the diuisio does not concern metaphysical principles. Here I also compare the diuisio to other Early Academic bicategorial schemes and show that they differ from one another significantly, especially as far as the alleged connection between categories and metaphysical principles is concerned. (shrink)

On what I call absolutist essentialism about modality (AE), the metaphysical necessities are the propositions that are true in virtue of the essence (i.e. Aristotelian, absolute essence) of some entities. Other kinds of necessity can then be defined by restriction – e.g. the conceptual necessities are the propositions that are true in virtue of the essence of conceptual entities specifically. As an account of metaphysical modality and some other kinds (e.g. logical, conceptual), AE may have important virtues. However, (...) when it comes to accounting for further important kinds, like natural or normative necessity, it faces a challenge. Three main options have been defended: treat those kinds as further restricted forms of metaphysical necessity; define them as conditional forms of metaphysical necessity; treat them as primitive kinds. -/- In this paper, I propose a new option, which combines the main idea of AE (reducing necessities to essences) with an idea which has been developed largely independently: that of relative essence. On the proposed view, those kinds (e.g. natural necessity) that cannot be grounded in the essences (i.e. absolute essences) of the relevant entities (e.g. natural entities) may be grounded in their relative essences instead. Thus, I propose a generalized, or extended, version of AE, which I call relativized essentialism about modality (RE). In particular, RE offers prospects for a general framework for kinds of modality which is flexible enough to cover a large range of kinds (both absolute and relative ones) while remaining parsimonious and unified. (shrink)

Talk of metaphysical modality as “absolute” is ambiguous, as it appears to convey multiple ideas. Metaphysical possibility is supposedly completely unrestricted or unqualified; metaphysical necessity is unconditional and exceptionless. Moreover, metaphysical modality is thought to be absolute in the sense that it’s real or genuine and the most objective modality: metaphysical possibility and necessity capture ways things could and must have really been. As we disentangle these ideas, certain talk of metaphysical modality qua “absolute” turns out (...) to be misguided. Metaphysical possibility isn't completely unrestricted or most inclusive compared to the other modalities; metaphysical necessity, like all kinds of necessities, is relative to or conditional upon a specific framework of reference. Still, metaphysical modality captures how things could and must have really been most generally because it deals with reality and the nature of things or their essence. That’s the chief interest of metaphysics. Arguments against the alleged absoluteness of metaphysical modality may not thereby undermine its philosophical significance. (shrink)

A dynamic semantics for epistemically modalized sentences is an attractive alternative to the orthodox view that our best theory of meaning ascribes to such sentences truth-conditions relative to what is known. This essay demonstrates that a dynamic theory about might and must offers elegant explanations of a range of puzzling observations about epistemic modals. The first part of the story offers a unifying treatment of disputes about epistemic modality and disputes about matters of fact while at the same (...) time avoiding the complexities of alternative theories. The second part of the story extends the basic framework to cover some complicated data about retraction and the interaction between epistemic modality and tense. A comparison between the suggestion made in this essay and current versions of the orthodoxy is provided. (shrink)

In assessing the veridicality of utterances, we normally seem to assess the satisfaction of conditions that the speaker had been concerned to get right in making the utterance. However, the debate about assessor-relativism about epistemic modals, predicates of taste, gradable adjectives and conditionals has been largely driven by cases in which seemingly felicitous assessments of utterances are insensitive to aspects of the context of utterance that were highly relevant to the speaker’s choice of words. In this paper, we offer an (...) explanation of why certain locutions invite insensitive assessments, focusing primarily on ’tasty’ and ’might’. We spell out some reasons why felicitous insensitive assessments are puzzling and argue briefly that recent attempts to accommodate such assessments (including attempts by John MacFarlane, Kai von Fintel and Anthony Gillies) all fail to provide more than hints at a solution to the puzzle. In the main part of the paper, we develop an account of felicitous insensitive assessments by identifying a number of pragmatic factors that influence the felicity of assessments. Before closing, we argue that the role of these factors extend beyond cases considered in the debate about assessor-relativism and fit comfortably with standard contextualist analyses of the relevant locutions. (shrink)

We present a formal semantics for epistemic logic, capturing the notion of knowability relative to information (KRI). Like Dretske, we move from the platitude that what an agent can know depends on her (empirical) information. We treat operators of the form (‘B is knowable on the basis of information A’) as variably strict quantifiers over worlds with a topic- or aboutness-preservation constraint. Variable strictness models the non-monotonicity of knowledge acquisition while allowing knowledge to be intrinsically stable. Aboutness-preservation models the (...) topic-sensitivity of information, allowing us to invalidate controversial forms of epistemic closure while validating less controversial ones. Thus, unlike the standard modal framework for epistemic logic, KRI accommodates plausible approaches to the Kripke-Harman dogmatism paradox which bear on non-monotonicity or on topic-sensitivity. KRI also strikes a better balance between agent idealization and a non-trivial logic of knowledge ascriptions. (shrink)

Indicative judgments pertain to what is true. Epistemic modal judgments pertain to what must or might be true relative to a body of information. A standard view is that epistemic modals implicitly quantify over alternative possibilities, or ways things could turn out. On this view, a proposition must be true just in case it is true in all the possibilities consistent with the available information, and a proposition might be true just in case it is true in at least (...) one possibility consistent with the available information. I report three experiments testing this view of epistemic modals. The results show that although modal judgments are sensitive to information about alternative possibilities, the standard quantification theory mischaracterizes the ordinary meaning of modals. I then report two more experiments testing the hypothesis that epistemic modals express willingness to attribute knowledge based on the available information. The results support this hypothesis. The results also show that the difference between “inside” and “outside” probabilistic information, familiar from the judgment and decision-making literature, affects epistemic modal judgments. (shrink)

Many draw the distinction between truth in, and truth at, a possible world. The latter notion purportedly allows for propositions to be true relative to worlds even if they do not exist relative to those same worlds. Despite its wide application, the distinction is controversial. Some think that the notion of truth at a world is unintelligible. Here, I outline and discuss the most influential argument for the unintelligibility of truth at a world, The Picture Thinking Argument. I (...) outline and defend a neglected strategy to respond to this, arguing that if we take seriously the idea that possible worlds represent total ways the world could be, the distinction can be drawn intelligibly. (shrink)

Recent research on algebraic models of _quasi-Nelson logic_ has brought new attention to a number of classes of algebras which result from enriching (subreducts of) Heyting algebras with a special modal operator, known in the literature as a _nucleus_. Among these various algebraic structures, for which we employ the umbrella term _intuitionistic modal algebras_, some have been studied since at least the 1970s, usually within the framework of topology and sheaf theory. Others may seem more exotic, for their primitive operations (...) arise from algebraic terms of the intuitionistic modal language which have not been previously considered. We shall for instance investigate the variety of _weak implicative semilattices_, whose members are (non-necessarily distributive) meet semilattices endowed with a nucleus and an implication operation which is not a relative pseudo-complement but satisfies the postulates of Celani and Jansana’s strict implication. For each of these new classes of algebras we establish a representation and a topological duality which generalize the known ones for Heyting algebras enriched with a nucleus. (shrink)

Classical theism is typically understood to entail a vast modal landscape: an omnipotent and perfectly free God can actualize any logically possible world. This paper argues that taking this modal plenitude seriously generates a previously overlooked epistemic problem. The theistic modal space is infinitely heterogeneous, populated by deceptive worlds, divine mental worlds, miracle unstable worlds, afterlife dominant worlds, and countless other coherent possibilities that are phenomenally indistinguishable from ours. Veridical, law governed physical worlds form only a measure zero subset of (...) this space. By contrast, naturalism sharply restricts its modal commitments to physical, law governed worlds, making a world like ours highly probable. Using Bayesian confirmation theory, I show that theism assigns an extremely low likelihood to the existence of a stable external world, while naturalism assigns a high one. I then examine and reject the most promising theistic responses—including appeals to divine goodness, divine self limitation, multiverse theism, and the supposed goodness of the actual world—arguing that each either fails to constrain the modal space or collapses into modal necessity. I conclude that classical theism cannot justify belief in a veridical external world and is epistemically disfavoured relative to naturalism. (shrink)

Relative to any reasonable frame, satisfiability of modal quantificational formulae in which “= ” is the sole predicate is undecidable; but if we restrict attention to satisfiability in structures with the expanding domain property, satisfiability relative to the familiar frames (K, K4, T, S4, B, S5) is decidable. Furthermore, relative to any reasonable frame, satisfiability for modal quantificational formulae with a single monadic predicate is undecidable ; this improves the result of Kripke concerning formulae with two monadic (...) predicates. (shrink)

Kagan argues that human beings who are neither persons nor even potential persons — if their impairment is independent of genetic constitution — are modal persons: individuals who might have been persons. Moreover, he proposes a view according to which both personhood and modal personhood are sufficient for counting more, morally, than nonhuman animals. In response to this proposal, I raise one relatively minor concern about Kagan's reasoning — that he judges too quickly that insentient beings can have interests — (...) before engaging the appeal to modal personhood. I challenge the thesis that modal personhood is relevant to one's moral status, first, by way of analogy to a kicker who misses a field goal though he might have made it; second, by casting doubt on implications for two impaired infants ; and, finally, by examining implications for dogs who would count as modal persons when genetic enhancements are capable of transforming them into persons. (shrink)

Philosophers have always taken an interest not only in what is actually the case, but in what is necessarily the case and what could possibly be the case. These are questions of modality. Epistemologists of modality enquire into how we can know what is necessary and what is possible. This dissertation concerns the meta-epistemology of modality. It engages with the rules that govern construction and evaluation of theories in the epistemology of modality, by using modal empiricism (...) – a form of modal epistemology – as a running example. In particular, I investigate the assumption that it is important to be able to meet the integration challenge. Meeting the integration challenge is a source of serious difficulty for many approaches, but modal empiricism is supposed to do well in this respect. But I argue that once we have a better grasp of what the integration challenge is, it is not obvious that it presents no problem for modal empiricism. Moreover, even if modal empiricism could be said to be in a relatively good position with respect to integration, it comes at the cost of a forced choice between far-reaching partial modal scepticism and non-uniformism about the epistemology of modality. Non-uniformism is the view that more than one modal epistemology will be correct. While non-uniformism might not in itself be unpalatable, it must be defined and defended in a way which squares with the modal empiricist’s other commitment. I explore two ways of doing so, both involving a revised idea of the integration challenge and its role for the epistemology of modality. One involves a bifurcation of the integration challenge, and the other a restriction of the integration challenge’s relevance. Both ways are interesting, but neither is, as it turns out, a walk in the park. (shrink)

Informal rigour is the process by which we come to understand particular mathematical structures and then manifest this rigour through axiomatisations. Structural relativity is the idea that the kinds of structures we isolate are dependent upon the logic we employ. We bring together these ideas by considering the level of informal rigour exhibited by our set-theoretic discourse, and argue that different foundational programmes should countenance different underlying logics (intermediate between first- and second-order) for formulating set theory. By bringing considerations of (...) perturbations in modal space to bear on the debate, we will suggest that a promising option for representing current set-theoretic thought is given by formulating set theory using quasi-weak second-order logic. These observations indicate that the usual division of structures into \particular (e.g. the natural number structure) and general (e.g. the group structure) is perhaps too coarse grained; we should also make a distinction between intentionally and unintentionally general structures. (shrink)

This paper examines the ontological consequences of the realization of a world and defends the thesis that, once a world occurs, a modal collapse takes place: there are no ontologically available alternatives relative to that world. The realization of a world exhaustively fixes all of its constitutive variables—laws, conditions, relations, and events—not by imposing strong metaphysical necessity, but as a direct consequence of the ontological uniqueness of the realized world. Within this framework, determinism does not arise from necessary laws (...) or from an a priori explanatory closure, but from the absence of ontologically effective alternative worlds. Contingency is thus confined exclusively to the pre-ontological level (prior to realization), while any necessity is relative and internal to the realized world. On this basis, the paper proposes a reinterpretation of causality as an intra-world relation of dependence: causation does not explain why something occurs rather than something else, but how events and states are articulated within an already fixed structure. Finally, it is argued that counterfactuals retain a legitimate epistemic role—in science, history, and deliberation—while lacking ontological commitment, since they do not quantify over real possible worlds. The paper anticipates and addresses standard objections concerning fatalism, the loss of contingency, freedom, and scientific explanation, showing that post-realization modal collapse is compatible with robust explanatory practices without recourse to ontological inflation or modal realism. (shrink)

This paper and its sequel “look under the hood” of the usual sorts of proof-theoretic systems for certain well-known intuitionistic and classical propositional modal logics. Section 1 is preliminary. Of most importance: a marked formula will be the result of prefixing a formula in a propositional modal language with a step-marker, for this paper either 0 or 1. Think of 1 as indicating the taking of “one step away from 0.” Deductions will be constructed using marked formulas. Section 2 presents (...) the model-theoretic concepts, based on those in [7], that guide the rest of this paper. Section 3 presents Natural Deduction systems IK and CK, formalizations of intuitionistic and classical one-step versions of K. In these systems, occurrences of step-markers allow deductions to display deductive structure that is covered over in familiar “no step” proof-theoretic systems for such logics. Box and Diamond are governed by Introduction and Elimination rules; the familiar K rule and Necessitation are derived (i.e. admissible) rules. CK will be the result of adding the 0-version of the Rule of Excluded Middle to the rules which generate IK. Note: IK is the result of merely dropping that rule from those generating CK, without addition of further rules or axioms (as was needed in [7]). These proof-theoretic systems yield intuitionistic and classical consequence relations by the obvious definition. Section 4 provides some examples of what can be deduced in IK. Section 5 defines some proof-theoretic concepts that are used in Section 6 to prove the soundness of the consequence relation for IK (relative to the class of models defined in Section 2.) Section 7 proves its completeness (relative to that class). Section 8 extends these results to the consequence relation for CK. (Looking ahead: Part 2 will investigate one-step proof-theoretic systems formalizing intuitionistic and classical one-step versions of some familiar logics stronger than K.). (shrink)

In this paper I introduce the idea of a higher-order modal logic—not a modal logic for higher-order predicate logic, but rather a logic of higher-order modalities. “What is a higher-order modality?”, you might be wondering. Well, if a first-order modality is a way that some entity could have been—whether it is a mereological atom, or a mereological complex, or the universe as a whole—a higher-order modality is a way that a first-order modality could have been. First-order (...) modality is modeled in terms of a space of possible worlds—a set of worlds structured by an accessibility relation, i.e., a relation of relative possibility—each world representing a way that the entire universe could have been. A second-order modality would be modeled in terms of a space of spaces of (first-order) possible worlds, each space representing a way that (first-order) possible worlds could have been. And just as there is a unique actual world which represents the way that things actually are, there is a unique actual space which represents the way that first-order modality actually is. -/- One might wonder what the accessibility relation itself is like. Presumably, if it is logical or metaphysical modality that is being dealt with, it is reflexive; but is it also symmetric, or transitive? Especially in the case of metaphysical modality, the answer is not clear. And whichever of these properties it may or may not have, could that itself have been different? Could at least some rival modal logics represent different ways that first-order modality could have been? -/- To be clear, the idea behind my proposal is not just that some things which are possible or necessary might not have been so at the first order, as determined by the actual accessibility relation, but also that the actual accessibility relation, and hence the nature or structure of actual modality, could have been different at some higher order of modality. Even if the accessibility relation is actually both symmetric and transitive, perhaps it could (second-order) have been otherwise: There is a (second-order) possible space of worlds in which it is different, where it fails to be symmetric, or transitive. We must, therefore, introduce the notion of a higher-order accessibility relation, one that in this case relates spaces of first-order worlds. The question then arises as to whether that relation is symmetric, or transitive. We can then consider third-order modalities, spaces of spaces of spaces of possible worlds, where the second-order accessibility relation differs from how it actually is. I can see no reason why there should be a limit to this hierarchy of higher-order modalities, any more than I can see a reason why there should be a limit to the hierarchy of higher-order properties. There will thus be an infinity of orders, one for each positive integer, and each order will have an accessibility relation of its own. To keep things as clear as possible, a space of first-order points (i.e., of possible worlds) shall be called a galaxy, a space of second-order points, a universe, and a space of any higher order, a cosmos. However, to keep things as simple as possible, in what follows I will deal with but a single cosmos, and hence will not deal with modalities higher than the third order. -/- The accessibility relation is not the only thing that might be thought to vary between spaces of worlds: Perhaps the contents of the spaces can vary as well. While I presume that the contents of the worlds themselves remain constant—it makes doubtful sense to suppose that in one space some entity e exists in a world w and in another space e doesn’t exist in that same world w—we may suppose that different spaces differ as to which worlds they contain, just as different worlds may differ as to which objects they contain. Thus we might have a higher-order analogue of a variable-domain modal logic. There seem, then, to be three ways in which spaces can differ: First, as to the properties of the accessibility relation; second, as to which worlds the relation relates; and third, as to which worlds or spaces are parts of their domains. -/- The paper will be structured as follows. In Section 2 I provide some reasons why one might want to pursue this kind of project in the first place. In Section 3 I outline the syntax and semantics of my proposed logic. Section 4 covers semantic tableaux for this system; and after giving the rules for their construction, I construct a few of them myself to establish some logical consequences of the system and give the reader a feel for how it works. In Sections 5, 6 and 7 I explore some of its potential philosophical implications for areas besides logic, namely the philosophy of language; metaphysics, including the metaphysics of modality and the philosophy of time, and finally the philosophy of religion, before concluding the paper in Section 8. (shrink)

This paper explores the ontological relationship between 'Meaning' and 'Resonance' (R) within the framework of Judgemental Philosophy (JP). JP posits that meaningful judgement emerges from the Judgemental Triad(JT): Constructivity (C1 – the formation of symbolic structures), Coherence (C2 – the integration of these structures into consistent systems), and Resonance (R – the living return of meaning, a dynamic process of connection and validation). Drawing an analogy from Louis de Broglie's matter-wave hypothesis, which revealed the wave-particle duality of matter, this paper (...) proposes a reinterpretation of the Meaning-R (M-R) dynamic. We argue that 'Meaning,' often perceived as a relatively stable, particle-like structure resulting from C1 and C2, can be understood more fundamentally as a specific 'modality' or a 'momentary fixation/localization' within the continuous, wave-like 'flow' of R. From this perspective, specific meanings are emergent, provisionally stable patterns that are constituted, sustained, and transformed by the ongoing operations of R. This interpretation highlights the inherently dynamic, processual, and provisional nature of meaning, aligning with JP's emphasis on judgement as a temporally extended and continuously evolving phenomenon (e.g., the 'R gradient'). By framing meaning as a modality of R, this paper aims to deepen the understanding of the dialectical interplay between structure and process in JP, offering new insights into how meaningful reality is constituted. (shrink)

In the standard theory of deontic modals, ‘ought’ is understood as expressing a propositional operator. However, this view has been called into question by Almotahari and Rabern’s puzzle about deontic ‘ought’, according to which the ethical principle that one ought to be wronged by another person rather than wrong them is intuitively coherent but the standard theory makes it incoherent. In this paper, I take up Almotahari and Rabern’s challenge and offer a refinement of the standard theory to handle the (...) puzzle. I propose that ‘ought’ is evaluated relative to contextual parameters (e.g. Kratzer’s conversational backgrounds, Finlay and Snedegar’s alternative sets) and those contextual parameters are sensitive to agents as well as possible worlds. (shrink)

Objects and events are fundamental units of perception: Objects structure our experience of space, and events structure our experience of time. A striking and counterintuitive finding about object representation is that it can warp perceived space, such that stimuli within an object appear farther apart than stimuli in empty space. Might events influence perceived time in the same way objects influence perceived space? Here, five experiments (N=500 adults) show that they do: Just as stimuli within an object are perceived as (...) farther apart in space, stimuli within an event are perceived as further apart in time. Such “Event-based Warping” is elicited both by events characterized by sound (E1), as well as events characterized by silence (E2). Moreover, these effects cannot be explained by surprise, distraction or attentional-cueing (E3 and E4), and also arise cross-modally (from audition to vision; E5). We suggest that object-based warping and event-based warping are both instances of a more general phenomenon in which representations of structure — whether in space or in time — generate powerful and analogous relative perceptual distortions. (shrink)

The thought experiment is a seemingly indispensable tool in the armchair philosopher’s toolbox. One wonders, for example, how philosophers could come to think that justified true belief isn’t knowledge, that reference isn’t determined by an expression’s associated description, or that moral responsibility doesn’t require the ability to do otherwise, without the use of thought experiments. But even if thought experiments play an integral role in philosophical methodology, their legitimacy is at least initially puzzling: one would think that significant knowledge of (...) the world requires extensive empirical investigation. But since thought experiments are done from the armchair, how can they tell us about the world? -/- A standard account of the nature and utility of thought experiments provides an answer to this question, and in a way that fits naturally with a standard picture of the nature of the facts philosophers investigate: Philosophers are about the business of investigating the essences of things and kinds. But a thing’s essential and accidental properties are modal properties. Thus, one can discern a thing’s essence by discovering its modal profile. But if so, then thought experiments are naturally suited as tools for the armchair philosopher. For thought experiments shed light on modal facts. Therefore, since philosophers investigate essences, facts about essence are modal facts, and the thought experiment is one of the few tools they have for discerning such facts, thought experiments play a legitimate and indispensable role in philosophical methodology. In my dissertation, I argue that the standard account of the nature and utility of thought experiments is inadequate, and sketch a more promising account. -/- First, I argue that our knowledge of possibility is restricted to the relatively humdrum. And if so, then since the standard account ties the utility of thought experiments to our knowledge of possibility, too many thought experiments will be ruled out as useless, which raises serious concerns about the significance, and perhaps even the legitimacy, of armchair philosophy. Thus, there is pressure for armchair philosophers to reject the standard account. -/- Second, I sketch an alternative picture of the nature of facts philosophers investigate – one that’s more fine-grained than the standard modal-profile picture. Relatedly, I sketch a correspondingly fine-grained semantics for claims about such facts. This alternative picture underwrites the legitimacy of a hitherto underappreciated sort of thought experiment, which I call the non-modal thought experiment. Such thought experiments shed light on facts about the world that are more fine-grained than what can be discerned by merely examining their modal profiles. I argue that non-modal thought experiments often succeed at just the points where the more familiar modal thought experiments fail, and thus that the two are naturally suited to complement one another in the philosopher’s practice. -/- Finally, I exploit the points mentioned above to sketch an account of the variety and utility of thought experiments that’s much more nuanced than that of the standard account. I then illustrate some of its virtues by indicating its ability to account for a wide range of epistemically forceful thought experiments – both humdrum and exotic –, and by demonstrating how it can be used to make progress in debates that have reached a stalemate due to conflicting modal intuitions. -/- . (shrink)

Evaluative sentences (moral judgments, expressions of taste, epistemic modals) are relative to the speaker's standards. Lately, a phenomenon has challenged the traditional explanation of this relativity: whenever two speakers disagree over them they contradict each other without being at fault. Hence, it is thought that the correction of the assertions involved must be relative to an unprivileged standard not necessarily the speaker's. I will claim instead that so far, neither this nor any other proposal has provided an explanation (...) of the phenomenon. I will point out several problems presented by them and I will hint to how this phenomenon could be explained by making minor adjustments to our semantic theory. Sentenças avaliativas (julgamentos morais, expressões de gosto, modos epistêmicos) são relativas aos padrões do falante. Recentemente, um fenômeno desafiou a explicação tradicional dessa relatividade: sempre que dois falantes discordam entre si, eles contradizem um ao outro sem estarem errados. Por isso, pensa-se que a correção das asserções envolvidas deve ser relacionada a um padrão desprovido de privilégio e não necessariamente ao padrão do falante. Eu sustentarei, ao contrário, que até agora nem esta nem alguma outra proposta forneceu uma explicação do fenômeno. Eu assinalarei diversos problemas apresentados por essas propostas e sugerirei o modo como este fenômeno poderia ser explicado ao fazer pequenos ajustes em nossa teoria semântica. (shrink)

The distinction between truth in, and truth at, a possible world plays a significant role in many debates in modal metaphysics. In this note, I argue that there are two radically different ways of making the distinction precise. I argue that the differences matter, showing how they differently constrain the modal metaphysics of properties and propositions.

Kolodny and MacFarlane have made a pioneering contribution to our understanding of how the interpretation of deontic modals can be sensitive to evidence and information. But integrating the discussion of information-sensitivity into the standard Kratzerian framework for modals suggests ways of capturing the relevant data without treating deontic modals as “informational modals” in their sense. I show that though one such way of capturing the data within the standard semantics fails, an alternative does not. Nevertheless I argue that we have (...) good reasons to adopt an information-sensitive semantics of the general type Kolodny and MacFarlane describe. Contrary to the standard semantics, relative deontic value between possibilities sometimes depends on which possibilities are live. I develop an ordering semantics for deontic modals that captures this point and addresses various complications introduced by integrating the discussion of information-sensitivity into the standard semantic framework. By attending to these complexities, we can also illuminate various roles that information and evidence play in logical arguments, discourse, and deliberation. (shrink)

This paper introduces a stratified non-normal modal logic, denoted R0, designed to formalize tran- sitions between epistemic regimes with partially ordered constraint structures. Unlike standard modal systems, R0 rejects normality and duality, allowing a finer articulation of local validity and inter-regime tension. The logic features regime-indexed modal operators, a stratified admissibility function, and a stability condition that governs modal transitions. We provide a formal Kripke-style semantics based on partial inclusion of constraint sets, and prove a completeness theorem relative to (...) this semantics. The system is self-sufficient within its minimal formal setting, yet explicitly avoids ontological or epistemic closure, making it suitable for applications in pluralist philosophy of science, model-theoretic relativism, and the formal analysis of conceptual change. This work lays the groundwork for a general theory of modal reasoning under heterogeneous and dynamically shifting regimes of validity. Open to feedback. (shrink)

This preprint introduces Quantum Pragmatism (QP), a novel framework for unifying fundamental physics. Rooted in Charles Peirce's pragmatist philosophy, QP proposes that reality emerges from a dynamic "modal bundle," grounding physical emergence in a triadic process of possibility, actualization, and habituation. The theory posits that a modal connection, governing spacetime (base manifold) and Hilbert-space fibers (structured possibilities), underlies the emergence of both the Standard Model and General Relativity. The concept of "habit-fractures" (ϵ) is central to explaining quantum non-linearity, mass generation, (...) and the quantum-classical transition. The paper outlines QP's foundational structure, postulates, and mechanisms for unifying forces and explaining quantum/cosmological phenomena. It also discusses testable predictions, including bounds from multi-slit interference (ϵ 1,kHz). Updated version (v2.0 – July 7th, 2025): Includes an expanded modal realism discussion and a more explicit engagement with the measurement problem, references to Collected Papers Vols. 1 and 6, and refined section formatting with minor editorial improvements. Concludes with a clarifying Peirce quote on the contingency of law (CP 1.409). (shrink)

Philosophical debate about the meaning of normative terms has long been pulled in two directions by the apparently competing ideas: (i) ‘ought’s do not describe what is actually the case but rather prescribe possible action, thought, or feeling, (ii) all declarative sentences deserve the same general semantic treatment, e.g. in terms of compositionally specified truth conditions. In this paper, I pursue resolution of this tension by rehearsing the case for a relatively standard truth-conditionalist semantics for ‘ought’ conceived as a necessity (...) modal and proposing a revision to it motivated by the distinctively prescriptive character of some deontic modals. In my view, this puts pressure on a popular conception of one of the core debates of metanormative theory between realists and antirealists. To make good on this claim, I go on to explore two very general ways we might interpret the results of compositional semantics—“representationalism” and “inferentialism”—in order to argue that, contrary to what is generally assumed, both can capture the special prescriptivity of ‘ought’ and both can countenance compositionally specified and informative truth-conditions for ought-sentences. Hence, my main thesis is that the deciding factor between them should not be which of ideas (i) and (ii) we are more impressed by but rather what we think of the relative merits of how representationalism and inferentialism respect these ideas. I’m inclined to favor an antirealist form of inferentialism, but the task I’ve set myself here is mainly to articulate the view in the context of metanormative theory and the semantics of deontic modals rather than try to defend it fully. To this purpose, towards the end I also briefly compare and contrast inferentialism with a third “ideationalist” metasemantic view, which may be an attractive home for some sophisticated versions of metanormative expressivism. Depending on how expressivism is worked out, it may be completely compatible with and so perhaps usefully combined with inferentialism or it may offer a competing way to respect ideas (i) and (ii). (shrink)

Many authors have noted that there are types of English modal sentences cannot be formalized in the language of basic first-order modal logic. Some widely discussed examples include “There could have been things other than there actually are” and “Everyone who is actually rich could have been poor.” In response to this lack of expressive power, many authors have discussed extensions of first-order modal logic with two-dimensional operators. But claims about the relative expressive power of these extensions are often (...) justified only by example rather than by rigorous proof. In this paper, we provide proofs of many of these claims and present a more complete picture of the expressive landscape for such languages. (shrink)

Part 1 [Hodes, 2021] “looked under the hood” of the familiar versions of the classical propositional modal logic K and its intuitionistic counterpart. This paper continues that project, addressing some familiar classical strengthenings of K and GL), and their intuitionistic counterparts. Section 9 associates two intuitionistic one-step proof-theoretic systems to each of the just mentioned intuitionistic logics, this by adding for each a new rule to those which generated IK in Part 1. For the systems associated with the intuitionistic counterparts (...) of D and T, these rules are “pure one-step”: their schematic formulations does not use □ or ♢. For the systems associated with the intuitionistic counterparts of K4, etc., these rules meet these conditions: neither □ nor ♢ is iterated; none use both □ and ♢. The join of the two systems associated with each of these familiar logics is the full one-step system for that intuitionistic logic. And further “blended” intuitionistic systems arise from joining these systems in various ways. Adding the 0-version of Excluded Middle to their intuitionistic counterparts yields the one-step systems corresponding to the familiar classical logics. Each proof-theoretic system defines a consequence relation in the obvious way. Section 10 examines inclusions between these consequence relations. Section 11 associates each of the above consequence relations with an appropriate class of models, and proves them sound with respect to their appropriate class. This allows proofs of some failures of inclusion between consequence relations. Section 12 proves that the each consequence relation is complete or weakly complete, that relative to its appropriate class of models. The Appendix presents three further results about some of the intuitionistic consequence relations discussed in the body of the paper. For Keywords, see Part 1. (shrink)

The study of reference often leads to addressing fundamental issues in semantics, metaphysics and epistemology; this suggests that reference is closely linked to the three realms. The overall purpose of this study is to elucidate the structure of some of these links, through a close examination of the “mechanism” of reference. As in many other enquiries, considering the possible (i.e., the modal,) in addition to the actual proves very helpful in clarifying and explicating insights. The reference of a term with (...) respect to possible worlds is commonly called “intension”; so this is a study of intensions. The main contribution of the study is an outline for a “calculator” of intensions. It is argued that the intension of a term is a function of three variables: (a) the way in which the term “picks out” its referent in different possible worlds (semantics); (b) criteria of identity (metaphysics); and (c) the actual state of affairs (actuality). While considering different possible values for these variables, it is demonstrated how the variables combine to generate the term’s intension. In other words, the result is a calculator that when provided with the required values, yields the reference of the term in different possible worlds. By taking into account the possible gap between what we take the values of these variables to be and what they may in fact be, we also gain important insights into the epistemic aspect of reference. In addition, since a rigid designator is a term with constant intension, the proposed thesis provides an elaborate account of rigidity. The first chapter is devoted to the development of the calculator of intensions. Each of the following three chapters elaborates on one aspect of intensions, namely, the semantic, metaphysical and epistemic aspects. In the course of these chapters, various familiar puzzles pertaining to the respective philosophical realms are addressed (many of these puzzles are discussed in Kripke’s Naming and Necessity – a work that considerably inspired this study). In the fifth and last chapter the analysis of intensions is applied to two case-studies from relatively recent philosophical literature: the Kripke-Lewis debate over the identity theory of mind, and the debate over the significance of Donnellan’s referential/attributive distinction. The novel accounts that these applications generate purport to illustrate the importance and originality of the proposed thesis. (shrink)

This paper offers a novel resolution to the theodicy problem by demonstrating that suffering is logically necessary for any conscious being. Using modal logic, I prove that □ ∀x[(C(x) ∧ τ(x) > 0) → ∃t E(x,s,t)] — necessarily, any entity that is conscious and experiences time will experience suffering. The argument proceeds from three premises: (1) consciousness requires discriminating potential; (2) discriminating potential entails the capacity for suffering; (3) any possible world with conscious beings contains differences that a calibrated consciousness (...) will register. Applied to paradise, this yields □ ¬∃x[P(x) ∧ Comfort(x)] — a comforting paradise is logically impossible. The theodicy problem dissolves: asking why God permits suffering is ill-formed, as not even omnipotence extends to logical impossibilities. (shrink)

The distinction between true belief and knowledge is one of the most fundamental in philosophy, and a remarkable effort has been dedicated to formulating the conditions on which true belief constitutes knowledge. For decades, much of this epistemological undertaking has been dominated by a single strategy, referred to here as the modal approach. Shared by many of the most widely influential constraints on knowledge, including the sensitivity, safety, and anti-luck/risk conditions, this approach rests on a key underlying assumption — the (...) modal profiles available to known and unknown beliefs are in some way asymmetrical. The first aim of this paper is to deconstruct this assumption, identifying its plausibility with the way in which epistemologists frequently conceptualize human perceptual systems as excluding certain varieties of close error under conditions conducive to knowledge acquisition. The second aim of this paper is to then argue that a neural phase phenomenon indicates that this conceptualization is quite likely mistaken. This argument builds on the previous introduction of this neural phase to the context of epistemology, expanding the use of neural phase cases beyond relatively narrow questions about epistemic luck to a much more expansive critique of the modal approach as a whole. (shrink)

This paper develops a unified metaphysical-cognitive framework that reconceives universals and particulars as scale-relative, contrast-generated, and mode-dependent structures. Against both nominalism and Platonism, I argue that particulars depend on universals for intelligibility, universals depend on particulars for recognition, and both depend on contrast relations. Universals emerge as structural invariants across contrastive clusters of particulars, and at higher scales they themselves function as particulars, generating an indefinitely nested ontology. I introduce the novel concept of Reality-Mode Perception (RMP): the thesis that (...) human cognition does not perceive objects as they exist across their full modal range, but only the mode of reality accessible through our sensory-cognitive apparatus. Redness, for example, is a mode-specific universal derived from our visual system, not the underlying wavelength structure; similarly, 'water' is a mode-unified universal compressing multiple physical states (ice, liquid, vapor). Integrating RMP with predictive processing (Friston, 2010; Clark, 2016), coarse-graining (Wimsatt, 2007), and categorization research (Rosch, 1978), I argue that the universal-particular binary is a genuine cognitive limitation arising from our restricted access to the modal structure of reality. The result is a Reality-Mode Ontology: a relational, scale-relative, and mode-relative metaphysics that integrates phenomenology, analytic metaphysics, structural realism, and cognitive science into a coherent account of intelligibility. (shrink)

Choice experiment (CE) is a questionnaire based method that the accuracy of research questionnaire determines the validity of the research outcomes. Attribute selection has a prime importance in every CE studies. If respondents do not understand or do not have preference for a certain attribute, the attribute non-attendance problem might happen that biases overall results of the research. Qualitative approaches such as literature review, focus group discussion, and in depth discussion commonly applied in CE researches. However, especially in the developing (...) countries context where ethnical and cultural diversity is a challenge in conducting survey based questionnaires, qualitative methods are not sufficient in selecting attributes. Present study investigates the application of relative importance index (RII) in respondents¡¯ preference for attributes in a modal shift study in Klang Valley, Malaysia. The 5 point Likert scale questions were employed to enhance respondents¡¯ preferences for initial 24 selected attributes. The results of this study showed that from 24 pre-selected attributes, only 18 of them had RII>0.5 and could be included in the final CE design. The results of this study could help researchers to control for unobserved problems in selecting the attributes which could not be discovered through qualitative approaches. (shrink)

The present text provides a logical theory which originated in the unification of a number of well-known philosophical logics as well as the introduction and study of new operators. Further M-logic contains an object theory. With both the logical part and the object part we achieve a formal calculus that is able to express many metaphysical dogmas.

The aim of this thesis is to present three puzzles about epistemic modals which arise when adopting an orthodox propositionalist framework for modelling their semantics and pragmatics. I present a stragegy for solving these problems which I call “non-propositionalist”. This strategy consists in constructing an alternative, semi-dynamic framework for epistemic modals which is called “Domain semantics”, as well as a non-orthodox pragmatic picture. Because the non-propositionalist strategy runs into related problems, I present a more general non-propositionalist solution. It uses a (...) fully dynamic semantics while keeping the pragmatic picture of the non-propositionalist relatively unchanged. This general strategy manages to solve the original puzzles while avoiding to run into related problems. (shrink)

his paper is an excerpt from a larger project that aims to open a new pathway into Spinoza's Ethics by formally reconstructing an initial fragment of this text. The semantic backbone of the project is a custom-made Spinozian model theory that lays out some of the formal prerequisites for more ne-grained investigations into Spinoza's fundamental ontology and modal metaphysics. We implement Spinoza's theory of attributes using many-sorted models with a rich system of identity that allows us to clarify the puzzling (...) status of such logical principles as the Substitution of Identicals and Transitivity of Identity in Spinoza's thought. The intensional structure of our Spinozian models also captures his proposal that states of a airs can be necessitated or excluded by the essences of particular things, an essence-relative modality that should be of interest to philosophers who have sought to rehabilitate the concept of essence in contemporary analytic metaphysics. (shrink)

This paper presents a Modal Predicate Logic with conceptually restricted quantification. It provides a framework for the modeling of a variety of de re modalities and knowing who reports in a realist and literally transparent way. The framework also allows us to make proper sense of talk about things non-existent.

We introduce the τ-contradiction as a diagnostic tool for evaluating the coherence of metaphysical entities. Drawing on the concept of proper time (τ) from special relativity, we argue that any entity claimed to be both timeless (τ = 0) and capable of temporal functions (requiring τ > 0) harbors a logical contradiction equivalent to a round square. This framework applies to classical conceptions of God, immaterial souls, and other entities traditionally described as existing outside time while simultaneously performing temporal activities (...) such as thinking, deciding, or creating. The τ-contradiction does not merely render such entities improbable but logically impossible. We provide a formal modal-logical derivation and discuss implications for philosophy of religion and metaphysics. (shrink)