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

This paper aims to provide a mathematically tractable background against which to model both modal cognitivism and modal expressivism. I argue that epistemic modal algebras, endowed with a hyperintensional, topic-sensitive epistemic two-dimensional truthmaker semantics, comprise a materially adequate fragment of the language of thought. I demonstrate, then, how modal expressivism can be regimented by modal coalgebraic automata, to which the above epistemic modal algebras are categorically dual. I examine five methods for modeling the dynamics of conceptual engineering for intensions and (...) hyperintensions. I develop a novel topic-sensitive truthmaker semantics for dynamic epistemic logic, and develop a novel dynamic epistemic two-dimensional hyperintensional semantics. I examine then the virtues unique to the modal expressivist approach here proffered in the setting of the foundations of mathematics, by contrast to competing approaches based upon both the inferentialist approach to concept-individuation and the codification of speech acts via intensional semantics. (shrink)

This book concerns the foundations of epistemic modality. 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 relates to the computational theory of mind; metaphysical modality; the types of mathematical modality; to the epistemic status of large cardinal axioms, undecidable propositions, and abstraction principles in the philosophy of mathematics; to the modal profile of rational intuition; and (...) to the types of intention, when the latter is interpreted as a modal 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 epistemic two-dimensional hyperintensional semantics. Chapter \textbf{3} provides an abstraction principle for epistemic 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, by contrast to availing of modal axiom 4 (i.e. the KK principle). 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 chapter \textbf{4} is 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 intensions of epistemic two-dimensional semantics solve the access problem in the epistemology of mathematics. Chapter \textbf{8} examines the interaction between topic-sensitive epistemic two-dimensional truthmaker semantics, 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. Chapter \textbf{9} examines the modal profile of $\Omega$-logic in set theory. Chapter \textbf{10} examines the modal commitments of abstractionism, in particular necessitism, and epistemic modality and the epistemology of abstraction. Chapter \textbf{11} avails of modal coalgebras to interpret the defining properties of indefinite extensibility, and avails of epistemic two-dimensional semantics in order to account for the interaction of the interpretational and objective modalities thereof. Chapter \textbf{12} provides a modal logic for rational intuition and provides a hyperintensional semantics. Chapter \textbf{13} examines modal responses to the alethic paradoxes. Chapter \textbf{14} examines, finally, the modal semantics for the different types of intention and the relation of the latter to evidential decision theory. The multi-hyperintensional, topic-sensitive epistemic two-dimensional truthmaker semantics developed in chapters \textbf{2} and \textbf{4} is applied in chapters \textbf{7}, \textbf{8}, \textbf{10}, \textbf{11}, \textbf{12}, and \textbf{14}.}. (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)

This paper aims to provide hyperintensional foundations for mathematical platonism. I examine Hale and Wright's (2009) objections to the merits and need, in the defense of mathematical platonism and its epistemology, of the thesis of Necessitism. In response to Hale and Wright's objections to the role of epistemic and metaphysical modalities in providing justification for both the truth of abstraction principles and the success of mathematical predicate reference, I examine the Necessitist commitments of the abundant conception of properties endorsed by (...) Hale and Wright and examined in Hale (2013), and demonstrate how a two-dimensional approach to the epistemology of mathematics is consistent with Hale and Wright's notion of there being non-evidential epistemic entitlement rationally to trust that abstraction principles are true. A choice point that I flag is that between availing of intensional or hyperintensional semantics. The hyperintensional semantic approach that I advance is a topic-sensitive epistemic two-dimensional truthmaker semantics. I countenance a hyperintensional semantics for novel epistemic abstractionist modalities. I suggest that observational type theory can be applied to first-order abstraction principles in order to make abstraction principles recursively enumerable. Epistemic and metaphysical states and possibilities may thus be shown to play a constitutive role in vindicating the reality of mathematical objects and truth, and in providing a conceivability-based route to the truth of abstraction principles as well as other axioms and propositions in mathematics. (shrink)

Imperatives may be interpreted with many subvarieties of directive force, for example as orders, invitations, or pieces of advice. I argue that the range of meanings that imperatives can convey should be identified with the variety of interpretations that are possible for non-dynamic root modals (what I call ‘priority modals’), including deontic, bouletic, and teleological readings. This paper presents an analysis of the relationship between imperatives and priority modals in discourse which asserts that, just as declaratives contribute to the Common (...) Ground and thus provide information relevant to the interpretation of epistemic modals in subsequent discourse, imperatives contribute to another component of the discourse context, the addressee’s To-Do List, which serves as a contextual resource for the interpretation of priority modals. This analysis predicts that the interpretation of imperatives and modals in discourse is constrained in surprising ways; these predictions are borne out. (shrink)

According to the `grammatical account', scalar implicatures are triggered by a covert exhaustification operator present in logical form. This account covers considerable empirical ground, but there is a peculiar pattern that resists treatment given its usual implementation. The pattern centers on odd assertions like #"Most lions are mammals" and #"Some Italians come from a beautiful country", which seem to trigger implicatures in contexts where the enriched readings conflict with information in the common ground. Magri (2009, 2011) argues that, to account (...) for these cases, the basic grammatical approach has to be supplemented with the stipulations that exhaustification is obligatory and is based on formal computations which are blind to information in the common ground. In this paper, I argue that accounts of oddness should allow for the possibility of felicitous assertions that call for revision of the common ground, including explicit assertions of unusual beliefs such as "Most but not all lions are mammals" and "Some but not all Italians come from Italy". To adequately cover these and similar cases, I propose that Magri's version of the Grammatical account should be refined with the novel hypothesis that exhaustification triggers a bifurcation between presupposed (the negated relevant alternatives) and at-issue (the prejacent) content. The explanation of the full oddness pattern, including cases of felicitous proposals to revise the common ground, follows from the interaction between presupposed and at-issue content with an independently motivated constraint on accommodation. Finally, I argue that treating the exhaustification operator as a presupposition trigger helps solve various independent puzzles faced by extant grammatical accounts, and motivates a substantial revision of standard accounts of the overt exhaustifier "only". (shrink)

This paper shows that two questions productively overlap: first, in virtue of what does an agent infer one hypothesis rather than another? Second, in virtue of what does an agent refer to one natural kind rather than another? Peter Lipton answers the first question by articulating the model of inference to the best explanation. Lipton’s answer to the first question is appropriated as an answer to the second.Keywords: Reference; Explanation; Natural kind; Qua problem; Peter Lipton.

This paper argues that the types of intention can be modeled both as modal operators and via a multi-hyperintensional semantics. I delineate the semantic profiles of the types of intention, and provide a precise account of how the types of intention are unified in virtue of both their operations in a single, encompassing, epistemic space, and their role in practical reasoning. I endeavor to provide reasons adducing against the proposal that the types of intention are reducible to the mental states (...) of belief and desire, where the former state is codified by subjective probability measures and the latter is codified by a utility function. I argue, instead, that each of the types of intention -- i.e., intention-in-action, intention-as-explanation, and intention-for-the-future -- has as its aim the value of an outcome of the agent's action, as derived by her partial beliefs and assignments of utility, and as codified by the value of expected utility in evidential decision theory. (shrink)

This essay aims to redress the contention that epistemic possibility cannot be a guide to the principles of modal metaphysics. I introduce a novel epistemic two-dimensional truthmaker semantics. I argue that the interaction between the two-dimensional framework and the mereological parthood relation, which is super-rigid, enables epistemic possibilities and truthmakers with regard to parthood to be a guide to its metaphysical profile. I specify, further, a two-dimensional formula encoding the relation between the epistemic possibility and verification of essential properties obtaining (...) and their metaphysical possibility or verification. I then generalize the approach to haecceitistic properties, and examine the Julius Caesar problem as a test case. (shrink)

I articulate the challenge disagreement poses for epistemic contextualism, and then discuss several possible replies on behalf of the contextualist.

By creating certain marks on paper, or by making certain sounds-breathing past a moving tongue-or by articulation of hands and bodies, language users can give expression to their mental lives. With language we command, assert, query, emote, insult, and inspire. Language has meaning. This fact can be quite mystifying, yet a science of linguistic meaning-semantics-has emerged at the intersection of a variety of disciplines: philosophy, linguistics, computer science, and psychology. Semantics is the study of meaning. But what exactly is "meaning"? (...) What is the exact target of semantic theory? Much of the early work in natural language semantics was accompanied by extensive reflection on the aims of semantic theory, and the form a theory must take to meet those aims. But this meta-theoretical reflection has not kept pace with recent theoretical innovations. This volume re-addresses these questions concerning the foundations of natural language semantics in light of the current state-of-the-art in semantic theorising. (shrink)

Semantic gaps between physical and mental discourse include the 'explanatory', 'epistemic' (Black-and-White Mary), and 'suppositional' (zombies) gaps; protosemantics is concerned with what is fundamental to meaning. Our tradition presupposes a truth-based protosemantics, with disastrous consequences for interpreting the semantic gaps: nonphysicalism, epiphenomenalism, separatism. Fortunately, an endorsement-based protosemantics, recentering meaning from the world to the mind, is technically viable, intuitively more plausible, and empirically more adequate. But, of present significance, it makes room for interpreting mental discourse as expressing simulations: this blocks (...) the disastrous consequences; and, as a bonus, accommodates hitherto anomalous asymmetries among the various semantic gaps. (shrink)

Among the most remarkable developments in metaphysics since the 1950’s is the explosion of philosophical interest in possible worlds. This paper proposes an explanation of what possible worlds are, and argues that this proposal, the interpreted models conception, should be attractive to anyone who thinks that modal facts are primitive, and so not to be explained in terms of some non-modal notion of “possible world.” I articulate three constraints on any acceptable primitivist explanation of the nature of possible worlds, and (...) show that the interpreted models conception meets the three constraints. (shrink)

In this paper I revive two important formal approaches to the interpretation of natural language, that of Montague and that of Karttunen and Peters. Armed with insights from dynamic semantics (Heim, Krifka) the two turn out to stand up against age-old criticisms in an orthodox fashion. The plan is mainly methodological, as I only want to illustrate the technical feasibility of the revived proposals. Even so, there are illuminating and welcome empirical consequences on the subject of scope islands (as discussed (...) by Abusch and Kratzer, among many others), as well as unintended theoretical implications in the contextualist debate (Grice, Recanati, Simons, Stanley, and many others again). (shrink)

Causal pluralists hold that that there is not just one determinate kind of causation. Some causal pluralists hold that ‘cause’ is ambiguous among these different kinds. For example, Hall (2004) argues that ‘cause’ is ambiguous between two causal relations, which he labels dependence and production. The view that ‘cause’ is ambiguous, however, wrongly predicts zeugmatic conjunction reduction, and wrongly predicts the behaviour of ellipsis in causal discourse. So ‘cause’ is not ambiguous. If we are to disentangle causal pluralism from the (...) ambiguity claim, we need to consider what other linguistic approaches are available to the causal pluralist. I consider and reject proposals that ‘cause’ is a general term, that the term is an indexical, and that the term conveys different kinds of causation through implicature or presupposition. Finally, I argue that causal pluralism is better handled by treating ‘cause’ as a univocal term within a dynamic interpretation framework. (shrink)

This paper presents and advocates an approach to the semantics of opinion statements, including matters of personal taste and moral claims. In this framework, ‘outlook-based semantics’, the circumstances of evaluation are not composed of a possible world and a judge ; rather, outlooks replace possible worlds in the role of circumstance of evaluation. Outlooks are refinements of worlds that settle not only matters of fact but also matters of opinion. Several virtues of the framework and advantages over existing implementations of (...) world-judge relativism are demonstrated in this paper. First, world-judge relativism does not actually explain the ‘disagreement’ of ‘faultless disagreement’, while a straightforward explanation suggests itself in outlook-based semantics. Second, outlook-based semantics provides an account of subjective attitude verbs that can capture lack of opinionatedness. Third, outlook-based semantics unproblematically explains the connection-building role of aesthetic discourse and the group-relevance of discretionary assertions, while capturing the same effects in world-judge relativism obviates the purpose of the judge parameter. Finally, because the proposed circumstances of evaluation are entirely analogous to possible worlds, the framework is easy to use and extend. (shrink)

This paper distinguishes between definiteness and determinacy. Definiteness is seen as a morphological category which, in English, marks a uniqueness presupposition, while determinacy consists in denoting an individual. Definite descriptions are argued to be fundamentally predicative, presupposing uniqueness but not existence, and to acquire existential import through general type-shifting operations that apply not only to definites, but also indefinites and possessives. Through these shifts, argumental definite descriptions may become either determinate or indeterminate. The latter option is observed in examples like (...) ‘Anna didn’t give the only invited talk at the conference’, which, on its indeterminate reading, implies that there is nothing in the extension of ‘only invited talk at the conference’. The paper also offers a resolution of the issue of whether possessives are inherently indefinite or definite, suggesting that, like indefinites, they do not mark definiteness lexically, but like definites, they typically yield determinate readings due to a general preference for the shifting operation that produces them. (shrink)

Reliabilism about epistemic justification - the thesis that what makes a belief epistemically justified is that it was produced by a reliable process of belief-formation - must face two problems. First, what has been called "the new evil demon problem", which arises from the idea that the beliefs of victims of an evil demon are as justified as our own beliefs, although they are not - the objector claims - reliably produced. And second, the problem of diagnosing why skepticism is (...) so appealing despite being false. I present a special version of reliabilism, "indexical reliabilism", based on two-dimensional semantics, and show how it can solve both problems. (shrink)

Formal pragmatics plays an important, though secondary, role in modern analytical philosophy of language: its aim is to explain how context can affect the meaning of certain special kinds of utterances. During recent years, the adequacy of formal tools has come under attack, often leading to one or another form of relativism or antirealism.1 Our aim will be to extend the critique to formal pragmatics while showing that sceptical conclusions can be avoided by developing a different approach to the issues. (...) In particular, we will show that formal pragmatics cannot provide a complete account of how context affects the meaning of utterances, both on its own terms and when faced with evidence of important aspects of natural languages. The focal issue is the relevant kind of context in which pragmatics should examine utterances. Our contention will be that the relevant context of an utterance is determined by the function of that utterance, this function being dependent upon the primary function of language – to convey information. We will argue that the functions of utterances and of language are too broad to be caught by the tools of formal pragmatics of the sort advocated by Montague (1968, 1974), which are an extension the methods of traditional model-theoretic semantics.2 The particular formal approach we will use as the main example is David Kaplan’s position (1979, 1989),3 an extension of Montague’s program. (shrink)

Modal rationalism is the claim that for any proposition p, if it is ideally conceivable that p, then there is a metaphysically possible world, W, in which p is true. If true, modal rationalism must itself be an a priori truth. Moreover, modal rationalism is true just if there are no strong a posteriori necessities. But are there any strong necessities? In this paper, I set out a transcendental argument to show that there cannot be any, because they are not (...) genuinely conceivable. I argue that if it were ideally conceivable that there are strong necessities, then it would be impossible for us to have any modal knowledge of the world. Given that we do have some modal knowledge of the world, it follows that strong necessities are not ideally conceivable and therefore that modal rationalism itself is an a priori truth. (shrink)

The preface paradox does not show that it can be rational to have inconsistent beliefs, because preface writers do not have inconsistent beliefs. I argue, first, that a fully satisfactory solution to the preface paradox would have it that the preface writer's beliefs are consistent. The case here is on basic intuitive grounds, not the consequence of a theory of rationality or of belief. Second, I point out that there is an independently motivated theory of belief – sensitivism – which (...) allows such a solution. I sketch a sensitivist account of the preface writer's doxastic state. (shrink)

Strawson :96–118, 1964) argued that definite NPs trigger presuppositions as an aspect of their conventional meanings, and this semantic conception of presupposition triggers is incorporated into the binding theory of presuppositions. The phenomenon of presupposition denials, however, presents a problem for the semantic conception of presupposition triggers, for in such denials the alleged semantic presuppositions seem to be “cancelled” by a negation operator. Geurts :274–307, 1998; Presupposition and pronouns, 1999) attempts to solve this problem by utilizing the binding theory’s allowance (...) for local accommodation. Geurts’ proposal, however, is inadequate, primarily because Geurts formulates the binding theory within discourse representation theory, which makes no allowance for the illocutionary force of denial. Asher and Lascarides’ segmented discourse representation theory, however, has the resources to account for the illocutionary force of denial. Utilizing a version of SDRT I demonstrate that the “cancelling” of a presupposition by echoic negation in presupposition denials crucially depends upon the denial of information that is pragmatically communicated by accommodation. (shrink)

For people to contribute to discourse, they must do more than utter the right sentence at the right time. The basic requirement is that they add to their common ground in an orderly way. To do this, we argue, they try to establish for each utterance the mutual belief that the addressees have understood what the speaker meant well enough for current purposes. This is accomplished by the collective actions of the current contributor and his or her partners, and these (...) result in units of conversation called contributions. We present a model of contributions and show how it accounts for a variety of features of everyday conversations. (shrink)

This paper argues for a treatment of belief as essentially sensitive to certain features of context. The first part gives an argument that we must take belief to be context-sensitive in the same way that assertion is, if we are to preserve appealing principles tying belief to sincere assertion. In particular, whether an agent counts as believing that p in a context depends on the space of alternative possibilities the agent is considering in that context. One and the same doxastic (...) state may amount to belief that p in one context but not another. The second part of the paper gives a formal treatment of doxastic states, according to which belief is context-sensitive along just these lines. The model is applied to characterize (but not to refute) skeptical arguments. (shrink)

Traditional approaches to the semantics of questions analyze questions indirectly, via the notion of an answer. In recent work on inquisitive semantics, a different perspective is taken: the meaning of a question is equated with its resolution conditions, just like the meaning of a statement is traditionally equated with its truth-conditions. In this paper I argue that this proposal improves on previous approaches, combining the formal elegance and explanatory power of Groenendijk and Stokhof’s partition theory with the greater generality afforded (...) by answer-set theories. (shrink)

This paper investigates a generalized version of inquisitive semantics. A complete axiomatization of the associated logic is established, the connection with intuitionistic logic and several intermediate logics is explored, and the generalized version of inquisitive semantics is argued to have certain advantages over the system that was originally proposed by Groenendijk (2009) and Mascarenhas (2009).

The presupposition triggered by an expression E is generally satisfied by information that comes before rather than after E in the sentence or discourse. In Heim’s classic theory (1983), this left-right asymmetry is encoded in the lexical semantics of dynamic connectives and operators. But several recent analyses offer a more nuanced approach, in which presupposition satisfaction has two separate components: a general principle (which varies from theory to theory) specifies under what conditions a presupposition triggered by an expression E is (...) satisfied; and an ‘incremental’ component specifies that the principle must be checked on the basis of information that comes before E. Several researchers take this incremental component to be a processing bias, which can be overcome at some cost. If so, it should be possible, though costly, to satisfy presuppositions ‘symmetrically’, i.e. by taking into account linguistic material that comes both before and after the presupposition trigger. We test this claim with experimental means. Using inferential (and to some extent acceptability) tasks involving the anaphoric trigger aussi (‘too’) in French, we argue that symmetric readings are indeed possible (albeit degraded) in environments involving the connectives if, or, and unless. (shrink)

Two-dimensional approaches to semantics, broadly understood, recognize two "dimensions" of the meaning or content of linguistic items. On these approaches, expressions and their utterances are associated with two different sorts of semantic values, which play different explanatory roles. Typically, one semantic value is associated with reference and ordinary truth-conditions, while the other is associated with the way that reference and truth-conditions depend on the external world. The second sort of semantic value is often held to play a distinctive role in (...) analyzing matters of cognitive significance and/or context-dependence. (shrink)

I resolve the major challenge to an Expressivist theory of the meaning of normative discourse: the Frege–Geach Problem. Drawing on considerations from the semantics of directive language (e.g., imperatives), I argue that, although certain forms of Expressivism (like Gibbard’s) do run into at least one version of the Problem, it is reasonably clear that there is a version of Expressivism that does not.

What is involved in the meaning of our expressions? Frege suggested that there is an aspect of an expression.

In this paper I will develop a view about the semantics of imperatives, which I term Modal Noncognitivism, on which imperatives might be said to have truth conditions (dispositionally, anyway), but on which it does not make sense to see them as expressing propositions (hence does not make sense to ascribe to them truth or falsity). This view stands against “Cognitivist” accounts of the semantics of imperatives, on which imperatives are claimed to express propositions, which are then enlisted in explanations (...) of the relevant logico-semantic phenomena. It also stands against the major competitors to Cognitivist accounts—all of which are non-truth-conditional and, as a result, fail to provide satisfying explanations of the fundamental semantic characteristics of imperatives (or so I argue). The view of imperatives I defend here improves on various treatments of imperatives on the market in giving an empirically and theoretically adequate account of their semantics and logic. It yields explanations of a wide range of semantic and logical phenomena about imperatives—explanations that are, I argue, at least as satisfying as the sorts of explanations of semantic and logical phenomena familiar from truth-conditional semantics. But it accomplishes this while defending the notion—which is, I argue, substantially correct—that imperatives could not have propositions, or truth conditions, as their meanings. (shrink)

Coordination between speakers in dialogue requires balancing repetition and change, the old and the new. Interlocutors tend to reuse established forms, relying on communicative precedents. Yet linguistic interaction also necessitates adaptation to changing contexts or dynamic tasks, which might favor abandoning existing precedents in favor of better communicative alternatives. We explored this tension using a maze game task in which individual participants and interacting pairs had to describe figures and their positions in one of two possible maze types: a regular (...) maze, in which the grid‐like structure of the maze is highlighted, and an irregular maze, in which specific parts of the maze are salient. Participants repeated this task several times. Both individuals and interacting pairs were affected by the different maze layouts, initially using more idiosyncratic description schemes for irregular mazes and more systematic schemes for regular mazes. Interacting pairs, but not individuals, abandoned their unsystematic initial descriptions in favor of a more systematic approach, which was better adapted for repeated interaction. Our results show communicative conventions are initially shaped by context, but interaction opens up the possibility for change if better alternatives are available. (shrink)

Statements about the future are central in everyday conversation and reasoning. How should we understand their meaning? The received view among philosophers treats will as a tense: in ‘Cynthia will pass her exam’, will shifts the reference time forward. Linguists, however, have produced substantial evidence for the view that will is a modal, on a par with must and would. The different accounts are designed to satisfy different theoretical constraints, apparently pulling in opposite directions. We show that these constraints are (...) jointly satisfied by a novel modal account of will. On this account, will is a modal but doesn't work as a quantifier over worlds. Rather, the meaning of will involves a selection function similar to the one used by Stalnaker in his semantics for conditionals. The resulting theory yields a plausible semantics and logic for will and vindicates our intuitive views about the attitudes that rational agents should have towards future-directed contents. (shrink)

It is a natural assumption in mainstream epistemological theory that ascriptions of knowledge of a proposition p track strength of epistemic position vis-à-vis p. It is equally natural to assume that the strength of one’s epistemic position is maximally high in cases where p concerns a simple analytic truth. For instance, it seems reasonable to suppose that one’s epistemic position vis-à-vis “a cat is a cat” is harder to improve than one’s position vis-à-vis “a cat is on the mat”, and (...) consequently, that the former is at least as unambiguous a case of knowledge as the latter. The current paper, however, presents empirical evidence which challenges this intuitive line of reasoning. Our study on the epistemic intuitions of hundreds of academic philosophers supports the idea that simple and uncontroversial analytic propositions are less likely to qualify as knowledge than empirical ones. We show that our results, though at odds with orthodox theories of knowledge in mainstream epistemology, can be explained in a way consistent with Wittgenstein’s remarks on ‘hinge propositions’ or with Stalnaker’s pragmatics of assertion. We then present and evaluate a number of lines of response mainstream theories of knowledge could appeal to in accommodating our results. Finally, we show how each line of response runs into some prima facie difficulties. Thus, our observed asymmetry between knowing “a cat is a cat” and knowing “a cat is on the mat” presents a puzzle which mainstream epistemology needs to resolve. (shrink)

An account of meta-epistemic defeaters—distinct from traditional epistemic defeaters—is motivated and defended, drawing from case studies involving epistemic error-theory and epistemic relativism. Mechanisms of traditional epistemic defeat and meta-epistemic defeat are compared and contrasted, and some new puzzles are introduced.

Philosophers of language and linguists tend to think of the interpreter as an essentially non-creative participant in the communicative process. There’s no room, in traditional theories, for the view that correctness of interpretation depends in some essential way on the interpreter. As a result, there’s no room for the possibility that while P is the correct interpretation of an utterance, u, for one interpreter, P* is the correct interpretation of that utterance for another interpreter. Recently, a number of theorists have, (...) for separate reasons, argued in favour of a radically different view of communication – a view in which the interpreter and her context play what should be thought of as a content-creating role. According to such views, natural languages contain what I’ll call interpretation sensitive terms: terms the correct interpretation of which varies across interpreters (or, more generally, contexts of interpretation).3 An interpretation sensitive sentence can have one content relative to one interpreter and another content relative to another interpreter. This paper is a development and (partial) defence of the view that interpretation sensitivity is ubiquitous in natural language. I call the view that there are interpretation sensitive terms content relativism. Before starting the discussion of content relativism, it is worth pointing out that recent attempts to develop semantically motivated versions of truth relativism should be seen as part of this trend of giving the interpreter a more active role. (shrink)

Thanks to David Kaplan (1989a, 1989b), we all know how to handle indexicals like ‘I’. ‘I’ doesn’t refer to an object simpliciter; rather, it refers to an object only relative to a context. In particular, relative to a context C, ‘I’ refers to the agent of C. Since different contexts can have different agents, ‘I’ can refer to different objects relative to different contexts. For example, relative to a context cwhose agent is Gottlob Frege, ‘I’ refers to Frege; relative to (...) a context 0* whose agent is Alexius.. (shrink)

Moral relativism provides a compelling explanation of linguistic data involving ordinary moral expressions like 'right' and 'wrong'. But it is a very radical view. Because relativism relativizes sentence truth to contexts of assessment it forces us to revise standard linguistic theory. If, however, no competing theory explains all of the evidence, perhaps it is time for a paradigm shift. However, I argue that a version of moral contextualism can account for the same data as relativism without relativizing sentence truth to (...) contexts of assessment. This version of moral contextualism is thus preferable to relativism on methodological grounds. (shrink)

This paper presents a comprehensive pragmatic theory of contrastive topic and its relation to focus in English. In discussing various constructions involving contrastive topics, it argues that they make reference to complex, hierarchical aspects of discourse structure. In this, it follows and spells out a proposal sketched in Roberts (1996, p. 121ff),using the formal tools found in Büring (1994,1997b). It improves on existing accounts in the accuracy with which it predicts the non-occurrence of the accent patterns associated with focus and (...) contrastive topic, and locates the analysis of contrastive topicswithin a broader picture of discourse and information structure. (shrink)