This book offers a unique synthesis of past and current work on the structure, meaning, and use of negation and negative expressions, a topic that has engaged thinkers from Aristotle and the Buddha to Freud and Chomsky. Horn's masterful study melds a review of scholarship in philosophy, psychology, and linguistics with original research, providing a full picture of negation in natural language and thought; this new edition adds a comprehensive preface and bibliography, surveying research since the book's original publication.

Equality1 gives rise to challenging questions which are not altogether easy to answer. Is it a relation? A relation between objects, or between names or signs of objects? In my Begriffsschrift I assumed the latter. The reasons which seem to favour this are the following: a = a and a = b are obviously statements of differing cognitive value; a = a holds a priori and, according to Kant, is to be labeled analytic, while statements of the form a = (...) b often contain very valuable extensions of our knowledge and cannot always be established a priori. The discovery that the rising sun is not new every morning, but always the same, was one of the most fertile astronomical discoveries. Even to-day the identification of a small planet or a comet is not always a matter of course. Now if we were to regard equality as a relation between that which the names ‘a’ and ‘b’ designate, it would seem that a = b could not differ from a = a (i.e. provided a = b is true). A relation would thereby be expressed of a thing to itself, and indeed one in which each thing stands to itself but to no other thing. What is intended to be said by a = b seems to be that the signs or names ‘a’ and ‘b’ designate the same thing, so that those signs themselves would be under discussion; a relation between them would be asserted. But this relation would hold between the names or signs only in so far as they named or designated something. It would be mediated by the connexion of each of the two signs with the same designated thing. But this is arbitrary. Nobody can be forbidden to use any arbitrarily producible event or object as a sign for something. In that case the sentence a = b would no longer refer to the subject matter, but only to its mode of designation; we would express no proper knowledge by its means. But in many cases this is just what we want to do. If the sign ‘a’ is distinguished from the sign ‘b’ only as object (here, by means of its shape), not as sign (i.e. not by the manner in which it designates something), the cognitive value of a = a becomes essentially equal to that of a = b, provided a = b is true.. (shrink)

In this paper I offer an account of the meaning of must and can within the framework of possible worlds semantics. The paper consists of two parts: the first argues for a relative concept of modality underlying modal words like must and can in natural language. I give preliminary definitions of the meaning of these words which are formulated in terms of logical consequence and compatibility, respectively. The second part discusses one kind of insufficiency in the meaning definitions given in (...) the first part, which arise from the ex falso quodlibet paradox of logical consequence. In stepwise fashion, I make an attempt to avoid most of the consequences of this paradox for the meaning definitions of must and can. (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)

À quelles conditions peut-on, dans un discours réel, utiliser un énoncé comme argument en faveur d’un autre? La réponse semble aller de soi, au moins si l’on assimile l’argumentation à une espèce de raisonnement - peut-être lâche et flou, mais analogue en son fond à la démonstration étudiée par les logiciens. Dans ce cas, l’enchaînement des énoncés se fonde sur les informations qu’ils véhiculent, sur ce qu’ils disent de la réalité. C’est justement l’inverse que veut montrer la théorie des échelles (...) argumentatives. Selon elle, la structure des énoncés, au sens le plus étroitement grammatical du terme, contient, indépendamment des informations qu’ils donnent, des indications sur le type de conclusions qu’ils peuvent servir. Le sens même de nos paroles doit alors être vu comme étant, de façon intrinsèque, un moyen pour orienter le discours de l’autre, l’intention de dire ne se distinguant pas de l’intention de faire dire. Ce qui fait triompher le structuralisme là où on l’attend le moins, en sémantique - la valeur sémantique d’un énoncé est constituée par allusion à la possibilité d’un autre énoncé - l’énoncé de l’autre. (shrink)

In this paper I introduce the notion of bilogics, namely logics interpreted over a pair of structures, in contrast to classical logic and many of its variations, the formulae of which are interpreted over one structure. In particular, I introduce and study Contrastive Logic, suitable for expressing contrast and conformity between the two structures involved.A major reason for this study is striving towards an extension of truth-conditional semantics to cover several natural-language particles, which have been hitherto considered not to be (...) amenable to such an extensional treatment, and were delegated to the level of non-extensional pragmatics. Examples of such particles are but and already. (shrink)

Presuppositions of utterances are the pieces of information you convey with an utterance no matter whether your utterance is true or not We rst study presupposition in a very simple framework of updating propo sitional information with examples of how presuppositions of complex propositional updates can be calculated Next we move on to presupposi tions and quanti cation in the context of a dynamic version of predicate logic suitably modi ed to allow for presupposition failure In both the propositional and (...) the quanti cational case presupposition failure can be viewed as error abortion of procedures Thus a dynamic assertion logic which describes the preconditions for error abortion is the suitable tool for analysing presupposition.. (shrink)