§0. A familiar if obscure idea: an indicative conditional presents its consequent as holding in the actual world on the supposition that its antecedent so holds, whereas a subjunctive conditional merely presents its consequent as holding in a world, typically counterfactual, in which its antecedent holds. Consider this pair.

We demonstrate how to validly quantify into hyperintensional contexts involving non-propositional attitudes like seeking, solving, calculating, worshipping, and wanting to become. We describe and apply a typed extensional logic of hyperintensions that preserves compositionality of meaning, referential transparency and substitutivity of identicals also in hyperintensional attitude contexts. We specify and prove rules for quantifying into hyperintensional contexts. These rules presuppose a rigorous method for substituting variables into hyperintensional contexts, and the method will be described. We prove (...) the following. First, it is always valid to quantify into hyperintensional attitude contexts and over hyperintensional entities. Second, factive empirical attitudes validate, furthermore, quantifying over intensions and extensions, and so do non-factive attitudes, both empirical and non-empirical , provided the entity to be quantified over exists. We focus mainly on mathematical attitudes, because they are uncontroversially hyperintensional. (shrink)

Co-hyperintensionality, or hyperintensional equivalence, is a relation holding between two or more contents that can be substituted in a hyperintensional context salva veritate. I argue that two strategies used to provide criteria for co-hyperintensionality fail. I argue that there is no generalized notion of co-hyperintensionality that meets plausible desiderata, by showing that the opposite thesis leads to falsity. As a conclusion, I suggest to take co-hyperintensionality as a primitive and I provide a general criterion of co-hyperintensionality whose (...) content depends on each hyperintensional notion we aim to formalize. (shrink)

This article introduces, studies, and applies a new system of logic which is called ‘HYPE’. In HYPE, formulas are evaluated at states that may exhibit truth value gaps and truth value gluts. Simple and natural semantic rules for negation and the conditional operator are formulated based on an incompatibility relation and a partial fusion operation on states. The semantics is worked out in formal and philosophical detail, and a sound and complete axiomatization is provided both for the propositional and the (...) predicate logic of the system. The propositional logic of HYPE is shown to contain first-degree entailment, to have the Finite Model Property, to be decidable, to have the Disjunction Property, and to extend intuitionistic propositional logic conservatively when intuitionistic negation is defined appropriately by HYPE’s logical connectives. Furthermore, HYPE’s first-order logic is a conservative extension of intuitionistic logic with the Constant Domain Axiom, when intuitionistic negation is again defined appropriately. The system allows for simple model constructions and intuitive Euler-Venn-like diagrams, and its logical structure matches structures well-known from ordinary mathematics, such as from optimization theory, combinatorics, and graph theory. HYPE may also be used as a general logical framework in which different systems of logic can be studied, compared, and combined. In particular, HYPE is found to relate in interesting ways to classical logic and various systems of relevance and paraconsistent logic, many-valued logic, and truthmaker semantics. On the philosophical side, if used as a logic for theories of type-free truth, HYPE is shown to address semantic paradoxes such as the Liar Paradox by extending non-classical fixed-point interpretations of truth by a conditional as well-behaved as that of intuitionistic logic. Finally, HYPE may be used as a background system for modal operators that create hyperintensional contexts, though the details of this application need to be left to follow-up work. (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.

We compare the logic HYPE recently suggested by H. Leitgeb as a basic propositional logic to deal with hyperintensional contexts and Heyting-Ockham logic introduced in the course of studying logical aspects of the well-founded semantics for logic programs with negation. The semantics of Heyting-Ockham logic makes use of the so-called Routley star negation. It is shown how the Routley star negation can be obtained from Dimiter Vakarelov’s theory of negation and that propositional HYPE coincides with the logic characterized by (...) the class of all involutive Routley star information frames. This result provides a much simplified semantics for HYPE and also a simplified axiomatization, which shows that HYPE is identical with the modal symmetric propositional calculus introduced by G. Moisil in 1942. Moreover, it is shown that HYPE can be faithfully embedded into a normal bi-modal logic based on classical logic. Against this background, we discuss the notion of hyperintensionality. (shrink)

The book is about logical analysis of natural language. Since we humans communicate by means of natural language, we need a tool that helps us to understand in a precise manner how the logical and formal mechanisms of natural language work. Moreover, in the age of computers, we need to communicate both with and through computers as well. Transparent Intensional Logic is a tool that is helpful in making our communication and reasoning smooth and precise. It deals with all kinds (...) of linguistic context in a fully compositional and anti-contextual way. (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)

Variabilism is the view that proper names (like pronouns) are semantically represented as variables. Referential names, like referential pronouns, are assigned their referents by a contextual variable assignment (Kaplan 1989). The reference parameter (like the world of evaluation) may also be shifted by operators in the representation language. Indeed verbs that create hyperintensional contexts, like ‘think’, are treated as operators that simultaneously shift the world and assignment parameters. By contrast, metaphysical modal operators shift the world of assessment only. Names, (...) being variables, refer rigidly in the latter merely intensional contexts, but may vary their reference in hyperintensional contexts. This conforms to the intuition that the content of attitude ascriptions encapsulates referential uncertainty. Furthermore, names in hyperintensional contexts are ambiguous between de re* and de dicto* interpretations. This fact is used to account for asymmetric mistaken identity attributions (for example, Biron thinks Katherine is Rosaline, but he doesn’t think Rosaline is Katherine). -/- The variable theory compares favourably with its alternatives, including Millianism and descriptivism. Millians cannot account for the behaviour of names in hyperintensional contexts, while descriptivists cannot generate a necessary contrast between intensional and hyperintensional contexts. No other theory can capture the facts pertaining to the existentially bound use of names. (shrink)

The problem of hyperintensional contexts, and the problem of logical omniscience, shows the severe limitation of possible-worlds semantics which is employed also in standard epistemic logic. As a solution, we deploy here hyperintensional semantics according to which the meaning of an expression is an abstract structured algorithm, namely Tichý's construction. Constructions determine the denotata of expressions. Propositional attitudes are modelled as attitudes towards constructions of truth values. Such a model of belief is, of course, inferentially restrictive. We therefore (...) also propose a model of implicit knowledge, which is the collection of a possible agent's explicit beliefs which are related through a derivation system mastered by the agent. A derivation system consists of beliefs and derivation rules by means of which the agent may derive beliefs different from the beliefs she is actually related to. Conditions imposed on the set of base beliefs and the set of rules capture the limitations of the agent's deriving capabilities. (shrink)

Justification as Ignorance offers an original account of epistemic justification as both non-factive and luminous, vindicating core internalist intuitions without construing justification as an internal condition knowable by reflection alone. Sven Rosenkranz conceives of justification, in its doxastic and propositional varieties, as a kind of epistemic possibility of knowing and of being in a position to know. His account contrasts with recent alternative views that characterize justification in terms of the metaphysical possibility of knowing. Instead, he develops a suitable non-normal (...) multi-modal epistemic logic for knowledge and being in a position to know that respects the finding that these notions create hyperintensional contexts. He also defends his conception of justification against well-known anti-luminosity arguments, shows that the account allows for fruitful applications and principled solutions to the lottery and preface paradoxes, and provides a metaphysics of justification and its varying degrees of strength that is compatible with core assumptions of the knowledge-first approach and disjunctivist conceptions of mental states. (shrink)

An influential argument against the possibility of truth by linguistic convention holds that while conventions can determine which proposition a given sentence expresses, they (conventions) are powerless to make propositions true or false. This argument has been offered in the literature by Lewy, Yablo, Boghossian, Sider and others. But despite its influence and prima facie plausibility, the argument: (i) equivocates between different senses of “making true”; (ii) mistakenly assumes hyperintensional contexts are intensional; and (iii) relies upon an implausible vision (...) of the way that language works. (shrink)

First, Mahtani argues that both in the game The Mug and in the Sleeping Beauty we should not defer to a trusted person under a particular designation if they do not self-identify under this designation. This invites a more complex Reflection Principle. I respond that there are more parsimonious ways to avoid the challenges posed to the Reflection Principle. Second, Mahtani argues that preferences create a hyperintensional context, which poses a challenge to the Ex-Ante Pareto Principle that can (...) be averted by supervaluation. I respond that such an appeal to supervaluation would block randomization as a fair allocation device. (shrink)

In this paper we discuss sequent calculi for the propositional fragment of the logic of HYPE. The logic of HYPE was recently suggested by Leitgeb as a logic for hyperintensional contexts. On the one hand we introduce a simple \-system employing rules of contraposition. On the other hand we present a \-system with an admissible rule of contraposition. Both systems are equivalent as well as sound and complete proof-system of HYPE. In order to provide a cut-elimination procedure, we expand (...) the calculus by connections as introduced in Kashima and Shimura. (shrink)

In this paper we discuss sequent calculi for the propositional fragment of the logic of HYPE. The logic of HYPE was recently suggested by Leitgeb as a logic for hyperintensional contexts. On the one hand we introduce a simple \-system employing rules of contraposition. On the other hand we present a \-system with an admissible rule of contraposition. Both systems are equivalent as well as sound and complete proof-system of HYPE. In order to provide a cut-elimination procedure, we expand (...) the calculus by connections as introduced in Kashima and Shimura. (shrink)

We prove how to validly quantify into hyperpropositional contexts de dicto in Transparent Intensional Logic. Hyperpropositions are sentential meanings and attitude complements individuated more finely than up to logical equivalence. A hyperpropositional context de dicto is a context in which only co-hyperintensional propositions can be validly substituted. A de dicto attitude ascription is one that preserves the attributee’s perspective when one complement is substituted for another. Being an extensional logic of hyperintensions, Transparent Intensional Logic validates all the (...) rules of extensional logic, including existential quantification. Yet the rules become more exacting when applied to hyperintensional contexts. The rules apply to only some types of entities, because the existence of only some types of entities is entailed by a hyperpropositional attitude de dicto. The insight that the paper offers is how a particular logic of hyperintensions is capable of validating quantifying-in in a principled and rigorous manner. This result advances the community-wide understanding of how to logically manipulate hyperintensions. (shrink)

The paper develops a proof-theoretic semantics for belief reports by extending the constructive type-theoretical formalism presented in Więckowski with a specific kind of set-forming operator suited for the representation of belief attitudes. The extended formalism allows us to interpret constructions which involve, e.g., iteration of belief, quantifying into belief contexts, and anaphora in belief reports. Moreover, constructive solutions to canonical instances of the problem of hyperintensionality are suggested. The paper includes a discussion of Ranta’s constructive account of belief reports.

Frege puzzles exploit cognitive differences between co-referential terms. Traditionally, they were handled by some version of Frege’s distinction between sense and reference, which avoided disruptive consequences for epistemology. However, the Fregean programme did not live up to its original promise, and was undermined by the development of theories of direct reference; for semantic purposes, its prospects now look dim. In particular, well-known analogues of Frege puzzles concern pairs of uncontentious synonyms; attempts to deal with them by distinguishing idiolects or postulating (...) ‘narrow contents’ or elaborate forms of context-sensitivity are inadequate or semantically implausible. Although ascriptions of knowledge, belief, and other attitudes are ubiquitous in epistemology, epistemologists have not properly come to terms with the surprising consequences of anti-Fregean semantic accounts of attitude ascriptions. In ‘A Puzzle about Belief ’, Saul Kripke shows that natural-seeming disquotational principles for ascribing belief lead to apparently unacceptable consequences, including outright contradictions, in problem cases. Such disquotation principles, I argue, are best regarded not as conceptual connections but just as heuristics in the psychological sense, quick and easy ways of assessing belief ascriptions, usually accurate under normal conditions but far from 100% reliable. I discuss similar heuristics for ascribing knowledge and other attitudes. That the principles have a merely heuristic status need not be pre-theoretically manifest to their users. This view vindicates Kripke’s conclusion that it would be wrong-headed to draw semantic conclusions from Frege puzzles. I discuss the epistemological consequences of an anti-Fregean approach to Frege puzzles, including for Kripke’s cases of the contingent a priori and the necessary a posteriori, but also for evidence, for epistemic modalities, and for epistemic and subjective conceptions of probability. Anna Mahtani’s recent identification of Frege puzzles for the ex ante Pareto Principle as used in welfare economics provides an interesting example. I suggest a model-building methodology as the most promising way of handling at least some of the difficulties. A final issue is the choice between different anti-Fregean approaches to semantics, from very coarse-grained intensional approaches on which sentences express functions from possible worlds to truth-values to more fine-grained hyperintensional approaches on which sentences express functions from possible or impossible worlds to truth-values or else Russellian structured propositions. Some of the hyperintensional theories violate semantic compositionality. More generally, since our attitude ascriptions rely on heuristics, they should be expected to exhibit some level of error; although hyperintensional approaches may be able slightly to reduce the level of postulated error, they do so at the cost of vastly increased theoretical complexity, and so have weak explanatory power. Methodologically, a simple intensional approach does better. (shrink)

This paper addresses the mereological problem of the unity of structured propositions. The problem is how to make multiple parts interact such that they form a whole that is ultimately related to truth and falsity. The solution I propose is based on a Platonist variant of procedural semantics. I think of procedures as abstract entities that detail a logical path from input to output. Procedures are modeled on a function/argument logic, but are not functions. Instead they are higher-order, fine-grained structures. (...) I identify propositions with particular kinds of molecular procedures containing multiple sub-procedures as parts. Procedures are among the basic entities of my ontology, while propositions are derived entities. The core of a structured proposition is the procedure of predication, which is an instance of the procedure of functional application. The main thesis I defend is that procedurally conceived propositions are their own unifiers detailing how their parts interact so as to form a unit. They are not unified by one of their constituents, e.g., a relation or a sub-procedure, on pain of regress. The relevant procedural semantics is Transparent Intensional Logic, a hyperintensional, typed λ-calculus, whose λ-terms express four different kinds of procedures. While demonstrating how the theory works, I place my solution in a wider historical and systematic context. (shrink)

Previous theorists have claimed that Russell’s theory of definite descriptions gives the wrong truth conditions to sentences in which definite descriptions are embedded under certain other operators; but the other operators used, such as conditionals and propositional attitude verbs, have introduced intensional and hyperintensional complications that might be thought to obscure the point against Russell. This paper shows that the same kind of problem arises when the operator in question allows the context to be extensional. It is further (...) argued that presuppositional theories of definite descriptions give intuitively satisfying analyses of the novel data. (shrink)

Say that two sentences are ground-theoretically equivalent iff they are interchangeable salva veritate in grounding contexts. Notoriously, ground-theoretic equivalence is a hyperintensional matter: even logically equivalent sentences may fail to be interchangeable in grounding contexts. Still, there seem to be some substantive, general principles of ground-theoretic equivalence. For example, it seems plausible that any sentences of the form A∧B\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$A \wedge B$$\end{document} and B∧A\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} (...) \begin{document}$$B \wedge A$$\end{document} are ground-theoretically equivalent. What, then, are in general the conditions for two sentences to stand in the relation of ground-theoretic equivalence, and what are the logical features of that relation? This paper develops and defends an answer to these questions based on the mode-ified truthmaker theory of content presented in my recent paper ‘Towards a theory of ground-theoretic content’ :785–814, 2018). (shrink)

The construction of mediaeval semantic theories is based on defining semantic concepts introduced by means of paradigmatic examples. One of the commonly discussed expressions is the promise “Debeo tibi equum”. This study deals with analyses of this proposition in fourteenth century logic done by means of instruments of terminist semantics. We may distinguish between realist and nominalist analyses, the nominalist may further be classified according to how the propositional context is interpreted – whether as extensional, intensional or hyperintensional. (...) If we take the function terminist logic has with respect to grounded elimination of false inferences as the criterion of its effectivity, all solutions must be considered comparably effective, and therefore acceptable.Medio aevo doctrinae semanticae super notionum semanticarum definitiones, quae exem plorum allatorum auxilio communiter introducebantur, construi solebant. Inter exempla saepius pertractata est etiam hoc promissum “Debeo tibi equum”. In dissertatione nostra explicationes, quae instrumentis semantices terministicae 14. saeculo in logica propositae sunt, investigamus, quorum aliae sunt realisticae, aliae nominalisticae. Inter hasce aliud porro discrimen notaripotest, scilicet quod aliae contextum dicti “extensionalem”, aliae “intensionalem”, aliae “hyperintensionalem” interpretantur. Quae omnes explicationes fere aeque efficaces esse inveniuntur, inquantum scilicet sufficientia praebent fundamenta ad argumenta fallacia eliminanda, quod et aeque acceptabiles. (shrink)

I attempt to provide a general account of deontic context, equally applicable within and an intensional and a hyperintensional framework; I compare Rothschild's and Yablo's accounts of the semantics for deontic logic, deontic updating and denotic duality with my own accounts; and I conclude with some general remarks on negation.

Belief revision theories standardly endorse a principle of intensionality to the effect that ideal doxastic agents do not discriminate between pieces of information that are equivalent within classical logic. I argue that this principle should be rejected. Its failure, on my view, does not require failures of logical omniscience on the part of the agent, but results from a view of the update as _mighty_: as encoding what the agent learns might be the case, as well as what must be. (...) The view is motivated by consideration of a puzzle case, obtained by transposing into the context of belief revision a kind of scenario that Kit Fine has used to argue against intensionalism about counterfactuals. Employing the framework of truthmaker semantics, I go on to develop a novel account of belief revision, based on a conception of the update as mighty, which validates natural hyperintensional counterparts of the usual AGM postulates. (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)

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)

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)

We introduce a general representation of unary hyperintensional modalities and study various hyperintensional modal logics based on the representation. It is shown that the major approaches to hyperintensionality known from the literature, that is state-based, syntactic and structuralist approaches, all correspond to special cases of the general framework. Completeness results pertaining to our hyperintensional modal logics are established.

In the last few decades of the twentieth century there was a revolution in metaphysics: the intensional revolution. Many metaphysicians rejected the doctrine, associated with Quine and Davidson, that extensional analyses and theoretical resources were the only acceptable ones. Metaphysicians embraced tools like modal and counterfactual analyses, claims of modal and counterfactual dependence, and entities such as possible worlds and intensionally individuated properties and relations. The twenty-first century is seeing a hypterintensional revolution. Theoretical tools in common use carve more finely (...) than by necessary equivalence: two pieces of language can apply to the same entities across all possible worlds but not be equivalent; thoughts can be necessarily equivalent in truth value but not synonymous. This paper argues that hyperintensional resources are valuable in metaphysics outside theories of representation, and discusses some promising areas of hyperintensional metaphysics. (shrink)

A hyperintensional epistemic logic would take the contents which can be known or believed as more fine-grained than sets of possible worlds. I consider one objection to the idea: Williamson’s Objection from Overfitting. I propose a hyperintensional account of propositions as sets of worlds enriched with topics: what those propositions, and so the attitudes having them as contents, are about. I show that the account captures the conditions under which sentences express the same content; that it can be (...) pervasively applied in formal and mainstream epistemology; and that it is left unscathed by the objection. (shrink)

In this paper, I discuss how to distinguish between ontological categories and ordinary categories. Using an argument against van Inwagen’s proposed account of what makes a category ontological as a springboard, I argue that if ontological categories are modally robust, then ontological categories need to be understood hyperintensionally. This conclusion opens up a wide range of new ways to define ‘ontological category’, and I close by briefly outlining one such way in order to illustrate the advantages of embracing hyperintensionality in (...) this debate. (Published Open Access). (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)

The received view says that possibility is the dual of necessity: a proposition is (metaphysically, logically, epistemically etc.) possible iff it is not the case that its negation is (metaphysically, logically, epistemically etc., respectively) necessary. This reading is usually taken for granted by modal logicians and indeed seems plausible when dealing with logical or metaphysical possibility. But what about epistemic possibility? We argue that the dual definition of epistemic possibility in terms of epistemic necessity generates tension when reasoning about non-idealized (...) agents and is a problem of concern for most hyperintensional epistemic logics that alleviate the problem of logical omniscience. The tension is particularly evident when knowledge is taken as a primitive to define other epistemic concepts, such as justification and belief, as done in the knowledge-first tradition. We propose a non-dual interpretation of epistemic possibility, employing a hyperintensionality filter similar to the one that makes the corresponding epistemic necessity operator hyperintensional. We employ the proposed semantics to model Stalnaker's belief as epistemic possibility of knowledge and provide a sound and complete axiomatization for a hyperintensional version of his bimodal logic of knowledge and belief. (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)

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 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)

A hyperintensional semantics for natural language is proposed which is agnostic about the question of whether propositions are sets of worlds or worlds are sets of propositions. Montague’s theory of intensional senses is replaced by a weaker theory, written in standard classical higher-order logic, of fine-grained senses which are in a many-to-one correspondence with intensions; Montague’s theory can then be recovered from the proposed theory by identifying the type of propositions with the type of sets of worlds and adding (...) an axiom to the effect that each world is the set of propositions which are true there. Senses are compositionally assigned to linguistic expressions by a categorial grammar with only two rule schemas, based on the implicative fragment of intuitionistic linear propositional logic, and a fully explicit grammar fragment is provided that illustrates the compositional assignment of sense to a variety of constructions, including dummy-subject constructions, infinitive complements, predicative adjectives and nominals, raising to subject, ‘tough-movement’, and quantifier scope ambiguities. Notably, the grammar and the derivations that it licenses never make reference to either worlds or to the extensions of senses. (shrink)

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.