This paper argues for a particular view about in what metaphysical equivalence consists: namely, that any two metaphysical theories are metaphysically equivalent if and only if those theories are strongly hyperintensionally equivalent. It is consistent with this characterisation that said theories are weakly hyperintensionally distinct, thus affording us the resources to model the content of propositional attitudes directed towards metaphysically equivalent theories in such a way that non-ideal agents can bear different propositional attitudes towards metaphysically equivalent theories.

An overview of hyperintensionality is provided. Hyperintensional languages have expressions with meanings that are more fine-grained than necessary equivalence. That is, the expressions may necessarily co-apply and yet be distinct in meaning. Adequately accounting for theories cast in hyperintensional languages is important in the philosophy of language; the philosophy of mind; metaphysics; and elsewhere. This entry presents a number of areas in which hyperintensionality is important; a range of approaches to theorising about hyperintensional matters; and a (...) range of debates that attention to hyperintensional constructions has generated. (shrink)

Propositions play a central role in contemporary semantics. On the Russellian account, propositions are structured entities containing particulars, properties and relations. This contrasts sharply with the sets-of-possible-worlds view of propositions. I’ll discuss how to extend the sets-of-worlds view to accommodate fine-grained hyperintensional contents. When this is done in a satisfactory way, I’ll argue, it makes heavy use of entities very much like Russellian tuples. The two notions of proposition become inter-definable and inter-substitutable: they are not genuinely distinct accounts of (...) how propositions represent what they represent. Semantic theorists may move freely between the two conceptions of what propositions are. Nevertheless, the two approaches give different accounts of the metaphysical nature of propositions. I argue that the sets-of-worlds view provides an adequate account of the nature of propositions, whereas the Russellian view cannot. (shrink)

This book concerns the foundations of epistemic modality and hyperintensionality and their applications to the philosophy of mathematics. I examine the nature of epistemic modality, when the modal operator is interpreted as concerning both apriority and conceivability, as well as states of knowledge and belief. The book demonstrates how epistemic modality and hyperintensionality relate to the computational theory of mind; metaphysical modality and hyperintensionality; the types of mathematical modality and hyperintensionality; to the epistemic status of large cardinal axioms, undecidable propositions, (...) and abstraction principles in the philosophy of mathematics; to the modal and hyperintensional profiles of the logic of rational intuition; and to the types of intention, when the latter is interpreted as a hyperintensional mental state. Chapter 2 argues for a novel type of expressivism based on the duality between the categories of coalgebras and algebras, and argues that the duality permits of the reconciliation between modal cognitivism and modal expressivism. I also develop a novel topic-sensitive truthmaker semantics for dynamic epistemic logic, and develop a novel dynamic epistemic two-dimensional hyperintensional semantics. Chapter 3 provides an abstraction principle for epistemic (hyper-)intensions. Chapter 4 advances a topic-sensitive two-dimensional truthmaker semantics, and provides three novel interpretations of the framework along with the epistemic and metasemantic. Chapter 5 applies the fixed points of the modal μ-calculus in order to account for the iteration of epistemic states in a single agent, by contrast to availing of modal axiom 4 (i.e. the KK principle). The fixed point operators in the modal μ-calculus are rendered hyperintensional, which yields the first hyperintensional construal of the modal μ-calculus in the literature and the first application of the calculus to the iteration of epistemic states in a single agent instead of the common knowledge of a group of agents. Chapter 6 advances a solution to the Julius Caesar problem based on Fine's `criterial' identity conditions which incorporate conditions on essentiality and grounding. Chapter 7 provides a ground-theoretic regimentation of the proposals in the metaphysics of consciousness and examines its bearing on the two-dimensional conceivability argument against physicalism. The topic-sensitive epistemic two-dimensional truthmaker semantics developed in chapters 2 and 4 are availed of in order for epistemic states to be a guide to metaphysical states in the hyperintensional setting. -/- Chapters 8-12 provide cases demonstrating how the two-dimensional hyperintensions of hyperintensional, i.e. topic-sensitive epistemic two-dimensional truthmaker, semantics, solve the access problem in the epistemology of mathematics. Chapter 8 examines the interaction between my hyperintensional semantics and the axioms of epistemic set theory, large cardinal axioms, the Epistemic Church-Turing Thesis, the modal axioms governing the modal profile of Ω-logic, Orey sentences such as the Generalized Continuum Hypothesis, and absolute decidability. These results yield inter alia the first hyperintensional Epistemic Church-Turing Thesis and hyperintensional epistemic set theories in the literature. Chapter 9 examines the modal and hyperintensional commitments of abstractionism, in particular necessitism, and epistemic hyperintensionality, epistemic utility theory, and the epistemology of abstraction. I countenance a hyperintensional semantics for novel epistemic abstractionist modalities. I suggest, too, that observational type theory can be applied to first-order abstraction principles in order to make first-order abstraction principles recursively enumerable, i.e. Turing machine computable, and that the truth of the first-order abstraction principle for hyperintensions is grounded in its being possibly recursively enumerable and the machine being physically implementable. Chapter 10 examines the philosophical significance of hyperintensional Ω-logic in set theory and discusses the hyperintensionality of metamathematics. Chapter 11 provides a modal logic for rational intuition and provides a hyperintensional semantics. Chapter 12 avails of modal coalgebras to interpret the defining properties of indefinite extensibility, and avails of hyperintensional epistemic two-dimensional semantics in order to account for the interaction between the interpretational and objective modalities and truthmakers thereof. This yields the first hyperintensional category theory in the literature. I invent a new mathematical trick in which first order structures are treated as categories, and Vopenka's principle can be satisfied because of the elementary embeddings between the categories and generate Vopenka cardinals while bypassing the category of Set in category theory. Chapter 13 examines modal responses to the alethic paradoxes. Chapter 14 examines, finally, the modal and hyperintensional semantics for the different types of intention and the relation of the latter to evidential decision theory. (shrink)

This paper provides a rebuttal to the argument in Bowen (2018) in `Synthese'. Bowen provides a novel hyperintensional, ground-theoretic regimentation of the proposals in the metaphysics of consciousness. He then argues that Chalmers' (2010) intensional two-dimensional conceivability argument against physicalism is unsound, in light of the hyperintensional metaphysics of consciousness. Thus, intensional conceivability cannot be a guide to hyperintensional metaphysics. This paper demonstrates that a multi-hyperintensional version of epistemic two-dimensional semantics can be countenanced, (...) and is sufficient for conceivability to be a guide to metaphysics in the hyperintensional setting such that Chalmers' argument, hyperintensionally construed, is in fact sound. (shrink)

I argue that the two-dimensional hyperintensions of epistemic topic-sensitive two-dimensional truthmaker semantics provide a compelling solution to the access problem. I countenance an abstraction principle for epistemic hyperintensions based on Voevodsky's Univalence Axiom and function type equivalence in Homotopy Type Theory. I apply, further, modal rationalism in modal epistemology to solve the access problem. Epistemic possibility and hyperintensionality, i.e. conceivability, can be a guide to metaphysical possibility and hyperintensionality, when (i) epistemic worlds or epistemic hyperintensional states are interpreted as (...) being centered metaphysical worlds or hyperintensional states, i.e. indexed to an agent, when (ii) the epistemic (hyper-)intensions and metaphysical (hyper-)intensions for a sentence coincide, i.e. the hyperintension has the same value irrespective of whether the worlds in the argument of the functions are considered as epistemic or metaphysical, and when (iii) sentences are said to consist in super-rigid expressions, i.e. rigid expressions in all epistemic worlds or states and in all metaphysical worlds or states. I argue that (i) and (ii) obtain in the case of the access problem. (shrink)

The standard counterexamples to David Lewis’s account of intrinsicality involve two sorts of properties: identity properties and necessary properties. Proponents of the account have attempted to deflect these counterexamples in a number of ways. This paper argues that none of these moves are legitimate. Furthermore, this paper argues that no account along the lines of Lewis’s can succeed, for an adequate account of intrinsicality must be sensitive to hyperintensional distinctions among properties.

This paper aims to provide hyperintensional foundations for mathematical platonism. I examine Hale and Wright's (2009) objections to the merits and need, in the defense of mathematical platonism and its epistemology, of the thesis of Necessitism. In response to Hale and Wright's objections to the role of epistemic and metaphysical modalities in providing justification for both the truth of abstraction principles and the success of mathematical predicate reference, I examine the Necessitist commitments of the abundant conception of properties endorsed (...) by Hale and Wright and examined in Hale (2013), and demonstrate how a two-dimensional approach to the epistemology of mathematics is consistent with Hale and Wright's notion of there being non-evidential epistemic entitlement rationally to trust that abstraction principles are true. A choice point that I flag is that between availing of intensional or hyperintensional semantics. The hyperintensional semantic approach that I advance is a topic-sensitive epistemic two-dimensional truthmaker semantics. I countenance a hyperintensional semantics for novel epistemic abstractionist modalities. I suggest that observational type theory can be applied to first-order abstraction principles in order to make abstraction principles recursively enumerable. Epistemic and metaphysical states and possibilities may thus be shown to play a constitutive role in vindicating the reality of mathematical objects and truth, and in providing a conceivability-based route to the truth of abstraction principles as well as other axioms and propositions in mathematics. (shrink)

This paper aims to contribute to the analysis of the nature of mathematical modality and hyperintensionality, and to the applications of the latter to absolute decidability. Rather than countenancing the interpretational type of mathematical modality as a primitive, I argue that the interpretational type of mathematical modality is a species of epistemic modality. I argue, then, that the framework of two-dimensional semantics ought to be applied to the mathematical setting. The framework permits of a formally precise account of the priority (...) and relation between epistemic mathematical modality and metaphysical mathematical modality. The discrepancy between the modal systems governing the parameters in the two-dimensional intensional setting provides an explanation of the difference between the metaphysical possibility of absolute decidability and our knowledge thereof. I also advance a topic-sensitive epistemic two-dimensional truthmaker semantics, if hyperintensional approaches are to be preferred to possible worlds semantics. I examine the relation between two-dimensional hyperintensional states and epistemic set theory, providing two-dimensional hyperintensional formalizations of the modal logic of ZFC, large cardinal axioms, $\Omega$-logic, and the Epistemic Church-Turing Thesis. (shrink)

An increasing amount of twenty-first century metaphysics is couched in explicitly hyperintensional terms. A prerequisite of hyperintensional metaphysics is that reality itself be hyperintensional: at the metaphysical level, propositions, properties, operators, and other elements of the type hierarchy, must be more fine-grained than functions from possible worlds to extensions. In this paper I develop, in the setting of type theory, a general framework for reasoning about the granularity of propositions and properties. The theory takes as (...) primitive the notion of a substitution on a proposition (property, etc.) and, among other things, uses this idea to elucidate a number of theoretically important distinctions. A class of structures are identified which can be used to model a wide range of positions about the granularity of reality; certain of these structures are seen to receive a natural treatment in the category of M-sets. (shrink)

A principle endorsed by many theories of objective chance, and practically forced on us by the standard interpretation of the Kolmogorov semantics for chance, is the principle that when a proposition P has a chance, any proposition Q that is necessarily equivalent to P will have the same chance as P. Call this principle SUB (for the substitution of necessary equivalents into chance ascriptions). I will present some problems for a theory of chance, and will argue that the best way (...) to resolve these problems is to reject SUB, and similar principles e.g. for the chances of outcomes or the chances of events. Objective chance, it turns out, carves things more finely than necessary equivalence does. (shrink)

Propositions are often aligned with truth-conditions. The view is mistaken, since propositions discriminate where truth conditions do not. Propositions are hyperintensional: they are sensitive to necessarily equivalent differences. I investigate an alternative view on which propositions are truthmaker conditions, understood as sets of possible truthmakers. This requires making metaphysical sense of merely possible states of affairs. The theory that emerges illuminates the semantic phenomena of samesaying, subject matter, and aboutness.

Theories of content are at the centre of philosophical semantics. The most successful general theory of content takes contents to be sets of possible worlds. But such contents are very coarse-grained, for they cannot distinguish between logically equivalent contents. They draw intensional but not hyperintensional distinctions. This is often remedied by including impossible as well as possible worlds in the theory of content. Yet it is often claimed that impossible worlds are metaphysically obscure; and it is sometimes claimed that (...) their use results in a trivial theory of content. In this paper, I set out the need for impossible worlds in a theory of content; I briefly sketch a metaphysical account of their nature; I argue that worlds in general must be very fine-grained entities; and, finally, I argue that the resulting conception of impossible worlds is not a trivial one. (shrink)

The consensus among spacetime substantivalists is to respond to Leibniz's classic shift arguments, and their contemporary incarnation in the form of the hole argument, by pruning the allegedly problematic metaphysical possibilities that generate these arguments. Some substantivalists do so by directly appealing to a modal doctrine akin to anti-haecceitism. Other substantivalists do so by appealing to an underlying hyperintensional doctrine that implies some such modal doctrine. My first aim in this paper is to pose a challenge for all extant (...) forms of this consensus position. My second aim is to show what form substantivalism must take in order to uphold the consensus while addressing this challenge. The result is a novel "plenitudinous" substantivalist view, which predicts that certain modal facts about spacetime are vague or indeterminate. I then argue against this view on independent grounds, concluding that substantivalists should reject the consensus position. The paper also discusses the way forward for substantivalists in light of this conclusion. (shrink)

This paper provides an overview of the history of the notion of essence in 20th century analytic philosophy, focusing on views held by influential analytic philosophers who discussed, or relied on essence or cognate notions in their works. It in particular covers Russell and Moore’s different approaches to essence before and after breaking with British idealism, the (pre- and post-)logical positivists’ critique of metaphysics and rejection of essence (Wittgenstein, Carnap, Schlick, Stebbing), the tendency to loosen the notion of logical (...) necessity to accommodate certain metaphysical truths in Wittgenstein and others, Quine’s logical rehabilitation of metaphysics and criticism of de re modality, the modal view of essence promoted by the development of quantified modal logic (C. I. Lewis, Barcan Marcus, Kripke) and direct reference theory (Barcan Marcus, Kripke, Putnam), and the emergence of the notion of metaphysical necessity (Kneale, Kripke), and finally Fine’s re-establishment of a Neo-Aristotelian, hyperintensional notion of essence in contemporary metaphysics. (shrink)

You and I can differ in what we say, or believe, even though the things we say, or believe, are logically equivalent. Discussing what is said, or believed, requires notions of content which are finer-grained than sets of (metaphysically or logically) possible worlds. In this paper, I develop the approach to fine-grained content in terms of a space of possible and impossible worlds. I give a method for constructing ersatz worlds based on theory of substantial facts. I show how this (...) theory overcomes an objection to actualist constructions of ersatz worlds and argue that it naturally gives rise to useful notions of fine-grained content. (shrink)

According to Jago (2014a), logical omniscience is really part of a deeper paradox. Jago develops an epistemic logic with principles of indeterminate closure to solve this paradox, but his official semantics is difficult to navigate, it is motivated in part by substantive metaphysics, and the logic is not axiomatized. In this paper, I simplify this epistemic logic by adapting the hyperintensional semantic framework of Sedlár (2021). My first goal is metaphysical neutrality. The solution to the epistemic paradox should (...) not require appeal to a metaphysics of truth-makers, situations, or impossible worlds, by contrast with Jago’s official semantics. My second goal is to elaborate on the proof theory. I show how to axiomatize a family of logics with principles of indeterminate epistemic closure. (shrink)

Kit Fine famously objected against the idea that essence can be successfully analyzed in terms of de re necessity. In response, I want to explore a novel, interesting, but controversial modal account of essence in terms of intrinsicality and grounding. In the first section, I will single out two theoretical requirements that any essentialist theory should meet—the essentialist desideratum and the essentialist challenge—in order to clarify Fine’s objections. In the second section, I will assess Denby’s improved modal account, which appeals (...) to the notion of intrinsicality, and argue that it is untenable. In the third section, I will explain how, when combined with a modal-existential criterion, a hyperintensional account of intrinsicality—in the same vein as Bader (J Philos 110(10): 525–563, 2013) and Rosen (in: Hale and Hoffman (eds) Modality: Metaphysics, logic, and epistemology, Oxford, OUP, 2010)—can help successfully address Fine’s counterexamples. In the fourth section, I will evaluate how this novel analysis of essence stands with respect to sortal, origin, and natural kinds essentialism and discuss potential objections and difficulties. (shrink)

There are two ways to characterize symmetric relations. One is intensional: necessarily, _Rxy_ iff _Ryx_. In some discussions of relations, however, what is important is whether or not a relation gives rise to the same completion of a given type (fact, state of affairs, or proposition) for each of its possible applications to some fixed relata. Kit Fine calls relations that do ‘strictly symmetric’. Is there is a difference between the notions of necessary and strict symmetry that would prevent them (...) from being used interchangeably in such discussions? I show that there is. While the notions coincide assuming an intensional account of relations and their completions, according to which relations/completions are identical if they are necessarily coinstantiated/equivalent, they come apart assuming a hyperintensional account, which individuates relations and completions more finely on the basis of relations’ real definitions. I establish this by identifying two definable relations, each of which is necessarily symmetric but nonetheless results in distinct facts when it applies to the same objects in opposite orders. In each case, I argue that these facts are distinct because they have different grounds. (shrink)

During the last quarter of a century, a number of philosophers have become attracted to the idea that necessity can be analyzed in terms of a hyperintensional notion of essence. One challenge for proponents of this view is to give a plausible explanation of our modal knowledge. The goal of this paper is to develop a strategy for meeting this challenge. My approach rests on an account of modality that I developed in previous work, and which analyzes modal properties (...) in terms of the notion of a metaphysical law. I discuss what information about the metaphysical laws is required for modal knowledge. Moreover, I describe two ways in which we might be able to acquire this information. The first way employs inference to the best explanation. The metaphysical laws, including the essential truths, play a crucial role in causal and grounding explanations and we can gain knowledge of these laws by abductive inferences from facts of which we have perceptual or a priori knowledge. The second way of gaining information about the metaphysical laws rests on knowledge that is partly constitutive of competence with the concepts that are needed to express the relevant information. Finally, I consider how knowledge of the metaphysical laws can be used to establish modal claims, paying special attention to the much-discussed connection between conceiving and possibility. (shrink)

Sentences \(\varphi\) and \(\psi\) are _cognitive synonyms_ for one when they play the same role in one’s cognitive life. The notion is pervasive (Sect. 1 ), but elusive: it is bound to be hyperintensional (Sect. 2 ), but excessive fine-graining would trivialize it and there are reasons for some coarse-graining (Sect. 2.1 ). Conceptual limitations stand in the way of a natural algebra (Sect. 2.2 ), and it should be sensitive to subject matters (Sect. 2.3 ). A cognitively adequate (...) individuation of content may be intransitive (Sect. 3 ) due to ‘dead parrot’ series: sequences of sentences \(\varphi _1, \ldots, \varphi _n\) where adjacent \(\varphi _i\) and \(\varphi _{i+1}\) are cognitive synonyms while \(\varphi _1\) and \(\varphi _n\) are not (Sect. 3.1 ). Finding an intransitive account is hard: Fregean equipollence won’t do (Sect. 3.2 ) and a result by Leitgeb shows that it wouldn’t satisfy a minimal compositionality principle (Sect. 3.3 )._Sed contra_, there are reasons for transitivity, too (Sect. 3.4 ). In Sect. 4, we come up with a formal semantics capturing this jumble of desiderata, thereby showing that the notion is coherent. In Sect. 5, we re-assess the desiderata in its light. (shrink)

After the publication of Marshall’s theorem (2009), it has been widely accepted that the intrinsic/extrinsic distinction cannot be analyzed in broadly logical terms, but instead requires appealing to more robust metaphysical notions like grounding, naturalness or duplication. However, in this article I will defend that this is not so. Instead of showing the limitations of Marshall’s undoubtedly impressive result, I will present here a broadly logical definition of the intrinsic/extrinsic distinction, and show that it is extensional adequate regardless of our (...) preferred conception of property identity. (shrink)

While recent history has seen significant debate concerning the nature and extension of essence, comparatively little attention has been paid to the epistemology of essence. This is strange, as, plausibly, what answers we give to the metaphysical questions about essence will (or should) be partially constrained by our essence epistemology. Here, I aim to go some way towards filling this lacuna. In particular, I here argue that there is no plausible epistemic story available for non-modal accounts of essence. In particular, (...) existing accounts of essence epistemology cannot explain how we are able to know that something is genuinely essential, rather than merely necessary. One consequence is that modal accounts of essence – which only needs to supply an epistemology for a non-hyperintensional notion – look that much more plausible. (shrink)

A counterpossible is a counterfactual with an impossible antecedent. Counterpossibles present a puzzle for standard theories of counterfactuals, which predict that all counterpossibles are semantically vacuous. Moreover, counterpossibles play an important role in many debates within metaphysics and epistemology, including debates over grounding, causation, modality, mathematics, science, and even God. In this article, we will explore various positions on counterpossibles as well as their potential philosophical consequences.

After the publication of Marshall’s theorem (2009), it has been widely accepted that the intrinsic/extrinsic distinction cannot be analyzed in broadly logical terms, but instead requires appealing to more robust metaphysical notions like grounding, naturalness or duplication. However, this is not so. Instead of showing the limitations of Marshall’s still impressive result, I will present here a broadly logical definition of the intrinsic/extrinsic distinction, and show that it is extensional adequate regardless of our preferred conception of property identity.

In some recent work, John N.Williams defends a new objection to the defeasibility theory of knowledge. But the objection is of wider interest, since Williams also suggests that this style of objection may undermine other theories of knowledge. I distinguish two versions of Williams’ objection. I then show that the first version relies on false conceptual principles, and the second relies on a specific and dubious conception of the goal of the analysis of knowledge.

This paper aims to demonstrate that the ontology of consciousness is consistent with both the modal and the metaphysical versions of Haecceitism. I examine the varieties of Haecceitism, and I specify the intended versions that the arguments will vindicate. I define the property of 'being purely qualitative', and examine its relation to the properties of phenomenal consciousness. I draw, inter alia, on Bayesian perceptual psychology, in order to specify the identity-conditions of phenomenal properties in detail. I provide two, abductive arguments (...) for the claim that the identity-conditions on some individuals are metaphysically haecceitistic, in virtue of the relations that hold between those individuals and the phenomenal properties that they instantiate. The first argument is corroborated by empirical results concerning the phenomenological effects of attention. The second argument is corroborated by empirical results from the study of color in vision science. The arguments vindicate a version of Metaphysical Haecceitism, because the individuals are shown to be typed by the phenomenal properties that they instantiate, although quantification over the individuals is an ineliminable condition on their identity and distinctness. I provide, then, a regimentation of the extant proposals in the ontology of consciousness, using the logic of hyperintensional ground, as augmented by the Bayesian probability calculus. The hyperintensional regimentation vindicates a version of Modal Haecceitism, because the probabilistic ontological dependence of the parts of worlds on other parts thereof provides an ineliminable condition on the identity and distinctness of worlds. (shrink)

We propose a dynamic hyperintensional logic of belief revision for non-omniscient agents, reducing the logical omniscience phenomena affecting standard doxastic/epistemic logic as well as AGM belief revision theory. Our agents don’t know all a priori truths; their belief states are not closed under classical logical consequence; and their belief update policies are such that logically or necessarily equivalent contents can lead to different revisions. We model both plain and conditional belief, then focus on dynamic belief revision. The key idea (...) we exploit to achieve non-omniscience focuses on topic- or subject matter-sensitivity: a feature of belief states which is gaining growing attention in the recent literature. (shrink)

In this paper, we present a new semantic framework designed to capture a distinctly cognitive or epistemic notion of meaning akin to Fregean senses. Traditional Carnapian intensions are too coarse-grained for this purpose: they fail to draw semantic distinctions between sentences that, from a Fregean perspective, differ in meaning. This has led some philosophers to introduce more fine-grained hyperintensions that allow us to draw semantic distinctions among co-intensional sentences. But the hyperintensional strategy has a flip-side: it risks drawing semantic (...) distinctions between sentences that, from a Fregean perspective, do not differ in meaning. This is what we call the ‘new problem’ of hyperintensionality to distinguish it from the ‘old problem’ that faced the intensional theory. We show that our semantic framework offers a joint solution to both these problems by virtue of satisfying a version of Frege’s so-called ‘equipollence principle’ for sense individuation. Frege’s principle, we argue, not only captures the semantic intuitions that give rise to the old and the new problem of hyperintensionality, but also points the way to an independently motivated solution to both problems. (shrink)

This paper investigates propositional hyperintensionality in counterfactuals. It starts with a scenario describing two children playing on a seesaw and studies the truth-value predictions for counterfactuals by four different semantic theories. The theories in question are Kit Fine’s truthmaker semantics, Luis Alonso-Ovalle’s alternative semantics, inquisitive semantics and Paolo Santorio’s syntactic truthmaker semantics. These predictions suggest that the theories that distinguish more of a given set of intensionally equivalent sentences (Fine and Alonso-Ovalle’s) fare better than those that do not (inquisitive semantics (...) and Santorio’s). Then we investigate how inquisitive semantics and Santorio can respond to these results. They can respond to them by helping themselves to considerations from Hurford disjunctions, disjunctions whose disjuncts stand in an entailment relation to one another. I argue that considerations from Hurford disjunctions are ad hoc modifications merely to predict the expected results. I conclude that the scenarios suggest a need for more fine-grained theories of sentential meaning in general. (shrink)

I present a possible worlds semantics for a hyperintensional belief revision operator, which reduces the logical idealization of cognitive agents affecting similar operators in doxastic and epistemic logics, as well as in standard AGM belief revision theory. (Revised) belief states are not closed under classical logical consequence; revising by inconsistent information does not perforce lead to trivialization; and revision can be subject to ‘framing effects’: logically or necessarily equivalent contents can lead to different revisions. Such results are obtained without (...) resorting to non-classical logics, or to non-normal or impossible worlds semantics. The framework combines, instead, a standard semantics for propositional S5 with a simple mereology of contents. (shrink)

In this article, we present a definition of a hyperintensionality appropriate to relevant logics. We then show that relevant logics are hyperintensional in this sense, drawing consequences for other non-classical logics, including HYPE and some substructural logics. We further prove results concerning extensionality in relevant logics. We close by discussing related concepts for classifying formula contexts and potential applications of these results.

Reductionists about dispositions must either say the natural properties are all dispositional or individuate properties hyperintensionally. Lewis stands in as an example of the sort of combination I think is incoherent: properties individuated by modal profile + categoricalism.

David Kaplan famously argued that mainstream semantics for modal logic, which identifies propositions with sets of possible worlds, is affected by a cardinality paradox. Takashi Yagisawa showed that a variant of the same paradox arises when standard possible worlds semantics is extended with impossible worlds to deliver a hyperintensional account of propositions. After introducing the problem, we discuss two general approaches to a possible solution: giving up on sets and giving up on worlds, either in the background semantic framework (...) or in the corresponding conception of propositions. As a result, we conclude that abandoning worlds by embracing a truthmaker-based approach offers a promising way to account for hyperintensional propositions without facing the paradoxical outcome. (shrink)

This paper examines the philosophical significance of the consequence relation defined in the $\Omega$-logic for set-theoretic languages. I argue that, as with second-order logic, the hyperintensional profile of validity in $\Omega$-Logic enables the property to be epistemically tractable. Because of the duality between coalgebras and algebras, Boolean-valued models of set theory can be interpreted as coalgebras. In Section \textbf{2}, I demonstrate how the hyperintensional profile of $\Omega$-logical validity can be countenanced within a coalgebraic logic. Finally, in Section \textbf{3}, (...) the philosophical significance of the characterization of the hyperintensional profile of $\Omega$-logical validity for the philosophy of mathematics is examined. I argue (i) that $\Omega$-logical validity is genuinely logical, and (ii) that it provides a hyperintensional account of formal grasp of the concept of `set'. Section \textbf{4} provides concluding remarks. (shrink)

This essay examines the philosophical significance of $\Omega$-logic in Zermelo-Fraenkel set theory with choice (ZFC). The categorical duality between coalgebra and algebra permits Boolean-valued algebraic models of ZFC to be interpreted as coalgebras. The hyperintensional profile of $\Omega$-logical validity can then be countenanced within a coalgebraic logic. I argue that the philosophical significance of the foregoing is two-fold. First, because the epistemic and modal and hyperintensional profiles of $\Omega$-logical validity correspond to those of second-order logical consequence, $\Omega$-logical validity (...) is genuinely logical. Second, the foregoing provides a hyperintensional account of the interpretation of mathematical and metamathematical vocabulary. (shrink)

It is widely thought that grounding is a hyperintensional phenomenon. Unfortunately, the term ‘hyperintensionality’ has been doing double-duty, picking out two distinct phenomena. This paper clears up this conceptual confusion. We call the two resulting notions hyperintensionalityGRND and hyperintensionalityTRAD. While it is clear that grounding is hyperintensionalGRND, the interesting question is whether it is hyperintensionalTRAD. We argue that given well-accepted constraints on the logical form of grounding, to wit, that grounding is irreflexive and asymmetric, grounding is hyperintensionalTRAD only if (...) one endorses a sentential operator view of grounding. We argue that proponents of the sentential operator view will need to distinguish two importantly different kinds of hyperintensionalityTRAD—weak and strong—and we offer them a way to do so. (shrink)

A wide variety of concepts are nowadays considered to be hyperintensional, and some of them do not seem to involve our representational attitudes. This led some philosophers to identify and defend a notion of worldly hyperintensionality: the idea that some hyperintensional phenomena derive from features of objective reality, independently of how we represent it. Against this view, Darragh Byrne and Naomi Thompson argue that the correct understanding of such phenomena must be conceptualist in nature, and claim that hyperintensionality (...) always derives from features of representations. In the present work I defend the genuine distinction between worldly and representational hyperintensionality through a new framing of the issue: the comparison with worldly intensionality. I argue that locating the sources of hyperintensionality should not be affected by preferences towards any specific semantic framework, and reject Byrne and Thompson's argument against worldly hyperintensionality. (shrink)

This essay endeavors to define the concept of indefinite extensibility in the setting of category theory. I argue that the generative property of indefinite extensibility for set-theoretic truths in category theory is identifiable with the Grothendieck Universe Axiom and the elementary embeddings in Vopenka's principle. The interaction between the interpretational and objective modalities of indefinite extensibility is defined via the epistemic interpretation of two-dimensional semantics. The semantics can be defined intensionally or hyperintensionally. By characterizing the modal profile of $\Omega$-logical validity, (...) and thus the generic invariance of mathematical truth, modal coalgebras are further capable of capturing the notion of definiteness for set-theoretic truths, in order to yield a non-circular definition of indefinite extensibility. (shrink)

This essay provides a novel account of iterated epistemic states. The essay argues that states of epistemic determinacy might be secured by countenancing iterated epistemic states on the model of fixed points in the modal $\mu$-calculus. Despite the epistemic indeterminacy witnessed by the invalidation of modal axiom 4 in the sorites paradox -- i.e. the KK principle: $\square$$\phi$ $\rightarrow$ $\square$$\square$$\phi$ -- a hyperintensional epistemic $\mu$-automaton permits fixed points to entrain a principled means by which to iterate epistemic states and (...) account thereby for necessary conditions on self-knowledge. The hyperintensional epistemic $\mu$-calculus is applied to the iteration of the epistemic states of a single agent instead of the common knowledge of a group of agents, and is thus a novel contribution to the literature. (shrink)

In this chapter, I investigate a problem for Kant’s claim that metaphysics can reach the status of science. The problem arises when one considers Kant’s account of the “architectonic unity” of metaphysics in the Architectonic of Pure Reason. Attaining architectonic unity is a condition for becoming a science for any body of cognitions that purports to be such. This is achieved when the cognitions belonging to a science are systematically organized according to the “idea of reason” which lies (...) at the basis of that science. However, Kant suggests that nobody can ever legitimately claim to have matched the idea of the philosopher, where this appears to imply that nobody can justifiably claim that she has fully grasped the idea of metaphysics. This generates a problem. I suggest that when Kant claims that the idea of the philosopher must remain an ideal or an archetype, he has a particular conception of philosophy in mind, that is, philosophy as a doctrine of wisdom. According to this understanding, philosophy must provide an example of how one can become virtuous. However, this is only a partial solution to our problem, for reasons that will be illustrated. (shrink)

This is a critical, but sympathetic, examination of the manifesto for naturalized metaphysics that forms the first chapter of James Ladyman and Don Ross's 2006 book, Every Thing Must Go, but it has wider implications than this description suggests.

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

This paper argues that the types of intention can be modeled both as modal operators and via a multi-hyperintensional semantics. I delineate the semantic profiles of the types of intention, and provide a precise account of how the types of intention are unified in virtue of both their operations in a single, encompassing, epistemic space, and their role in practical reasoning. I endeavor to provide reasons adducing against the proposal that the types of intention are reducible to the mental (...) states of belief and desire, where the former state is codified by subjective probability measures and the latter is codified by a utility function. I argue, instead, that each of the types of intention -- i.e., intention-in-action, intention-as-explanation, and intention-for-the-future -- has as its aim the value of an outcome of the agent's action, as derived by her partial beliefs and assignments of utility, and as codified by the value of expected utility in evidential decision theory. (shrink)

There has been an explosion of interest in the metaphysics of fundamentality in recent decades. The consensus view, called metaphysical foundationalism, maintains that there is something absolutely fundamental in reality upon which everything else depends. However, a number of thinkers have chal- lenged the arguments in favor of foundationalism and have proposed competing non-foundationalist ontologies. This paper provides a systematic and critical introduction to metaphysical foundationalism in the current literature and argues that its relation to ontological dependence and substance (...) should be qualified in important ways. (shrink)

The paper argues against a commitment to metaphysical necessity, semantic modalities are enough. The best approaches to elucidate the semantic modalities are (still) versions of lingustic ersatzism and fictionalism, even if only developed in parts. Within these necessary properties and the difference between natural and semantic laws can be accounted for. The proper background theory for this is an updated version of Logical Empiricism, which is congenial to recent trends in Structural Realism. The anti-metaphysical attitude of Logical Empiricism deserves revitalization. (...) Another target besides metaphysical necessity are substantial forms of iterated modalities, as used, for instance, in the philosophy of religion. (shrink)

The present text is the revised and corrected English translation of the book published in German by the Lang Verlag, Bern 2008. Unfortunately the text still has some minor flaws (especially in the Index Locorum) but they do not concern the main thesis or the arguments. It will still be the final version, especially considering my age. It is among the most widespread and the least questioned convictions that in Metaphysics Lambda Aristotle presents a theology which has its basis (...) in a metaphysics of substance. Doubts about theological interpretation are beginning to stir in a growing number of publications, but nevertheless the majority of research literature, compendiums and histories of philosophy argues within this frame. A closer look at the facts reveals that this conviction has no basis in the text. Quite the contrary it is based on a reception with theological interests. It arised over centuries, starting from Patristic times and the Middle Ages; it was influenced by Neoplatonic texts as the Liber de Causis or the Theologia Aristotelis, texts for a long time considered as original Aristotelian books. And, if you read not translations but the Greek text, you see that the word 'god' occurs much less than in a theological book should be. In some translations we find more occurences of that word, and especially in French, Italian, English translations some words as le Bien, l'Intelligence etc. are written with capitals to inticate that it is about god. To make it even more clear, we read often the term 'First Mover' or 'Unmoved Mover' as an other name for god, but this expression is never used by Aristotle. So the reader has the impression that Aristotle speaks continuously about god. In addition, in the present book you will find arguments which clean up with the outdated concept of substance in the Aristotelian text, a concept which was developed for quite other problems than Aristotle had, namely theolgical ones. And, if there is no substance, there is no corresponding metaphysics of substance and no theology or onto-theology. If substance, metyphysics, theology play no role in Metaphysics Lambda, what else is its content and aim? That is not so difficult to say because Aristotle says it sufficiently clear in his first sentence, περὶ οὐσίας ἡ θεωρία: our inquiry is about being; its aim is to develop the Frage nach dem Sein and to state a speculative answer: being is noesis, Sein ist Gewahren. (shrink)

Hyperintensionality – the failure of substitutivity salva veritate of intensionally equivalent expressions – is one of the most debated topics in recent philosophy of language. Being a phenomenon that affects a wide variety of different sentential contexts, a question concerning its source arises: is hyperintensionality something that can originate from actual features of the world, or it is simply some kind of representational phenomenon, which entirely depends on our conceptual faculties and preferred semantics? After a brief general introduction to the (...) topic from the semantic standpoint, in the present work I defend a view developed by Daniel Nolan, according to which hyperintensionality can be a worldly, non-representational phenomenon. I first reconstruct Nolan’s view and argument for worldly hyperintensionality, understood through the comparison with de re intensional modality. Then, I address the main criticism that has been raised against it, developing three objections. Evidence for worldly hyperintensionality is thereby presented, by focusing on a paradigmatic trigger: counterpossible conditionals. I provide two jointly sufficient criteria for a counterpossible to be a genuine instance of worldly hyperintensionality, then illustrate three case studies from scientific practices that all rely on counterpossible reasoning: reducibility in relative computability theory; scientific explanation of certain substances’ essential properties; and emergent molecular structure in chemistry. Each of them is evaluated by checking if it satisfies the criteria for worldly hyperintensionality, leading to the detection of patterns of counterpossible dependence occurring in at least some specific instances of the case studies discussed. Finally, I suggest a possible realist reading of such dependence relation, locating its relata in the world, independently from our representations. (shrink)

INTRODUCTION I. CETERIS PARIBUS LAWS An alleged law of nature—like Newton's law of gravitation—is said to be a ceteris paribus law if it does not hold under ...