The present dissertation investigates certain facets of the logical structure of oughts – where “ought” is used as a noun, roughly meaning obligation. I do so by following two lines of inquiry. The first part of the thesis places oughts in the context of practical rationality. The second part of the thesis concerns the inference rules governing arguments about oughts, and specifically the inference rule of Reasoning by Cases. These two lines of inquiry, together, aim to expound upon oughts in (...) rationality and reasoning. The methodology used in this dissertation is the one of philosophical logic, in which logical, qualitative models are developed to support and foster conceptual analysis. The dissertation consists of four main chapters. The first two chapters are devoted to the role of oughts in practical rationality. I focus on the so-called Enkratic principle of rationality, which – in its most general formulation – requires that if an agent believes sincerely and with conviction that she ought to do X, then she intends to X. I develop a logical framework to investigate the (static and dynamic) relation between those oughts believed by the agent and her intentions. It is shown that, under certain minimal assumptions, the Enkratic principle of rationality is a principle of limited validity. The following two chapters of the dissertation constitute a study of the classical inference rule of Reasoning by Cases, which – in its simplest form – moves from the premises “A or B”, “if A then C” and “if B then C” to the conclusion “C”. Recent literature has called the validity of Reasoning by Cases into question, with the most influential counterexample being the so-called Miners’ Puzzle – an instance of Reasoning by Cases where “C” involves oughts. I provide a unifying explanation of why the Miners’ Puzzle emerges. It is shown that, within specific boundaries, Reasoning by Cases is a valid inference rule. (shrink)

There has been a recent surge of work on deontic modality within philosophy of language. This work has put the deontic logic tradition in contact with natural language semantics, resulting in significant increase in sophistication on both ends. This chapter surveys the main motivations, achievements, and prospects of this work.

In this paper, I explore the role for anticipated regret in major life decision-making, focusing on how it is employed by realistic decision-makers in a variety of realistic cases. I argue that the most obvious answers to how regret might matter in decision do not make these cases intelligible, but that we can make them intelligible through consideration of the significance of narrative in our own self-understanding.

According to objectivism about the practical 'ought', what one ought to do depends on all the facts; according to perspectivism, it depends only on epistemically available facts. This essay presents a new argument against objectivism. The first premise says that it is at least sometimes possible for a normative theory to correctly guide action. The second premise says that, if objectivism is true, this is never possible. From this it follows that objectivism is false. Perspectivism, however, turns out to be (...) compatible with the plausible assumption about guidance. I defend the two premises on the basis of an account of what it is for a normative theory to guide action. Central to this account is the idea that correct action-guidance involves correct practical reasoning from a normative theory to an action, which requires that agents have the capacity to believe for the right reasons. Since objectivists about the practical 'ought' are committed to objectivism about the epistemic 'ought', it follows that agents lack this capacity and so are in principle unable to be correctly guided by a normative theory. This shows that recent attempts to reconcile objectivism with action-guidance are unsuccessful, which all assume that, if objectivism is true, it is at least sometimes possible for a normative theory to correctly guide action. (shrink)

The Identity principle says that conditionals with the form 'If p, then p' are logical truths. Identity is overwhelmingly plausible, and has rarely been explicitly challenged. But a wide range of conditionals nonetheless invalidate it. I explain the problem, and argue that the culprit is the principle known as Import-Export, which we must thus reject. I then explore how we can reject Import-Export in a way that still makes sense of the intuitions that support it, arguing that the differences between (...) indicative and subjunctive conditionals play a key role in solving this puzzle. (shrink)

Chancy modus ponens is the following inference scheme: ‘probably φ’, ‘if φ, then ψ’, therefore, ‘probably ψ’. I argue that Chancy modus ponens is invalid in general. I further argue that the invalidity of Chancy modus ponens sheds new light on the alleged counterexample to modus ponens presented by McGee. I close by observing that, although Chancy modus ponens is invalid in general, we can recover a restricted sense in which this scheme of inference is valid.

We develop a novel solution to the negation version of the Frege-Geach problem by taking up recent insights from the bilateral programme in logic. Bilateralists derive the meaning of negation from a primitive *B-type* inconsistency involving the attitudes of assent and dissent. Some may demand an explanation of this inconsistency in simpler terms, but we argue that bilateralism’s assumptions are no less explanatory than those of *A-type* semantics that only require a single primitive attitude, but must stipulate inconsistency elsewhere. Based (...) on these insights, we develop a version of B-type expressivism called *inferential expressivism*. This is a novel semantic framework that characterises meanings by inferential roles that define which *attitudes* one can *infer* from the use of terms. We apply this framework to normative vocabulary, thereby solving the Frege-Geach problem generally and comprehensively. Our account moreover includes a semantics for epistemic modals, thereby also explaining normative terms under epistemic modals. (shrink)

In this paper I argue that deontic modals are hyperintensional, i.e. logically equivalent contents cannot be substituted in their scope. I give two arguments, one deductive and the other abductive. First, I show that the contrary thesis leads to falsity; second, I argue that a hyperintensional theory of deontic modals fares better than its rivals in terms of elegance, theoretical simplicity and explanatory power. I then propose a philosophical analysis of this thesis and outline some consequences. In Section 1 I (...) introduce and define deontic modality and hyperintensionality. In Section 2 I give a reductio for the hyperintensionality of deontic modals. If the argument is sound, a useful corollary is that deontic modals are also non-intensional, and therefore possible-world semantics accounts are illfitted for them. I then show how the main result can be strengthened or weakened by varying the definition of logical validity. In Section 3 I give an abductive argument for the hyperintensionality of deontic modals, arguing that with a single move we are able to solve many paradoxes and puzzles traditionally troubling deontic logic. I present a version of a hyperintensional deontic logic in an appendix, which I prove is sound and complete with respect to a version of truthmaker semantics. (shrink)

Higher‐order evidence can make an agent doubt the reliability of her reasoning. When this happens, it seems rational for the agent to adopt a cautious attitude towards her original conclusion, even in cases where the higher‐order evidence is misleading and the agent's original reasons were actually perfectly good. One may think that recoiling to a cautious attitude in the face of misleading self‐doubt involves a failure to properly respond to one's reasons. My aim is to show that this is not (...) so. My proposal is that (misleading) higher‐order evidence can undermine the agent's possession of her first‐order reasons, constituting what I call a dispossessing defeater. After acquiring the higher‐order evidence, the agent is no longer in a position to rely competently on the relevant first‐order considerations as reasons for her original conclusion, so that such reasons stop being available to her (even if they remain as strong as in the absence of the higher‐order evidence). In this way, an agent with misleading higher‐order evidence can adopt a cautious stance towards her original conclusion, while properly responding to the set of reasons that she possesses–a set that is reduced due to the acquisition of higher‐order dispossessing defeaters. (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)

It is widely held that counterfactuals, unlike attitude ascriptions, preserve the referential transparency of their constituents, i.e., that counterfactuals validate the substitution of identicals when their constituents do. The only putative counterexamples in the literature come from counterpossibles, i.e., counterfactuals with impossible antecedents. Advocates of counterpossibilism, i.e., the view that counterpossibles are not all vacuous, argue that counterpossibles can generate referential opacity. But in order to explain why most substitution inferences into counterfactuals seem valid, counterpossibilists also often maintain that counterfactuals (...) with possible antecedents are transparency‐preserving. I argue that if counterpossibles can generate opacity, then so can ordinary counterfactuals with possible antecedents. Utilizing an analogy between counterfactuals and attitude ascriptions, I provide a counterpossibilist‐friendly explanation for the apparent validity of substitution inferences into counterfactuals. I conclude by suggesting that the debate over counterpossibles is closely tied to questions concerning the extent to which counterfactuals are more like attitude ascriptions and epistemic operators than previously recognized. (shrink)

I explore the logic of the conditional, using credence judgments to argue against Duality and in favor of Conditional Excluded Middle. I then explore how to give a theory of the conditional which validates the latter and not the former, developing a variant on Kratzer (1981)'s restrictor theory, as well as a proposal which combines Stalnaker (1968)'s theory of the conditional with the theory of epistemic modals I develop in Mandelkern 2019a. I argue that the latter approach fits naturally with (...) a conception of conditionals as referential devices which allow us to talk about particular worlds. (shrink)

In this paper, I argue that the fetishism objection to moral hedging fails. The objection rests on a reasons-responsiveness account of moral worth, according to which an action has moral worth only if the agent is responsive to moral reasons. However, by adopting a plausible theory of non-ideal moral reasons, one can endorse a reasons-responsiveness account of moral worth while maintaining that moral hedging is sometimes an appropriate response to moral uncertainty. Thus, the theory of moral worth upon which the (...) fetishism objection relies does not, in fact, support that objection. (shrink)

According to a recent challenge to Kratzer's canonical contextualist semantics for deontic modal expressions, no contextualist view can make sense of cases in which such a modal must be information-sensitive in some way. Here I show how Kratzer's semantics is compatible with readings of the targeted sentences that fit with the data. I then outline a general account of how contexts select parameter values for modal expressions and show, in terms of that account, how the needed, contextualist-friendly readings might plausibly (...) get selected in the challenge cases. (shrink)

Philosophy and Phenomenological Research, EarlyView.

Ascriptions of rationality are related to our practices of praising and criticizing. This seems to provide motivation for normative accounts of rationality, more specifically for the view that rationality is a matter of responding to normative reasons. However, rational agents are sometimes guided by false beliefs. This is problematic for those reasons-based accounts of rationality that are also committed to the widespread thesis that normative reasons are facts. The critical aim of the paper is to present objections to recent proposed (...) solutions to this problem, according to which the responses of deceived agents would be rationalized by facts about how things appear to them. My positive aim is to argue that accounts of reasons in terms of apparent reasons manage to capture the intuitions that seem to favor a normative account of rationality. (shrink)

Many recent theories of epistemic discourse exploit an informational notion of consequence, i.e. a notion that defines entailment as preservation of support by an information state. This paper investigates how informational consequence fits with probabilistic reasoning. I raise two problems. First, all informational inferences that are not also classical inferences are, intuitively, probabilistically invalid. Second, all these inferences can be exploited, in a systematic way, to generate triviality results. The informational theorist is left with two options, both of them radical: (...) they can either deny that epistemic modal claims have probability at all, or they can move to a nonstandard probability theory. (shrink)

This paper is a guide to the main ideas and innovations in Robert Stalnaker's "Indicative Conditionals". The paper is for a volume of essays on twenty-one classics of formal semantics edited by Louise McNally and Zoltàn Gendler Szabò.

Dworkin’s famous argument from legal disagreements poses a problem for legal positivism by undermining the idea that the law can be (just) the result of the practice and attitudes of norm-applying officials. In recent work, the chapter author argued that a hybrid contextualist theory paired with a dispositional theory of value—a hybrid dispositionalism, for short—offers the resources to respond to similar disagreement- based arguments in other evaluative and normative domains. This chapter claims that the theory the author advocates can extend (...) to legal statements and disputes, and shares some important features with Toh’s (2011) idea that legal statements express shared acceptance of norms. The chapter proposes that a contextualist semantics for legal statements paired with the pragmatic communication of implicatures that express shared acceptances of norms, achieves the same goal that Toh aims at. (shrink)

Intuitions about retractions have been used to motivate truth relativism about certain types of claims. Among these figure epistemic modals, knowledge attributions, or personal taste claims. On MacFarlane’s prominent relativist proposal, sentences like “the ice cream might be in the freezer” or “Pocoyo is funny” are only assigned a truth-value relative to contexts of utterance and contexts of assessment. Retractions play a crucial role in the argument for assessment-relativism. A retraction of a past assertion is supposed to be mandatory whenever (...) the asserted sentence is not true at the context of use and the context of assessment. If retractions were not obligatory in these conditions, there would be no normative difference between assessment-relativism and contextualism. The main goal of this paper is to undermine the claim that retractions reveal this normative difference. To this effect, the paper offers a review of three important objections to the obligatoriness of retractions. Taken together, these objections make a strong case against the alleged support that retractions give to assessment-relativism. The objections are moreover supported by recent experimental results that are also discussed. This will satisfy a further goal, which is to undermine the idea that there is a constitutive retraction rule. The paper also discusses two ways to understand what such a rule would be constitutive of, and concludes with a discussion of how to describe what retractions are. (shrink)

I present unexplored and unaccounted for uses of 'wants'. I call them advisory uses, on which information inaccessible to the desirer herself helps determine what she wants. I show that extant theories by Stalnaker, Heim, and Levinson fail to predict these uses. They also fail to predict true indicative conditionals with 'wants' in the consequent. These problems are related: intuitively valid reasoning with modus ponens on the basis of the conditionals in question results in unembedded advisory uses. I consider two (...) fixes, and end up endorsing a relativist semantics, according to which desire attributions express information-neutral propositions. On this view, 'wants' functions as a precisification of 'ought', which exhibits similar unembedded and compositional behavior. I conclude by sketching a pragmatic account of the purpose of desire attributions that explains why it made sense for them to evolve in this way. (shrink)

This paper presents a case for the claim that the infamous miners paradox is not a paradox. This contention is based on some important observations about the nature of ignorance with respect to both disjunctions and conditional obligations and their modal features. The gist of the argument is that given the uncertainty about the location of the miners in the story and the nature of obligations, the apparent obligation to block either mine shaft is cancelled.

If modus ponens is valid, then you should take up smoking.

This paper explores the idea that a semantics for ‘ought’ should be neutral between different ways of deciding what an agent ought to do in a situation. While the idea is, I argue, well-motivated, taking it seriously leads to surprising, even paradoxical, problems for theorizing about the meaning of ‘ought’. This paper describes and defends one strategy—a form of Expressivism for the modal ‘ought’—for navigating these problems.

This book combines insights from philosophy and linguistics to develop a novel framework for theorizing about linguistic meaning and the role of context in interpretation. A key innovation is to introduce explicit representations of context — assignment variables — in the syntax and semantics of natural language. The proposed theory systematizes a spectrum of “shifting” phenomena in which the context relevant for interpreting certain expressions depends on features of the linguistic environment. Central applications include local and nonlocal contextual dependencies with (...) quantifiers, attitude ascriptions, conditionals, questions, and relativization. The result is an innovative, philosophically informed compositional semantics compatible with the truth-conditional paradigm. (shrink)

Philosophy and Phenomenological Research, EarlyView.

This chapter provides a selective survey of prominent theories of the semantics of deontic modals in logic and natural language. We focus on Kratzer’s (1977; 1981; 1991) semantics and extensions to this analysis. Kratzer’s semantics has been far and away the most influential theory of deontic modals, which provide a base case for the interpretation of normative language in general. Understanding the logic and truth-conditions of normative language is one of the core areas of metaethics. It informs our understanding of (...) normative arguments and normative reasoning. As this chapter will emphasize, some forms of normative language don’t allow for the inferences that classical logic trains philosophers to expect. Understanding what inferences are valid for normative language should impact our under-standing of how we reason, and should reason, about the normative. We will first look at how deontic modals are understood in the context of modal logic and natural language. Then we’ll survey some recent debates and discoveries in the literature on deontic modals in natural language. We close with some considerations about the relevance of natural language to metaethics. (shrink)

The standing tradition in theorizing about meaning, since at least Frege, identifies meaning with propositions, which are, or determine, the truth-conditions of a sentence in a context. But a recent trend has advocated a departure from this tradition: in particular, it has been argued that modal claims do not express standard propositional contents. This non-propositionalism has received different implementations in expressivist semantics and certain kinds of dynamic semantics. They maintain that the key aspect of interpretation of modal claims is the (...) characteristic dynamic effect they have on the context. I argue that pessimism about truth-conditions arises from an overly simplistic picture of content, context and their interaction. While I agree with the critics that an important aspect of modal meaning is the dynamic effect modals have on the context, I argue that they have mischaracterized the nature and the complexity of this effect. A more nuanced account of the interaction between modals and context shows that far from being incompatible with propositional meaning, the dynamic aspect of meaning is precisely what allows us to predict the correct propositional content of an utterance. (shrink)

Recent ideas about epistemic modals and indicative conditionals in formal semantics have significant overlap with ideas in modal logic and dynamic epistemic logic. The purpose of this paper is to show how greater interaction between formal semantics and dynamic epistemic logic in this area can be of mutual benefit. In one direction, we show how concepts and tools from modal logic and dynamic epistemic logic can be used to give a simple, complete axiomatization of Yalcin's [16] semantic consequence relation for (...) a language with epistemic modals and indicative conditionals. In the other direction, the formal semantics for indicative conditionals due to Kolodny and MacFarlane [9] gives rise to a new dynamic operator that is very natural from the point of view of dynamic epistemic logic, allowing succinct expression of dependence (as in dependence logic) or supervenience statements. We prove decidability for the logic with epistemic modals and Kolodny and MacFarlane's indicative conditional via a full and faithful computable translation from their logic to the modal logic K45. (shrink)

Kiesewetter defends the normativity of rationality by presenting a new solution to the problems that arise from the common assumption that we ought to be rational. He provides a defence of a reason-response conception of rationality, an evidence-relative account of reason, and an explanation of structural irrationality in relation to these accounts.

I develop and argue for a kind of externalism about certain kinds of non-doxastic attitudes that I call policy externalism. Policy externalism about a given type of attitude is the view that all the reasonable policies for having attitudes of that type will not involve the agent's beliefs that some relevant conditions obtain. My defense primarily involves attitudes like hatred, regret, and admiration, and has two parts: a direct deductive argument and an indirect linguistic argument, an inference to the best (...) explanation of some strange ways we use certain conditionals. The main thought throughout is that attitudes we reason with, like belief, are very different from attitudes we don't reason with, in a way that constrains the former but not the latter. Finally, I investigate some consequences of policy externalism, including that it secures the possibility of genuine conditional apologies. (shrink)

The book concerns what I take to be the least controversial normative principle concerning action: you ought to perform your best option—best, that is, in terms of whatever ultimately matters. The book sets aside the question of what ultimately matters so as to focus on more basic issues, such as: What are our options? Do I have the option of typing out the cure for cancer if that’s what I would in fact do if I had the right intentions at (...) the right times (e.g., the intention to type the letter T at t1, the intention to type the letter H at t2, the intention to type the letter E at t3, etc.)? If I can’t form intentions voluntarily, does that mean that I don’t have the option of forming the intention that I ought to form? Which options do we assess directly in terms of their own goodness and which do we assess in terms of their relations to the goodness of other options? What do we hold fixed when assessing how good an option is? Do we, for instance, hold fixed the agent’s future beliefs, desires, and intentions? And do we hold fixed the agent’s predictable future misbehavior? Lastly, how do the things that ultimately matter determine the goodness of an option? If one of the things that ultimately matters in determining the goodness of an option is that the option doesn’t involve violating anyone’s rights, do we evaluate the option itself in terms of whether it involves violating anyone’s rights or do we evaluate the option’s prospect in terms of this and then the option in terms of its prospect? And what if there is indeterminacy or uncertainty with regards to whether an option would involve violating someone’s rights? (shrink)

According to perspectivism about moral obligation, our obligations are affected by our epistemic circumstances. But how exactly should this claim be understood? On Zimmerman’s “Prospective View”, perspectivism is spelled out as the thesis that an option is obligatory if and only if it maximizes what Zimmerman calls “prospective value”, which is in turn determined by the agent’s present evidence. In this article, I raise two objections to this approach. Firstly, I argue that spelling out the difference between perspectivism and anti-perspectivism (...) in terms of value creates a number of problems that can be avoided by an account that proceeds in terms of reasons. Secondly, I argue that Zimmerman focuses on the wrong body of evidence, and that this commits him to an implausible solution to the problem that perspectivists face with regard to advice from better-informed sources. (shrink)

When speakers utter conflicting moral sentences, it seems clear that they disagree. It has often been suggested that the fact that the speakers disagree gives us evidence for a claim about the semantics of the sentences they are uttering. Specifically, it has been suggested that the existence of the disagreement gives us reason to infer that there must be an incompatibility between the contents of these sentences. This inference then plays a key role in a now-standard argument against certain theories (...) in moral semantics. In this paper, we introduce new evidence that bears on this debate. We show that there are moral conflict cases in which people are inclined to say both that the two speakers disagree and that it is not the case at least one of them must be saying something incorrect. We then explore how we might understand such disagreements. As a proof of concept, we sketch an account of the concept of disagreement and an independently motivated theory of moral semantics which, together, explain the possibility of such cases. (shrink)

This book concerns the foundations of epistemic modality and hyperintensionality and their applications to the philosophy of mathematics. I examine the nature of epistemic modality, when the modal operator is interpreted as concerning both apriority and conceivability, as well as states of knowledge and belief. The book demonstrates how epistemic modality and hyperintensionality relate to the computational theory of mind; metaphysical modality and hyperintensionality; the types of mathematical modality and hyperintensionality; to the epistemic status of large cardinal axioms, undecidable propositions, (...) and abstraction principles in the philosophy of mathematics; to the modal and hyperintensional profiles of the logic of rational intuition; and to the types of intention, when the latter is interpreted as a hyperintensional mental state. Chapter \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. I also develop 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 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 interpretational and objective modalities and the 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 in the category of Set in category theory. Chapter \textbf{13} examines modal responses to the alethic paradoxes. I provide 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. 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 and hyperintensional cognitivism and modal and hyperintensional expressivism. I also develop 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 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 interpretational and objective modalities and the 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 in the category of Set in category theory. Chapter \textbf{13} examines modal responses to the alethic paradoxes. I provide 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)

I develop and argue for a kind of externalism about certain kinds of non-doxastic attitudes that I call policy externalism. Policy externalism about a given type of attitude is the view that all the reasonable policies for having attitudes of that type will not involve the agent's beliefs that some relevant conditions obtain. My defense primarily involves attitudes like hatred, regret, and admiration, and has two parts: a direct deductive argument and an indirect linguistic argument, an inference to the best (...) explanation of some strange ways we use certain conditionals. The main thought throughout is that attitudes we reason with, like belief, are very different from attitudes we don't reason with, in a way that constrains the former but not the latter. Finally, I investigate some consequences of policy externalism, including that it secures the possibility of genuine conditional apologies. (shrink)

The concern of deductive logic is generally viewed as the systematic recognition of logical principles, i.e., of logical truths. This paper presents and analyzes different instantiations of the three main interpretations of logical principles, viz. as ontological principles, as empirical hypotheses, and as true propositions in virtue of meanings. I argue in this paper that logical principles are true propositions in virtue of the meanings of the logical terms within a certain linguistic framework. Since these principles also regulate and control (...) the process of deduction in inquiry, i.e., they are prescriptive for the use of language and thought in inquiry, I argue that logic may, and should, be seen as an instrument or as a way of proceeding (modus procedendi) in inquiry. (shrink)

This paper surveys some ways in which epistemic reasons ascriptions (or ERAs) appear to be context-sensitive, and outlines a framework for thinking about the nature of this context-sensitivity that is intimately related to ERAs' explanatory function.

This paper attempts to motivate the view that instead of rejecting modus ponens as invalid in certain situations, one could preserve its validity by associating such situations with non-normal interpretations of logical connectives.

I argue that imperatives express contents that are both cognitively and semantically related to, but nevertheless distinct from, modal propositions. Imperatives, on this analysis, semantically encode features of planning that are modally specified. Uttering an imperative amounts to tokening this feature in discourse, and thereby proffering it for adoption by the audience. This analysis deals smoothly with the problems afflicting Portner's Dynamic Pragmatic account and Kaufmann's Modal account. It also suggests an appealing reorientation of clause-type theorizing, in which the cognitive (...) act of updating on a typed sentence plays a central role in theorizing about both its semantics and role in discourse. (shrink)

Recently, there has been a shift away from traditional truth-conditional accounts of meaning towards non-truth-conditional ones, e.g., expressivism, relativism and certain forms of dynamic semantics. Fueling this trend is some puzzling behavior of modal discourse. One particularly surprising manifestation of such behavior is the alleged failure of some of the most entrenched classical rules of inference; viz., modus ponens and modus tollens. These revisionary, non-truth-conditional accounts tout these failures, and the alleged tension between the behavior of modal vocabulary and classical (...) logic, as data in support of their departure from tradition, since the revisionary semantics invalidate some of these patterns. I, instead, offer a semantics for modality with the resources to accommodate the puzzling data while preserving classical logic, thus affirming the tradition that modals express ordinary truth-conditional content. My account shows that the real lesson of the apparent counterexamples is not the one the critics draw, but rather one they missed: namely, that there are linguistic mechanisms, reflected in the logical form, that affect the interpretation of modal language in a context in a systematic and precise way, which have to be captured by any adequate semantic account of the interaction between discourse context and modal vocabulary. The semantic theory I develop specifies these mechanisms and captures precisely how they affect the interpretation of modals in a context, and do so in a way that both explains the appearance of the putative counterexamples and preserves classical logic. (shrink)

The biennial DEON conferences are designed to promote interdisciplinary cooperation amongst scholars interested in linking the formal-logical study of normative concepts and normative systems with computer science, artificial intelligence, linguistics, philosophy, organization theory and law. In addition to these general themes, DEON 2016 encouraged a special focus on the topic "Reasons, Argumentation and Justification.".

In tradition linked to Aristotle and Kant, many contemporary philosophers treat practical and theoretical normativity as two genuinely distinct domains of normativity. In this paper I consider the question of what it is for normative domains to be distinct. I suggest that there are two different ways that the distinctness thesis might be understood and consider the different implications of the two different distinctness theses.