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)

In this paper I would like to offer a new framework for hypothetical reasoning, with the goal of predicting what scenarios we consider when we interpret a conditional or causal claim (such as a sentence containing the word ‘because‘). The idea is that when we interpret a conditional or causal claim, we identify a part of the world to change and imagine changing that. Sentences are about parts of the world: when we interpret a conditional antecedent or because clause, we (...) allow the part of the world it is about to vary. -/- My main evidence for this approach is that it gives just the right range of hypothetical scenarios to account for how we interpret both conditionals and causal claims. Some approaches (such as Stalnaker and Lewis’s semantics of conditionals based on similarity, and Kratzer’s premise semantics) consider too few scenarios, while others (such as Fine’s truthmaker semantics of conditionals) consider too many. The present approach inhabits a Goldilocks zone between these extremes: not too restrictive, not too permissive, but just right. (shrink)

In this paper, I raise the problem of dealing with counterpossible conditionals for theories of subject matter. I argue that existing accounts of subject matter need to be revised and extended to be able to a) provide reasonable (potentially non-degenerate) verdicts about what counterpossibles are about, b) explain the intuition that counterpossibles are in some sense about what would happen if the antecedent were true, and c) explain in what sense counterpossibles can be about individuals. I sketch how one could (...) extend atom-based and way-based theories of subject matters to handle the problem. Then, I raise the problem that it might be desirable for a theory of subject matter to prevent the inference that certain counterpossibles are about the kinds of things that they seem to mention. (shrink)

Some think that logic concerns the “laws of truth”; others that logic concerns the “laws of thought.” This paper presents a way to reconcile both views by building a bridge between truth-maker theory, à la Fine, and normative bilateralism, à la Restall and Ripley. The paper suggests a novel way of understanding consequence in truth-maker theory and shows that this allows us to identify a common structure shared by truth-maker theory and normative bilateralism. We can thus transfer ideas from normative (...) bilateralism to truth-maker theory, such as non-transitive solutions to paradox, and vice versa, such as notions of factual equivalence and containment. (shrink)

We present a series of proof systems for exact entailment (i.e. relevant truthmaker preservation from premises to conclusion) and prove soundness and completeness. Using the proof systems, we observe that exact entailment is not only hyperintensional in the sense of Cresswell but also in the sense recently proposed by Odintsov and Wansing.

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)

Morgenbesser's Coin is a thought experiment that exemplifies a widespread disposition to infer counterfactual independence from causal independence. I argue that this disposition is mistaken by analysing a closely related thought experiment.

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

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.

This paper presents a new system of conditional logic B2, which is strictly intermediate in strength between the existing systems B1 and B3 from John Burgess (1981) and David Lewis (1973a). After presenting and motivating the new system, we will show that it is characterized by a natural class of frames. These frames correspond to the idea that conditionals are about which worlds are nearly closest, rather than which worlds are closest. Along the way, we will also give new characterization (...) results for B1 and B3, along with two other new systems B1.1 and B1.2. (shrink)

Counterfactuals are somewhat tolerant. Had Socrates been at least six feet tall, he need not have been exactly six feet tall. He might have been a little taller—he might have been six one or six two. But while he might have been a little taller, there are limits to how tall he would have been. Had he been at least six feet tall, he would not have been more than a hundred feet tall, for example. Counterfactuals are not just tolerant, (...) then, but bounded. This paper presents a surprising paradox: If counterfactuals are tolerant and bounded, then we can prove a flat contradiction using natural rules of inference. Something has to go then. But what? (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)

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)

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)

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.

This paper is concerned with counterfactual logic and its implications for the modal status of mathematical claims. It is most directly a response to an ambitious program by Yli-Vakkuri and Hawthorne (2018), who seek to establish that mathematics is committed to its own necessity. I claim that their argument fails to establish this result for two reasons. First, their assumptions force our hand on a controversial debate within counterfactual logic. In particular, they license counterfactual strengthening— the inference from ‘If A (...) were true then C would be true’ to ‘If A and B were true then C would be true’—which many reject. Second, the system they develop is provably equivalent to appending Deduction Theorem to a T modal logic. It is unsurprising that the combination of Deduction Theorem with T results in necessitation; indeed, it is precisely for this reason that many logicians reject Deduction Theorem in modal contexts. If Deduction Theorem is unacceptable for modal logic, it cannot be assumed to derive the necessity of mathematics. (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.

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)

This paper explores the relationship between dynamic and truth conditional semantics for epistemic modals. It provides a generalization of a standard dynamic update semantics for modals. This new semantics derives a Kripke semantics for modals and a standard dynamic semantics for modals as special cases. The semantics allows for new characterizations of a variety of principles in modal logic, including the inconsistency of ‘p and might not p’. Finally, the semantics provides a construction procedure for transforming any truth conditional semantics (...) for modals into a dynamic semantics for modals with similar properties. (shrink)

Disjunctive antecedent conditionals —conditionals of the form if A or B, C—sometimes seem to entail both of their simplifications and sometimes seem not to. I argue that this behavior reveals a genuine ambiguity in DACs. Along the way, I discuss a new observation about the role of focal stress in distinguishing the two interpretations of DACs. I propose a new theory, according to which the surface form of a DAC underdetermines its logical form: on one possible logical form, if A (...) or B, C does entail both of its simplifications, while on the other, it does not. (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)

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)

Thought experiments invite us to evaluate philosophical theses by making judgements about hypothetical cases. When the judgements and the theses conflict, it is often the latter that are rejected. But what is the nature of the judgements such that they are able to play this role? I answer this question by arguing that typical judgements about thought experiments are in fact judgements of normal counterfactual sufficiency. I begin by focusing on Anna-Sara Malmgren’s defence of the claim that typical judgements about (...) thought experiments are mere possibility judgements. This view is shown to fail for two closely related reasons: it cannot account for the incorrectness of certain misjudgements, and it cannot account for the inconsistency of certain pairs of conflicting judgements. This prompts a reconsideration of Timothy Williamson’s alternative proposal, according to which typical judgements about thought experiments are counterfactual in nature. I show that taking such judgements to concern what would normally hold in instances of the relevant hypothetical scenarios avoids the objections that have been pressed against this kind of view. I then consider some other potential objections, but argue that they provide no grounds for doubt. (shrink)

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)

Philosophy and Phenomenological Research, EarlyView.

This book concerns the foundations of epistemic modality and hyperintensionality and their applications to the philosophy of mathematics. David Elohim examines 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 and hyperintensional cognitivism and modal and hyperintensional expressivism. Elohim develops a novel, topic-sensitive truthmaker semantics for dynamic epistemic logic, and develop a novel, dynamic two-dimensional semantics grounded in two-dimensional hyperintensional Turing machines. 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 Elohim's 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. Elohim countenances a hyperintensional semantics for novel epistemic abstractionist modalities. Elohim suggests, too, that higher 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 two-dimensional 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 interpretational and objective modalities and the truthmakers thereof. This yields the first hyperintensional category theory in the literature. Elohim invents 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 in the category of Set in category theory. Chapter \textbf{13} examines modal responses to the alethic paradoxes. Elohim provides a counter-example to epistemic closure for logical deduction. 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 book concerns the foundations of epistemic modality and hyperintensionality and their applications to the philosophy of mathematics. David Elohim examines 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 and hyperintensional cognitivism and modal and hyperintensional expressivism. Elohim develops a novel, topic-sensitive truthmaker semantics for dynamic epistemic logic, and develop a novel, dynamic two-dimensional semantics grounded in two-dimensional hyperintensional Turing machines. 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 Elohim's 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. Elohim countenances a hyperintensional semantics for novel epistemic abstractionist modalities. Elohim suggests, too, that higher 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 two-dimensional 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 interpretational and objective modalities and the truthmakers thereof. This yields the first hyperintensional category theory in the literature. Elohim invents 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 in the category of Set in category theory. Chapter \textbf{13} examines modal responses to the alethic paradoxes. Elohim provides a counter-example to epistemic closure for logical deduction. 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)

The main goal of this paper is to investigate the relation between the meaning of a sentence and its truth conditions. We report on a comprehension experiment on counterfactual conditionals, based on a context in which a light is controlled by two switches. Our main finding is that the truth-conditionally equivalent clauses (i) "switch A or switch B is down" and (ii) "switch A and switch B are not both up" make different semantic contributions when embedded in a conditional antecedent. (...) Assuming compositionality, this means that (i) and (ii) differ in meaning, which implies that the meaning of a sentential clause cannot be identified with its truth conditions. We show that our data have a clear explanation in inquisitive semantics: in a conditional antecedent, (i) introduces two distinct assumptions, while (ii) introduces only one. Independently of the complications stemming from disjunctive antecedents, our results also challenge analyses of counterfactuals in terms of minimal change from the actual state of affairs: we show that such analyses cannot account for our findings, regardless of what changes are considered minimal. (shrink)

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)

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)

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.

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)

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 argue that there is a difficulty for Fine's exact semantics for counterfactuals. The difficulty undermines Fine's reasons for preferring exact semantics to possible worlds semantics.

This paper considers how counterfactuals should be evaluated on the assumption that determinism is true. I argue against Lewis's influential view that the actual laws of nature would have been false if something had happened that never actually happened, and in favour of the competing view that history would have been different all the way back. I argue that we can do adequate justice to our ordinary practice of relying on a wide range of historical truths in evaluating counterfactuals by (...) saying that, in typical cases, history would have been only *very slightly* different until shortly before the relevant time. The paper also draws some connections between the puzzle about counterfactuals under determinism and the debate about whether determinism entails that no-one can ever do otherwise than they in fact do. (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)

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)

It seems very important to us whether or not a generalization offers counter-factual support—but why? Surely what happens in other possible worlds can neither help nor hurt us? This paper explores the question whether counter-factual support does, nevertheless, have some practical value. (The question of theoretical value will be addressed but then put aside.) The following thesis is proposed: the counterfactual-supporting generalizations are those for which there exists a compact and under normal circumstances knowable basis determining the fine-grained pattern of (...) actual variation between the properties associated by the generalization (e.g., for the generalization Fs tend to be G, the exact circumstances under which any particular F is G); further, the better we understand the basis and the scope of the support offered, the greater our knowledge of fine-grained variation. We care about counterfactual support because we care about actual fine-grained variation. (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)

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.

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.

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)

This paper explores the connective ‘because’, based on the idea that ‘_C_ because _A_’ implies the acceptance/truth of the antecedent _A_ as well as of the consequent _C_, 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 antecedent _and_ (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)

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)

Grounding necessitarianism (GN) is the view that full grounds necessitate what they ground. Although GN has been rather popular among philosophers, it faces important counterexamples: For instance, A=[Socrates died] fully grounds C=[Xanthippe became a widow]. However, A fails to necessitate C: A could have obtained together with B=[Socrates and Xanthippe were never married], without C obtaining. In many cases, the debate essentially reduces to whether A indeed fully grounds C – as the contingentist claims – or if instead C is (...) fully grounded in A+, namely A plus some supplementary fact S (e.g. [Xanthippe was married to Socrates]) – as the necessitarian claims. Both sides typically agree that A+ necessitates C, while A does not; they disagree on whether A or A+ fully grounds C. This paper offers a novel defence of the claim that, in these typical cases, unlike A+, A fails to fully ground C – thereby bringing further support to GN. First and foremost, unlike A+, A fails to fully ground C because it fails to contain just what is relevant to do so, in two distinct senses – explanatory and generative relevance. Second, going for A, rather than A+, as a full ground undermines not just grounding necessitarianism, but modally weaker views which even contingentists may want to preserve. (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)

It is commonly assumed that content preservation is required for success in testimonial exchanges. Many content internalists, however, cannot endorse this assumption. They must claim instead that testimonial exchanges can often succeed when the content grasped by the hearer is not the content of the speaker’s testimony, p, but some merely similar content, p*. Goldberg (2007. Anti-Individualism: Mind and Language, Knowledge and Justification. Cambridge: Cambridge University Press) argues that this internalist approach is epistemically problematic: it cannot maintain certain features thought (...) to be characteristic of testimonial exchanges. I argue that, contrary to appearances, the internalist’s account is just as epistemically respectable as the traditional ‘same content’ approach favoured by externalists. (shrink)