Discusses how to capture the link between the probability of indicative conditionals and conditional probability using a classical semantics for conditionals.

According to the alternative semantics for focus, the semantic reflec of intonational focus is a second semantic value, which in the case of a sentence is a set of propositions. We examine a range of semantic and pragmatic applications of the theory, and extract a unitary principle specifying how the focus semantic value interacts with semantic and pragmatic processes. A strong version of the theory has the effect of making lexical or construction-specific stipulation of a focus-related effect in association-with-focus constructions (...) impossible. Furthermore, while focus has a uniform import, the sources of meaning differences in association with focus are various. (shrink)

In this paper, I give an analysis of neg-raising inferences as scalar implicatures. The main motivation for this account as opposed to a presupposition-based approach like Gajewski (Linguist Philos 30(3):289–328, 2007) comes from the differences between presuppositions and neg-raising inferences. In response to this issue, Gajewski (2007) argues that neg-raising predicates are soft presuppositional triggers and adopts the account of how their presuppositions arise by Abusch (J Semantics 27(1):1–44, 2010). However, I argue that there is a difference between soft triggers (...) and neg-raising predicates in their behavior in embeddings; a difference that is straightforwardly accounted for in the present approach. Furthermore, by adopting Abusch’s (2010) account of soft triggers, Gajewski (2007) inherits the assumptions of a pragmatic principle of disjunctive closure and of a non-standard interaction between semantics and pragmatics—assumptions that are not needed by the present proposal, which is just based on a regular theory of scalar implicatures. I also show that the arguments that Gajewski (2007) presents in favor of the presuppositional account can be explained also by the scalar implicatures-based approach proposed here. Finally, while the main point of the paper is a comparison with the presuppositional account, I sketch a preliminary comparison with more syntactic approaches to neg-raising. (shrink)

This paper proposes a method for computing the temporal aspects of the interpretations of a variety of Germa sentences. The method is strictly modular in the sense that it allows each meaning-bearing sentence constituent to make its own, separate, contribution to the semantic representation of any sentence containing it. The semantic representation of a sentence is reached in several stages. First, an ‘initial semantic representation’ is constructed, using a syntactic analysis of the sentence as input. This initial representation is then (...) transformed into the definitive representation by a series of transformations which reflect the ways in which the contributions from different constituents of the sentence interact. Since the different constituents which make their respective contributions to the meaning of the sentence are in most instances ambiguous, the initial representations are typically of a high degree of underspecification. (shrink)

We evaluate the richness of the child’s input in semantics and its relation to the hypothesis space available to the child. Our case study is the acquisition of the universal quantifier every. We report two main findings regarding the acquisition of every on the basis of a corpus study of child-directed and child-ambient speech. Our first finding is that the input in semantics is rich enough to systematically eliminate instances of the subset problem of language acquisition: overly general hypotheses about (...) the meaning of every can violate pragmatic constraints, making such hypotheses incompatible with the child’s input. Our second finding is that the semantic input is too poor to eliminate instances of what we refer to as the superset problem, the mirror image of the subset problem. We argue that at least some overly specific hypotheses about the meaning of every are compatible with the child’s input, suggesting either that those hypotheses are not made available by UG or that non-trivial inductive biases are involved in children’s acquisition of every. (shrink)

A Russellian theory of (definite) descriptions takes an utterance of the form ‘The F is G' to express a purely general proposition that affirms the existence of a (contextually) unique F: there is exactly one F [which is C] and it is G. Strawson, by contrast, takes the utterer to presuppose in some sense that there is exactly one salient F, but this is not part of what is asserted; rather, when the presupposition is not met the utterance simply fails (...) to express a (true or false) proposition. A defender of Strawson's approach, however, must square up to what appear to be straightforward counterexamples to the presupposition thesis, and must also provide an account of certain linguistic phenomena that supposedly demand treating descriptions as quantifiers, as the Russellian theory does. In this paper I propose fresh considerations in favour of Strawson's approach. I shift attention from what the utterer presupposes to preconditions for the use of descriptions, and distinguish between referring and predicative uses of descriptions (not to be confused with referential and attributive uses); importantly, the referring and predicative uses have different preconditions, I argue, and these provide some satisfactory responses to the aforementioned challenges facing the Strawsonian. South African Journal of Philosophy Vol. 27 (3) 2008: pp. 242-257. (shrink)

Grice coined the term ‘conventional implicature’ in a short passage in ‘Logic and conversation’. The description is intuitive and deeply intriguing. The range of phenomena that have since been assigned this label is large and diverse. I survey the central factual motivation, arguing that it is loosely uni- fied by the idea that conventional implicatures contribute a separate dimen- sion of meaning. I provide tests for distinguishing conventional implicatures from other kinds of meaning, and I briefly explore ways in which (...) one can incorporate multiple dimensions of meaning into a single theory. (shrink)

This paper shows how to formulate moral error theories given a contextualist semantics like the one that Angelika Kratzer pioneered, answering the concerns that Christine Tiefensee developed.

Moral error theory is the doctrine that our first-order moral commitments are pervaded by systematic error. It has been objected that this makes the error theory itself a position in first-order moral theory that should be judged by the standards of competing first-order moral theories :87–139, 1996) and Kramer. Kramer: “the objectivity of ethics is itself an ethical matter that rests primarily on ethical considerations. It is not something that can adequately be contested or confirmed through non-ethical reasoning” [2009, 1]). (...) This paper shows that error theorists can resist this charge if they adopt a particular understanding of the presuppositions of moral discourse. (shrink)

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

We argue that formal linguistic theory, properly extended, can provide a unifying framework for diverse phenomena beyond traditional linguistic objects. We display applications to pictorial meanings, visual narratives, music, dance, animal communication, and, more abstractly, to logical and non-logical concepts in the ‘language of thought’ and reasoning. In many of these cases, a careful analysis reveals that classic linguistic notions are pervasive across these domains, such as for instance the constituency (or grouping) core principle of syntax, the use of logical (...) variables (for object tracking), or the variety of inference types investigated in semantics/pragmatics. The aim of this overview is to show how the application of formal linguistic concepts and methodology to non-linguistic objects yields non-trivial insights, thus opening the possibility of a general, precise theory of signs. (An appendix, found in the online supplements to this article, surveys applications of Super Linguistics to animal communication.). (shrink)

One of the big questions about indefinites is why they can escape scope islands. In the recent approach of Brasoveanu and Farkas :1–55, 2011) scopal relations with syntactically dominating quantifiers are hard wired into the semantic definition of the existential quantifier, which immediately explains why the semantic scope of indefinites may exceed their syntactic scope. In this paper, I argue for the revival of an alternative approach which places the explanatory burden on the idea that indefinites are essentially referential expressions, (...) similar to definites, and not plain existential quantifiers. I propose one fully explicit variant of such theories and argue that it comes with a number of conceptual and empirical advantages over competing theories. (shrink)

This paper investigates how the distribution of negative polarity items can inform our understanding of the underlying semantic representation of constituent questions. It argues that the distribution of NPIs in questions is governed by the same logical properties that govern their distribution in declarative constructions. Building on an observation due to Guerzoni and Sharvit that strength of exhaustivity in questions correlates with the acceptability of NPIs, I propose a revision of the semantics of questions that can explain this link in (...) terms already familiar from the literature of negative polarity, namely the availability of a local downward entailing environment. I argue for a new theory of questions that takes strength of exhaustivity to be encoded internal to the question nucleus rather than in different answer-hood operators. This switch, while conceptually a simple move, has far-reaching consequences in the domain of questions. I also show how this new analysis can account for a host of issues related to NPIs, such as the subject–object asymmetry noted by Han and Siegel, the interaction between NPIs and high versus low wh-adjuncts, the varying acceptability of NPIs in the restrictor of which-phrases, and the contrast between weak and strong NPIs. (shrink)

This paper addresses the question of whether the preverbal even (VP-even) embedded in a nonfinite clause can take wide scope (e.g., Bill refused to even drink WATER). The paper presents novel evidence for wide scope VP-even that is independent of the presuppositions of even. The evidence is based on examples of antecedent-contained deletion (ACD), where embedded VP-even associates with a nominal constituent (or part of it) that raises out of the embedded clause via quantifier raising. Assuming that even must c-command (...) the focus that it associates with, the case at issue forces VP-even to have wide scope, and further shows that VP-even in NPI-licensing contexts is not necessarily an NPI. (shrink)

In this paper, I will argue for a new account of presuppositions which is based on double indexing as well as minimal representational contexts providing antecedent material for anaphoric presuppositions, rather than notions of context defined in terms of the interlocutors’ pragmatic presuppositions or the information accumulated from the preceding discourse. This account applies in particular to new phenomena concerning the presupposition of quantifier domains. But it is also intended to be an account of presuppositions in general. The account differs (...) from the Satisfaction Theory and the Binding Theory of presuppositions in that it can be viewed as a conservative extension of traditional static semantics and in that it does not involve the notion of pragmatic presupposition. (shrink)

The presence of contrastive focus on pronouns interpreted as bound variables is puzzling. Bound variables do not refer, and it is therefore unclear how two of them can be made to contrast with each other. It is argued that this is a problem for both alternative-based accounts such as Rooth’s (Nat Lang Semantics 1:75–116, 1992) and givenness-based ones such as Schwarzschild’s (Nat Lang Semantics 7:141–177, 1999). The present paper shows that previous approaches to this puzzle face an empirical problem, namely (...) the co-occurrence of additive too and focus on bound pronouns. Our account is based on the idea that the alternatives introduced by focused bound pronouns denote individuals. Putting forward the novel concept of compositional reconstruction, we show that a suitably modified Roothian analysis of focus licensing allows us to get bound pronouns to contrast with other bound pronouns. The reason for this is that the number of potential alternatives increases. We also suggest a modification of Rooth’s ~-operator: contrastiveness becomes a requirement of the operator, which is modelled as a definedness condition. It is argued that in the case of focused bound pronouns a ~-operator is necessarily inserted in the scope of the quantifier. If this is on the right track, it follows that the phenomenon of focused bound pronouns warrants both an operator interpreting focus as well as a semantic value for the contribution of focus. Any givenness-based analysis must include these two ingredients as well; we suggest a way in which this can be implemented more or less straightforwardly. (shrink)

Relational Grammar (RG) was introduced in the 1970s as a theory of grammatical relations and relation change, for example, passivization, dative shift, and raising. Furthermore, the idea behind RG was that transformations as originally designed in generative grammar were unable to capture the common kernel of, e.g., passivization across languages. The researchconducted within RG has uncovered a wealth of phenomena for which it could produce a satisfactory analysis. Although the theory of Government and Binding has answered some of the complaints, (...) still it left many phenomena unaccounted for. Referent Systems (RSs) have been introduced by Vermeulen (1995) to overcome certain weaknesses of Dynamic Semantics. Their usefulness has not yet been realized in semantical theory. We shall show here that their significance cannot be overestimated. Namely, we will show in this paper that there exists a fundamental affinity to RG. Both handle the relation between an argument and a functor by means of a shared relational sign, which is unique for each argument. This assignment can be changed. What is interesting is that the notion of a chômeur, which is central to RG, finds a natural treatment in RSs. This coincidence is in our view not accidental but reveals some fundamental properties of the human language faculty. (shrink)

So-called 'dynamic' semantic theories such as Kamp's discourse representation theory and Heim's file change semantics account for such phenomena as cross-sentential anaphora, donkey anaphora, and the novelty condition on indefinites, but compare unfavorably with Montague semantics in some important respects (clarity and simplicity of mathematical foundations, compositionality, handling of quantification and coordination). Preliminary efforts have been made by Muskens and by de Groote to revise and extend Montague semantics to cover dynamic phenomena. We present a new higher-order theory of discourse (...) semantics which improves on their accounts by incorporating a more articulated notion of context inspired by ideas due to David Lewis and to Craige Roberts. On our account, a context consists of a common ground of mutually accepted propositions together with a set of discourse referents preordered by relative salience. Employing a richer notion of contexts enables us to extend our coverage beyond pronominal anaphora to a wider range of presuppositional phenomena, such as the factivity of certain sentential-complement verbs, resolution of anaphora associated with arbitrarily complex definite descriptions, presupposition 'holes' such as negation, and the independence condition on the antecedents of conditionals. Formally, our theory is expressed within a higher-order logic with natural number type, separation-style subtyping, and dependent coproducts parameterized by the natural numbers. The system of semantic types builds on proposals due to Thomason and to Pollard in which the type of propositions (static meanings of sentential utterances) is taken as basic and worlds are constructed from propositions (rather than the other way around as in standard Montague semantics). (shrink)

Is the mechanism behind presupposition projection and filtering fundamentally asymmetric or symmetric? This is a foundational question for the theory of presupposition which has been at the centre of attention in recent literature. It also bears on broader issues concerning the source of asymmetries observed in natural language: are these simply rooted in superficial asymmetries of language use ; or are they, at least in part, directly encoded in linguistic knowledge and representations? In this paper we aim to make progress (...) on these questions by exploring presupposition projection across conjunction, which has traditionally been taken as a central piece of evidence that presupposition filtering is asymmetric in general. As a number of authors have recently pointed out, however, the evidence which has typically been used to support this conclusion is muddied by independent issues concerning redundancy; additional concerns have to do with the possibility of local accommodation. We report on a series of experiments, building on previous work by Chemla and Schlenker :177–226, 2012 and Schwarz 2015), using inference and acceptability tasks, which aim to control for both of these potential confounds. In our results, we find strong evidence for left-to-right filtering across conjunctions, but no evidence for right-to-left filtering—even when right-to-left filtering would, if available, rescue an otherwise unacceptable sentence. These results suggest that presupposition filtering across conjunction is asymmetric, contra suggestions in the recent literature :157–212, 2008a.), and pave the way for the investigation of further questions about the nature of this asymmetry and presupposition projection more generally. Our results also have broader implications for the study of presupposition: we find important differences in the verdicts of acceptability versus inference tasks in testing for projected content, which has both methodological ramifications for the question of how to distinguish presupposed content, and theoretical repercussions for understanding the nature of projection and presuppositions more generally. (shrink)

Is the mechanism behind presupposition projection and filtering fundamentally asymmetric or symmetric? This is a foundational question for the theory of presupposition which has been at the centre of attention in recent literature :287–316, 2008b. https://doi.org/10.1515/THLI.2008.021, Semant Pragmat 2:1–78, 2009. https://doi.org/10.3765/sp.2.3; Rothschild in Semant Pragmat 4:1–43, 2011/2015. https://doi.org/10.3765/sp.4.3 a.o.). It also bears on broader issues concerning the source of asymmetries observed in natural language: are these simply rooted in superficial asymmetries of language use ; or are they, at least in (...) part, directly encoded in linguistic knowledge and representations? In this paper we aim to make progress on these questions by exploring presupposition projection across conjunction, which has traditionally been taken as a central piece of evidence that presupposition filtering is asymmetric in general. As a number of authors have recently pointed out, however, the evidence which has typically been used to support this conclusion is muddied by independent issues concerning redundancy; additional concerns have to do with the possibility of local accommodation. We report on a series of experiments, building on previous work by Chemla and Schlenker :177–226, 2012. https://doi.org/10.1007/s11050-012-9080-7) and Schwarz Experimental perspectives on presuppositions, Springer, Cham, 2015), using inference and acceptability tasks, which aim to control for both of these potential confounds. In our results, we find strong evidence for left-to-right filtering across conjunctions, but no evidence for right-to-left filtering—even when right-to-left filtering would, if available, rescue an otherwise unacceptable sentence. These results suggest that presupposition filtering across conjunction is asymmetric, contra suggestions in the recent literature :157–212, 2008a. https://doi.org/10.1515/THLI.2008.013, 2009 a.o.), and pave the way for the investigation of further questions about the nature of this asymmetry and presupposition projection more generally. Our results also have broader implications for the study of presupposition: we find important differences in the verdicts of acceptability versus inference tasks in testing for projected content, which has both methodological ramifications for the question of how to distinguish presupposed content, and theoretical repercussions for understanding the nature of projection and presuppositions more generally. (shrink)

The meaning of definite descriptions (like ‘the King of France’, ‘the girl’, etc.) has been a central topic in philosophy and linguistics for the past century. Indefinites (‘Something is on the floor’, ‘A child sat down’, etc.) have been relatively neglected in philosophy, under the Russellian assumption that they can be unproblematically treated as existential quantifiers. However, an important tradition, drawing from Stoic logic, has pointed to patterns which suggest that indefinites cannot be treated simply as existential quantifiers. The standard (...) dynamic semantic treatment of those phenomena, however, has well-known problems with negation and disjunction. -/- In this paper I develop a new approach to (in)definites. On my theory, truth-conditions are classical. But in addition to truth-conditions, meanings comprise a second dimension of what I call bounds. It is at the level of bounds, not truth-conditions, that I locate the characteristically dynamic coordination between indefinites and definites. The resulting system thus has a classical logic. This approach avoids dynamic semantics’ logical problems, and, more generally, yields a new perspective on the relation between truth-conditional and dynamic effects in natural language. (shrink)

When embedding data are used to argue against semantic theory A and in favor of semantic theory B, it is important to ask whether A could make sense of those data. It is possible to ask that question on a case-by-case basis. But suppose we could show that A can make sense of all the embedding data which B can possibly make sense of. This would, on the one hand, undermine arguments in favor of B over A on the basis (...) of embedding data. And, provided that the converse does not hold—that is, that A can make sense of strictly more embedding data than B can—it would also show that there is a precise sense in which B is more constrained than A, yielding a pro tanto simplicity-based consideration in favor of B. In this paper I develop tools which allow us to make comparisons of this kind, which I call comparisons of potential expressive power. I motivate the development of these tools by way of exploration of the recent debate about epistemic modals. Prominent theories which have been developed in response to embedding data turn out to be strictly less expressive than the standard relational theory, a fact which necessitates a reorientation in how to think about the choice between these theories. (shrink)

Two recent and influential papers, van Rooij 2007 and Lassiter 2012, propose solutions to the proviso problem that make central use of related notions of independence—qualitative in the first case, probabilistic in the second. We argue here that, if these solutions are to work, they must incorporate an implicit assumption about presupposition accommodation, namely that accommodation does not interfere with existing qualitative or probabilistic independencies. We show, however, that this assumption is implausible, as updating beliefs with conditional information does not (...) in general preserve independencies. We conclude that the approach taken by van Rooij and Lassiter does not succeed in resolving the proviso problem. (shrink)

Compare the following conditionals: 'If John is not in Paris, he is in France' versus 'If John is in France, he is not in Paris.' The second sounds entirely natural, whereas the first sounds quite strange. This contrast is puzzling, because these two conditionals have the same structure at a certain level of logical abstraction, namely 'If ¬p+, then p.' -/- We argue that existing theories of informational oddness do not distinguish between these conditionals. We do not have an account (...) of the divergence in judgments about the two, but we think this is a fascinating puzzle which we pose here in the hope others will be able to solve it. (shrink)

We argue that definite noun phrases give rise to uniqueness inferences characterized by a pattern we call definiteness projection. Definiteness projection says that the uniqueness inference of a definite projects out unless there is an indefinite antecedent in a position that filters presuppositions. We argue that definiteness projection poses a serious puzzle for e-type theories of (in)definites; on such theories, indefinites should filter existence presuppositions but not uniqueness presuppositions. We argue that definiteness projection also poses challenges for dynamic approaches, which (...) have trouble generating uniqueness inferences and predicting some filtering behavior, though unlike the challenge for e-type theories, these challenges have mostly been noted in the literature, albeit in a piecemeal way. Our central aim, however, is not to argue for or against a particular view, but rather to formulate and motivate a generalization about definiteness which any adequate theory must account for. (shrink)

I show that standard dynamic approaches to the semantics of epistemic modals invalidate the classical laws of excluded middle and non-contradiction, as well as the law of epistemic non-contradiction. I argue that these facts pose a serious challenge.

What does 'might' mean? One hypothesis is that 'It might be raining' is essentially an avowal of ignorance like 'For all I know, it's raining'. But it turns out these two constructions embed in different ways, in particular as parts of larger constructions like Wittgenstein's 'It might be raining and it's not' and Moore's 'It's raining and I don't know it', respectively. A variety of approaches have been developed to account for those differences. All approaches agree that both Moore sentences (...) and Wittgenstein sentences are classically consistent. In this paper I argue against this consensus. I adduce a variety of new data which I argue can best be accounted for if we treat Wittgenstein sentences as being classically inconsistent. This creates a puzzle, since there is decisive reason to think that 'Might p' is classically consistent with 'Not p'. How can it also be that 'Might p and not p' and 'Not p and might p' are classically inconsistent? To make sense of this situation, I propose a new theory of epistemic modals and their interaction with embedding operators. This account makes sense of the subtle embedding behavior of epistemic modals, shedding new light on their meaning and, more broadly, the dynamics of information in natural language. -/- . (shrink)

(No abstract is available for this citation).

I argue that ‘actually’ does not have a reading according to which it is synonymous with the actuality operator of modal logic, and propose an alternative account of ‘actually’. The cases that have been thought to show that ‘actually’ is synonymous with the actuality operator are modal and counterfactual sentences in which an embedded clause's evaluation is held fixed at the world of the context. In these cases, though, this embedded clause's evaluation is not due to the presence of ‘actually’. (...) As an alternative, I propose that ‘actually’ is a presupposition trigger along the lines of ‘even’ or ‘too’, and it signals that presupposed information states in the discourse are evolving in a non-standard way. (shrink)

Philippe Schlenker gives a method of deriving local contexts from an expression’s classical semantics. In this paper I show that this method, when applied to the traditional variably strict semantics for subjunctive conditionals of Robert Stalnaker, David Lewis, and Angelika Kratzer, delivers an empirically incorrect prediction. The prediction is that the antecedent of a conditional should have the whole domain of possible worlds as its local context and therefore should be allowed to have only necessary presuppositions. In the later part (...) of the paper, I suggest the outlines of a solution to the problem. The solution involves adding a shifting contextual restriction on the domain of possible worlds. (shrink)

In Beck, focus intervention is used as an argument for reducing Hamblin’s semantics for questions to Rooth’s focus semantics. Drawing on novel empirical evidence from Mandarin and English, we argue that this reduction is unwarranted. Maintaining both Hamblin’s original semantics and Rooth’s focus semantics not only allows for a more adequate account for focus intervention in questions, but also correctly predicts that focus intervention is a very general phenomenon caused by interaction of alternatives in different dimensions.

One of the central questions of discourse dynamics is when an anaphoric pronoun is licensed. This paper addresses this question as it pertains to the complex data involving anaphora and negation. It is commonly held that negation blocks anaphoric potential, for example, we cannot say “Bill doesn’t have a car. It is black”. However, there are many exceptions to this generalization. This paper examines a variety of types of discourses in which anaphora on indefinites under the scope of negation is (...) felicitous. These cases are not just of intrinsic interest, but I argue present serious problems for the dynamic semantic framework, which builds the licensing facts into the semantics. I argue in favor of adopting a dynamic pragmatics, a theory that explains context change through general Gricean principles, and combining it with a static, d-type theory of anaphora, in which pronouns go proxy for definite descriptions. (shrink)

Concord describes a natural language phenomenon in which a single logical meaning is expressed syntactically on multiple lexical items. The canonical example is negative concord, in which multiple negative expressions are used, but a single negation is interpreted. Formally similar phenomena have been observed for the redundant marking of distributivity and definiteness. Inspired by recent dynamic analyses of these latter two phenomena, we extend a similar dynamic analysis to negative concord. We propose that negative concord items introduce a discourse referent, (...) but then test that no discourse referent has been introduced in any assignment. These apparently contradictory requirements are licensed with split scope around negation: introduction occurs below negation; the test appears above it. The analysis successfully predicts that negative concord items must be licensed by a sufficiently local negative operator. We further show that modulation of what is at-issue can account for cases in which NC items themselves carry negative force. (shrink)

A sentence containing a number of definite descriptions, each lying within the scope of its predecessor, is naturally read as asserting the uniqueness of a sequence of objects satisfying the descriptions. The project of providing a general uniform procedure for eliminating embedded definite descriptions that gets this and other logical forms right is impeded by several puzzles.

Schwarzschild (Nat Lang Semant 7:141–177, 1999)’s account of givenness elaborates a notion of complementarity of givenness and focus in an intricate way: while givenness is semantically interpreted, focus is grammatically marked. It has been noticed, however, that under certain circumstances givenness in English is grammatically marked as well. Movement plays a role in this process. This paper provides further evidence for givenness marking. I present a case study of three Slavic languages (Czech, Russian, and Serbo-Croatian) in which givenness is always (...) grammatically marked. In these languages, given elements must linearly precede new elements. If this relative ordering cannot be achieved by base generation, the ordering can be achieved by movement. I offer an account of the data in terms of givenness and the Maximize Presupposition principle of Heim (1991). In particular, I argue for an operator that marks elements in its scope as given. The operator divides the structure between a given and a new part. The role of Maximize Presupposition is to enforce that every given element is in the scope of the operator. The operator and Maximize Presupposition work in tandem with an economy condition on movement that licenses movement only if it yields an otherwise unavailable semantic interpretation. The proposal thus provides independent evidence for competition in grammar and for the role of Maximize Presupposition in the process. (shrink)

Presupposition, vagueness, and oddness can lead to some sentences failing to have a clear truth value. The homogeneity property of plural predication with definite descriptions may also create truth-value gaps: The books are written in Dutch is true if all relevant books are in Dutch, false if none of them are, and neither true nor false if, say, half of the books are written in Dutch. We study the projection property of homogeneity by deploying methods of general interest to identify (...) truth-value gaps. Method A consists in collecting both truth judgments and, independently, falsity judgments. The second method, employed in experiment series B and C, is based on one-shot ternary judgments: completely true vs. completely false vs. neither. After a calibration of these methods, we use them to demonstrate that homogeneity projects out of negation, the scope of universal sentences and the scope of non-monotonic quantifiers such as exactly two, to some extent. We assess our results in light of different theoretical approaches to homogeneity—approaches based on presuppositions, scalar implicatures, and something like supervaluations, respectively. We identify free parameters in these theories and assess various variants of them based on our results. Our experimental paradigms may be of broader significance insofar as they can be applied to other phenomena which result in the failure of a sentence to have a definite truth value. (shrink)

Plural definite descriptions across many languages display two well-known properties. First, they can give rise to so-called non-maximal readings, in the sense that they ‘allow for exceptions’. Second, while they tend to have a quasi-universal quantificational force in affirmative sentences, they tend to be interpreted existentially in the scope of negation. Building on previous works, we offer a theory in which sentences containing plural definite expressions trigger a family of possible interpretations, and where general principles of language use account for (...) their interpretation in various contexts and syntactic environments. Our theory solves a number of problems that these previous works encounter, and has broader empirical coverage in that it offers a precise analysis for sentences that display complex interactions between plural definites, quantifiers and bound variables, as well as for cases involving non-distributive predicates. The resulting proposal is briefly compared with an alternative proposal by Križ, which has similar coverage but is based on a very different architecture and sometimes makes subtly different predictions. (shrink)

This paper argues for a largely unnoted distinction between relational and modal components in the lexical semantics of verbs. Wehypothesize that many verbs encode two kinds of semantic information:a relationship among participants in a situation and a subset ofcircumstances or time indices at which this relationship isevaluated. The latter we term sublexical modality.We show that linking regularities between semantic arguments andsyntactic functions provide corroborating evidence in favor of thissemantic distinction, noting cases in which the semantic groundingof linking through participant-role properties (...) apparently fails. Thissemantic grounding can be preserved, however, once we abstractaway from sublexical modality in lexical semantic representations.Semantically-based linking constraints are insensitive to the sublexicalmodality component of lexical entries and depend only on informationin a predicator's situational core. (shrink)

There are certain uses of and and or that cannot be explained by their normal meanings as truth-functional connectives, even with sophisticated pragmatic resources. These include examples such as The cops show up, and a fight will break out (‘If the cops show up, a fight will break out’), and I have no friends, or I would throw a party (‘I have no friends. If I did have friends, I would throw a party.’). We argue that these uses are indeed (...) distinct from the more ordinary uses of and and or, but that they are nonetheless related in a principled way. To explain them we give an analysis of what we call the dynamic effects of connectives, which arise in all their uses. The special uses at issue are then argued to be instances where the connectives exhibit their dynamic effects without their truth-conditional meaning. (shrink)

In this paper, we discuss some formal properties of the model ofbidirectional Optimality Theory that was developed inBlutner (2000). We investigate the conditions under whichbidirectional optimization is a well-defined notion, and we give aconceptually simpler reformulation of Blutner's definition. In thesecond part of the paper, we show that bidirectional optimization can bemodeled by means of finite state techniques. There we rely heavily onthe related work of Frank and Satta (1998) about unidirectionaloptimization.

The goal of this paper is to offer a compositional semantics for subjunctive and indicative will conditionals, and to derive the projection properties of the types of conditionals we consider and in particular those of counterfactual conditionals. It is argued that subjunctive conditionals are "bare" conditional embedded under temporal and aspectural operators, which constrain the interpretation of the modal operators in the embedded conditional. Furthermore, it is argued that a theory of presupposition projection à la Heim together with the present (...) proposal about their logical form explains the projection facts. (shrink)

We discuss a well-known puzzle about the lexicalization of logical operators in natural language, in particular connectives and quantifiers. Of the many logically possible operators, only few appear in the lexicon of natural languages: the connectives in English, for example, are conjunction _and_, disjunction _or_, and negated disjunction _nor_; the lexical quantifiers are _all, some_ and _no_. The logically possible nand (negated conjunction) and Nall (negated universal) are not expressed by lexical entries in English, nor in any natural language. Moreover, (...) the lexicalized operators are all upward or downward monotone, an observation known as the Monotonicity Universal. We propose a logical explanation of lexical gaps and of the Monotonicity Universal, based on the dynamic behaviour of connectives and quantifiers. We define update potentials for logical operators as procedures to modify the context, under the assumption that an update by \( \phi \) depends on the logical form of \( \phi \) and on the speech act performed: assertion or rejection. We conjecture that the adequacy of update potentials determines the limits of lexicalizability for logical operators in natural language. Finally, we show that on this framework the Monotonicity Universal follows from the logical properties of the updates that correspond to each operator. (shrink)

It has been argued that common ground information is unsuited to the role that contexts play in the theory of indexical and demonstrative reference. This paper explores an alternative view that identifies shared information with what is common knowledge among the participants. We argue this view of shared information avoids the problems for the common ground approach concerning reference while preserving its advantages in accounting for communication.

Presupposition is the semantic-pragmatic phenomenon whereby a statement contains an implicit precondition that must be taken for granted for that statement to be felicitous. This article discusses the role of presupposition in legislative texts, using examples from Swiss constitutional and administrative law. It illustrates how presuppositions are triggered in these texts and what functions they come to serve, placing special emphasis on their constitutive power. It also demonstrates how legislative drafters can distinguish between “good” presuppositions and “bad” presuppositions by weighing (...) their main advantage, conciseness, against their main flaw, reduced transparency. The present study argues that, if employed carefully, presuppositions can be a useful stylistic means to keep legislative texts free from unnecessary clutter that merely elaborates on the obvious; however, it also suggests that, if applied wrongly, presuppositions can camouflage the duties and obligations placed on the subjects of a law and thus impede its accessibility and its efficient and effective implementation. (shrink)

‘Fred must open the door’ concerns Fred’s obligations. This obligative meaning is turned off by adding aspect: ‘Fred must have opened/be opening/have been opening the door’ are one and all epistemic. Why? In a nutshell: obligative ’must’ operates on procedural contents of imperative sentences, epistemic ‘must’ on propositional contents of declarative sentences; and adding aspect converts procedural into propositional content.