What Is Negation?

by Gabbay, Dov M.; Wansing, Heinrich

• ISBN13: 9780792355694
• ISBN10: 0792355695
• Format: Hardcover
• Copyright: 1999-03-01
• Publisher: Kluwer Academic Pub

Summary

The notion of negation is one of the central logical notions. It has been studied since antiquity and has been subjected to thorough investigations in the development of philosophical logic, linguistics, artificial intelligence and logic programming. The properties of negation - in combination with those of other logical operations and structural features of the deducibility relation - serve as gateways among logical systems. Therefore negation plays an important role in selecting logical systems for particular applications. At the moment negation is a 'hot topic', and there is an urgent need for a comprehensive account of this logical key concept. We have therefore asked leading scholars in various branches of logic to contribute to a volume on What is Negation? The result is the present neatly focused collection of research papers bringing together different approaches to a general characterization of kinds of negation and classifications thereof. Audience: Scholars and graduate students in the fields of philosophy, logic mathematics, computer science and linguistics.

Table of Contents

Preface	ix
PART I MODELS, RELEVANCE AND IMPOSSIBILITY	1	(86)
Negation: Two Points of View	3	(20)
Arnon Avron
A Comparative Study of Various Model-theoretic Treatments of Negation: A History of Formal Negation	23	(30)
J. Michael Dunn
Negation in Relevant Logics (How I stopped worrying and learned to love the Routley Star)	53	(24)
Greg Restall
Negation in the Light of Modal Logic	77	(10)
Kosta Dosen
PART II PARACONSISTENCY, PARTIALITY AND LOGIC PROGRAMMING	87	(96)
Negation and Contradiction	89	(12)
Dov Gabbay
Anthony Hunter
What not? A Defence of Dialetheic Theory of Negation	101	(20)
Graham Priest
Partial Logics with Two Kinds of Negation as a Foundation for Knowledge-based Reasoning	121	(40)
Heinrich Herre
Jan Jaspars
Gerd Wagner
From Here to There: Stable Negation in Logic Programming	161	(22)
David Pearce
PART III ABSURDITY, FALSITY AND REFUTABILITY	183	(56)
Antirealism and Falsity	185	(14)
Michael Hand
Negation, Absurdity and Contrariety	199	(24)
Neil Tennant
Negation as Falsity: a Reply to Tennant	223	(16)
Heinrich Wansing
PART IV NEGATIONS, NATURAL LANGUAGE AND THE LIAR	239	(86)
Models for Non-Boolean Negations in Natural Languages Based on Aspect Analysis	241	(20)
M. La Palme Reyes
J. Macnamara
G. E. Reyes
H. Zolfaghari
Negation, Denial and Language Change in Philosophical Logic	261	(38)
Jamie Tappenden
What is that Item Designated Negation?	299	(26)
Richard Sylvan
Index	325