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.

The purpose of this essay is to shed some light on a certain type of sentence, which I call a borderline contradiction. A borderline contradiction is a sentence of the form F a ∧ ¬F a, for some vague predicate F and some borderline case a of F , or a sentence equivalent to such a sentence. For example, if Jackie is a borderline case of ‘rich’, then ‘Jackie is rich and Jackie isn’t rich’ is a borderline contradiction. Many theories (...) of vague language have entailments about borderline contradictions; correctly describing the behavior of borderline contradictions is one of the many tasks facing anyone offering a theory of vague language. Here, I first briefly review claims made by various theorists about these borderline contradictions, attempting to draw out some predictions about the behavior of ordinary speakers. Second, I present an experiment intended to gather relevant data about the behavior of ordinary speakers. Finally, I discuss the experimental results in light of several different theories of vagueness, to see what explanations are available. My conclusions are necessarily tentative; I do not attempt to use the present experiment to demonstrate that any single theory is incontrovertibly true. Rather, I try to sketch the auxiliary hypotheses that would need to be conjoined to several extant theories of vague language to predict the present result, and offer some considerations regarding the plausibility of these various hypotheses. In the end, I conclude that two of the theories I consider are better-positioned to account for the observed data than are the others. But the field of logically-informed research on people’s actual responses to vague predicates is young; surely as more data come in we will learn a great deal more about which (if any) of these theories best accounts for the behavior of ordinary speakers. (shrink)

This highly acclaimed book is a major contribution to the philosophy of language as well as a systematic interpretation of Frege, indisputably the father of ...

In Contradiction advocates and defends the view that there are true contradictions, a view that flies in the face of orthodoxy in Western philosophy since Aristotle. The book has been at the center of the controversies surrounding dialetheism ever since its first publication in 1987. This second edition of the book substantially expands upon the original in various ways, and also contains the author’s reflections on developments over the last two decades. Further aspects of dialetheism are discussed in the companion (...) volume, Doubt Truth to be a Liar, also published by Oxford University Press in 2006. (shrink)

Most speakers experience unclarity about the application of predicates like tall and red to liminal cases. We formulate alternative psychological hypotheses about the nature of this unclarity, and report experiments that provide a partial test of them. A psychologized version of the ‘vagueness-as-ignorance’ theory is then advanced and defended.

Recent work in supersemantics and in the semantic interpretation of prosody has showed that non-words (gestural, prosodic an iconic elements) can make truth conditional contributions. This paper contends that the way that they make their contributions—the way that they are integrated into semantic representations—calls into question foundational assumptions about how semantics works. I explore the case of a prosodic contour that can act as an intensifier (a word like ‘very’ or ‘really’) and argue that its compositional behaviour indicates that it (...) is integrated into sentence meaning in a secondary, dependent way and that this reveals a novel form of layering in semantic interpretation. (shrink)

This paper deals with the truth-Conditions and the logic for vague languages. The use of supervaluations and of classical logic is defended; and other approaches are criticized. The truth-Conditions are extended to a language that contains a definitely-Operator and that is subject to higher order vagueness.

Aristotle was the first and one of the greatest logicians. He not only devised the first system of formal logic, but also raised many fundamental problems in the philosophy of logic. In this book, Dr Lear shows how Aristotle's discussion of logical consequence, validity and proof can contribute to contemporary debates in the philosophy of logic. No background knowledge of Aristotle is assumed.

Those philosophers who gave a negative answer to all four questions were called "eel-wrigglers" by the Buddhists. It was impossible to fix their position either for approval or for rejection. They would criticize any view, positive or negative, but would not themselves hold any. And it was difficult for a serious person to enter into any controversy with them.

In "Metaphysics" Gamma 3 Aristotle declares that the philosopher investigates things that are qua things that are and that he therefore should be able to state the firmest principles of everything. The firmest principle of all is identified as the principle of non-contradiction (PNC). The main focus of Gamma 3 is Aristotle's proof for this identification. This paper begins with remarks about Aristotle's notion of the firmness of a principle and then offers an analysis of the firmness proof for PNC. (...) It focuses on some key assumptions of the proof and on the range and force of the proof. Aristotle closes Gamma 3 with the claim that PNC is ultimate in the sense that all other principles somehow rest on it. This, rather controversial, claim is given a defensible reading and shown to be central to the chapter's effort to establish PNC as the firmest principle of all. As such it completes the firmness proof and is not simply an appended remark. (shrink)

Roy Sorenson offers a unique exploration of an ancient problem: vagueness. Did Buddha become a fat man in one second? Is there a tallest short giraffe? According to Sorenson's epistemicist approach, the answers are yes! Although vagueness abounds in the way the world is divided, Sorenson argues that the divisions are sharp; yet we often do not know where they are. Written in Sorenson'e usual inventive and amusing style, this book offers original insight on language and logic, the way world (...) is, and our understanding of it. (shrink)

This book is available either individually, or as part of the specially-priced Arguments of the Philosphers Collection.

In a recent paper (Linguistics and Philosophy 23, 4, June 2000), Jason Stanley argues that there are no `unarticulated constituents', contrary to what advocates of Truth-conditional pragmatics (TCP) have claimed. All truth-conditional effects of context can be traced to logical form, he says. In this paper I maintain that there are unarticulated constituents, and I defend TCP. Stanley's argument exploits the fact that the alleged unarticulated constituents can be `bound', that is, they can be made to vary with the values (...) introduced by operators in the sentence. I show that Stanley's argument rests on a fallacy, and I provide alternative analyses of the data. (shrink)

One of the few points of agreement to be found in mainstream responses to the logical and semantic problems generated by vagueness is the view that if any modification of classical logic and semantics is required at all then it will only be such as to admit underdetermined reference and truth-value gaps. Logics of vagueness including many valued logics, fuzzy logics, and supervaluation logics all provide responses in accord with this view. The thought that an adequate response might require the (...) recognition of cases of overdetermination and truth value gluts has few supporters. This imbalance lacks justification. As it happens, Jaskowski's paraconsistent discussive logic-a logic which admits truth value gluts-can be defended by reflecting on similarities between it and the popular supervaluationist analysis of vagueness already in the philosophical literature. A simple dualisation of supervaluation semantics results in a paraconsistent logic of vagueness based on what has been termed subvaluational semantics. (shrink)

In his Metaphysics Γ.4, Aristotle defends the principle of non-contradiction (PNC). The PNC says that all contradictions are false. So if some contradictions are true, then PNC is false. Even if PNC’s contrary is false, PNC’s contradictory might still be true. But it’s been noted in the literature for over a century that Aristotle seems to be exclusively interested in attacking PNC’s contrary (‘All contradictions are true’) rather than PNC’s contradictory (‘Some contradictions are true’). So his defense of PNC seems (...) to fail. This would be a surprising error from the inventor of formal logic. It is especially puzzling because we have plenty of evidence showing that Aristotle is keenly aware of the distinction between contraries and contradictories, and because Aristotle distinguishes between PNC’s contradictory and PNC’s contrary in Γ.4. I defend Aristotle against these charges: (1) I explain that one important reason for Aristotle’s focus on PNC’s contrary is that he took it to be deeply connected to views held by thinkers such as Anaxagoras, Cratylus, Democritus, Empedocles, Heraclitus, Parmenides, Protagoras, and Xenophanes; (2) Aristotle’s defense of PNC must be a particular kind of indirect defense rather than a direct demonstration; (3) I argue that if Aristotle’s defense of PNC is read as centering around his argument for what counts as a thing that is determinate, Aristotle demonstrates the reliance of coherent communication on non-contradiction. Read this way, he gives a fairly compelling case to reject not just PNC’s contrary but also PNC’s contradictory. (shrink)

Litotes, “a figure of speech in which an affirmative is expressed by the negative of the contrary” has had some tough reviews. For Pope and Swift, litotes—stock examples include “no mean feat”, “no small problem”, and “not bad at all”—is “the peculiar talent of Ladies, Whisperers, and Backbiters”; for Orwell, it is a means to affect “an appearance of profundity” that we can deport from English “by memorizing this sentence: A not unblack dog was chasing a not unsmall rabbit across (...) a not ungreen field.” But such ridicule is not without equivocation, given that litotes, or “logical” double negation, may or may not be semantically redundant. When the negation of a logical contrary yields an unexcluded middle, it contributes to expressive power: someone who is not unhappy may not be happy either, and an occurrence may not be infrequent without being frequent. But if something is not possible, what can it be but possible? Why does Crashaw’s “not impossible she” survive rhetorically while Orwell’s “not unsmall rabbit” is doomed? How is Robbie being “not not friends” with Mary on 7th Heaven distinct from being friends with her, if not not-p reduces to p? The key is recognizing in litotes a corollary of MaxContrary, the tendency for contradictory sentential negation ¬p to strengthen pragmatically to a contrary ©p, as when the formal contradictory Fr. “Il ne faut pas partir” is reinterpreted as expressing a contrary. Just as the Law of Excluded Middle can apply where it “shouldn’t”, resulting in pragmatically presupposed disjunctions between semantic contraries, so that “p v ©p” amounts to an instance of “p v ¬p”, the Law of Double Negation can fail to apply where it “should”. When not not-p conveys ¬©p, the negation of a virtual contrary, the middle between p and not-p is no longer excluded, rendering the Fregean dictum that “Wrapping up a thought in double negation does not alter its truth value” not unproblematic. (shrink)

Gricean pragmatics. Saying vs. implicating ; Discourse and cooperation ; Conversational implicatures ; Generalised vs. particularised ; Cancellability ; Gricean reasoning and the pragmatics of what is said -- The standard recipe for Q-implicatures. The standard recipe ; Inference to the best explanation ; Weak implicatures and competence ; Relevance ; Conclusion -- Scalar implicatures. Horn scales and the generative view ; Implicatures and downward entailing environments ; Disjunction : exclusivity and ignorance ; Conclusion -- Psychological plausibility. Charges of psychological (...) inadequacy ; Logical complexity ; Abduction ; Incremental processing ; The intentional stance ; Alternatives ; Conclusion -- Nonce inference or defaults?. True defaults ; Strong defaultism ; Weak defaultism ; Contextualism ; Conclusion -- Intentions, alternatives, and free choice. Free choice ; Problems with the standard recipe ; Intentions first ; Free choice explained ; Comparing alternatives ; Two flavours of Q-implicature ; Conclusion -- Embedded implicatures : the problems. The problems ; Varieties of conventionalism ; Against conventionalism ; Conclusion -- Embedded implicatures : a Gricean approach. Disjunction ; Belief reports ; Factives and other presupposition inducers ; Indefinites ; Contrastive construals and lexical pragmatics ; Conclusion. (shrink)

In In Contradiction, Graham Priest shows, as clearly as anything like this can be shown, that it is coherent to maintain that some sentences can be both true and false at the same time. As a consequence, some contradictions are true, and an appreciation of this possibility advances our understanding of the nature of logic and language.

Critical discussion of Alan Code's paper "Aristotle's Investigation of a Basic Logical Principle: Which Science Investigates the Principle of Non-Contradiction?".

The Jaina saptabhaṅgī (seven angles of analysis or types of sentences) has drawn the attention of non-classical logicians due to its unique use of negation, contradiction, and avaktavya (‘unutterable’). In its most basic structure, the saptabhaṅgī appears as: (i) in a certain sense, P; (ii) in a certain sense, not P; (iii) in a certain sense, P and not P; (iv) in a certain sense, inexpressibility of P; (v) in a certain sense, P and inexpressibility of P; (vi) in a (...) certain sense, not P and inexpressibility of P; (vii) in a certain sense, P, not P, and inexpressibility of P. This appearance has led many (e.g., Ganeri and Priest) to claim that the saptabhaṅgī supports non-classical systems of logic, but such a reading is contested by Balcerowicz. Focusing on Vādidevasūri’s (12th c. CE) and Yaśovijaya’s (17th c. CE) accounts of the saptabhaṅgī, this paper puts forward a formalization of the saptabhaṅgī that brings together the non-classical views and Balcerowicz’s view through relating the saptabhaṅgī to the Buddhist unanswerable questions. (shrink)

Ambivalence (as in practical conflicts, moral dilemmas, conflicting beliefs, and mixed feelings) is a central phenomenon of human life. Yet ambivalence is incompatible with entrenched philosophical conceptions of personhood, judgement, and action, and is denied or marginalised by thinkers of diverse concerns. This book takes a radical new stance, bringing the study of core philosophical issues together with that of ambivalence. The book proposes new accounts in several areas – including subjectivity, consciousness, rationality, and value – while elucidating a wide (...) range of phenomena expressive of ambivalence, from emotional ambivalence to self-deception. The book rejects the view that ambivalence makes a person divided, showing that our tension-fraught attitudes are profoundly unitary. Ambivalence is not tantamount to confusion or to paralysis: it is always basically rational, and often creative, active, and perceptive as well. The book develops themes from Wittgenstein, Davidson, Sartre, and Freud. It engages with contemporary debates in Analytic Philosophy in addition to work ranging from Aristotle to Cultural Studies and Empirical Psychology, and considers a rich set of examples from daily life and literature. (shrink)

This book gives a descriptive analysis of specific Madhyamika texts. It compares the ideology of Kumarajiva (a translator of the four Madhyamika treatises 400 A.D.) with the ideologies of the three Chinese contemporaries - HuiYuan, Seng-Jui and Seng-Chao. It envisages an intercultural transmission of religious and philosophical ideas from India to China.

In an interesting experimental study, Bonini et al. (1999) present partial support for truth-gap theories of vagueness. We say this despite their claim to find theoretical and empirical reasons to dismiss gap theories and despite the fact that they favor an alternative, epistemic account, which they call ‘vagueness as ignorance’. We present yet more experimental evidence that supports gap theories, and argue for a semantic/pragmatic alternative that unifies the gappy supervaluationary approach together with its glutty relative, the subvaluationary approach.

In Contradiction advocates and defends the view that there are true contradictions (dialetheism), a view that flies in the face of orthodoxy in Western philosophy since Aristotle. The book has been at the center of the controversies surrounding dialetheism ever since its first publication in1987. This second edition of the book substantially expands upon the original in various ways, and also contains the author's reflections on developments over the last two decades. Further aspects of dialetheism are discussed in the companion (...) volume, Doubt Truth to be a Liar, also published byOxford University Press in 2006. (shrink)

In Book Γ of the Metaphysics Aristotle states and attempts to prove what he calls the basic principle of the science of being as being: the law of non‐contradiction. In this paper I defend an interpretation of his proof, inspired by Elizabeth Anscombe's 1961 essay in ‘Three Philosophers’, though some of its features were remarked on by Lukasiewicz in 1910, according to which Aristotle is proving this principle only for substance predicates, and that it is to be understood as the (...) basic principle of metaphysics rather than of logic. It is the principle that every substance has an essential nature, and if it is of the essential nature of x to be F then it cannot be of the essential nature of x to be not‐F since then x's being F and x's being not‐F would be the same. He puts it by saying that in such a case F and not‐F would ‘signify the same’ for x. Since they do not, x cannot be both. (shrink)

A speaker often decides whether or not to saysomething based on his assessment of the impact itwould have on his hearer's beliefs. If he thinks itwould bring them more in line with the truth, he saysit; otherwise he does not. In this paper, I developa model of these judgments, focusing specifically onthose of vague sentences. Under the simplifyingassumption that an utterance only conveys a speaker'sapplicability judgments, I present a Bayesian model ofan utterance's impact on a hearer's beliefs. Fromthis model I (...) derive a model of a speaker's judgment ofwhether or not an utterance would be informative. Iillustrate it with several examples of judgments ofvague and non-vague sentences. For instance, I showthat it models the common judgment that assertingeither ``George is tall'' or ``George is not tall'' wouldbe misleading if George were borderline tall, butasserting ``George is tall and he isn't tall'' would notbe. (shrink)