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)

In this paper I focus on a recently discussed phenomenon illustrated by sentences containing predicates of taste: the phenomenon of " perspectival plurality " , whereby sentences containing two or more predicates of taste have readings according to which each predicate pertains to a different perspective. This phenomenon has been shown to be problematic for (at least certain versions of) relativism. My main aim is to further the discussion by showing that the phenomenon extends to other perspectival expressions than predicates (...) of taste and by proposing a general solution to the problem raised by it on behalf of the relativist. The core claim of the solution (" multiple indexing ") is that utterances of sentences containing perspectival expressions should be evaluated with respect to (possibly infinite) sequences of perspective parameters. (shrink)

So-called "thick" moral concepts are distinctive in that they somehow "hold together" evaluation and description. But how? This paper argues against the standard view that the evaluations which thick concepts may be used to convey belong to sense or semantic content. That view cannot explain linguistic data concerning how thick concepts behave in a distinctive type of disagreements and denials which arise when one speaker regards another's thick concept as "objectionable" in a certain sense. The paper also briefly considers contextualist, (...) presuppositional, and implicature accounts of the evaluative contents of thick concepts, but finds none clearly superior to the others. (shrink)

John MacFarlane explores how we might make sense of the idea that truth is relative. He provides new, satisfying accounts of parts of our thought and talk that have resisted traditional methods of analysis, including what we mean when we talk about what is tasty, what we know, what will happen, what might be the case, and what we ought to do.

Can the neo-Aristotelian uphold a pluralist substance ontology while taking seriously the recent arguments in favour of monism based on quantum holism and other arguments from quantum mechanics? In this article, Jonathan Schaffer’s priority monism will be the main target. It will be argued that the case from quantum mechanics in favour of priority monism does face some challenges. Moreover, if the neo-Aristotelian is willing to consider alternative ways to understand ‘substance’, there may yet be hope for a pluralist substance (...) ontology. A speculative case for such an ontology will be constructed based on primitive incompatibility. (shrink)

Grammatical theories of Scalar Implicatures make use of an exhaustivity operator exh, which asserts the conjunction of the prejacent with the negation of excludable alternatives. We present a new Grammatical theory of Scalar Implicatures according to which exh is replaced with pex, an operator that contributes its prejacent as asserted content, but the negation of scalar alternatives at a non-at-issue level of meaning. We show that by treating this non-at-issue level as a presupposition, this theory resolves a number of empirical (...) challenges faced by the old formulation of exh (as well as by standard neo-Gricean theories). The empirical challenges include projection of scalar implicatures from certain embedded environments (‘some under some’ sentences, some under negative factives), their restricted distribution under negation, and the existence of common ground-mismatching and oddness-inducing implicatures. We argue that these puzzles have a uniform solution given a pex-based Grammatical theory of implicatures and some independently motivated principles concerning presupposition projection, cancellation and accommodation. (shrink)

Este é um conto sobre visão, pensamento e contradição, bem como sobre o papel que desempenham na primeira metade da Ciência da Lógica de Hegel. A Lógica começa com uma descida, nesse caso, uma queda do Ser ao Nada. Posteriormente, aproximadamente na metade de cada texto, há um certo paradoxo em que tudo está em jogo, a categoria da contradição. Nesse exato momento, o pensamento ao mesmo tempo falha e é renovado em um viés especulativo. Nessa seção, nos debruçamos sobre (...) algumas das interpretações influentes do uso hegeliano da contradição. Para isso, voltamo-nos a uma curiosa obra de arte, Pleiades, de James Turrell, como um exemplo estético dessa primeira queda. Progrediremos, então, através do texto com pensamento e visão como nosso duplo norteador em um passo relativamente rápido, sem desacelerar até encontrarmos a história de Hegel da contradição, onde mostro a natureza explosiva da contradição. Isso nos permitirá ver como Hegel invoca o poder da contradição para gerar a segunda metade da história da Ciência da Lógica. Eu começo com a descida do Ser ao Nada, o momento em que a escuridão emerge. (shrink)

Abstract: The Gricean theory of conversational implicature has always been plagued by data suggesting that what would seem to be conversational inferences may occur within the scope of operators like believe , for example; which for bona fide implicatures should be an impossibility. Concentrating my attention on scalar implicatures, I argue that, for the most part, such observations can be accounted for within a Gricean framework, and without resorting to local pragmatic inferences of any kin d. However, there remains a (...) small class of marked cases that cannot be treated as conversational implicatures, and they do require a local mode of pragmatic interpretation. (shrink)

Aristotle’s modal syllogistic is his study of patterns of reasoning about necessity and possibility. Many scholars think the modal syllogistic is incoherent, a ‘realm of darkness’. Others think it is coherent, but devise complicated formal modellings to mimic Aristotle’s results. This volume provides a simple interpretation of Aristotle’s modal syllogistic using standard predicate logic. Rini distinguishes between red terms, such as ‘horse’, ‘plant’ or ‘man’, which name things in virtue of features those things must have, and green terms, such as (...) ‘moving’, which name things in virtue of their non-necessary features. By applying this distinction to the Prior Analytics, Rini shows how traditional interpretive puzzles about the modal syllogistic melt away and the simple structure of Aristotle’s own proofs is revealed. The result is an applied logic which provides needed links between Aristotle’s views of science and logical demonstration. The volume is particularly valuable to researchers and students of the history of logic, Aristotle’s theory of modality, and the philosophy of logic in general. (shrink)

This volume examines the concept of falsification as a central notion of semantic theories and its effects on logical laws. The point of departure is the general constructivist line of argument that Michael Dummett has offered over the last decades. From there, the author examines the ways in which falsifications can enter into a constructivist semantics, displays the full spectrum of options, and discusses the logical systems most suitable to each one of them. While the idea of introducing falsifications into (...) the semantic account is Dummett's own, the many ways in which falsificationism departs quite radically from verificationism are here spelled out in detail for the first time. The volume is divided into three large parts. The first part provides important background information about Dummett’s program, intuitionism and logics with gaps and gluts. The second part is devoted to the introduction of falsifications into the constructive account and shows that there is more than one way in which one can do this. The third part details the logical effects of these various moves. In the end, the book shows that the constructive path may branch in different directions: towards intuitionistic logic, dual intuitionistic logic and several variations of Nelson logics. The author argues that, on balance, the latter are the more promising routes to take. "Kapsner’s book is the first detailed investigation of how to incorporate the notion of falsification into formal logic. This is a fascinating logico-philosophical investigation, which will interest non-classical logicians of all stripes." Graham Priest, Graduate Center, City University of New York and University of Melbourne. (shrink)

What is the source of logical and mathematical truth? This book revitalizes conventionalism as an answer to this question. Conventionalism takes logical and mathematical truth to have their source in linguistic conventions. This was an extremely popular view in the early 20th century, but it was never worked out in detail and is now almost universally rejected in mainstream philosophical circles. Shadows of Syntax is the first book-length treatment and defense of a combined conventionalist theory of logic and mathematics. It (...) argues that our conventions, in the form of syntactic rules of language use, are perfectly suited to explain the truth, necessity, and a priority of logical and mathematical claims, as well as our logical and mathematical knowledge. (shrink)

The present volume contains a collection of papers presented at the 21st annual meeting “Sinn und Bedeutung” of the Gesellschaft fur Semantik, which was held at the University of Edinburgh on September 4th–6th, 2016. The Sinn und Bedeutung conferences are one of the leading international venues for research in formal semantics.

Festschrift in Honor of Barry Smith on the occasion of his 65th Birthday. Published as issue 4:4 of the journal Cosmos + Taxis: Studies in Emergent Order and Organization. Includes contributions by Wolfgang Grassl, Nicola Guarino, John T. Kearns, Rudolf Lüthe, Luc Schneider, Peter Simons, Wojciech Żełaniec, and Jan Woleński.

A simple model accounting for semantic properties of propositional attitude operators in negative contexts with no reference to possible worlds is proposed. Verbs occurring in such operators denote relations between individuals and specific sets of sentences (of a given natural language) and their negation is defined as the complement within a specific set of cognitively determined sentences. This approach avoids in particular the problem of intensionality of propositional attitude operators and allows to use many tools from the generalised quantifier theory. (...) In that way the negation giving rise to factive presuppositions and to the neg-raising is defined in a natural way. (shrink)

Neg-Raising concerns the phenomenon by which certain negated predicates can give rise to a reading where the negation seems to take scope from an embedded clause. The standard analysis in pragma-semantic terms goes back to Bartsch and has been elaborated in Horn, Gajewski, Romoli, and many others. Recently, this standard approach has been challenged by Collins and Postal, who argue, by providing various novel arguments, that Neg-Raising involves syntactic movement of the negation from the embedded clause into the matrix clause. (...) The syntactic structure of ‘I don’t think you’re right’ would then be like: I do[n’t]i think you’re ti right, and the Neg-Raising reading would result from the interpretation of the lower copy of the negation. In this paper I present three novel arguments against this account. First, following up work by Horn, I show that Collins and Postal, and their reply to Horn, predict that every negated predicate that can license so-called Horn-clauses should receive a Neg-Raising reading, contrary to fact. Second, Collins and Postal adopt various instances of phonological deletion of negative operators—a necessary ingredient for their account—but these instances of phonological deletion cannot be independently motivated. Third, it turns out that for certain constructions, Collins and Postal must also allude to the original Bartschian approach. I further demonstrate that the standard, pragma-semantic approach to Neg-Raising actually explains the grammaticality of Horn-clauses and other phenomena, such as the distribution of negative parentheticals, that were presented by Collins and Postal as arguments in favour of the syntactic approach to Neg-Raising, equally well, if not better, than this syntactic alternative. (shrink)

The problem of empty terms is one of the focal issues in analytic philosophy. Russell’s theory of descriptions, a proposal attempting to solve this problem, attracted much attention and is considered a hallmark of the analytic tradition. Scholars of Indian and Buddhist philosophy, e.g., McDermott, Matilal, Shaw and Perszyk, have studied discussions of empty terms in Indian and Buddhist philosophy. But most of these studies rely heavily on the Nyāya or Navya-Nyāya sources, in which Buddhists are portrayed as opponents to (...) be defeated, and thus do not truly reflect Buddhist views on this issue. The present paper will explore how Dignāga, the founder of Buddhist logic, deals with the issue of empty subject terms. His approach is subtle and complicated. On the one hand, he proposes a method of paraphrase that resembles Russell’s theory of descriptions. On the other, by relying on his philosophy of language—the apoha theory, he tends to fall into a panfictionalism. Through the efforts of his follower Dharmakīrti, the latter approach would become more acceptable among Indian and Tibetan Buddhists. Dignāga’s Chinese commentators, who were free from the influence of Dharmakīrti, dealt with the empty term issue in three ways: (1) by adhering to Dignāga’s method of paraphrase; (2) by allowing exceptions for non-implicative negation; and (3) by indicating the propositional attitude of a given proposition. Among these, the third proved most popular. (shrink)

Minimizers are widely acknowledged cross-linguistically to denote a minimal quantity, extent or degree. With respect to minimizers in Mandarin Chinese, Shyu claims that their so-called negative polarity is purely syntactically determined and is facilitated by the lian…dou EVEN construction. Within the framework of Dynamic Syntax which allows for interaction between syntactic, semantic and pragmatic information, we demonstrate that the total negation is actually derived from the interaction between syntax, semantics and pragmatics, rather than being determined by purely syntactic means.

It is widely accepted by formal and informal logicians alike that a formal logic which, by the lights of English, gets the connectives wrong, nevertheless conspires to get entailment right—right that is, modulo English. There is a vexing problem occasioned by this semantic alienation of formal logic. It is next to impossible for formal logic to meet the expectations of realism. What, then, of informal logic?

In this paper we introduce a theoretical framework and a logical application for analysing the semantics and pragmatics of contrastive conjunctions in natural language. It is shown how expressions like although, nevertheless, yet, and but are semantically definable as connectives using an operator for implication in natural language and how similar pragmatic principles affect the behaviour of both contrastive conjunctions and indicative conditionals. Following previous proposals, conditions on contrast in a conjunction are analysed as presuppositions of die conjunction. Further linguistic (...) evidence leads to a distinction between restrictive and non-restrictive connectives of contrast, and consequently between direct and indirect contrast, which are given a precise definition. A general interface for a theory of contrast using possible world semantics for implication is then presented. As a test case, we show how this interface is applicable to the semantics for conditionals that was introduced by Veltman in his article 'Data semantics and the pragmatics of indicative conditionals' (1986). This application yields an extension of Veltman's Data Logic, called Contrastive Data Logic Once appropriate modifications are added to Veltman's pragmatic considerations, we show that contrastive data logic provides an adequate tool for the analysis of substantial linguistic data concerning contrast and implication in natural language. (shrink)

This paper is about even in downward entailing contexts. Karttunen and Peters (1979) have shown that there are two different sets of implicatures of even in such contexts. They argue that the two sets of implicatures are derived by allowing even to take scope either higher or lower than a negative polarity licenser. Rooth (1985) argues that even is lexically ambiguous, that is, there is a negative polarity even. I argue against Rooth's ambiguity theory and show that within Rooth's theory (...) of focus, a scope theory of even has better empirical coverage. I also answer objections to the scope theory raised by Rooth (1985) and Karttunen and Karttunen (1977). (shrink)

The operators of first-order logic, including negation, operate on whole formulae. This makes it unsuitable as a tool for the formal analysis of reasoning with non-sentential forms of negation such as predicate term negation. We extend its language with negation operators whose scope is more narrow than an atomic formula. Exploiting the usefulness of subatomic proof-theoretic considerations for the study of subatomic inferential structure, we define intuitionistic subatomic natural deduction systems which have several subatomic operators and an additional operator for (...) formula negation at their disposal. We establish normalization and subexpression property results for the systems. The normalization results allow us to formulate a proof-theoretic semantics for formulae composed of the subatomic operators. We illustrate the systems with applications to reasoning with combinations of sentential negation, predicate term negation, subject term negation, and antonymy. (shrink)

The essay revisits the puzzle of the ‘passage’ of time in relation to EPR-type measurements and asks what philosophical consequences can be drawn from them. Some argue that the lack of invariance of temporal order in the measurement of a space-like related EPR pair, under relativistic motion, casts serious doubts on the ‘reality’ of the lapse of time. Others argue thatcertain features of quantum mechanics establisha tensed theory of time – understood here as Possibilism or the growing block universe. The (...) paper analyzes the employment of frame-invariant entropic clocks in a relativistic setting and argues that tenselessness does not imply timelessness. But this conclusion does not support a tensed theory of time, which requires a preferred foliation. It is argued that the only reliable inference from the EPR example and the use of entropic clocks is an inference not just to a Leibnizian order of the succession of events but a frame-invariant order according to some selected clocks. (shrink)

Much of the recent work in action theory can be organized around a set of objections facing the Simple View and other intention-based accounts of intentional action. In this paper, I review three of the most popular objections to the Simple View and argue that all three objections commit a common fallacy. I then draw some more general conclusions about the relationship between intentional action and moral responsibility.

For a putative knower S and a proposition P , two types of skepticism can be distinguished, depending on the conclusions they draw: outer skepticism , which concludes that S does not know that P , and inner skepticism , which concludes that S does not know whether P . This paper begins by showing that outer skepticism has undesirable consequences because that S does not know that P presupposes P , and inner skepticism does not have this undesirable consequence (...) since that S does not know whether P does not presuppose P . We indicate that the two types of skepticism aim to different loci of doubts: while outer skepticism doubts whether we can gain an epistemic warrant for the actuality, inner skepticism doubts whether we can gain epistemic identification of the actuality. It is further indicated that responses to skepticism from externalist theories, as well as from fallibilist internalist theories, can only respond to outer skepticism but not to inner skepticism. (shrink)

This article is concerned with how we make decisions based on how problems are presented to us and the effect that the framing of the problem might have on our choices. Current philosophical and psychological accounts of the framing effect in experiments such as the Asian Disease Problem concern reference points and domains. We question the importance of reference points and domains. Instead, we adopt a linguistic perspective focussing on the role of the evaluative polarity evoked by the words - (...) negativeand positive - used to describe the options in the decision problem. We show that the evaluative polarity of the different wordings in the ADP better explain participants’ behaviour than reference points and domains. We propose two models in which the values given to evaluative polarity words directly influence the strength of framing. The results indicate that linguistic considerations regarding evaluative polarity have to be considered in relation to the ADP. The account resembles Fuzzy-Trace-Theory but allows for thestrength of evaluative polarity to directly affect behaviour. In the discussion, we also assess how evaluative polarity relates to negation, antonyms and the communicative frame within which the choices are presented. (shrink)

For the first time a uniform compositional derivation is given for quantified sentences containing exceptive constructions. The semantics of exceptives is primarily one of subtraction from the domain of a quantifier. The crucial semantic difference between the highly grammaticized but-phrases and free exceptives is that the former have the Uniqueness Condition as part of their lexical meaning whereas the latter are mere set subtractors. Several empirical differences between the two types of exceptives are shown to follow from this basic lexical (...) difference. (shrink)

There are two natural ways of thinking about negation: (i) as a form of complementation and (ii) as an operation of reversal, or inversion (to deny that p is to say that things are “the other way around”). A variety of techniques exist to model conception (i), from Euler and Venn diagrams to Boolean algebras. Conception (ii), by contrast, has not been given comparable attention. In this note we outline a twofold geometric proposal, where the inversion metaphor is understoood as (...) involving a rotation o a reflection, respectively. These two options are equivalent in classical two-valued logic but they differ significantly in many-valued logics. Here we show that they correspond to two basic sorts of negation operators—Post’s and Kleene’s—and we provide a simple group-theoretic argument demonstrating their generative power. (shrink)

In terms of Groenendijk and Stokhofs (1984) formalization of exhaustive interpretation, many conversational implicatures can be accounted for. In this paper we justify and generalize this approach. Our justification proceeds by relating their account via Halpern and Moses (1984) non-monotonic theory of only knowing to the Gricean maxims of Quality and the first sub-maxim of Quantity. The approach of Groenendijk and Stokhof (1984) is generalized such that it can also account for implicatures that are triggered in subclauses not entailed by (...) the whole complex sentence. (shrink)

Breheny et al. argue against the structural approach to alternatives. The empirical force of their argument comes mostly from challenges raised against Trinh and Haida. This paper aims to respond to these challenges, showing how they can be met by a natural refinement of Trinh and Haida’s proposal which turns out to capture additional facts previously not accounted for. Another aim of this paper is to recount the debate with enough precision and explicitness in order to enhance understanding and facilitate (...) future discussions. (shrink)

Inferences that result from exhaustification of a sentence S depend on the set of alternatives to S. In this paper, we present some inference patterns that are problematic for previous theories of alternatives and propose some structural constraints on the derivation of formal alternatives which derive the observations.

Various philosophers have long since been attracted to the doctrine that future contingent propositions systematically fail to be true—what is sometimes called the doctrine of the open future. However, open futurists have always struggled to articulate how their view interacts with standard principles of classical logic—most notably, with the Law of Excluded Middle. For consider the following two claims: Trump will be impeached tomorrow; Trump will not be impeached tomorrow. According to the kind of open futurist at issue, both of (...) these claims may well fail to be true. According to many, however, the disjunction of these claims can be represented as p ∨ ~p—that is, as an instance of LEM. In this essay, however, I wish to defend the view that the disjunction these claims cannot be represented as an instance of p ∨ ~p. And this is for the following reason: the latter claim is not, in fact, the strict negation of the former. More particularly, there is an important semantic distinction between the strict negation of the first claim [~] and the latter claim. However, the viability of this approach has been denied by Thomason, and more recently by MacFarlane and Cariani and Santorio, the latter of whom call the denial of the given semantic distinction “scopelessness”. According to these authors, that is, will is “scopeless” with respect to negation; whereas there is perhaps a syntactic distinction between ‘~Will p’ and ‘Will ~p’, there is no corresponding semantic distinction. And if this is so, the approach in question fails. In this paper, then, I criticize the claim that will is “scopeless” with respect to negation. I argue that will is a so-called “neg-raising” predicate—and that, in this light, we can see that the requisite scope distinctions aren’t missing, but are simply being masked. The result: a under-appreciated solution to the problem of future contingents that sees and as contraries, not contradictories. (shrink)

This paper develops a compositional, type-driven constraint semantic theory for a fragment of the language of subjective uncertainty. In the particular application explored here, the interpretation function of constraint semantics yields not propositions but constraints on credal states as the semantic values of declarative sentences. Constraints are richer than propositions in that constraints can straightforwardly represent assessments of the probability that the world is one way rather than another. The richness of constraints helps us model communicative acts in essentially the (...) same way that we model agents’ credences. Moreover, supplementing familiar truth-conditional theories of epistemic modals with constraint semantics helps capture contrasts between strong necessity and possibility modals, on the one hand, and weak necessity modals, on the other. (shrink)

In his recent paper on the symmetry problem Roni Katzir argues that the only relevant factor for the calculation of any Quantity implicature is syntactic structure. I first refute Katzir’s thesis with three examples that show that structural complexity is irrelevant to the calculation of some Quantity implicatures. I then argue that it is inadvisable to assume—as Katzir and others do—that exactly one factor is relevant to the calculation of any Quantity implicature.

I argue for the possibility of substantive aesthetic disagreements in which both parties speak truly. The possibility of such disputes undermines an argument mobilized by relativists such as Lasersohn (Linguist Philos 28:643–686, 2005) and MacFarlane (Philos Stud 132:17–31, 2007) against contextualism about aesthetic terminology. In describing the facts of aesthetic disagreement, I distinguish between the intuition of dispute on the one hand and the felicity of denial on the other. Considered separately, neither of those phenomena requires that there be a (...) single proposition asserted by one party to an aesthetic dispute and denied by the other. I suggest instead that many such disputes be analyzed as disputes over the selection or appropriateness of a contextually salient aesthetic standard. (shrink)

The central aim of this paper is to present a Boolean algebraic approach to the classical Aristotelian Relations of Opposition, namely Contradiction and (Sub)contrariety, and to provide a 3D visualisation of those relations based on the geometrical properties of Platonic and Archimedean solids. In the first part we start from the standard Generalized Quantifier analysis of expressions for comparative quantification to build the Comparative Quantifier Algebra CQA. The underlying scalar structure allows us to define the Aristotelian relations in Boolean terms (...) and to propose a 3D visualisation by transforming a cube into an octahedron. In part two, the architecture of the CQA is shown to carry over, both to the classical quantifiers of Predicate Calculus and to the modal operators—which are given a Generalized Quantifier style re-interpretation. In this way we provide an algebraic foundation for Blanché’s Aristotelian hexagon as well as a 3D alternative to his 2D star-like visualisation. In a final part, a richer scalar structure is argued to underly the realm of Modality, thus generalizing the 3D algebra with eight (2 3 ) operators to a 4D algebra with sixteen (2 4 ) operators. The visual representation of the latter structure involves a transformation of the hypercube to a rhombic dodecahedron. The resulting 3D visualisation allows a straightforward embedding, not only of the classical Blanché star of Aristotelian relations or the paracomplete and paraconsistent stars of Béziau (Log Investig 10, 218–232, 2003) but also of three additional isomorphic Aristotelian constellations. (shrink)

This paper presents a generalization of the standard notions of left monotonicity (on the nominal argument of a determiner) and right monotonicity (on the VP argument of a determiner). Determiners such as “more than/at least as many as” or “fewer than/at most as many as”, which occur in so-called propositional comparison, are shown to be monotone with respect to two nominal arguments and two VP-arguments. In addition, it is argued that the standard Generalized Quantifier analysis of numerical determiners such as (...) “more than three/at least three” is a simplification which ignores the fundamental parallellism with the propositional comparatives. Furthermore, the symmetric monotonicity configurations of the existential “some” and “no” are shown to be straightforwardly related to those of numerical comparatives with the limit numeral zero, whereas the asymmetric configurations of universal “all” and “not all” involve the extra complicating mechanism of polarity reversal, which is related to Keenan's notion of co-intersectivity (as opposed to intersectivity). A second aim of the paper is to investigate some of the factors reducing the inferential potential of determiners. Different types of comparative determiners and their modification will be considered in detail. In addition, a systematic interaction will be revealed between the monotonicity properties of the determiners in propositional comparatives and the differ ent types of ellipsis in the “than”-complement. Different degrees of ellipsis are defined in terms of informational dependencies between the “than”-complement and the main clause. A general balancing mechanism is observed by virtue of which an increase in informational dependency is compensated by a reduction of the inferential potential of the comparative determiner. The structure of the paper is as follows. Part two deals with propositional comparison and introduces the two basic monotonicity configurations. Part three distinguishes three types of informational dependencies or ellipsis between the “than”-complement and the main clause. In Section 3.1 the “than”-complement only contains a VP constituent, whereas in Section 3.2. it only consists of a nominal constituent. Section 3.3 considers more complex instances of multiple dependencies. Section 3.4 then looks at the interaction of these three types with the modifier “proportionally”. Part four presents the two basic monotonicity configurations for numerical comparison, whereas part five deals with more complex numerical determiners. Bounding determiners, such as “between five and ten”, and other boolean combinations are discussed in Section 5.1, whereas Section 5.2 goes into approximative determiners involving modifiers such as “only” or “almost”. Section 5.3. is devoted to proportional determiners such as “more than two out of three”. Part six then considers the standard existential and universal quantifiers. Section 6.1 reformulates the standard Generalized Quantifier analysis in comparative terms, whereas Section 6.2 deals with exception determiners of the form “all but five”. (shrink)

The Aristotelian square of oppositions is a well-known diagram in logic and linguistics. In recent years, several extensions of the square have been discovered. However, these extensions have failed to become as widely known as the square. In this paper we argue that there is indeed a fundamental difference between the square and its extensions, viz., a difference in informativity. To do this, we distinguish between concrete Aristotelian diagrams and, on a more abstract level, the Aristotelian geometry. We then introduce (...) two new logical geometries, and develop a formal, well-motivated account of their informativity. This enables us to show that the square is strictly more informative than many of the more complex diagrams. (shrink)

Hurford’s Constraint (Hurford, Foundations of Language, 11, 409–411, 1974) states that a disjunction is infelicitous if its disjuncts stand in an entailment relation: #John was born in Paris or in France. Gazdar (Pragmatics, Academic Press, NY, 1979) observed that scalar implicatures can obviate the constraint. For instance, sentences of the form (A or B) or (Both Aand B) are felicitous due to the exclusivity implicature of the first disjunct: A or B implicates ‘not (A and B)’. Chierchia, Fox, and Spector (...) (Handbook of semantics, 2008) use the obviation of Hurford’s Constraint in these cases to argue for a theory of local implicature. I present evidence indicating that the constraint needs to be modified in two ways. First, implicatures can obviate Hurford’s Constraint only in earlier disjuncts, not later ones: #(Both A and B) or (A or B). Second, the constraint rules out not only disjuncts that stand in an entailment relation, but also disjuncts that are even mutually consistent: #John is from Russia or Asia. I propose to make sense of these facts by providing an incremental evaluation procedure which checks that each new disjunct to the right is inconsistent with the information to its left, before the disjunct can be strengthened by local implicature. (shrink)

Here, the logical behaviour of negation in Wittgenstein's Tractatus is compared with Demos' account of denial. Even if we hold negation as a pure syntactical device, at least in some context, it brings a handful of complex semantic information – potentially an infinite amount. We advocate then the existence of at least two negations due to the existence of two different and non-reducible types of exclusion. The first negation is a Tractarian and classical one, based on the notion of contradiction, (...) whereas the second is a non-classical negation, based on the notion of contrariety. (shrink)

In biscuit conditionals (BCs) such as If you’re hungry, there’s pizza in the fridge, the if clause appears to apply to the illocutionary act performed in uttering the main clause, rather than to its propositional content. Accordingly, previous analyses of BCs have focused on illocutionary acts, and, this, I argue, leads them to yield incorrect paraphrases. I propose, instead, that BCs involve existential quantification over potential literal acts such as assertions, questions, commands, and exclamations, the semantic objects associated with declarative, (...) interrogative, imperative, and exclamative sentences, respectively. Such an existential interpretation of BCs requires only that we add potential literal acts to our inventory of individuals, and it produces reasonable paraphrases in which if has its normal meaning: If you’re hungry,[there’s a (relevant/salient) assertion that] there’s pizza in the fridge. These potential literal act variables are introduced into semantic interpretations and then undergo Existential Closure. Hence, we would expect to see similar interpretations in contexts other than BCs, that is, with other if constructions, with connectives other than if, with potential literal acts other than assertion, and in root sentences. This prediction is borne out, along with the parallel prediction that we cannot quantify over purely illocutionary acts like offers, but only over potential literal acts, those conventionally associated with a particular morphosyntactic shape. (shrink)

The existence of “local implicatures” has been the topic of much recent debate. The purpose of this paper is to contribute to this debate by asking what we can learn from three puzzles, namely, the cancellation of such implicatures by or both, their behavior in the complement clauses of negative factive verbs such as sorry, and their behavior in root and embedded questions. Two basic approaches to local implicatures have been advanced: a fully pragmatic account in which local implicatures result (...) from conventional Gricean principles and a semantic account according to which the generation of implicatures is interwoven with compositional, grammatical mechanisms. We argue that the lesson to be learned from our three case studies is that some kind of approach along the latter, grammatical line is necessary to account for the data. (shrink)

Noh (1998a, b) analyzes echo questions in terms of metarepresentation and pragmatic enrichment within the framework of Relevance Theory. This paper argues that while the basic idea of metarepresentational analysis seems correct, it is better implemented differently. The alternative analysis proposed in this paper consists of three claims: first, echo questions are metarepresentational with rising intonation, with the rise alone conferring the question status; second, echo questions question the pragmatically enriched attribution; third, the focus of metarepresentation is to be distinguished (...) from the rest of the metarepresentation. This version of metarepresentational analysis reveals why echo questions behave the way they do, both syntactically and semantically/pragmatically. At the same time, this analysis captures not only similarities but also differences between echo questions and interrogatives on a principled basis. (shrink)