This book concerns the foundations of epistemic modality and hyperintensionality and their applications to the philosophy of mathematics. I examine the nature of epistemic modality, when the modal operator is interpreted as concerning both apriority and conceivability, as well as states of knowledge and belief. The book demonstrates how epistemic modality and hyperintensionality relate to the computational theory of mind; metaphysical modality and hyperintensionality; the types of mathematical modality and hyperintensionality; to the epistemic status of large cardinal axioms, undecidable propositions, (...) and abstraction principles in the philosophy of mathematics; to the modal and hyperintensional profiles of the logic of rational intuition; and to the types of intention, when the latter is interpreted as a hyperintensional mental state. Chapter \textbf{2} argues for a novel type of expressivism based on the duality between the categories of coalgebras and algebras, and argues that the duality permits of the reconciliation between modal cognitivism and modal expressivism. I also develop a novel topic-sensitive truthmaker semantics for dynamic epistemic logic, and develop a novel dynamic two-dimensional semantics. Chapter \textbf{3} provides an abstraction principle for epistemic (hyper-)intensions. Chapter \textbf{4} advances a topic-sensitive two-dimensional truthmaker semantics, and provides three novel interpretations of the framework along with the epistemic and metasemantic. Chapter \textbf{5} applies the fixed points of the modal $\mu$-calculus in order to account for the iteration of epistemic states in a single agent, by contrast to availing of modal axiom 4 (i.e. the KK principle). The fixed point operators in the modal $\mu$-calculus are rendered hyperintensional, which yields the first hyperintensional construal of the modal $\mu$-calculus in the literature and the first application of the calculus to the iteration of epistemic states in a single agent instead of the common knowledge of a group of agents. Chapter \textbf{6} advances a solution to the Julius Caesar problem based on Fine's `criterial' identity conditions which incorporate conditions on essentiality and grounding. Chapter \textbf{7} provides a ground-theoretic regimentation of the proposals in the metaphysics of consciousness and examines its bearing on the two-dimensional conceivability argument against physicalism. The topic-sensitive epistemic two-dimensional truthmaker semantics developed in chapters \textbf{2} and \textbf{4} are availed of in order for epistemic states to be a guide to metaphysical states in the hyperintensional setting. -/- Chapters \textbf{8-12} provide cases demonstrating how the two-dimensional hyperintensions of hyperintensional, i.e. topic-sensitive epistemic two-dimensional truthmaker, semantics, solve the access problem in the epistemology of mathematics. Chapter \textbf{8} examines the interaction between my hyperintensional semantics and the axioms of epistemic set theory, large cardinal axioms, the Epistemic Church-Turing Thesis, the modal axioms governing the modal profile of $\Omega$-logic, Orey sentences such as the Generalized Continuum Hypothesis, and absolute decidability. These results yield inter alia the first hyperintensional Epistemic Church-Turing Thesis and hyperintensional epistemic set theories in the literature. Chapter \textbf{9} examines the modal and hyperintensional commitments of abstractionism, in particular necessitism, and epistemic hyperintensionality, epistemic utility theory, and the epistemology of abstraction. I countenance a hyperintensional semantics for novel epistemic abstractionist modalities. I suggest, too, that observational type theory can be applied to first-order abstraction principles in order to make first-order abstraction principles recursively enumerable, i.e. Turing machine computable, and that the truth of the first-order abstraction principle for hyperintensions is grounded in its being possibly recursively enumerable and the machine being physically implementable. Chapter \textbf{10} examines the philosophical significance of hyperintensional $\Omega$-logic in set theory and discusses the hyperintensionality of metamathematics. Chapter \textbf{11} provides a modal logic for rational intuition and provides a hyperintensional semantics. Chapter \textbf{12} avails of modal coalgebras to interpret the defining properties of indefinite extensibility, and avails of hyperintensional epistemic two-dimensional semantics in order to account for the interaction between the interpretational and objective modalities and truthmakers thereof. This yields the first hyperintensional category theory in the literature. I invent a new mathematical trick in which first order structures are treated as categories, and Vopenka's principle can be satisfied because of the elementary embeddings between the categories and generate Vopenka cardinals while bypassing the category of Set in category theory. Chapter \textbf{13} examines modal responses to the alethic paradoxes. Chapter \textbf{14} examines, finally, the modal and hyperintensional semantics for the different types of intention and the relation of the latter to evidential decision theory. (shrink)

Schlenker (Semant Pragmat 2(3):1–78, 2009; Philos Stud 151(1):115–142, 2010a; Mind 119(474):377–391, 2010b) provides an algorithm for deriving the presupposition projection properties of an expression from that expression’s classical semantics. In this paper, we consider the predictions of Schlenker’s algorithm as applied to attitude verbs. More specifically, we compare Schlenker’s theory with a prominent view which maintains that attitudes exhibit belief projection, so that presupposition triggers in their scope imply that the attitude holder believes the presupposition (Karttunen in Theor Linguist 34(1):181, (...) 1974; Heim in J Semant 9(3):183–221, 1992; Sudo in The art and craft of semantics: a festschrift for Irene Heim, MIT Press, 2014). We show that Schlenker’s theory does not predict belief projection, and discuss several consequences of this result. (shrink)

It is plausible that the universe exists: a thing such that absolutely everything is a part of it. It is also plausible that singular, structured propositions exist: propositions that literally have individuals as parts. Furthermore, it is plausible that for each thing, there is a singular, structured proposition that has it as a part. Finally, it is plausible that parthood is a partial ordering: reflexive, transitive, and anti-symmetric. These plausible claims cannot all be correct. We canvass some costs of denying (...) each claim and conclude that parthood is not a partial ordering. Provided that the relevant entities exist, parthood is not anti-symmetric and proper parthood is neither asymmetric nor transitive. (shrink)

Information can be public among a group. Whether or not information is public matters, for example, for accounts of interdependent rational choice, of communication, and of joint intention. A standard analysis of public information identifies it with (some variant of) common belief. The latter notion is stipulatively defined as an infinite conjunction: for p to be commonly believed is for it to believed by all members of a group, for all members to believe that all members believe it, and so (...) forth. This analysis is often presupposed without much argument in philosophy. Theoretical entrenchment or intuitions about cases might give some traction on the question, but give little insight about why the identification holds, if it does. The strategy of this paper is to characterize a practical-normative role for information being public, and show that the only things that play that role are (variants of) common belief as stipulatively characterized. In more detail: a functional role for “taking a proposition for granted” in non-isolated decision making is characterized. I then present some minimal conditions under which such an attitude is correctly held. The key assumption links this attitude to beliefs about what is public. From minimal a priori principles, we can argue that a proposition being public among a group entails common commitment to believe among that group. Later sections explore partial converses to this result, the factivity of publicity and publicity from the perspective of outsiders to the group, and objections to the aprioricity of the result deriving from a posteriori existential presuppositions. (shrink)

In this paper, I sketch out a novel theory of well-being according to which well-being is constituted by harmony between mind and world. The notion of harmony I develop has three aspects. First there is correspondence between mind and world in the sense that events in the world match the content of our mental states. Second there is positive orientation towards the world, meaning that we have pro-attitudes towards the world we find ourselves in. Third there is fitting response to (...) the world. Taken together these three aspects make up an ideal of being attuned to, or at home in, the world. Such harmony between mind and world constitutes well-being. Its opposite – being disoriented, ill-at-ease in, or hostile to the world – makes a life go poorly. And, as we shall see, many of the things that intuitively contribute to well-being are instantiating one or more of the three aspects of harmony. (shrink)

The Bayesian maxim for rational learning could be described as conservative change from one probabilistic belief or credence function to another in response to newinformation. Roughly: ‘Hold fixed any credences that are not directly affected by the learning experience.’ This is precisely articulated for the case when we learn that some proposition that we had previously entertained is indeed true (the rule of conditionalisation). But can this conservative-change maxim be extended to revising one’s credences in response to entertaining propositions or (...) concepts of which one was previously unaware? The economists Karni and Vierø (2013, 2015) make a proposal in this spirit. Philosophers have adopted effectively the same rule: revision in response to growing awareness should not affect the relative probabilities of propositions in one’s ‘old’ epistemic state. The rule is compelling, but only under the assumptions that its advocates introduce. It is not a general requirement of rationality, or so we argue. We provide informal counterexamples. And we show that, when awareness grows, the boundary between one’s ‘old’ and ‘new’ epistemic commitments is blurred. Accordingly, there is no general notion of conservative change in this setting. (shrink)

Externalism is the view that the intentional content of a mental state supervenes on its relations to objects in the extramental world. Nativism is the view that some of the innate states of the mind/brain have intentional content. I consider both “causal” and “nomic” versions of externalism, and argue that both are incompatible with nativism. I consider likely candidates for a compatibilist position – a nativism of “narrow” representational states, and a nativism of the contentless formal “vehicles” of representational states. (...) I argue that “narrow nativism” is either too implausible to appeal to the nativist – because it entails that innate representational states are lost as the mind becomes more experienced, or too costly to appeal to the externalist – because a reasonable version of it requires the analytic-synthetic distinction. Finally, I argue that “syntactic nativism” is indistinguishable from classical anti-nativist empiricism, given the latter’s broad tolerance for innate implementation of psychological principles and mechanisms. (shrink)

You want to see the concert, but don’t want to take a long drive (even though the concert is far away). Such *strongly conflicting desire ascriptions* are, I show, wrongly predicted incompatible by standard semantics. I then object to possible solutions, and give my own, based on *some-things-considered desire*. Considering the fun of the concert, but ignoring the drive, you want to see the concert; considering the boredom of the drive, but ignoring the concert, you don’t want to take the (...) drive. (shrink)

According to a standard assumption in epistemology, if one only partially believes that p , then one cannot thereby have knowledge that p. For example, if one only partially believes that that it is raining outside, one cannot know that it is raining outside; and if one only partially believes that it is likely that it will rain outside, one cannot know that it is likely that it will rain outside. Many epistemologists will agree that epistemic agents are capable of (...) partial beliefs in addition to full beliefs and that partial beliefs can be epistemically assessed along some dimensions. However, it has been generally assumed that such doxastic attitudes cannot possibly amount to knowledge. In Probabilistic Knowledge, Moss challenges this standard assumption and provides a formidable defense of the claim that probabilistic beliefs—a class of doxastic attitudes including credences and degrees of beliefs—can amount to knowledge too. Call this the probabilistic knowledge claim . Throughout the book, Moss goes to great lengths to show that probabilistic knowledge can be fruitfully applied to a variety of debates in epistemology and beyond. My goal in this essay is to explore a further application for probabilistic knowledge. I want to look at the role of probabilistic knowledge within a “knowledge-centered” psychology—a kind of psychology that assigns knowledge a central stage in explanations of intentional behavior. My suggestion is that Moss’s notion of probabilistic knowledge considerably helps further both a knowledge-centered psychology and a broadly intellectualist picture of action and know-how that naturally goes along with it. At the same time, though, it raises some interesting issues about the notion of explanation afforded by the resulting psychology. (shrink)

I distinguish two notions of agreement in belief: believing the same content versus having beliefs that necessarily coincide/diverge in normative status. The second notion of agreement,, is clearly significant for the communication of beliefs amongst thinkers. Thus there would seem to be some prima facie advantage to choosing the conception of content operative in in such a way that the normative status of beliefs supervenes on their content, and this seems to be the prevailing assumption of many semanticists. I shall (...) argue that de se beliefs and assertions provide a motivation to depart from this assumption, and so do beliefs and assertions concerning what is epistemically possible. I conclude by offering two models of assertoric communication that are compatible with the abandonment of the assumption, and suggesting schematically that each model applies to different cases. (shrink)

Our senses provide us with information about the world, but what exactly do they tell us? I argue that in order to optimally respond to sensory stimulations, an agent’s doxastic space may have an extra, “imaginary” dimension of possibility; perceptual experiences confer certainty on propositions in this dimension. To some extent, the resulting picture vindicates the old-fashioned empiricist idea that all empirical knowledge is based on a solid foundation of sense-datum propositions, but it avoids most of the problems traditionally associated (...) with that idea. The proposal might also explain why experiences appear to have a non-physical phenomenal character, even if the world is entirely physical. (shrink)

To reconcile the standard possible worlds model of knowledge with the intuition that ordinary agents fall far short of logical omniscience, a Stalnakerian strategy appeals to two components. The first is the idea that mathematical and logical knowledge is at bottom metalinguistic knowledge. The second is the idea that non-ideal minds are often fragmented. In this paper, we investigate this Stalnakerian reconciliation strategy and argue, ultimately, that it fails. We are not the first to complain about the Stalnakerian strategy. But (...) in contrast to existing complaints, we want to cause trouble for the strategy directly on its home turf. That is, we will advance our objection while granting both the plausibility of the fragmentation component—save for an extreme version of it—and that of the metalinguistic component. Once our central objection to the Stalnakerian strategy is in place, we will show how it negatively affects Adam Elga and Augustín Rayo’s recent attempt to apply the Stalnakerian strategy in the context of Bayesian decision theory. (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.

This essay argues that the main lesson of Lewis Carroll's Regress is that arguments are constitutively presuppositional.

The debate over Hypothetical Syllogism is locked in stalemate. Although putative natural language counterexamples to Hypothetical Syllogism abound, many philosophers defend Hypothetical Syllogism, arguing that the alleged counterexamples involve an illicit shift in context. The proper lesson to draw from the putative counterexamples, they argue, is that natural language conditionals are context-sensitive conditionals which obey Hypothetical Syllogism. In order to make progress on the issue, I consider and improve upon Morreau’s proof of the invalidity of Hypothetical Syllogism. The improved proof (...) relies upon the semantic claim that conditionals with antecedents irrelevant to the obtaining of an already true consequent are themselves true. Moreover, this semantic insight allows us to provide compelling counterexamples to Hypothetical Syllogism that are resistant to the usual contextualist response. (shrink)

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

Imagism about Phenomenal Thought is (roughly) the view that there is some concept *Q* (for some sensory quality Q) that we can employ only while we experience the quality Q. I believe this view is theoretically significant, is or can be made intuitively appealing, and is explicitly or implicitly accepted by many contemporary philosophers However, there is no good reason to accept it. Or so I argue.

This paper offers a critical analysis of Stalnaker''s work on presupposition (Stalnaker1973, 1974, 1979, 1999, 2002). The paper examines two definitions of speaker presupposition offered by Stalnaker – the familiar common ground view, and the earlier,less familiar, dispositional account – and how Stalnaker relates this notion to the linguistic phenomenon of presupposition. Special attention is paid to Stalnaker's view of accommodation. I argue that given Stalnaker's views, accommodation is not rightly seen as driven by the presuppositional requirements of utterances, but (...) only by the interests of speakers in eliminating perceived differences among presuppositions. I also consider the revisions which are needed either to the definition of speaker presupposition or to the definition of sentence presupposition in light of the possibility of informative presupposition. In the concluding section, I discuss the ways in which some recent accounts of context and speaker presupposition depart from their Stalnakerian foundations. (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ò.

The aim of natural language ontology is to uncover the ontological categories and structures that are implicit in the use of natural language, that is, that a speaker accepts when using a language. This article aims to clarify what exactly the subject matter of natural language ontology is, what sorts of linguistic data it should take into account, how natural language ontology relates to other branches of metaphysics, in what ways natural language ontology is important, and what may be distinctive (...) of the ontological categories and structures reflected in natural language. (shrink)

Writers in the propositions literature consider the Benacerraf objection serious, often decisive. The objection figures heavily in dismissing standard theories of propositions of the past, notably set-theoretic theories. I argue that the situation is more complicated. After explicating the propositional Benacerraf problem, I focus on a classic set-theoretic theory of propositions, the possible worlds theory, and argue that methodological considerations influence the objection’s success.

On an influential line of thinking tracing back to Ramsey, conditionals are closely linked to the attitude of supposition. When applied to counterfactuals, this view suggests a subjunctive version of the so-called Ramsey test: the probability of a counterfactual If A, would B ought to be equivalent to the probability of B, under the subjunctive supposition that A. I present a collapse result for any view that endorses the subjunctive version of the Ramsey test. Starting from plausible assumptions, the result (...) shows that one’s rational credence in a would-counterfactual and in the corresponding might-counterfactual have to be identical. (shrink)

'Post this letter!' does not entail 'Post this letter or drink up my wine!' (the Ross Paradox) because one can be in a state with the content of the former without being in a state with the content of the latter; in turn, because the latter can rationalize drinking up my wine but the former cannot; in turn, because practical rationalization flows toward one's present situation, in contrast with the flow of theoretical rationalization from one's present situation. Formally, this is (...) implemented with a semantics for imperatives involving a partition to set up an issue of significance and a proposition to establish how to settle it. I characterize a series of languages and language-games to implement all this, and appeal to an 'endorsement-theoretic' conception of modals as quantifiers over mental states to explain why 'You must post this letter' does not entail 'You must either post this letter or drink up my wine'. (shrink)

semantic minimalism and moderte contextualism.

An area in the theory of action that has received little attention is how mental agency and world-directed agency interact. The purpose of the present contribution is to clarify the rational conditions of such interaction, through an analysis of the central case of acceptance. There are several problems with the literature about acceptance. First, it remains unclear how a context of acceptance is to be construed. Second, the possibility of conjoining, in acceptance, an epistemic component, which is essentially mind-to-world, and (...) a utility component, which requires a world-to-mind direction of fit, is merely posited rather than derived from the rational structure of acceptance. Finally, the norm of acceptance is generally seen as related to truth, which turns out to be inapplicable in a number of cases. We will argue, first, that the specific context-dependence of acceptances is derived from their being mental actions, each embedded in a complex hierarchy of acceptances composing, together, a planning sequence. Second, that acceptances come in several varieties, corresponding to the specific epistemic norm(s) that constitute them. The selection of a particular norm for accepting answers to considerations of utility – to the association of an epistemic goal with an encompassing world-directed action. Once a type of acceptance is selected, however, the epistemic norm constitutive for that acceptance strictly applies. Third, we argue that context-dependence superimposes a decision criterion on the output of the initial epistemic acceptance. Strategic acceptance is regulated by instrumental norms of expected utility, which may rationally lead an agent to screen off her initial epistemic acceptance. (shrink)

This paper starts out from the idea that semantics is a “special science” whose aim, like that of chemistry or ecology, is to identify systematic, high-level patterns in a fundamentally physical world. I defend an approach to this task on which sentences are associated with with sets of possible worlds (of some kind). These sets of worlds, however, are not postulated for the compositional treatment of intensional contexts; they are not meant to capture what is intuitively asserted or communicated by (...) an utterance; nor are they supposed to shed light on the cognitive processes that underlie out linguistic competence. Instead, their job description is to capture certain regularities in the interactions between subjects using the relevant language. I also raise some questions about how the relevant worlds might be construed. (shrink)

Simon Evnine examines various epistemic aspects of what it is to be a person. Persons are defined as finite beings that have beliefs, including second-order beliefs about their own and others' beliefs, and are agents, capable of making long-term plans. It is argued that for any being meeting these conditions, a number of epistemic consequences obtain. First, all such beings must have certain logical concepts and be able to use them in certain ways. Secondly, there are at least two principles (...) governing belief that it is rational for persons to satisfy and are such that nothing can be a person at all unless it satisfies them to a large extent. These principles are that one believe the conjunction of one's beliefs and that one treat one's future beliefs as, by and large, better than one's current beliefs. Thirdly, persons both occupy epistemic points of view on the world and show up within those views. This makes it impossible for them to be completely objective about their own beliefs. Ideals of rationality that require such objectivity, while not necessarily wrong, are intrinsically problematic for persons. This "aspectual dualism" is characteristic of treatments of persons in the Kantian tradition. In sum, these epistemic consequences support a traditional view of the nature of persons, one in opposition to much recent theorizing. (shrink)

We construct a causal-modeling semantics for both indicative and counterfactual conditionals. As regards counterfactuals, we adopt the orthodox view that a counterfactual conditional is true in a causal model M just in case its consequent is true in the submodel M∗, generated by intervening in M, in which its antecedent is true. We supplement the orthodox semantics by introducing a new manipulation called extrapolation. We argue that an indicative conditional is true in a causal model M just in case its (...) con- sequent is true in certain submodels M∗, generated by extrapolating M, in which its antecedent is true. We show that the proposed semantics can account for some important minimal pairs nicely and naturally. We also prove a theorem showing under what conditions intervention and extrapolation will yield the same result, and thus explain how counterfactual and indicative conditionals would behave in a causal-modeling semantics. (shrink)

In this essay I renew the case for Conditional Excluded Middle in light of recent developments in the semantics of the subjunctive conditional. I argue that Michael Tooley's recent backward causation counterexample to the Stalnaker-Lewis comparative world similarity semantics undermines the strongest argument against CXM, and I offer a new, principled argument for the validity of CXM that is in no way undermined by Tooley's counterexample. Finally, I formulate a simple semantics for the subjunctive conditional that is consistent with both (...) CXM and Tooley's counterexample. (shrink)

Many philosophers think that being in an intentional state is a matter of being related to a sentence in a mental language-a 'Language of Thought' (see especially Fodor 1975, 1987 Appendix; Field 1978). According to this view-which I shall call 'the LT hypothesis'-when anyone has a belief or a desire or a hope with a certain content, they have a sentence of this language, with that content, 'written' in their heads. The claim is meant quite literally: the mental representations that (...) make up the items of this language have semantic and syntactic properties. This is why, according to this view, cognitive psychology does, and should, treat that part of the mind which deals with intentional states as a semantic and a syntactic 'engine'. (shrink)

The theory that structured propositions are complex act-types has been independently articulated by Peter Hanks and Scott Soames. The present paper argues that the role of the act in such theories is supererogatory, for the individuation conditions of the act-based propositions remain wholly at the level of concepts and their formal combination, features which the traditional structured proposition theorist endorses. Thus, it is shown that the traditional problems for structured propositions are only ameliorable on the act conception by appeal to (...) the very resources of the traditional conception. It is also shown that the act theories have no act-based account of quantification and other operator-involving relations. An elementary account of propositions is sketched, after Fodor, which retains the virtues of the traditional structural conception without falling into ’Platonism’. (shrink)

We have reasons to want an epistemology of simple belief in addition to the Bayesian notion of belief which admits of degree. Accounts of simple belief which attempt to reduce it to the notion of credence all face difficulties. We argue that each conception captures an important aspect of our pre-theoretic thinking about epistemology; the differences between the two accounts of belief stem from two different conceptions of unlikelihood. On the one hand there is unlikelihood in the sense of improbability, (...) on the other hand there is unlikelihood in the sense of far-fetchedness. A non-reductive account of simple belief is outlined. Belief aims not just at truth, but at attaining the status of knowledge, and knowledge should satisfy the weak modal principle: If S knows that p then S is certain that there is no possibility very close to actuality at which p is false. The account faces a difficulty in dealing with statistical inductive cases. We sketch a speculative strategy for dealing with such cases, based on the pragmatic considerations that lead to an agent’s partition of the space of possibilities and a nonprobabilistic notion of the “estimated distance” of elements of such a partition from actuality. (shrink)

It is widely held that propositions are structured entities. In The Nature and Structure of Content (2007), Jeff King argues that the structure of propositions is none other than the syntactic structure deployed by the speaker/hearers who linguistically produce and consume the sentences that express the propositions. The present paper generalises from King’s position and claims that syntax provides the best in-principle account of propositional structure. It further seeks to show, however, that the account faces severe problems pertaining to the (...) fine individuation of propositions that the account entails. The ‘fineness of cut’ problem has been raised by Collins (The unity of linguistic meaning, 2007) and others. King (Philos Stud 163(3):763–781, 2013) responds to these complaints in ways this paper rebuts. Thus, the very idea of structured propositions is brought into doubt, for the best in-principle account of such structure appears to fail. (shrink)

In this article, we discuss a simple argument that modal metaphysics is misconceived, and responses to it. Unlike Quine's, this argument begins with the simple observation that there are different candidate interpretations of the predicate ‘could have been the case’. This is analogous to the observation that there are different candidate interpretations of the predicate ‘is a member of’. The argument then infers that the search for metaphysical necessities is misguided in much the way the ‘set-theoretic pluralist’ claims that the (...) search for the true axioms of set theory is. We show that the obvious responses to this argument fail. However, a new response has emerged that purports to prove, from higher-order logical principles, that metaphysical possibility is the broadest kind of possibility applying to propositions, and is to that extent special. We distill two lines of reasoning from the literature, and argue that their import depends on premises that any ‘modal pluralist’ should deny. Both presuppose that there is a unique typed hierarchy, which is what the modal pluralist, in the context of higher-order logic, should disavow. In other words, both presupposes that there is a unique candidate for what higher-order claims could mean. We consider the worry that, in a higher-order setting, modal pluralism faces an insuperable problem of articulation, collapses into modal monism, is vulnerable to the Russell-Myhill paradox, or even contravenes the truism that there is a unique actual world, and argue that these worries are misplaced. We also sketch the bearing of the resulting ‘Higher-Order Pluralism’ on the theory of content. One theme of the discussion is that, if Higher-Order Pluralism is correct, then there is no fixed metatheory from which to characterize higher-order reality. (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)

Argument is often taken to deal with conflicting opinion or belief, while negotiation deals with conflicting goals or interests. It is widely accepted that argument ought to comply with some principles or norms. On the other hand, negotiation and bargaining involve concession exchange and tactical use of power, which may be contrasted with attempts to convince others through argument. However, there are cases where it is difficult to draw a clear distinction between bargaining and argument: notably cases where negotiators persuade (...) others through `framing' and cases where the aims of negotiation have to do with public assertion and acceptance. Those cases suggest that the distinction between negotiation and argument is not absolute, and this raises the question whether rules about what is acceptable in argument and rules about what is acceptable in negotiation can all be viewed as instances of more general common norms about human interaction. (shrink)

Richard Nisbett's The Geography of Thought is one of several recent works that have highlighted purported differences in thinking patterns between East Asians and Westerners on the basis of empirical research. This has implications for teaching and for other issues such as cultural integration. Based on a framework consisting of three distinct notions of rationality, this paper argues that some of the differences alleged by Nisbett are either not real or exaggerated, and that his geography of thought fails to provide (...) an adequate account of thinking styles across cultures. The paper concludes with a discussion of the implications for teaching and learning critical thinking that can be drawn from the framework developed. (shrink)

This paper proposes a new model of graded modal judgment. It begins by problematizing the phenomenon: given plausible constraints on the logic of epistemic modality, it is impossible to model graded attitudes toward modal claims as judgments of probability targeting epistemically modal propositions. This paper considers two alternative models, on which modal operators are non-proposition-forming: (1) Moss (2015), in which graded attitudes toward modal claims are represented as judgments of probability targeting a “proxy” proposition, belief in which would underwrite belief (...) in the modal claim. (2) A model on which graded attitudes toward modal claims are represented as judgments of credence taking as their objects (non-propositional) modal representations (rather than proxy propositions). The second model, like Moss’ model, is shown to be semantically and mathematically tractable. The second model, however, can be straightforwardly integrated into a plausible model of the role of graded attitudes toward modal claims in cognition and normative epistemology. (shrink)

According to robust virtue epistemology , knowledge is type-identical with a particular species of cognitive achievement. The identification itself is subject to some criticism on the grounds that it fails to account for the anti-luck features of knowledge. Although critics have largely focused on environmental luck, the fundamental philosophical problem facing RVE is that it is not clear why it should be a distinctive feature of cognitive abilities that they ordinarily produce beliefs in a way that is safe. We propose (...) a novel way to resolve this problem. Key to our proposal will be an appreciation of different representational states beholden to truth. We suggest these different representational states are distinguished by how, in the proper governance of these states, the twin goods of attaining truth and avoiding error are weighted. Moreover, we explain how varieties of representational states line up with varieties of cognitive achievement such that knowledge, cum cognitive achievement, must be safe because of the kind of attempt at success that belief is—namely, an attempt that places the premium it does on avoiding error. (shrink)

Here, I offer a rapid overview of the theory of metaphor, in order to situate the contributions to this volume in relation to one another and within the field more generally.

I consider a puzzling case presented by Jose Benardete, and by appeal to this case develop a paradox involving counterfactual conditionals. I then show that this paradox may be leveraged to argue for certain non-obvious claims concerning the logic of counterfactuals.

An attractive approach to the semantic paradoxes holds that cases of semantic pathology give rise to indeterminacy. What attitude should a rational agent have toward a proposition that it takes to be indeterminate in this sense? Orthodoxy holds that rationality requires that an agent disbelieve such a proposition. I argue that a rational agent should be such that it is indeterminate whether it believes the proposition in question. For rational agents, indeterminacy in the objects of their attitudes will filter up (...) to the attitudes themselves. (shrink)

We consider a range of cases—both hypothetical and actual—in which agents apparently know how to \ but fail to believe that the way in which they in fact \ is a way for them to \. These “no-belief” cases present a prima facie problem for Intellectualism about knowledge-how. The problem is this: if knowledge-that entails belief, and if knowing how to \ just is knowing that some w is a way for one to \, then an agent cannot both know (...) how to \ and fail to believe that w, the way that she \s, is a way for her to \. We discuss a variety of ways in which Intellectualists might respond to this challenge and argue that, ultimately, this debate converges with another, seemingly distinct debate in contemporary epistemology: how to attribute belief in cases of conflict between an agent’s avowals and her behavior. No-belief cases, we argue, reveal how Intellectualism depends on the plausibility of positing something like “implicit beliefs”—which conflict with an agent’s avowed beliefs—in many cases of apparent knowledge-how. While there may be good reason to posit implicit beliefs elsewhere, we suggest that there are at least some grounds for thinking that these reasons fail to carry over to no-belief cases, thus applying new pressure to Intellectualism. (shrink)

Cognitivist motivational internalism is the thesis that, if one believes that 'It is right to ϕ', then one will be motivated to ϕ. This thesis—which captures the practical nature of morality—is in tension with a Humean constraint on belief: belief cannot motivate action without the assistance of a conceptually independent desire. When defending cognitivist motivational internalism it is tempting to either argue that the Humean constraint only applies to non-moral beliefs or that moral beliefs only motivate ceteris paribus . But (...) succumbing to the first temptation places one under a burden to justify what is motivationally exceptional about moral beliefs and succumbing to the second temptation saddles one with a thesis that fails to do justice to the practicality intuition that cognitivist motivational internalism is suppose to capture. In this paper, I offer a way of defending cognitivist motivational internalism, which does not require accepting that there is anything motivationally unusual about moral beliefs. I argue that no belief satisfies the Humean constraint: all beliefs are capable of motivating without the assistance of a conceptually independent desire. (shrink)

Many believe that intended harms are more difficult to justify than are harms that result as a foreseen side effect of one's conduct. We describe cases of harming in which the harm is not intended, yet the harmful act nevertheless runs afoul of the intuitive moral constraint that governs intended harms. We note that these cases provide new and improved counterexamples to the so-called Simple View, according to which intentionally phi-ing requires intending to phi. We then give a new theory (...) of the moral relevance of intention. This theory yields the traditional constraint on intending harm as a special case, along with several stronger demands. (shrink)