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 \textbf{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 two-dimensional semantics. Chapter \textbf{3} provides an abstraction principle for epistemic (hyper-)intensions. Chapter \textbf{4} advances a topic-sensitive two-dimensional truthmaker semantics, and provides three novel interpretations of the framework along with the epistemic and metasemantic. Chapter \textbf{5} applies the fixed points of the modal $\mu$-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 $\mu$-calculus are rendered hyperintensional, which yields the first hyperintensional construal of the modal $\mu$-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 \textbf{6} advances a solution to the Julius Caesar problem based on Fine's `criterial' identity conditions which incorporate conditions on essentiality and grounding. Chapter \textbf{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 \textbf{2} and \textbf{4} are availed of in order for epistemic states to be a guide to metaphysical states in the hyperintensional setting. -/- Chapters \textbf{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 \textbf{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 $\Omega$-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 \textbf{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 \textbf{10} examines the philosophical significance of hyperintensional $\Omega$-logic in set theory and discusses the hyperintensionality of metamathematics. Chapter \textbf{11} provides a modal logic for rational intuition and provides a hyperintensional semantics. Chapter \textbf{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 \textbf{13} examines modal responses to the alethic paradoxes. Chapter \textbf{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 will focus on a philosophically significant construction whose semantics brings together two important notions in Kit Fine’s philosophy, the notion of truthmaking and the notion of a variable embodiment, or its extension, namely what I call a ‘variable object’. This is the construction of definite NPs like 'the number of people that can fit into the bus', 'the book John needs to write', and 'the gifted mathematician John claims to be'. Such NPs are analysed as standing for variable (...) objects, which are part of the 'shallow', construction-driven ontology of natural language, yet are real. (shrink)

This paper argues that NPs with case as head noun stand for situations in their role as truthmakers within a sentential or epistemic case space. The paper develops a unified semantic analysis of case-constructions of the various sorts within a truthmaker-based version of alternative semantics.

Against the background of standard possible-worlds semantics, this paper outlines a truthmaker approach to the semantics of attitude reports and modal sentences based on an ontology of attitudinal and modal objects.

This paper gives an outline of truthmaker semantics for natural language against the background of standard possible-worlds semantics. It develops a truthmaker semantics for attitude reports and deontic modals based on an ontology of attitudinal and modal objects and on a semantic function of clauses as predicates of such objects. It also présents new motivations for 'object-based truthmaker semantics' from intensional transitive verbs such as ‘need’, ‘look for’, ‘own’, and ‘buy’ and gives an outline of their semantics. This paper is (...) a commissioned 'target' article, with commentaries by W. Davis, B. Arsenijevic, K. Moulton, K. Liefke, M. Kaufmann, R. Matthews, P. Portner and A. Rubinstein, P. Elliott, G. Ramchand and my reply. (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.

I develop a theory of counterfactuals about relative computability, i.e. counterfactuals such as 'If the validity problem were algorithmically decidable, then the halting problem would also be algorithmically decidable,' which is true, and 'If the validity problem were algorithmically decidable, then arithmetical truth would also be algorithmically decidable,' which is false. These counterfactuals are counterpossibles, i.e. they have metaphysically impossible antecedents. They thus pose a challenge to the orthodoxy about counterfactuals, which would treat them as uniformly true. What’s more, I (...) argue that these counterpossibles don’t just appear in the periphery of relative computability theory but instead they play an ineliminable role in the development of the theory. Finally, I present and discuss a model theory for these counterfactuals that is a straightforward extension of the familiar comparative similarity models. (shrink)

NPs with intensional relative clauses such as 'the book John needs to write' pose a significant challenge for semantic theory. Such NPs act like referential terms, yet they do not stand for a particular actual object. This paper will develop a semantic analysis of such NPs on the basis of the notion of a variable object. The analysis avoids a range of difficulties that a more standard analysis based on the notion of an individual concept would face. Most importantly, unlike (...) the latter, the proposed analysis can be carried over NPs such as 'the number of people that fit into the bus', which describe tropes (particularized properties). (shrink)

This takes a closer look at the actual semantic behavior of apparent truth predicates in English and re-evaluates the way they could motivate particular philosophical views regarding the formal status of 'truth predicates' and their semantics. The paper distinguishes two types of 'truth predicates' and proposes semantic analyses that better reflect the linguistic facts. These analyses match particular independently motivated philosophical views.

This paper endeavors to establish foundations for the interaction between hyperintensional semantics and two-dimensional indexing. I examine the significance of the semantics, by developing three, novel interpretations of the framework. The first interpretation provides a characterization of the distinction between fundamental and derivative truths. The second interpretation demonstrates how the elements of decision theory are definable within the semantics, and provides a novel account of the interaction between probability measures and hyperintensional grounds. The third interpretation concerns the contents of the (...) types of intentional action, and the semantics is shown to resolve a puzzle concerning the role of intention in action. Topic-sensitive two-dimensional truthmaker semantics can be interpreted epistemically and metasemantically. (shrink)

Any counterfactual with a true antecedent and a true consequent is invariably predicted to be true by the standard Stalnaker–Lewis semantics. But many such true–true counterfactuals appear false to ordinary speakers, which is considered by many authors as evidence that the standard semantics should be revised. However, Walters and Williams prove that allowing true–true counterfactuals to be false would unacceptably invalidate some very plausible logical principles. The objective of this paper is to provide a pragmatic account of seemingly false true–true (...) counterfactuals, which explains why such counterfactuals seem false to ordinary speakers while being true semantically. In particular, a pluralistic pragmatic account is pursued: I argue that some true–trues seem false because they conversationally implicate some falsehood, and some others seem false because the focus (intonation stress) involved in them invokes some pragmatic re‐interpretation that affects speakers' truth‐value judgments. (shrink)

In this paper we explain our pretense account of truth-talk and apply it in a diagnosis and treatment of the Liar Paradox. We begin by assuming that some form of deflationism is the correct approach to the topic of truth. We then briefly motivate the idea that all T-deflationists should endorse a fictionalist view of truth-talk, and, after distinguishing pretense-involving fictionalism (PIF) from error- theoretic fictionalism (ETF), explain the merits of the former over the latter. After presenting the basic framework (...) of our PIF account of truth-talk, we demonstrate a few advantages it offers over T-deflationist accounts that do not explicitly acknowledge pretense at work in the discourse. In turning to the Liar Paradox, we explain how the quasi-anaphoric functioning that our account attributes to truth-talk provides a diagnosis of the Liar Paradox (and other instances of semantic pathology) as having no content—in the sense of not specifying any of what we call M-conditions. At the same time, however, we vindicate the intuition that we can understand liar sentences, thereby avoiding one standard objection to “meaningless strategy” responses to the Liar Paradox. With this diagnosis in place, we then, by way of treatment, introduce a new predicate, ‘semantically defective’, and show how the explanation we give for its application allows for a consistent, yet revenge-immune, (dis)solution of the Liar Paradox, and semantic pathology generally. (shrink)

Kit Fine distinguishes between inexact and exact truthmaking. He argues that the former can be defined from the latter, but not vice versa, and so concludes that truthmaker semanticists should treat the exact variety of truthmaking as primitive. I argue that this gets things backwards. We can define exact truthmaking in terms of inexact truthmaking and we can’t define inexact truthmaking in terms of exact truthmaking. I conclude that it’s inexact truthmaking, rather than exact truthmaking, that truthmaker semanticists should treat (...) as the primitive semantic relation. (shrink)

Based on a crowdsourced truth value judgment experiment, we provide empirical evidence challenging two classical views in semantics, and we develop a novel account of counterfactuals that combines ideas from inquisitive semantics and causal reasoning. First, we show that two truth-conditionally equivalent clauses can make different semantic contributions when embedded in a counterfactual antecedent. Assuming compositionality, this means that the meaning of these clauses is not fully determined by their truth conditions. This finding has a clear explanation in inquisitive semantics: (...) truth-conditionally equivalent clauses may be associated with different propositional alternatives, each of which counts as a separate counterfactual assumption. Second, we show that our results contradict the common idea that the interpretation of a counterfactual involves minimizing change with respect to the actual state of affairs. We propose to replace the idea of minimal change by a distinction between foreground and background for a given counterfactual assumption: the background is held fixed in the counterfactual situation, while the foreground can be varied without any minimality constraint. (shrink)

Philosophy and Phenomenological Research, EarlyView.

A number of recent authors (Galles and Pearl, Found Sci 3 (1):151–182, 1998; Hiddleston, Noûs 39 (4):232–257, 2005; Halpern, J Artif Intell Res 12:317–337, 2000) advocate a causal modeling semantics for counterfactuals. But the precise logical significance of the causal modeling semantics remains murky. Particularly important, yet particularly under-explored, is its relationship to the similarity-based semantics for counterfactuals developed by Lewis (Counterfactuals. Harvard University Press, 1973b). The causal modeling semantics is both an account of the truth conditions of counterfactuals, and (...) an account of which inferences involving counterfactuals are valid. As an account of truth conditions, it is incomplete. While Lewis's similarity semantics lets us evaluate counterfactuals with arbitrarily complex antecedents and consequents, the causal modeling semantics makes it hard to ascertain the truth conditions of all but a highly restricted class of counterfactuals. I explain how to extend the causal modeling language to encompass a wider range of sentences, and provide a sound and complete axiomatization for the extended language. Extending the truth conditions for counterfactuals has serious consequences concerning valid inference. The extended language is unlike any logic of Lewis's: modus ponens is invalid, and classical logical equivalents cannot be freely substituted in the antecedents of conditionals. (shrink)

17th-century Iberian and Italian scholastics had a concept of a truthmaker [verificativum] similar to that found in contemporary metaphysical debates. I argue that the 17th-century notion of a truthmaker can be illuminated by a prevalent 17th-century theory of truth according to which the truth of a proposition is the mereological sum of that proposition and its intentional object. I explain this theory of truth and then spell out the account of truthmaking it entails.

In this paper, I consider a variant of the ancient Idle Argument involving so‐called “unconditionals” with interrogative antecedents. This new Idle Argument provides an ideal setting for probing the logic of these close relatives of if‐conditionals, which has been comparatively underexplored. In the course of refuting the argument, I argue that contrary to received wisdom, many unconditionals do not entail their main clauses, yet modus ponens is still unrestrictedly valid for this class of expressions. I make these lessons precise in (...) a formal system drawing on recent work in inquisitive semantics. My larger aim is to challenge standard truth preservation accounts of logic and deductive argumentation. (shrink)

Say that an audience understands a given utterance perfectly only if she correctly identifies which proposition (or propositions) that utterance expresses. In ideal circumstances, the participants in a conversation will understand each other’s utterances perfectly; however, even if they do not, they may still understand each other’s utterances at least in part. Although it is plausible to think that the phenomenon of partial understanding is very common, there is currently no philosophical account of it. This paper offers such an account. (...) Along the way, I argue against two seemingly plausible accounts which use Stalnaker’s notion of common ground and Lewisian subject matters, respectively. (shrink)

This paper develops a puzzle about non-merely-verbal disputes. At first sight, it would seem that a dispute over the truth of an utterance is not merely verbal only if there is a proposition that the parties to the dispute take the utterance under dispute to express, which one of the parties accepts and the other rejects. Yet, as I argue, it is extremely rare for ordinary disputes over an utterance’s truth to satisfy this condition, in which case non-merely verbal disputes (...) are extremely rare. After examining various responses to the puzzle, I outline a solution using the framework of truthmaker semantics. (shrink)

A reply to Fine’s critique of Aboutness. Fine contrasts two notions of truthmaker, and more generally two notions of “state.” One is algebraic; states are sui generis entities grasped primarily through the conditions they satisfy. The other uses set theory; states are sets of worlds, or, perhaps, collections of such sets. I try to defend the second notion and question some seeming advantages of the first.

I discuss Yablo’s approach to truthmaker semantics and compare it with my own, with special focus on the idea of a proposition being true of or being restricted to some subject-matter, the idea of propositional containment, and the development of an ‘incremental’ semantics for the conditional. I conclude with some remarks on the relationship between truth-maker approach and the standard possible worlds approach to semantics.

It is the aim of this paper to develop and defend an interpretation of level of scientific discipline within the truth-maker framework. In particular, I exploit the mereological relation of proper parthood, which is integral to truth-maker semantics, in order to provide an account of scientific level.

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)

This paper discusses three approaches to the semantics of event nominalizations and adverbial modification: the Davidsonian account, the Kimian account, and the truthmaker account. It argues that a combination of all three accounts is needed for the semantics of the full range of event, trope, and state nominalizations in English.

This is a prepublication version of my book Objects and Attitudes. The book develops a novel semantics of attitude reports, modal sentences, and quotation based on the view that sentences semantically act as predicates of various attitudinal and modal objects, entities like claims, requests, promises, obligations, and permissions, rather than standing for abstract propositions playing the role of objects. The approach develops truthmaker semantics for attitudinal and modal objects and has a wide range of applications to issues in philosophy of (...) language, semantics, and philosophy of mind. (shrink)

Presenting the first comprehensive, in-depth study of hyperintensionality, this book equips readers with the basic tools needed to appreciate some of current and future debates in the philosophy of language, semantics, and metaphysics. After introducing and explaining the major approaches to hyperintensionality found in the literature, the book tackles its systematic connections to normativity and offers some contributions to the current debates. The book offers undergraduate and graduate students an essential introduction to the topic, while also helping professionals in related (...) fields get up to speed on open research-level problems. (shrink)

This book discusses and analyses the contribution of mind-independent individual literary pure possibilities in exploring and understanding actual reality. The relationship between literary imagination, literary possibilities, and actual reality poses a major philosophical problem in the field of metaphysics of literature. In a detailed analysis of some literary masterpieces (by Proust, Kafka, Tolstoy, Dostoyevsky, Thomas Mann, Virginia Woolf, and William Faulkner), I attempt to demonstrate that actual reality actualizes or “imitates” literary pure possibilities. Hence, such masterpieces should be treated not (...) as romans a clef but, instead, as paradigm-cases on whose basis we grasp and understand actual reality. (shrink)

Indirect speech reports can be true even if they attribute to the speaker the saying of something weaker than what she in fact expressed, yet not all weakenings of what the speaker expressed yield true reports. For example, if Anna utters ‘Bob and Carla passed the exam’, we can accurately report her as having said that Carla passed the exam, but we can not accurately report her as having said that either it rains or it does not, or that either (...) Carla passed the exam or pandas are cute. This paper offers an analysis of speech reports that distinguishes weakenings of what the speaker expressed that yield true reports from weakenings that do not. According to this analysis, speech reports are not only sensitive to the informational content of what the speaker expressed, but also to the possibilities a speaker raises in making an utterance. As I argue, this analysis has significant advantages over its most promising competitors, including views based on work by Barwise and Perry : 668–691, 1981), views appealing to recent work on the notion of content parthood by Fine :199–226, 2016) and Yablo, and Richard’s : 605–616, 1998) proposal appealing to structured propositions. (shrink)

The propositional view of communication states that every literal assertoric utterance of an indicative sentence expresses a proposition, and the audience understands those utterances only if she entertains the proposition(s) the speaker expressed. According to an important objection due to Ray Buchanan, the propositional view is ill‐equipped to handle meaning underdeterminacy. Using resources from situation semantics and MacFarlane's nonindexical contextualism, this article develops a view of literal communication close to the propositional view which overcomes Buchanan's underdeterminacy considerations while accounting for (...) the kind of indifference that typically characterizes speakers' intentions. (shrink)

According to standard assumptions in semantics, ordinary users of a language have implicit beliefs about the truth-conditions of sentences in that language, and they often agree on those beliefs. For example, it is assumed that if Anna and John are both competent users of English and the former utters ‘grass is green’ in conversation with the latter, they will both believe that that sentence is true if and only if grass is green. These assumptions play an important role in an (...) intuitively compelling picture of communication, according to which successful communication through literal assertoric utterances is normally effected thanks to our shared beliefs about the truth-conditions of the sentences uttered in the course of the conversation. Against these standard assumptions, this paper argues that the participants in a conversation rarely have the same beliefs about the truth-conditions of the sentences involved in a linguistic interaction. More precisely, it argues for Variance, the thesis that nearly every utterance is such that there is no proposition which more than one language user believes to be that utterance’s truth-conditional content. If Variance is true, we must reject the standard picture of communication. Towards the end of the paper I identify three ways in which ordinary conversations can be communication-like despite the truth of Variance and argue that the most natural amendments to the standard picture fail to explain them. (shrink)

Philosophy and statistics have studied two causal species, deterministic and probabilistic. There's a third species, however, hitherto unanalysed: underdeterministic causal phenomena, which are non-deterministic yet non-probabilistic. Here, I formulate a framework for modelling them. -/- Consider a simple case. If I go out, I may stumble into you but also may miss you. If I don’t go out, we won't meet. I go out. We meet. My going out is a cause of our encounter even if there was no determinate (...) probability of us meeting conditional on my going out. The cause is neither deterministic (it didn't necessitate the effect) nor probabilistic (the relevant conditional probabilities are undefined). Rather, it's underdeterministic: it raises the modal status of the effect from causally impossible to possible. -/- Here, I won't offer a theory of such token causes but develop the prerequisite for any such theory: the underdeterministic framework. The framework is like the deterministic structural-equations framework but with one consequential difference---an equation can return multiple values. This change allows me to define causal possibility and necessity, and corresponding notions of interventionist might- and would-counterfactuals. I also define conditional independence, which obeys the graphoid axioms, and prove that underdeterministic models satisfy the causal Markov condition. The framework can causally model situations that other frameworks cannot: decision-making under bounded uncertainty, games with multiple equilibria, infinite fair lotteries, and any other non-deterministic situation where indeterminacies are essentially non-probabilistic, or where we have a reason not to use probabilities. (shrink)

The standard semantics for counterfactuals ensures that any counterfactual with a true antecedent and true consequent is itself true. There have been many recent attempts to amend the standard semantics to avoid this result. I show that these proposals invalidate a number of further principles of the standard logic of counterfactuals. The case against the automatic truth of counterfactuals with true components does not extend to these further principles, however, so it is not clear that rejecting the latter should be (...) a consequence of rejecting the former. Instead I consider how one might defuse putative counterexamples to the truth of true-true counterfactuals. (shrink)

A uniform theory of conditionals is one which compositionally captures the behavior of both indicative and subjunctive conditionals without positing ambiguities. This paper raises new problems for the closest thing to a uniform analysis in the literature (Stalnaker, Philosophia, 5, 269–286 (1975)) and develops a new theory which solves them. I also show that this new analysis provides an improved treatment of three phenomena (the import-export equivalence, reverse Sobel-sequences and disjunctive antecedents). While these results concern central issues in the study (...) of conditionals, broader themes in the philosophy of language and formal semantics are also engaged here. This new analysis exploits a dynamic conception of meaning where the meaning of a symbol is its potential to change an agent’s mental state (or the state of a conversation) rather than being the symbol’s content (e.g. the proposition it expresses). The analysis of conditionals is also built on the idea that the contrast between subjunctive and indicative conditionals parallels a contrast between revising and consistently extending some body of information. (shrink)

I provide a new account of what it is for the laws of nature to govern the evolution of events. I locate the source of governance in the content of law propositions. As such, I do not appeal to primitive notions of ground, essence, or production to characterize governance. After introducing the account, I use it to outline previously unrecognized varieties of governance. I also specify that laws must govern to have two theoretical virtues: explanatory power as well as a (...) theoretical virtue I call expansiveness. A theory is expansive, roughly, when it can do more with less. (shrink)

Humeans and anti-Humeans agree that laws of nature should explain scientifically particular matters of fact. One objection to Humean accounts of laws contends that Humean laws cannot explain particular matters of fact because their explanations are harmfully circular. This article distinguishes between metaphysical and semantic characterizations of the circularity and argues for a new semantic version of the circularity objection. The new formulation suggests that Humean explanations are harmfully circular because the content of the sentences being explained is part of (...) the content of the sentences doing the explaining. I describe the nature of partial content and demonstrate how this account of partial content renders Humean explanations ineffective while sparing anti-Humean explanations from the same fate. 1Introduction2Standard Formulations of the Circularity Charge3Humean Responses4Semantic Characterizations of the Circularity Worry 4.1Hempel and Oppenheim’s semantic circularity concern4.2A new version of the semantic circularity charge4.3Partial content as a guide to circularity5Humean Responses to the Semantic Circularity Charge 5.1Smuggling in metaphysics through the back door?5.2Do anti-Humean laws fare any better?5.3The over-generalization concern6ConclusionAppendix. (shrink)

Why can I not appropriately utter ‘It must be raining’ while standing outside in the rain, even though every world consistent with my knowledge is one in which it is raining? The common response to this problem is to hold that epistemic must, in addition to quantifying over epistemic possibilities, carries some additional evidential information concerning the source of one'S evidence. I argue that this is a mistake: epistemic modals are mere quantifiers over epistemic possibilities. My central claim is that (...) the seeming anomaly of the data above arises from a mistaken conception of what a possibility is. Instead of conceiving of possibilities as possible worlds, I argue that we should conceive of possibilities as answers to open questions. (shrink)

What does it mean that some proposition follows from others? The standard way of spelling out the notion proceeds in modal terms: x follows from y iff necessarily, if y is true, so is x. But although this yields a useful and manageable account of consequence, it fails to capture certain aspects of our pre-theoretical understanding of consequence. In this paper, an alternative notion of logical consequence, based on the idea of grounding, is developed.

The paper focuses on a recent challenge brought forward against the interventionist approach to the meaning of counterfactual conditionals. According to this objection, interventionism cannot account for the interpretation of right-nested counterfactuals, the problem being its strict interventionism. We will report on the results of an empirical study supporting the objection. Furthermore, we will extend the well-known logic of intervention with a new operator expressing an alternative notion of intervention that does away with strict interventionism. This new notion of intervention (...) operates on the valuation of the variables in a causal model, and not on their functional dependencies. (shrink)

Yablo’s Aboutness introduces powerful new set of tools for analyzing meaning. I compare his account of subject matter to the related ideas employed in the semantics literature on questions and focus. I then discuss two applications of subject matter: to presupposition triggering and to ascriptions of shared content.

In this paper we propose a semantic analysis of Lewis' counterfactuals. By exploiting the structural properties of the recently introduced boolean algebras of conditionals, we show that counterfactuals can be expressed as formal combinations of a conditional object and a normal necessity modal operator. Specifically, we introduce a class of algebras that serve as modal expansions of boolean algebras of conditionals, together with their dual relational structures. Moreover, we show that Lewis' semantics based on sphere models can be reconstructed in (...) this framework. As a consequence, we establish the soundness and completeness of a slightly stronger variant of Lewis' logic for counterfactuals with respect to our algebraic models. In the second part of the paper, we present a novel approach to the probability of counterfactuals showing that it aligns with the uncertainty degree assigned by a belief function, as per Dempster-Shafer theory, to its associated conditional formula. Furthermore, we characterize the probability of a counterfactual in terms of Gärdenfors' imaging rule for the probabilistic update. (shrink)

This paper explores the connective ‘because’, based on the idea that ‘CbecauseA’ implies the acceptance/truth of the antecedentAas well as of the consequentC, and additionally that the antecedent makes a difference for the consequent. To capture this idea of difference-making a ‘relevantized’ version of the Ramsey Test for conditionals is employed that takes the antecedent to be relevant to the consequent in the following sense: a conditional is true/accepted in a state$$\sigma $$σjust in case (i) the consequent is true/accepted when$$\sigma (...) $$σis revised by the antecedentand(ii) the consequent fails to be true/accepted when$$\sigma $$σis revised by the antecedent’s negation. To extend this to a semantics for ‘because’, we add that (iii) the antecedent and (iv) the consequent are accepted/true in the state$$\sigma $$σ. We get metaphysical or doxastic interpretations of these clauses, depending on what we mean by a model and a state. We introduce several semantics known from suppositional conditionals, which we reinterpret for difference-making conditionals and ‘because’. We present a minimal logic for ‘because’ sentences and show how it can be extended in ways that parallel the hierarchy of extensions of the logic of suppositional conditionals. We establish correspondence results between axioms for ‘because’ and properties of states, and prove that the specified logics are sound with respect to the semantics. (shrink)

Making sense of our reasoning in disputes about necessary truths requires admitting nonvacuous counterpossibles. One class of these is the counteressentials, which ask us to make contrary to fact suppositions about essences. A popular strategy in accounting for nonvacuous counterpossibles is to extend the standard possible worlds semantics for subjunctive conditionals by the addition of impossible worlds. A conditional A □-> C is then taken to be true if all of the nearest A worlds are C worlds. I argue that (...) a straightforward extension of the standard possible worlds semantics to impossible worlds does not result in a viable account of counteressentials and propose an alternative covering law semantics for counteressentials. (shrink)

E. J. Lowe argues that the mental event token cannot be identical to the complex neural event token for they have different counterfactual properties. If the mental event had not occurred, the behavior would not have ensued, while if the neural event had not occurred, the behavior would have ensued albeit slightly differently. Lowe's argument for the neural counterfactual relies on standard possible world semantics, whose evaluation of such counterfactuals is problematic. His argument for the mental counterfactual relies on a (...) premise that is plausibly false. My arguments support other counterfactuals, which are consistent with identity theories. (shrink)

The last several decades of research on counterfactual conditionals in the fields of philosophy and linguistics have yielded a predominant paradigm according to which the notion of similarity plays the starring role. Roughly, a counterfactual of the form A > C is true iff the closest A-worlds are all C-worlds, where the closeness of a world is a function of its similarity, in a certain sense, to the actual world. I argue that this is deeply misguided. In some cases we (...) may only care about the closest A-worlds, but quite often we care about some broader variety of A-worlds varying in closeness. After presenting several problem cases for the similarity-based paradigm, some new and some known, I propose an alternative paradigm for the semantics of counterfactuals, which introduces the notion of A-scenarios, understood roughly as different ways of making A true. According to this view, A > C is true iff all the contextually relevant ways of making A true also make C true. I then more carefully spell out a working view that formalizes this idea with greater precision, and explore the consequences of that version of the view. (shrink)

This paper presents a systematic semantic study of constructions with the noun 'case'. It argues that 'cases' are situations acting as truthmakers within a sentential or epistemic case space. It develops a truthmaker-based alternative semantics of 'case'-constructions, based on Fine's recent truthmaker semantics.

We show that each of three natural sets of assumptions about the conditional entails necessitarianism: that anything possible is necessary.

Most authors on metaphysical grounding have taken full grounding to be an internal relation in the sense that it's necessary that if the grounds and the grounded both obtain, then the grounds ground the grounded. The negative part of this essay exploits empirical and provably nonparadoxical self-reference to prove conclusively that even immediate full grounding isn't an internal relation in this sense. The positive, second part of this essay uses the notion of a “completely satisfactory explanation” to shed light on (...) the logic of ground in the presence of self-reference. This allows us to develop a satisfactory logic of ground and recover a sense in which grounding is still an internal relation. (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)