Hyperlogic is a hyperintensional system designed to regiment metalogical claims (e.g., “Intuitionistic logic is correct” or “The law of excluded middle holds”) into the object language, including within embedded environments such as attitude reports and counterfactuals. This paper is the first of a two-part series exploring the logic of hyperlogic. This part presents a minimal logic of hyperlogic and proves its completeness. It consists of two interdefined axiomatic systems: one for classical consequence (truth preservation under a classical interpretation of the (...) connectives) and one for “universal” consequence (truth preservation under any interpretation). The sequel to this paper explores stronger logics that are sound and complete over various restricted classes of models as well as languages with hyperintensional operators. (shrink)

Tractatus 4.024 inspired the dominant semantics of our time: truth-conditional semantics. Such semantics is focused on possible worlds: the content of p is the set of worlds where p is true. It has become increasingly clear that such an account is, at best, defective: we need an ‘independent factor in meaning, constrained but not determined by truth-conditions’ (Yablo 2014, p. 2), because sentences can be differently true at the same possible worlds. I suggest a missing comment which, had it been (...) included in the Tractatus, would have helped semantics get this right from the start. This is my 4.0241: ‘Knowing what is the case if a sentence is true is knowing its ways of being true’: knowing a sentence’s truth possibilities and what we now call its topic, or subject matter. I show that the famous ‘fundamental thought’ that ‘the “logical constants” do not represent’ (4.0312) can be understood in terms of ways-based views of meaning. Such views also help with puzzling claims like 5.122: ‘If p follows from q, the sense of “p” is contained in the that of “q”’, which are compatible with a conception of entailment combining truth-preservation with the preservation of topicality, or of ways of being true. (shrink)

We need to understand the impossible. Francesco Berto and Mark Jago start by considering what the concepts of meaning, information, knowledge, belief, fiction, conditionality, and counterfactual supposition have in common. They are all concepts which divide the world up more finely than logic does. Logically equivalent sentences may carry different meanings and information and may differ in how they're believed. Fictions can be inconsistent yet meaningful. We can suppose impossible things without collapsing into total incoherence. Yet for the leading philosophical (...) theories of meaning, these phenomena are an unfathomable mystery. To understand these concepts, we need a metaphysical, logical, and conceptual grasp of situations that could not possibly exist: Impossible Worlds. This book discusses the metaphysics of impossible worlds and applies the concept to a range of central topics and open issues in logic, semantics, and philosophy. It considers problems in the logic of knowledge, the meaning of alternative logics, models of imagination and mental simulation, the theory of information, truth in fiction, the meaning of conditional statements, and reasoning about the impossible. In all these cases, impossible worlds have an essential role to play. (shrink)

Circumstantialists already have a logical semantics for impossibilities. They expand their logical space of possible worlds by adding impossible worlds. These are impossible circumstances serving as indices of evaluation, at which impossibilities are true. A variant of circumstantialism, namely modal Meinongianism (noneism), adds impossible objects as well. These are so-called incomplete objects that are necessarily non-existent. The opposite of circumstantialism, namely structuralism, has some catching-up to do. What might a structuralist logical semantics for impossibilities without impossibilia look like? This paper (...) makes a structuralist counterproposal. We present a semantics based on a procedural interpretation of the typed λ-calculus. The fundamental idea is that talk about impossibilities should be construed in terms of procedures: some yield as their product a condition that could not possibly have a satisfier, while the rest fail to yield a product altogether. Dispensing with a ‘bottom’ of impossibilia requires instead a ‘top’ consisting of structured hyperintensions, intensions, intensions defining other intensions, a typed universe, and dual (de dicto and de re) predication. We explain how the theory works by going through several examples. (shrink)

In light of the problem of logical omniscience, some scholars have argued that belief is question-sensitive: agents don't simply believe propositions but rather believe answers to questions. Hoek (2022) has recently developed a version of this approach on which a belief state is a "web" of questions and answers. Here, we present several challenges to Hoek's question-sensitive account of belief. First, Hoek's account is prone to very similar logical omniscience problems as those he claims to address. Second, the link between (...) belief and action he proposes is too rigid. We close by sketching a generalization of the account that can meet these challenges. (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.

Pretense imagination is imagination understood as the ability to recreate rational belief revision. This kind of imagination is used in pretend-play, risk-assessment, etc. Some even claim that this kind of hypothetical belief revision can be grounds to justify new beliefs in conditionals, in particular conditionals that play a foundational role in the epistemology of modality. In this paper, I will argue that it cannot. I will first provide a very general theory of pretense imagination, which I formalise using tools from (...) dynamic epistemic logic. As a result, we can clearly see that pretense imagination episodes are build up out of two kinds of imaginative stages, so I will present an argument by cases. This argument shows that pretense imagination might indeed provide us with justification for believing certain conditionals. Despite this, I will argue that these arenotthe kind of conditionals that allow pretense imagination to play a foundational role in the epistemology of modality. (shrink)

In some logics, anything whatsoever follows from a contradiction; call these logics explosive. Paraconsistent logics are logics that are not explosive. Paraconsistent logics have a long and fruitful history, and no doubt a long and fruitful future. To give some sense of the situation, I’ll spend Section 1 exploring exactly what it takes for a logic to be paraconsistent. It will emerge that there is considerable open texture to the idea. In Section 2, I’ll give some examples of techniques for (...) developing paraconsistent logics. In Section 3, I’ll discuss what seem to me to be some promising applications of certain paraconsistent logics. In fact, however, I don’t think there’s all that much to the concept ‘paraconsistent’ itself; the collection of paraconsistent logics is far too heterogenous to be very productively dealt with under a single label. Perhaps that will emerge as we go. (shrink)

Renewed worries about the unity of the proposition have been taken as a crucial stumbling block for any traditional conception of propositions. These worries are often framed in terms of how entities independent of mind and language can have truth conditions: why is the proposition that Desdemona loves Cassio true if and only if she loves him? I argue that the best understanding of these worries shows that they should be solved by our theory of truth and not our theory (...) of content. Specifically, I propose a version of the redundancy theory according to which ‘it is true that Desdemona loves Cassio’ expresses the same proposition as ‘Desdemona loves Cassio’. Surprisingly, this variant of the redundancy theory treats ‘is true’ as an ordinary predicate of the language, thereby defusing many standard criticisms of the redundancy theory. (shrink)

Structured propositions are often invoked to explain why intensionally equivalent sentences do not substitute salva veritate into attitude ascriptions. As the semantics is standardly developed—for example, in Salmon, Soames :47–87, 1987) and King :516–535, 1995), the semantic value of a complex expression is an ordered complex consisting of the semantic values of its components. Such views, however, trivialize semantic composition since they do not allow for independent constraints on the meaning of complexes. Trivializing semantic composition risks “trivializing semantics” Semantics versus (...) pragmatics, Oxford University Press, Oxford, 2005). Yet, proponents of structured propositions suggest a route to reimpose substantive compositionality. While the mapping from a sentence to the structured proposition it expresses is trivially compositional, there is a non-trivial mapping from the structured proposition to its truth-value. This non-trivial level of semantic composition allows the meanings assigned to complex expressions to impose substantive constraints on the meanings of the simple ones. I first articulate the basic desiderata: an account of structured propositions capable of explaining attitude attributions and of delivering a non-trivially compositional semantics. I then show that the two-stage semantics proposed by standard proponents of structured propositions does not satisfy these joint goals. (shrink)

Semantics in the Montagovian tradition combines two basic tenets. One tenet is that the semantic value of a sentence is an intension, a function from points of evaluations into truth-values. The other tenet is that the semantic value of a composite expression is the result of applying the function denoted by one component to arguments denoted by the other components. Many philosophers object to intensional semantics on the grounds that intensionally equivalent sentences do not substitute salva veritate into attitude ascriptions. (...) They propose instead that the semantic values of sentences must be structured propositions. In rejecting intensional semantics, philosophers who endorse structured propositions also usually reject functional compositionality, undermining both tenets of the Montagovian programme. I defend a semantic theory that incorporates both structured propositions and functional compositionality. I argue that this semantic theory can preserve many explanatory benefits of Montague semantics. Finally, I show how treating composition functional application can resolve core problems internal to a theory of structured propositions. (shrink)

We take seriously the idea that paradoxes come in quantifiable degree by offering an exact measure of paradox. We consider three factors relevant to the degree of paradox, which are a function of the degree of belief in each of the individual propositions in the paradox set and the degree of belief in the set as a whole. We illustrate the proposal with a particular measure, and conclude the discussion with some critical remarks.

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.

This is the second part of a two-part series on the logic of hyperlogic, a formal system for regimenting metalogical claims in the object language (even within embedded environments). Part A provided a minimal logic for hyperlogic that is sound and complete over the class of all models. In this part, we extend these completeness results to stronger logics that are sound and complete over restricted classes of models. We also investigate the logic of hyperlogic when the language is enriched (...) with hyperintensional operators such as counterfactual conditionals and belief operators. (shrink)

The dominant account of propositions holds that they are structured entities that have, as constituents, the semantic values of the constituents of the sentences that express them. Since such theories hold that propositions are structured, in some sense, like the sentences that express them, they must provide an answer to what I will call Soames’ Question: “What level, or levels, of sentence structure does semantic information incorporate?”. As it turns out, answering Soames’ Question is no easy task. I argue in (...) this paper that the two most promising ways of answering it, the Logical Form Account and the LF Account, are both unsatisfactory. This result casts doubt on the very idea that propositions are structured. (shrink)

Impossible worlds are representations of impossible things and impossible happenings. They earn their keep in a semantic or metaphysical theory if they do the right theoretical work for us. As it happens, a worlds-based account provides the best philosophical story about semantic content, knowledge and belief states, cognitive significance and cognitive information, and informative deductive reasoning. A worlds-based story may also provide the best semantics for counterfactuals. But to function well, all these accounts need use of impossible and as well (...) as possible worlds. So what are impossible worlds? Graham Priest claims that any of the usual stories about possible worlds can be told about impossible worlds, too. But far from it. I'll argue that impossible worlds cannot be genuine worlds, of the kind proposed by Lewis, McDaniel or Yagisawa. Nor can they be ersatz worlds on the model proposed by Melia or Sider. Constructing impossible worlds, it turns out, requires novel metaphysical resources. (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)

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

The aim of this paper is to relate the debate about the status of S4 and S5 as modal logics for metaphysical modality to the debate about the identity of propositions. The necessary truth of the characteristic axioms of S4 and S5 (when interpreted in terms of metaphysical modality) is derived from a view about the identity of propositions, the view that necessarily equivalent propositions are identical.

Theories of propositions as sets of truth-supporting circumstances are committed to the thesis that sentences or other representations true in all and only the same circumstances express the same proposition. Theories of propositions as complex, structured entities are not committed to this thesis. As a result, structured propositions can play a role in our theories of language and thought that sets of truth-supporting circumstances cannot play. To illustrate this difference, I sketch a theory of transparent, non-deflationary truth consistent with some (...) theories of structured propositions, but inconsistent with any theory of propositions as sets of truth-supporting circumstances. (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)

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)

Philosophy and Phenomenological Research, EarlyView.

Possible-worlds accounts of mental or linguistic content are often criticized for being too coarse-grained. To make room for more fine-grained distinctions among contents, several authors have recently proposed extending the space of possible worlds by "impossible worlds". We argue that this strategy comes with serious costs: we would effectively have to abandon most of the features that make the possible-worlds framework attractive. More generally, we argue that while there are intuitive and theoretical considerations against overly coarse-grained notions of content, the (...) same kinds of considerations also prohibit an overly fine-grained individuation of content. An adequate notion of content, it seems, should have intermediate granularity. However, it is hard to construe a notion of content that meets these demands. Any notion of content, we suggest, must be either implausibly coarse-grained or implausibly fine-grained (or both). (shrink)

A counterpossible conditional is a counterfactual with an impossible antecedent. Common sense delivers the view that some such conditionals are true, and some are false. In recent publications, Timothy Williamson has defended the view that all are true. In this paper we defend the common sense view against Williamson’s objections.

I want to model a finite, fallible cognitive agent who imagines that p in the sense of mentally representing a scenario—a configuration of objects and properties—correctly described by p. I propose to capture imagination, so understood, via variably strict world quantifiers, in a modal framework including both possible and so-called impossible worlds. The latter secure lack of classical logical closure for the relevant mental states, while the variability of strictness captures how the agent imports information from actuality in the imagined (...) non-actual scenarios. Imagination turns out to be highly hyperintensional, but not logically anarchic. Section 1 sets the stage and impossible worlds are quickly introduced in Sect. 2. Section 3 proposes to model imagination via variably strict world quantifiers. Section 4 introduces the formal semantics. Section 5 argues that imagination has a minimal mereological structure validating some logical inferences. Section 6 deals with how imagination under-determines the represented contents. Section 7 proposes additional constraints on the semantics, validating further inferences. Section 8 describes some welcome invalidities. Section 9 examines the effects of importing false beliefs into the imagined scenarios. Finally, Sect. 10 hints at possible developments of the theory in the direction of two-dimensional semantics. (shrink)

Enhanced indispensability arguments seek to establish realism about mathematics based on the explanatory role that mathematics plays in science. Idealizations pose a problem for such arguments. Idealizations, in a similar way to mathematics, boost the explanatory credentials of our best scientific theories. And yet, idealizations are not the sorts of things that are supposed to attract a realist attitude. I argue that the explanatory symmetry between idealizations and mathematics can potentially be broken as follows: although idealizations contribute to the explanatory (...) power of our best theories, they do not carry the explanatory load. It is at least open however that mathematics is load-carrying. To give this idea substance, I offer an analysis of what it is to carry the explanatory load in terms of difference-making and counterfactuals. (shrink)

The present paper advances an analogy between cases of extra-mathematical explanation and cases of what might be termed ‘extra-logical explanation’: the explanation of a physical fact by a logical fact. A particular case of extra-logical explanation is identified that arises in the philosophical literature on time travel. This instance of extra-logical explanation is subsequently shown to be of a piece with cases of extra-mathematical explanation. Using this analogy, we argue extra-mathematical explanation is part of a broader class of non-causal explanation. (...) This has important implications for extra-mathematical explanation, for time travel and for theories of explanation more generally. (shrink)

We argue that explanations appealing to logical impossibilities are genuine explanations. Our defense is based on a certain picture of impossibility. Namely, that there are impossibilities and that the impossibilities have structure. Assuming this broad picture of impossibility we defend the genuineness of explanations that appeal to logical impossibilities against three objections. First, that such explanations are at odds with the perceived conceptual connection between explanation and counterfactual dependence. Second, that there are no genuinely contrastive why-questions that involve logical impossibilities (...) and, third, that explanations appealing to logical impossibilities rule nothing out. (shrink)

A great deal has been written about 'would' counterfactuals of causal dependence. Comparatively little has been said regarding 'would' counterfactuals of ontological dependence. The standard Lewis-Stalnaker semantics is inadequate for handling such counterfactuals. That's because some of these counterfactuals are counterpossibles, and the standard Lewis-Stalnaker semantics trivializes for counterpossibles. Fortunately, there is a straightforward extension of the Lewis-Stalnaker semantics available that handles counterpossibles: simply take Lewis's closeness relation that orders possible worlds and unleash it across impossible worlds. To apply the (...) extended semantics, an account of the closeness relation for counterpossibles is needed. In this paper I offer a strategy for evaluating 'would' counterfactuals of ontological dependence that understands closeness between worlds in terms of the metaphysical concept of grounding. (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)

It is a venerable slogan due to David Hume, and inherited by the empiricist tradition, that the impossible cannot be believed, or even conceived. In Positivismus und Realismus, Moritz Schlick claimed that, while the merely practically impossible is still conceivable, the logically impossible, such as an explicit inconsistency, is simply unthinkable. -/- An opposite philosophical tradition, however, maintains that inconsistencies and logical impossibilities are thinkable, and sometimes believable, too. In the Science of Logic, Hegel already complained against “one of the (...) fundamental prejudices of logic as hitherto understood”, namely that “the contradictory cannot be imagined or thought” (Hegel 1931: 430). Our representational capabilities are not limited to the possible, for we appear to be able to imagine and describe also impossibilities — perhaps without being aware that they are impossible. -/- Such impossibilities and inconsistencies are what this entry is about... (shrink)

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)

Routledge Encyclopedia entry on Intensionality and Hyperintensionality.