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 therefore have 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 re search papers bringing together different approaches toward a general characteri zation of kinds of negation and classifications thereof. The volume is structured into four interrelated thematic parts. Part I is centered around the themes of Models, Relevance and Impossibility. In Chapter 1 (Negation: Two Points of View), Arnon Avron develops two characteri zations of negation, one semantic the other proof-theoretic. Interestingly and maybe provokingly, under neither of these accounts intuitionistic negation emerges as a genuine negation. J. Michael Dunn in Chapter 2 (A Comparative Study of Various Model-theoretic Treatments of Negation: A History of Formal Negation) surveys a detailed correspondence-theoretic classifcation of various notions of negation in terms of properties of a binary relation interpreted as incompatibility."

The aim of this book is to present essays centered upon the subjects of Formal Ontology and Logical Philosophy. The idea of investigating philosophical problems by means of logical methods was intensively promoted in Torun by the Department of Logic of Nicolaus Copernicus University during last decade. Another aim of this book is to present to the philosophical and logical audience the activities of the Torunian Department of Logic during this decade. The papers in this volume contain the results concerning Logic and Logical Philosophy, obtained within the confines of the projects initiated by the Department of Logic and other research projects in which the Torunian Department of Logic took part.

Dissociation is a pervasive argumentative technique that can be found in argumentative discussions from all realms of public and private life. Up till now, a comprehensive and systematic argumentation theoretical study of dissociation does not exist. This book aims to fill this gap. The treatment in this book, in several respects, is innovative. To begin with, so far, dissociation has been studied mainly from a monologual orientation. This book specifically focuses on dialogual aspects of the use of dissociation in argumentative discussions. In the second place, extant studies deal primarily with examples of dissociation from the philosophical and literary spheres or from the political arena. This book discusses a great variety of examples, many from every-day contexts, from such sources as newspapers, television shows, websites, Parliamentary Reports, and ordinary conversations. Last, but not least, the present book examines a broad range of features of dissociation. The first part of the book clarifies the notion of dissociation and provides insight into the way in which dissociation becomes manifest in argumentative discourse. The second part of the book, using the theoretical perspective of Pragma-Dialectics, answers the question how dissociation is used by the participants in argumentative discussions to realize their dialectical and rhetorical aims. The third and last part of the book discusses the strengths and weaknesses of the use of dissociation in argumentative discussions, both with regard to its dialectical soundness and to its persuasive effectiveness.

Ars Topica is the first full-length study of the nature and development of topoi, the conceptual ancestors of modern argument schemes, between Aristotle and Cicero.

Aristotle and Cicero configured topoi in a way that influenced the subsequent tradition. Their work on the topos-system grew out of an interest in creating a theory of argumentation which could stand between the rigour of formal logic and the emotive potential of rhetoric. This system went through a series of developments and transformations resulting from the interplay between the separate aims of gaining rhetorical effectiveness and of maintaining dialectical standards.

Ars Topica presents a comprehensive treatment of Aristotle s and Cicero s methods of topoi and, by exploring their relationship, it illuminates an area of ancient rhetoric and logic which has been obscured for more than two thousand years.

Through an interpretation which is philologically rooted in the historical context of topoi, the book lays the ground for evaluating the relevance of the classical approaches to modern research on arguments, and at the same time provides an introduction to Greek and Roman theory of argumentation focussed on its most important theoretical achievements."

This book presents formalizations of three important medieval logical theories: supposition, consequence and obligations. These are based on innovative vantage points: supposition theories as algorithmic hermeneutics, theories of consequence analyzed with tools borrowed from model-theory and two-dimensional semantics, and obligations as logical games. The analysis of medieval logic is relevant for the modern philosopher and logician. This is the first book to render medieval logical theories accessible to the modern philosopher.

Logic and Philosophy of Mathematics in the Early Husserl focuses on the first ten years of Edmund Husserl's work, from the publication of his Philosophy of Arithmetic (1891) to that of his Logical Investigations (1900/01), and aims to precisely locate his early work in the fields of logic, philosophy of logic and philosophy of mathematics. Unlike most phenomenologists, the author refrains from reading Husserl's early work as a more or less immature sketch of claims consolidated only in his later phenomenology, and unlike the majority of historians of logic she emphasizes the systematic strength and the originality of Husserl's logico-mathematical work.

The book attempts to reconstruct the discussion between Husserl and those philosophers and mathematicians who contributed to new developments in logic, such as Leibniz, Bolzano, the logical algebraists (especially Boole and Schroder), Frege, and Hilbert and his school. It presents both a comprehensive critical examination of some of the major works produced by Husserl and his antagonists in the last decade of the 19th century and a formal reconstruction of many texts from Husserl's Nachlass that have not yet been the object of systematical scrutiny.

This volume will be of particular interest to researchers working in the history, and in the philosophy, of logic and mathematics, and more generally, to analytical philosophers and phenomenologists with a background in standard logic."

This first volume has as its main focus the philosophical foundations of Michalos' work and describes it in the broad context of the study of logic, the philosophy of social sciences, and a general theory of value. After distinguishing things that have value from the value that things might have, it describes the foundations of a pragmatic theory of value. This theory plays a key role in the author's research on the quality of life and connects his empirical research to the philosophical tradition of the American pragmatists William James, Ralph Barton Perry, John Dewey and Clarence Irving Lewis. The volume addresses various aspects and issues concerning decision making, including decision procedures used in committees, used for assessing the acceptability of scientific theories and new technologies, procedures for a science court, ethical issues involved in the formation of beliefs, some limitations of classical economists' alleged postulates of rational preference, and the importance of analytic guides to decision making. Finally, it describes the organization of the Social Sciences Federation of Canada and a formal accounting system for scientific research.

The general aim of this book is to provide an elementary exposition of some basic concepts in terms of which both classical and non-dassicallogirs may be studied and appraised. Although quantificational logic is dealt with briefly in the last chapter, the discussion is chiefly concemed with propo- gjtional cakuli. Still, the subject, as it stands today, cannot br covered in one book of reasonable length. Rather than to try to include in the volume as much as possible, I have put emphasis on some selected topics. Even these could not be roverrd completely, but for each topic I have attempted to present a detailed and precise t'Xposition of several basic results including some which are non-trivial. The roots of some of the central ideas in the volume go back to J.Luka- siewicz's seminar on mathematicallogi

Is it merely a matter of taste or convention to consider something right or wrong? Or can we find good reasons for our values and judgements that are independent of culture and tradition? The problem is as old as philosophy itself; and after more than two millennia of scholarly debate, there seems no end to the controversy. But Christian Illies suggests that powerful new forms of transcendental argument (a philosophical tool known since antiquity) may offer a long-sought cornerstone for morality.

This book is an example of fruitful interaction between (non-classical) propo sitionallogics and (classical) model theory which was made possible due to categorical logic. Its main aim consists in investigating the existence of model completions for equational theories arising from propositional logics (such as the theory of Heyting algebras and various kinds of theories related to proposi tional modal logic ). The existence of model-completions turns out to be related to proof-theoretic facts concerning interpretability of second order propositional logic into ordinary propositional logic through the so-called 'Pitts' quantifiers' or 'bisimulation quantifiers'. On the other hand, the book develops a large number of topics concerning the categorical structure of finitely presented al gebras, with related applications to propositional logics, both standard (like Beth's theorems) and new (like effectiveness of internal equivalence relations, projectivity and definability of dual connectives such as difference). A special emphasis is put on sheaf representation, showing that much of the nice categor ical structure of finitely presented algebras is in fact only a restriction of natural structure in sheaves. Applications to the theory of classifying toposes are also covered, yielding new examples. The book has to be considered mainly as a research book, reporting recent and often completely new results in the field; we believe it can also be fruitfully used as a complementary book for graduate courses in categorical and algebraic logic, universal algebra, model theory, and non-classical logics. 1."

The commentary of Alexander of Aphrodisias on Aristotle's Prior Analytics 1.8-22 is a very important text, being the main ancient commentary with chapters in which Aristotle invented modal logic - the logic of propositions about what is necessary or contingent (possible). The first volume of Ian Mueller's translation covered chapters 1.8-13, and reached as far as the chapter in which Aristotle discussed the notion of contingency. In this, the second volume, the 'greatest' commentator, Alexander, concludes his discussion of Aristotle's modal logic. Aristotle also invented the syllogism, a style of argument involving two premises and a conclusion. Modal propositions can be deployed in syllogisms, and in the chapters included in this volume Aristotle discusses all the syllogisms containing at least one contingent premiss. In each volume, Ian Mueller provides a comprehensive explanation of Alexander's commentary on modal logic as a whole.

The subject of Time has a wide intellectual appeal across different dis ciplines. This has shown in the variety of reactions received from readers of the first edition of the present Book. Many have reacted to issues raised in its philosophical discussions, while some have even solved a number of the open technical questions raised in the logical elaboration of the latter. These results will be recorded below, at a more convenient place. In the seven years after the first publication, there have been some noticeable newer developments in the logical study of Time and temporal expressions. As far as Temporal Logic proper is concerned, it seems fair to say that these amount to an increase in coverage and sophistication, rather than further break-through innovation. In fact, perhaps the most significant sources of new activity have been the applied areas of Linguistics and Computer Science (including Artificial Intelligence), where many intriguing new ideas have appeared presenting further challenges to temporal logic. Now, since this Book has a rather tight composition, it would have been difficult to interpolate this new material without endangering intelligibility."

Hard as it is to believe, what is possibly Galileo's most important Latin manuscript was not transcribed for the National Edition of his works and so has remained hidden from scholars for centuries. In this volume William A. Wallace translates the logical treatises contained in that manuscript and makes them intelligible to the modern reader. He prefaces his translation with a lengthy introduction describing the contents of the manuscript, the sources from which it derives, its dating, and how it relates to Galileo's other Pisan writings. The translation is accompanied by extensive notes and commentary; these explain the text and tie it to the fuller exposition of Galileo's logical methodology in the author's companion volume, Galileo's Logic of Discovery and Proof. The result is a research tool that is indispensable for anyone intent on understanding Galileo's logic as described in that volume and the documentary evidence on which it is based.

It is with great pleasure that we are presenting to the community the second edition of this extraordinary handbook. It has been over 15 years since the publication of the first edition and there have been great changes in the landscape of philosophical logic since then. The first edition has proved invaluable to generations of students and researchers in formal philosophy and language, as well as to consumers of logic in many applied areas. The main logic artiele in the Encyelopaedia Britannica 1999 has described the first edition as 'the best starting point for exploring any of the topics in logic'. We are confident that the second edition will prove to be just as good. ! The first edition was the second handbook published for the logic commu nity. It followed the North Holland one volume Handbook 0/ Mathematical Logic, published in 1977, edited by the late Jon Barwise. The four volume Handbook 0/ Philosophical Logic, published 1983-1989 came at a fortunate temporal junction at the evolution of logic. This was the time when logic was gaining ground in computer science and artificial intelligence cireles. These areas were under increasing commercial press ure to provide devices which help and/or replace the human in his daily activity. This pressure required the use of logic in the modelling of human activity and organisa tion on the one hand and to provide the theoretical basis for the computer program constructs on the other.

Vladimir Aleksandrovich Smirnov was born on March 2, 1931. He graduated from Moscow State University in 1954. From 1957 till 1961 he was a lecturer in philosophy and logic at the Tomsk University. Since 1961 his scientific activity continued in Moscow at the Institute of Philosophy of Academy of Sciences of the USSR. From 1970 and till the last days of his life V. A. Smirnov was lecturer and then Professor at the Chair of Logic at Moscow State University. V. A. Smirnov played an important role at the Institute of Philosophy of Russian Academy of Sciences being the Head of Department of Epistemology, Logic and Philosophy of Science and Technology, and the Head of Section of Logic. Last years he was the leader of the Centre of Logical Investigations of Russsian Academy of Sciences. In 1990-91 he founded a new non-goverment Institute of Logic, Cognitive Sciences and Development of Personality for performing research, teaching, editorial and organization activity in the field of humanities. At the Department of Philosophy of Moscow State University and at the Institute of Philosophy V. A. Smirnov and his close colleagues have founded a Russian logical school which brought up many talented researchers who work at several scientific centres in various countries.

The problem of truth and the liar paradox is one of the most extensive problems of philosophy. The liar paradox can be avoided by assuming a so-called theory of partial truth instead of a classical theory of truth. Theories of partial truth, however, cannot solve the so-called strengthened liar paradox, which is the problem that many semantic statements about the so-called strengthened liar cannot be true in a theory of partial truth. If such semantic statements were true in the theory, another paradox would emerge. To proponents of contextual accounts, which assume that the concept of truth is context-dependent, the strengthened liar paradox is the core of the liar problem. This book provides an overview of current contextual approaches to the strengthened liar paradox. For this purpose, the author investigates formal theories of truth that result from formal reconstructions of such contextual approaches.

This volume contains a selection of papers (keynote addresses and other important papers) from the International Conference on Argumentation at Amsterdam of 2002 by prominent international scholars of argumentation theory. The contributions are representative of the main approaches to the study of argumentation: the informal logical approach, the logical approach, the dialectical approach, the rhetorical and the communicative approach. Taken together the papers in this volume provide an insightful cross-section of the current state of affairs in argumentation research.
The collection of essays as a whole will be of interest to all those working in the field of argumentation theory and to all scholars who are interested in recent developments in this field.

Intellectics' seeks to understand the functions, structure and operation of the human intellect and to test artificial systems to see the extent to which they can substitute or complement such functions. The word itself was introduced in the early 1980s by Wolfgang Bibel to describe the united fields of artificial intelligence and cognitive science. The book collects papers by distinguished researchers, colleagues and former students of Bibel's, all of whom have worked together with him, and who present their work to him here to mark his 60th birthday. The papers discuss significant issues in intellectics and computational logic, ranging across automated deduction, logic programming, the logic-based approach to intellectics, cognitive robotics, knowledge representation and reasoning. Each paper contains new, previously unpublished, reviewed results. The collection is a state of the art account of the current capabilities and limitations of a computational-logic-based approach to intellectics. Readership: Researchers who are convinced that the intelligent behaviour of machines should be based on a rigid formal treatment of knowledge representation and reasoning.

The aim of this book is to present and analyze philosophical conceptions concerning mathematics and logic as formulated by Polish logicians, mathematicians and philosophers in the 1920s and 1930s. It was a remarkable period in the history of Polish science, in particular in the history of Polish logic and mathematics. Therefore, it is justified to ask whether and to what extent the development of logic and mathematics was accompanied by a philosophical reflection. We try to answer those questions by analyzing both works of Polish logicians and mathematicians who have a philosophical temperament as well as their research practice. Works and philosophical views of the following Polish scientists will be analyzed: Waclaw Sierpinski, Zygmunt Janiszewski, Stefan Mazurkiewicz, Stefan Banach Hugo Steinhaus, Eustachy Zylinsk and Leon Chwistek, Jan Lukasiewicz, Zygmunt Zawirski, Stanislaw Lesniewski, Tadeusz Kotarbinski, Kazimierz Ajdukiewicz, Alfred Tarski, Andrzej Mostowski and Henryk Mehlberg, Jan Sleszynski, Stanislaw Zaremba and Witold Wilkosz. To indicate the background of scientists being active in the 1920s and 1930s we consider in Chapter 1 some predecessors, in particular: Jan Sniadecki, Jozef Maria Hoene-Wronski, Samuel Dickstein and Edward Stamm.

"Foundations of the Formal Sciences" (FotFS) is a series of interdisciplinary conferences in mathematics, philosophy, computer science and linguistics. The main goal is to reestablish the traditionally strong links between these areas of research that have been lost in the past decades.

The second conference in the series had the subtitle "Applications of Mathematical Logic in Philosophy and Linguistics" and brought speakers from all parts of the Formal Sciences together to give a holistic view of how mathematical methods can improve our philosophical and technical understanding of language and scientific discourse, ranging from the theoretical level up to applications in language recognition software.

Audience: This volume is of interest to all formal philosophers and theoretical linguists. In addition to that, logicians interested in the applications of their field and logic students in mathematics, computer science, philosophy and linguistics can use the volume to broaden their knowledge of applications of logic.

This monograph is designed to provide an introduction to the principal areas of tense logic. Many of the developments in this ever-growing field have been intentionally excluded to fulfill this aim. Length also dictated a choice between the alternative notations of A. N. Prior and Nicholas Rescher - two pioneers of the subject. I choose Prior's because of the syntactical parallels with the language it symbolizes and its close ties with other branches of logi cal theory, especially modal logic. The first chapter presents a wider view of the material than later chapters. Several lines of development are consequently not followed through the remainder of the book, most notably metric systems. Although it is import ant to recognize that the unadorned Prior-symbolism can be enriched in vari ous ways it is an advanced subject as to how to actually carry off these enrichments. Readers desiring more information are referred to the appropri ate literature. Specialists will notice that only the first of several quantifi cational versions of tense logic is proven complete in the final chapter. Again constraints of space are partly to blame. The proof for the 'star' systems is wildly complex and at the time of this writing is not yet ready for publi cation."