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.

This paper is about conjunctions and disjunctions in the scope of non-doxastic atti- tude verbs. These constructions generate a certain type of ignorance implicature. I argue that the best way to account for these implicatures is by appealing to a notion of contex- tual redundancy (Schlenker, 2008; Fox, 2008; Mayr and Romoli, 2016). This pragmatic approach to ignorance implicatures is contrasted with a semantic account of disjunctions under `wonder' that appeals to exhausti cation (Roelofsen and Uegaki, 2016). I argue that (...) exhausti cation-based theories cannot handle embedded conjunctions, so a pragmatic account of ignorance implicatures is superior. (shrink)

Abstract According to an influential theory, English tenses are anaphoric to an aforementioned reference point. This point is sometimes construed as a time (e.g. Reichenbach 1947, Partee 1973, Stone 1997) and sometimes as an event (e.g. Kamp 1979, 1981, Webber 1988). Moreover, some researchers draw semantic parallels between tenses and pronouns (e.g. Partee 1973, 1984, Stone 1997), whereas others draw parallels between tenses and anaphorically anchored (in)definite descriptions (e.g. Webber 1988). This paper proposes a unified approach.

Featured course on "Dynamic Semantics" at NASSLLI 2016. Day 3: Indexicality. Abstract: Cross-linguistic evidence shows that indexicality, too, crucially involves context change. Speaking up focuses attention on that event and thereby makes it available for discourse reference (by "i", "you", etc). In Kalaallisut, this explains parallel grammatical marking of indexical reference and topic-oriented anaphora. Moreover, shiftable indexicals in Slavey show that certain expressions, e.g. attitude verbs, may update the top perspectival discourse referent from the speech event to an attitude state.

The theory of imperatives is philosophically relevant since in building it — some of the long standing problems need to be addressed, and presumably some new ones are waiting to be discovered. The relevance of the theory of imperatives for philosophical research is remarkable, but usually recognized only within the field of practical philosophy. Nevertheless, the emphasis can be put on problems of theoretical philosophy. Proper understanding of imperatives is likely to raise doubts about some of our deeply entrenched and (...) tacit presumptions. In philosophy of language it is the presumption that declaratives provide the paradigm for sentence form; in philosophy of science it is the belief that theory construction is independent from the language practice, in logic it is the conviction that logical meaning relations are constituted out of logical terminology, in ontology it is the view that language use is free from ontological commitments. The list is not exhaustive; it includes only those presumptions that this paper concerns. (shrink)

1 Logic in philosophy The century that was Logic has played an important role in modern philosophy, especially, in alliances with philosophical schools such as the Vienna Circle, neopositivism, or formal language variants of analytical philosophy. The original impact was via the work of Frege, Russell, and other pioneers, backed up by the prestige of research into the foundations of mathematics, which was fast bringing to light those amazing insights that still impress us to-day. The Golden Age of the 1930s (...) deeply affected philosophy, and heartened the minority of philosophers with a formalanalytical bent. As Brand Blanshard writes in Reason and Analysis (1964) – I quote from memory here, to avoid the usual disappointment when re-reading an original text. (shrink)

In the last few years, preference logic and in particular, the dynamic logic of preference change, has suddenly become a live topic in my Amsterdam and Stanford environments. At the request of the editors, this article explains how this interest came about, and what is happening. I mainly present a story around some recent dissertations and supporting papers, which are found in the references. There is no pretense at complete coverage of preference logic (for that, see Hanson 2001) or even (...) of preference change (Hanson 1995). (shrink)

No existing conditional semantics captures the dual role of 'if' in embedded interrogatives — 'X wonders if p' — and conditionals. This paper presses the importance and extent of this challenge, linking it to cross-linguistic patterns and other phenomena involving conditionals. Among these other phenomena are conditionals with multiple 'if'-clauses in the antecedent — 'if p and if q, then r' — and relevance conditionals — 'if you are hungry, there is food in the cupboard'. Both phenomena are shown to (...) be problematic for existing analyses. Surprisingly, the decomposition of conditionals needed to capture the link with interrogatives provides a new analysis that captures all three phenomena. The model-theoretic semantics offered here relies on a dynamic conception of meaning and compositionality, a feature discussed throughout. (shrink)

Epistemic modals have peculiar logical features that are challenging to account for in a broadly classical framework. For instance, while a sentence of the form ‘p, but it might be that not p’ appears to be a contradiction, 'might not p' does not entail 'not p', which would follow in classical logic. Likewise, the classical laws of distributivity and disjunctive syllogism fail for epistemic modals. Existing attempts to account for these facts generally either under- or over-correct. Some theories predict that (...) 'p and might not p', a so-called epistemic contradiction, is a contradiction only in an etiolated sense, under a notion of entailment that does not allow substitution of logical equivalents; these theories underpredict the infelicity of embedded epistemic contradictions. Other theories savage classical logic, eliminating not just rules that intuitively fail, like distributivity and disjunctive syllogism, but also rules like non-contradiction, excluded middle, De Morgan’s laws, and disjunction introduction, which intuitively remain valid for epistemic modals. In this paper, we aim for a middle ground, developing a semantics and logic for epistemic modals that makes epistemic contradictions genuine contradictions and that invalidates distributivity and disjunctive syllogism but that otherwise preserves classical laws that intuitively remain valid. We start with an algebraic semantics, based on ortholattices instead of Boolean algebras, and then propose a more concrete possibility semantics, based on partial possibilities related by compatibility. Both semantics yield the same consequence relation, which we axiomatize. Then we show how to extend our semantics to explain parallel phenomena involving probabilities and conditionals. The goal throughout is to retain what is desirable about classical logic while accounting for the non-classicality of epistemic vocabulary. (shrink)

Many languages grammatically mark evidentiality, i.e., the source of information. In assertions, evidentials indicate the source of information of the speaker while in questions they indicate the expected source of information of the addressee. This dissertation examines the semantics and pragmatics of evidentiality and illocutionary mood, set within formal theories of meaning and discourse. The empirical focus is the evidential system of Cheyenne (Algonquian: Montana), which is analyzed based on several years of fieldwork by the author.

We propose a new analysis of ability modals. After briefly criticizing extant approaches, we turn our attention to the venerable but vexed conditional analysis of ability ascriptions. We give an account that builds on the conditional analysis, but avoids its weaknesses by incorporating a layer of quantification over a contextually supplied set of actions.

Ordinary Language Philosophy has largely fallen out of favour, and with it the belief in the primary importance of analyses of ordinary language for philosophical purposes. Still, in their various endeavours, philosophers not only from analytic but also from other backgrounds refer to the use and meaning of terms of interest in ordinary parlance. In doing so, they most commonly appeal to their own linguistic intuitions. Often, the appeal to individual intuitions is supplemented by reference to dictionaries. In recent times, (...) Internet search engine queries for expressions of interest have become quite popular. Apparently, philosophers attempt to surpass the limits of their own linguistic intuitions by appealing to experts or to factual uses of language. I argue that this attempt is commendable but that its execution is wanting. Instead of appealing to dictionaries or Internet queries, philosophers should employ computer-based linguistic corpora in order to confirm or falsify hypotheses about the factual use of language. This approach also has some advantages over methods employed by experimental philosophers. If the importance of ordinary language is stressed, the use of linguistic corpora is hardly avoidable. (shrink)

This paper presents a recent formalization of a Henkin-style completeness proof for the propositional modal logic S5 using the Lean theorem prover. The proof formalized is close to that of Hughes and Cresswell, but the system, based on a different choice of axioms, is better described as a Mendelson system augmented with axiom schemes for K, T, S4, and B, and the necessitation rule as a rule of inference. The language has the false and implication as the only primitive logical (...) connectives and necessity as the only primitive modal operator. The full source code is available online and has been typechecked with Lean 3.4.2. (shrink)

This paper overviews some recent work on the semantics and pragmatics of arguments.

This research discusses Bernard Williams' critique of utilitarianism. I will address Williams' well-known “Integrity Objection” and clarify where his main issue with utilitarianism lies. Through this, I will demonstrate that the separation of the two viewpoints – the “inside viewpoint” and the “impartial viewpoint” - is the issue, as the utilitarian impartial viewpoint does not capture the value of ethical deliberations based on our inside viewpoint in which we presuppose our personal projects. Furthermore, I will argue that this interpretation enables (...) us to place the objection in the context of the critique of impartiality which is one of the central themes of Williams’ ethics. (shrink)

§§3-4 of the Begriffsschrift present Frege’s objections to a dominant if murky nineteenth-century semantic picture. I sketch a minimalist variant of the pre-Fregean picture which escapes Frege’s criticisms by positing a thin notion of semantic content which then interacts with a multiplicity of kinds of truth to account for phenomena such as modality. After exploring several ways in which we can understand the existence of multiple truth properties, I discuss the roles of pointwise and setwise truth properties in modal logic. (...) I argue that thinking of supertruth and determinate truth as setwise truth properties allows an understanding of supervaluationist approaches to vagueness which escapes both Williamson’s objections to and a needless metalinguistic orientation of traditional supervaluationism. (shrink)

We offer an analysis of future morphemes as epistemic operators. The main empirical motivation comes from the fact that future morphemes have systematic purely epistemic readings—not only in Greek and Italian, but also in Dutch, German, and English will. The existence of epistemic readings suggests that the future expressions quantify over epistemic, not metaphysical alternatives. We provide a unified analysis for epistemic and predictive readings as epistemic necessity, and the shift between the two is determined compositionally by the lower tense. (...) Our account thus acknowledges a systematic interaction between modality and tense—but the future itself is a pure modal, not a mixed temporal/modal operator. We show that the modal base of the future is nonveridical, i.e. it includes p and ¬p worlds, parallel to epistemic modals such as must, and present arguments that future morphemes are a category that stands in between epistemic modals and predicates of personal taste. We identify, finally, a subclass of epistemic futures which are ratificational, and argue that will is a member of this class. (shrink)

This chapter presents a new semantics for inductive empirical knowledge. The epistemic agent is represented concretely as a learner who processes new inputs through time and who forms new beliefs from those inputs by means of a concrete, computable learning program. The agent’s belief state is represented hyper-intensionally as a set of time-indexed sentences. Knowledge is interpreted as avoidance of error in the limit and as having converged to true belief from the present time onward. Familiar topics are re-examined within (...) the semantics, such as inductive skepticism, the logic of discovery, Duhem’s problem, the articulation of theories by auxiliary hypotheses, the role of serendipity in scientific knowledge, Fitch’s paradox, deductive closure of knowability, whether one can know inductively that one knows inductively, whether one can know inductively that one does not know inductively, and whether expert instruction can spread common inductive knowledge—as opposed to mere, true belief—through a community of gullible pupils. (shrink)

Contemporary natural-language semantics began with the assumption that the meaning of a sentence could be modeled by a single truth condition, or by an entity with a truth-condition. But with the recent explosion of dynamic semantics and pragmatics and of work on non- truth-conditional dimensions of linguistic meaning, we are now in the midst of a shift away from a truth-condition-centric view and toward the idea that a sentence’s meaning must be spelled out in terms of its various roles in (...) conversation. This communicative turn in semantics raises historical questions: Why was truth-conditional semantics dominant in the first place, and why were the phenomena now driving the communicative turn initially ignored or misunderstood by truth-conditional semanticists? I offer a historical answer to both questions. The history of natural-language semantics—springing from the work of Donald Davidson and Richard Montague—began with a methodological toolkit that Frege, Tarski, Carnap, and others had created to better understand artificial languages. For them, the study of linguistic meaning was subservient to other explanatory goals in logic, philosophy, and the foundations of mathematics, and this subservience was reflected in the fact that they idealized away from all aspects of meaning that get in the way of a one-to-one correspondence between sentences and truth-conditions. The truth-conditional beginnings of natural- language semantics are best explained by the fact that, upon turning their attention to the empirical study of natural language, Davidson and Montague adopted the methodological toolkit assembled by Frege, Tarski, and Carnap and, along with it, their idealization away from non-truth-conditional semantic phenomena. But this pivot in explana- tory priorities toward natural language itself rendered the adoption of the truth-conditional idealization inappropriate. Lifting the truth-conditional idealization has forced semanticists to upend the conception of linguistic meaning that was originally embodied in their methodology. (shrink)

I defend the view that linguistic meaning is a relation borne by an expression to a type of speech act, and that this relation holds in virtue of our overlapping communicative dispositions, and not in virtue of linguistic conventions. I argue that this theory gives the right account of the semantics–pragmatics interface and the best-available semantics for non-declarative clauses, and show that it allows for the construction of a rigorous compositional semantic theory with greater explanatory power than both truth-conditional and (...) dynamic semantics. (shrink)

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

I demonstrate that a "speech act" theory of meaning for imperatives is—contra a dominant position in philosophy and linguistics—theoretically desirable. A speech act-theoretic account of the meaning of an imperative !φ is characterized, broadly, by the following claims. -/- LINGUISTIC MEANING AS USE !φ’s meaning is a matter of the speech act an utterance of it conventionally functions to express—what a speaker conventionally uses it to do (its conventional discourse function, CDF). -/- IMPERATIVE USE AS PRACTICAL !φ's CDF is to (...) express a practical (non-representational) state of mind—one concerning an agent's preferences and plans, rather than her beliefs. -/- Opposed to speech act accounts is a preponderance of views which deny that a sentence's linguistic meaning is a matter of what speech act it is used to perform, or its CDF. On such accounts, meaning is, instead, a matter of "static" properties of the sentence—e.g., how it depicts the world as being (or, more neutrally, the properties of a model-theoretic object with which the semantic value of the sentence co-varies). On one version of a static account, an imperative 'shut the window!' might, for instance, depict the world as being such that the window must be shut. -/- Static accounts are traditionally motivated against speech act-theoretic accounts by appeal to supposedly irremediable explanatory deficiencies in the latter. Whatever a static account loses in saying (prima facie counterintuitively) that an imperative conventionally represents, or expresses a picture of the world, is said to be offset by its ability to explain a variety of phenomena for which speech act-theoretic accounts are said to lack good explanations (even, in many cases, the bare ability to offer something that might meet basic criteria on what a good explanation should be like). -/- I aim to turn the tables on static accounts. I do this by showing that speech act accounts are capable of giving explanations of phenomena which fans of static accounts have alleged them unable to give. Indeed, for a variety of absolutely fundamental phenomena having to do with the conventional meaning of imperatives (and other types of practical language), speech act accounts provide natural and theoretically satisfying explanations, where a representational account provides none. (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)

The paper sketches the place of dynamic semantics within a broader picture of developments in philosophical and linguistic theories of meaning. Some basic concepts of dynamic semantics are illustrated by means of a detailed analysis of anaphoric definite and indefinite descriptions, which are treated as contextually dependent quantificational expressions. It is shown how a dynamic view sheds new light on the contextual nature of interpretation, on the difference between monologue and dialogue, and on the interplay between direct and indirect information.

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)

This article focuses on foundational issues in dynamic and static semantics, specifically on what is conceptually at stake between the dynamic framework and the truth-conditional framework, and consequently what kinds of evidence support each framework. The article examines two questions. First, it explores the consequences of taking the proposition as central semantic notion as characteristic of static semantics, and argues that this is not as limiting in accounting for discourse dynamics as many think. Specifically, it explores what it means for (...) a static semantics to incorporate the notion of context change potential in a dynamic pragmatics and denies that this conception of static semantics requires that all updates to the context be eliminative and distributive. Second, it argues that the central difference between the two frameworks is whether semantics or pragmatics accounts for dynamics, and explores what this means for the oft-heard claim that dynamic semantics blurs the semantics/pragmatics distinction. (shrink)

This paper proposes a semantics for free choice permission that explains both the non-classical behavior of modals and disjunction in sentences used to grant permission, and their classical behavior under negation. It also explains why permissions can expire when new information comes in and why free choice arises even when modals scope under disjunction. On the proposed approach, deontic modals update preference orderings, and connectives operate on these updates rather than propositions. The success of this approach stems from its capacity (...) to capture the difference between expressing the preferences that give rise to permissions and conveying propositions about those preferences. (shrink)

Featured course on "Dynamic Semantics" at NASSLLI 2016. Day 1: Introduction. Abstract: Dynamic semantics is a family of semantic theories that seek to explicate the intuition that saying something changes the context for what follows. We survey the development of formal semantics from static to dynamic formalisms since 1970s. Throughout, we highlight natural language phenomena that motivate dynamic semantics, and the key pre-theoretical concepts -- information state, update, and discourse referent -- which can be implemented in different ways and thus (...) lead to various dynamic logics. (shrink)

This paper motivates and develops a novel semantic framework for deontic modals. The framework is designed to shed light on two things: the relationship between deontic modals and substantive theories of practical rationality and the interaction of deontic modals with conditionals, epistemic modals and probability operators. I argue that, in order to model inferential connections between deontic modals and probability operators, we need more structure than is provided by classical intensional theories. In particular, we need probabilistic structure that interacts directly (...) with the compositional semantics of deontic modals. However, I reject theories that provide this probabilistic structure by claiming that the semantics of deontic modals is linked to the Bayesian notion of expectation. I offer a probabilistic premise semantics that explains all the data that create trouble for the rival theories. (shrink)

We propose a semantic analysis of the particles afinal (European Portuguese) and alla fine (Italian) in terms of the notion of truth unpersistence, which combines both epistemic modality and constraints on discourse structure. We argue that the felicitous use of these modal particles requires that the truth of a proposition p* fail to persist through a temporal succession of epistemic states, where p* is incompatible with the proposition modified by afinal/alla fine, and that the interlocutors share knowledge of a previous (...) epistemic attitude toward p*. We analyze two main cases, that of plan-related propositions and that of propositions without plans. We also discuss the connections between truth unpersistence and evidentiality. (shrink)

Advocates of Expressivism about basically any kind of language are best-served by abandoning a traditional content-centric approach to semantic theorizing, in favor of an update-centric or dynamic approach (or so this paper argues). The type of dynamic approach developed here — in contrast to the content-centric approach — is argued to yield canonical, if not strictly classical, "explanations" of the core semantic properties of the connectives. (The cases on which I focus most here are negation and disjunction.) I end the (...) paper by describing a distinctive sense in which mental states might play a fundamental role in the practice of semantic theorizing (as I understand it), and I connect this to a distinctive account of the pragmatic function of, e.g., a normatively laden claim in discourse. (shrink)

Ontology is the study of what there is, what kinds of things make up reality. Ontology seems to be a very difficult, rather speculative discipline. However, it is trivial to conclude that there are properties, propositions and numbers, starting from only necessarily true or analytic premises. This gives rise to a puzzle about how hard ontological questions are, and relates to a puzzle about how important they are. And it produces the ontologyobjectivity dilemma: either (certain) ontological questions can be trivially (...) answered using only uncontroversial premises, or the uncertainties of ontology are really a threat to the truth of basically everything we say or believe. The main aim of this dissertation is to resolve these puzzles and to shed some light on the discipline of ontology. I defend a view inspired by Carnap’s internal-external distinction about what there is, but one according to which both internal and external questions are fully factual and meaningful. In particular, I argue that the trivial arguments are valid, but they do not answer any ontological questions. Furthermore, I propose an account of the function of our talk about properties, propositions and natural numbers. According to this account our talk about them has no ontological presuppositions for its literal and objective truth. This avoids the ontology-objectivity dilemma, and solves the puzzles about ontology. To do this I look at quantification and noun phrases in general, and at their relation to ontology. I argue that quantifiers are semantically underspecified in a certain respect, and play two different roles in communication. I discuss the relation between syntactic form and information structure, the function of certain non-referential, non-quantificational noun phrases, the uses of bare number determiners, and how arithmetic truths are learned and taught. The more metaphysical issues discussed include: inexpressible properties, logicism about arithmetic, nominalism, Carnap’s view about ontology, the problem of universals, the relationship between ontology and objectivity, different projects within ontology, non-existent.... (shrink)

In this paper I examine parallels between C.S. Peirce's most mature account of signs and contemporary philosophy of language. I do this by first introducing a summary of Peirce's final account of Signs. I then use that account of signs to reconstruct Peircian answers to two puzzles of reference: The Problem of Cognitive Significance, or Frege's Puzzle; and The Same-Saying Phenomenon for Indexicals. Finally, a comparison of these Peircian answers with both Fregean and Direct Referentialist approaches to the puzzles highlights (...) interesting parallels and important differences between Peirce's final account of signs, and the concepts used in analytic philosophy of language. (shrink)

The “dynamic turn” in semantic theory of natural language, which has been taking place roughly during the last decade, has resulted into seeing the meaning of a sentence as a “context-change-potential”, as a function which maps the set of possible contexts on itself. The development of theories of this kind has been stimulated especially by the effort to semantically cope with the anaphoric items of natural language . The most significant species of dynamic semantic theories are represented by Kamp´s “discourse (...) representations theory” and Groenendijk and Stokhof´s “dynamic logic”. The former sees sentences as means of building and rebuilding “discourse representations structures”; the latter, which tries to be an expressly logical objects to “discourse markers” into the same set. The paper presents basic principles of theories of both of these kinds and indicates how they can help us analyse natural language locutions involving anaphora. (shrink)

Deontic logic is standardly conceived as the logic of true statements about the existence of obligations and permissions. In his last writings on the subject, G. H. von Wright criticized this view of deontic logic, stressing the rationality of norm imposition as the proper foundation of deontic logic. The present paper is an attempt to advance such an account of deontic logic using the formal apparatus of update semantics and dynamic logic. That is, we first define norm systems and a (...) semantics of norm performatives as transformations of the norm system. Then a static modal logic for norm propositions is defined on that basis. In the course of this exposition we stress the performative nature of (i) free choice permission, (ii) the sealing legal principle and (iii) the social nature of permission. That is, (i) granting a disjunctive permission means granting permission for both disjuncts; (ii) non-prohibition does not entail permission, but the authority can declare that whatever he does not forbid is thereby permitted; and (iii) granting permission to one person means that all others are committed to not prevent the invocation of that permission. (shrink)

This paper is divided in five sections. Section 11.1 sketches the history of the distinction between speech act with negative content and negated speech act, and gives a general dynamic interpretation for negated speech act. “Downdate semantics” for AGM contraction is introduced in Section 11.2. Relying on semantically interpreted contraction, Section 11.3 develops the dynamic semantics for constative and directive speech acts, and their external negations. The expressive completeness for the formal variants of natural language utterances, none of which is (...) a retraction, has been proved in Section 11.4. The last section gives a laconic answer to the question posed in the title of the paper. (shrink)

Imperatives are linguistic devices used by an authority (speaker) to express wishes, requests, commands, orders, instructions, and suggestions to a subject (addressee). This essay's goal is to tentatively address some of the following questions about the imperative. -/- METASEMANTIC. What is the menu of options for understanding fundamental semantic notions like satisfaction, truth-conditions, validity, and entailment in the context of imperatives? Are there good imperative arguments, and, if so, how are they to be characterized? What are the options for understanding (...) the property that an account of good imperative arguments is supposed to track? What constraints on a semantic analysis of the imperative do different positions on the metasemantic issues impose? -/- SEMANTIC. How might we implement metasemantic postures in a rigorous formal system? How much can we do using familiar tools from deontic modal logic? How much leverage over semantic questions can we gain by introducing tools from natural language semantics—ordering sources, dyadic modal operators, salient alternatives, and the like—into a formal semantics for an imperative object language? How much leverage can we gain by introducing tools from rather less-utilized areas of modal logic—devices for representing actions and planning in time, modal operators constructed from action-terms, and the like—into the analysis? -/- DYNAMIC. How do imperatives succeed in performing the speech acts they are used to perform? How do imperatives update discourses? How can we leverage an account of imperative discourse update in giving a dynamic semantics for the imperative? Is there anything about the imperative that demands a dynamic semantic treatment? (shrink)

Most theories of conditionals and attitudes do not analyze either phenomenon in terms of the other. A few view attitude reports as a species of conditionals (e.g. Stalnaker 1984, Heim 1992). Based on evidence from Kalaallisut, this paper argues for the opposite thesis: conditionals are a species of attitude reports. The argument builds on prior findings that conditionals are modal topic-comment structures (e.g. Haiman 1978, Bittner 2001), and that in mood-based Kalaallisut English future (e.g. Ole will win) translates into a (...) factual report of a prospect-oriented attitudinal state (e.g. expectation or anxiety, see Bittner 2005). It is argued that in conditionals the antecedent introduces a topical subdomain of an input modal base (Kratzer 1981) and requires the consequent to comment. The comment is a factual report of an attitude to the topical antecedent sub-domain. [This paper was published in 2011 as "Time and modality without tenses or modals"]. (shrink)

Este texto tem como objetivo apresentar a principal motivação filosófica para se defender uma teoria causal da memória, que é explicar como pode um evento que se deu no passado estar relacionado a uma experiência mnêmica que se dá no presente. Para tanto, iniciaremos apresentando a noção de memória de maneira informal e geral, para depois apresentar elementos mais detalhados. Finalizamos apresentando uma teoria causal da memória que se beneficia da noção de veritação (truthmaking).

I provide an objection to an argument targeting the claim that epistemic modality concerns what is possible or necessary given what is known. The argument centers around uses of epistemic modals that co-occur with adjuncts of the form 'according to X', those in which the content of some reported information is at issue. I argue that such contexts do not license us to reach the sort of conclusion that the argument aims to reach.

Imperative sentences like Dance! do not seem to represent the world. Recent modal analyses challenge this idea, but its intuitive and historical appeal remain strong. This paper presents three new challenges for a non-representational analysis, showing that the obstacles facing it are even steeper than previously appreciated. I will argue that the only way for the non-representationalist to meet these three challenges is to adopt a dynamic semantics. Such a dynamic semantics is proposed here: imperatives introduce preferences between alternatives. This (...) characterization of meaning focuses on what function a sentence serves in discourse, rather than what that sentence refers to (e.g., a state of the world). By representing the meaning of imperatives, connectives and declaratives in a common dynamic format, the challenges posed for non-representationalism are met. (shrink)

This work explores the hypothesis that natural language is a tool for changing a language user's state of mind and, more specifically, the hypothesis that a sentence's meaning is constituted by its characteristic role in fulfilling this purpose. This view contrasts with the dominant approach to semantics due to Frege, Tarski and others' work on artificial languages: language is first and foremost a tool for representing the world. Adapted to natural language by Davidson, Lewis, Montague, et. al. this dominant approach (...) has crystalized as truth-conditional semantics: to know the meaning of a sentence is to know the conditions under which that sentence is true. Chapter 1 details the animating ideas of my alternative approach and shows that the representational function of language can be understood in terms of the more general function of changing representational mental states. Chapters 2-4 argue that the additional resources of this more general conception of meaning allow us to explain certain phenomena involving conditionals and grammatical mood that truth-conditional semantics does not. In the analysis of these specific phenomena and the articulation of the general approach on offer, it emerges that this approach combines insights and benefits from both use-theoretic and truth-theoretic work on meaning. (shrink)

Folklore has it that Sobel sequences favor a variably strict analysis of conditionals over its plainly strict alternative. While recent discussions for or against the lore have focussed on Sobel sequences involving counterfactuals, this paper draws attention to the fact that indicative Sobel sequences are just as felicitous as are their counterfactual cousins. The fact, or so I shall argue here, disrupts the folklore: given minimal assumptions about the semantics and pragmatics of indicative conditionals, a textbook variably strict analysis fails (...) to predict that indicative Sobel sequences are felicitous. The correct lesson to draw from Sobel sequences is that their felicity challenges classical implementations of the variably strict and of the plainly strict analysis alike. In response to this challenge I develop a dynamic strict analysis of conditionals that handles indicative Sobel sequences with grace while preserving intuitive constraints on the semantics and pragmatics of their members. A discussion of how such an analysis may handle the challenge from reverse Sobel sequences is provided. (shrink)

This paper discusses three potential varieties of update: updates to the common ground, structuring updates, and updates that introduce discourse referents. These different types of update are used to model different aspects of natural language phenomena. Not-at-issue information directly updates the common ground. The illocutionary mood of a sentence structures the context. Other updates introduce discourse referents of various types, including propositional discourse referents for at-issue information. Distinguishing these types of update allows a unified treatment of a broad range of (...) phenomena, including the grammatical evidentials found in Cheyenne (Algonquian) as well as English evidential parentheticals, appositives, and mood marking. An update semantics that can formalize all of these varieties of update is given, integrating the different kinds of semantic contributions into a single representation of meaning. (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)

This short essay attempts to challenge some of widely held philosophical assumptions on the nature of the relationship between logic, language and reality. In Section 1 the hegemony of theoretical logic is being questioned; Section 2 proposes a hypothesis on socially mediated semantics; Section 3 addresses the problem of ontology of logical sentential moods.

Presents a version of dynamic semantics for a language with presuppositions that predicts basic facts about presupposition projection in a non-stipulative way.