We who live in this post-modern late twentieth century culture are still children of dualism. For a variety of rather complex reasons we continue to split apart and treat as radical opposites body and spirit, medicine and religion, sacred and secular, private and public, love and justice, men and women. Though this is still our strong tendency, we are beginning to discover both the futility and the harm of such dualistic splitting. Peoples of many ancient cultures might smile at the belatedness of our discovery concerning the commonalities of medicine and religion. A cur sory glance back at ancient Egypt, Samaria, Babylonia, Persia, Greece, and Rome would disclose a common thread - the close union of religion and medicine. Both were centrally concerned with healing, health, and wholeness. The person was understood as a unity of body, mind, and spirit. The priest and the physician frequently were combined in the same individual. One of the important contributions of this significant volume of essays is the sustained attack upon dualism. From a variety of vantage points, virtually all of the authors unmask the varied manifestations of dualism in religion and medicine, urging a more holistic approach. Since the editor has provided an excellent summary of each article, I shall not attempt to comment on specific contributions. Rather, I wish to highlight three 1 broad themes which I find notable for theological ethics."

This is an outline of a coherence theory of law. Its basic ideas are: reasonable support and weighing of reasons. All the rest is commentary.

These words at the beginning of the preface of this book perfectly indicate what On Law and Reason is about. It is a theory about the nature of the law which emphasises the role of reason in the law and which refuses to limit the role of reason to the application of deductive logic.

In 1989, when the first edition of On Law and Reason appeared, this book was ground breaking for several reasons. It provided a rationalistic theory of the law in the language of analytic philosophy and based on a thorough understanding of the results, including technical ones, of analytic philosophy. That was not an obvious combination at the time of the book s first appearance and still is not. The result is an analytical rigor that is usually associated with positivist theories of the law, combined with a philosophical position that is not natural law in a strict sense, but which shares with it the emphasis on the role of reason in determining what the law is. If only for this rare combination, On Law and Reason still deserves careful study.

On Law and Reason also foreshadowed and influenced a development in the field of Legal Logic that would take place in the nineties of the 20th century, namely the development of non-monotonic ( defeasible ) logics for the analysis of legal reasoning. In the new Introduction to this second edition, this aspect is explored in some more detail."

This anthology of original essays has been nearly .two and one-half years in the making, and reflects the generous effort of many persons. To begin with, we thank the contributors to the volume, who not only cooperated with regards to their own works, but who also provided valuable advice concerning the over-all volume. One of the contributors was outstanding in his assistance and warrants special mention: we thank Professor Michel Meyer, for his encouragement, counsel, and dedication to see this project to comple tion. We would also like to thank Professor Jaakko Hintikka for his encouragement and Mrs. Kuipers of Reidel for her patience and under standing along the way. A project such as this could never have been completed without the unique assistance of members of the Department of Communication, Ohio State University: Ms. Kimberly Pasi and Mr. Charles Mawhirtcr. Also, special thanks are due to our graduate research assistant Ms. Susan Jasko, for her proofreading and bibliographic work. The pressures of developing a Festschrift are considerable and could not have been met without the cooperation and enthusiasm of Mrs. Perelman, especially in allowing us to publish Professor Perelman's address to Ohio State University as our introduction."

The modern discussion on the concept of truthlikeness was started in 1960. In his influential Word and Object, W. V. O. Quine argued that Charles Peirce's definition of truth as the limit of inquiry is faulty for the reason that the notion 'nearer than' is only "defined for numbers and not for theories." In his contribution to the 1960 International Congress for Logic, Methodology, and Philosophy of Science at Stan ford, Karl Popper defended the opposite view by defining a compara tive notion of verisimilitude for theories. was originally introduced by the The concept of verisimilitude Ancient sceptics to moderate their radical thesis of the inaccessibility of truth. But soon verisimilitudo, indicating likeness to the truth, was confused with probabilitas, which expresses an opiniotative attitude weaker than full certainty. The idea of truthlikeness fell in disrepute also as a result of the careless, often confused and metaphysically loaded way in which many philosophers used - and still use - such concepts as 'degree of truth', 'approximate truth', 'partial truth', and 'approach to the truth'. Popper's great achievement was his insight that the criticism against truthlikeness - by those who urge that it is meaningless to speak about 'closeness to truth' - is more based on prejudice than argument."

Propositional Logics presents the history, philosophy, and mathematics of the major systems of propositional logic. Classical logic, modal logics, many-valued logics, intuitionism, paraconsistent logics, and dependent implication are examined in separate chapters. Each begins with a motivation in the originators' own terms, followed by the standard formal semantics, syntax, and completeness theorem. The chapters on the various logics are largely self-contained so that the book can be used as a reference. An appendix summarizes the formal semantics and axiomatizations of the logics. The view that unifies the exposition is that propositional logics comprise a spectrum. As the aspect of propositions under consideration varies, the logic varies. Each logic is shown to fall naturally within a general framework for semantics. A theory of translations between logics is presented that allows for further comparisons, and necessary conditions are given for a translation to preserve meaning. For this third edition the material has been re-organized to make the text easier to study, and a new section on paraconsistent logics with simple semantics has been added which challenges standard views on the nature of consequence relations. The text includes worked examples and hundreds of exercises, from routine to open problems, making the book with its clear and careful exposition ideal for courses or individual study.

Aristotle's "On Interpretation", a centrepiece of his logic, studies the relationship between conflicting pairs of statements. The first eight chapters, studied here, explain what statements are; they start from their basic components, the words, and work up to the character of opposed affirmations and negations. The 15,000 pages of the ancient Greek commentators on Aristotle, written mainly between 200 and 500 AD, constitute the largest corpus of extant Greek philosophical writing not translated into English or other European languages. This new series of translations, planned in 60 volumes, fills an important gap in the history of European thought.

In this book the authors present new results on interpolation for nonmonotonic logics, abstract (function) independence, the Talmudic Kal Vachomer rule, and an equational solution of contrary-to-duty obligations. The chapter on formal construction is the conceptual core of the book, where the authors combine the ideas of several types of nonmonotonic logics and their analysis of 'natural' concepts into a formal logic, a special preferential construction that combines formal clarity with the intuitive advantages of Reiter defaults, defeasible inheritance, theory revision, and epistemic considerations. It is suitable for researchers in the area of computer science and mathematical logic.

A classic of how to think clearly and critically and ahead of its time in anticipating the threats to democracy by poor argument and shoddy reasoning Engaging, clear and witty, it is a brilliant example of how philosophy can connect with the concerns with everyone and requires no knowledge of the subject Susan Stebbing was the first woman in the UK to be appointed a professor of philosophy, in 1933 A new foreword by Nigel Warburton and introduction by Peter West help to set Stebbing book in helpful context

Doing Worlds with Words throws light on the problem of meaning as the meeting point of linguistics, logic and philosophy, and critically assesses the possibilities and limitations of elucidating the nature of meaning by means of formal logic, model theory and model-theoretical semantics. The main thrust of the book is to show that it is misguided to understand model theory metaphysically and so to try to base formal semantics on something like formal metaphysics; rather, the book states that model theory and similar tools of the analysis of language should be understood as capturing the semantically relevant, especially inferential, structure of language. From this vantage point, the reader gains a new light on many of the traditional concepts and problems of logic and philosophy of language, such as meaning, reference, truth and the nature of formal logic.

Traditionally, Aristotle is held to believe that philosophical contemplation is valuable for its own sake, but ultimately useless. In this volume, Matthew D. Walker offers a fresh, systematic account of Aristotle's views on contemplation's place in the human good. The book situates Aristotle's views against the background of his wider philosophy, and examines the complete range of available textual evidence (including neglected passages from Aristotle's Protrepticus). On this basis, Walker argues that contemplation also benefits humans as perishable living organisms by actively guiding human life activity, including human self-maintenance. Aristotle's views on contemplation's place in the human good thus cohere with his broader thinking about how living organisms live well. A novel exploration of Aristotle's views on theory and practice, this volume will interest scholars and students of both ancient Greek ethics and natural philosophy. It will also appeal to those working in other disciplines including classics, ethics, and political theory.

Labelled deduction is an approach to providing frameworks for presenting and using different logics in a uniform and natural way by enriching the language of a logic with additional information of a semantic proof-theoretical nature. Labelled deduction systems often possess attractive properties, such as modularity in the way that families of related logics are presented, parameterised proofs of metatheoretic properties, and ease of mechanisability. It is thus not surprising that labelled deduction has been applied to problems in computer science, AI, mathematical logic, cognitive science, philosophy and computational linguistics - for example, formalizing and reasoning about dynamic state oriented' properties such as knowledge, belief, time, space, and resources.

Hilbert's Program was founded on a concern for the phenomenon of paradox in mathematics. To Hilbert, the paradoxes, which are at once both absurd and irresistible, revealed a deep philosophical truth: namely, that there is a discrepancy between the laws accord ing to which the mind of homo mathematicus works, and the laws governing objective mathematical fact. Mathematical epistemology is, therefore, to be seen as a struggle between a mind that naturally works in one way and a reality that works in another. Knowledge occurs when the two cooperate. Conceived in this way, there are two basic alternatives for mathematical epistemology: a skeptical position which maintains either that mind and reality seldom or never come to agreement, or that we have no very reliable way of telling when they do; and a non-skeptical position which holds that there is significant agree ment between mind and reality, and that their potential discrepan cies can be detected, avoided, and thus kept in check. Of these two, Hilbert clearly embraced the latter, and proposed a program designed to vindicate the epistemological riches represented by our natural, if non-literal, ways of thinking. Brouwer, on the other hand, opted for a position closer (in Hilbert's opinion) to that of the skeptic. Having decided that epistemological purity could come only through sacrifice, he turned his back on his classical heritage to accept a higher calling."

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 article in the Encyclopaedia 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 of Mathematical Logic, published in 1977, edited by the late Jon Barwise. The four volume Handbook of 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 circles. These areas were under increasing commercial pressure 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."

This book presents a systematic treatment of deductive aspects and structures of fuzzy logic understood as many valued logic sui generis. It aims to show that fuzzy logic as a logic of imprecise (vague) propositions does have well-developed formal foundations and that most things usually named 'fuzzy inference' can be naturally understood as logical deduction. It is for mathematicians, logicians, computer scientists, specialists in artificial intelligence and knowledge engineering, and developers of fuzzy logic.

This book creates a conceptual schema that acts as a correlation between Epistemology and Epistemic Logic. It connects both fields and offers a proper theoretical foundation for the contemporary developments of Epistemic Logic regarding the dynamics of information. It builds a bridge between the view of Awareness Justification Internalism, and a dynamic approach to Awareness Logic. The book starts with an introduction to the main topics in Epistemic Logic and Epistemology and reviews the disconnection between the two fields. It analyses three core notions representing the basic structure of the conceptual schema: "Epistemic Awareness", "Knowledge" and "Justification". Next, it presents the Explicit Aware Knowledge (EAK) Schema, using a diagram of three ellipses to illustrate the schema, and a formal model based on a neighbourhood-model structure, that shows one concrete application of the EAK-Schema into a logical structure. The book ends by presenting conclusions and final remarks about the uses and applications of the EAK-Schema. It shows that the most important feature of the schema is that it serves both as a theoretical correlate to the dynamic extensions of Awareness Logic, providing it with a philosophical background, and as an abstract conceptual structure for a re-interpretation of Epistemology.

The relation between logic and knowledge provoked a heated debate since the 1960s. The epistemic approaches, found their formal argument in the mathematics of Brouwer and intuitionistic logic. And following Michael Dummett - started to call themselves: antirealists'. Others persisted with the formal background of the Frege-Tarski tradition, where Cantorian set theory is linked via model theory to classical logic. Jaakko Hintikka tried to join both traditions by means of what is now known as explicit epistemic logic'. Here the epistemic content is introduced into the object language as an operator which yield propositions from propositions rather than as metalogical constraint on the notion of inference. The Realism-Antirealism debate had thus three players: classical logicians, intuitionists and explicit epistemic logicians. The editors of the present volume think that in these days and age of Alternative Logics, where manifold developments in logic happen in a breathtaking pace, this debate should be revisited. Using the most recent logical and epistemological tools, this book provides a novel and refreshing view on the most important topics of the Realism vs. Antirealism debate. Its general scope is to show the most recent developments in philosophical logic to deal with problems inherited from this debate. It is meant for researcher and advanced students in philosophy, logic, formal methods. It's complete collection with a variety of approaches, it is written by leading authors in the fields, every chapter is self-contained.

The main purpose of this work is to provide an English translation of and commentary on a recently published Arabic text dealing with con ditional propositions and syllogisms. The text is that of A vicenna (Abu represents his views on the subject as they were held throughout his life.

First published in 2005. Routledge is an imprint of Taylor & Francis, an informa company.

This book presents an in-depth and critical reconstruction of Prawitz's epistemic grounding, and discusses it within the broader field of proof-theoretic semantics. The theory of grounds is also provided with a formal framework, through which several relevant results are proved. Investigating Prawitz's theory of grounds, this work answers one of the most fundamental questions in logic: why and how do some inferences have the epistemic power to compel us to accept their conclusion, if we have accepted their premises? Prawitz proposes an innovative description of inferential acts, as applications of constructive operations on grounds for the premises, yielding a ground for the conclusion. The book is divided into three parts. In the first, the author discusses the reasons that have led Prawitz to abandon his previous semantics of valid arguments and proofs. The second part presents Prawitz's grounding as found in his ground-theoretic papers. Finally, in the third part, a formal apparatus is developed, consisting of a class of languages whose terms are equipped with denotation functions associating them to operations and grounds, as well as of a class of systems where important properties of the terms can be proved.

This volume contains a selection of papers presented at a Seminar on Intensional Logic held at the University of Amsterdam during the period September 1990-May 1991. Modal logic, either as a topic or as a tool, is common to most of the papers in this volume. A number of the papers are con cerned with what may be called well-known or traditional modal systems, but, as a quick glance through this volume will reveal, this by no means implies that they walk the beaten tracks. In deed, such contributions display new directions, new results, and new techniques to obtain familiar results. Other papers in this volume are representative examples of a current trend in modal logic: the study of extensions or adaptations of the standard sys tems that have been introduced to overcome various shortcomings of the latter, especially their limited expressive power. Finally, there is another major theme that can be discerned in the vol ume, a theme that may be described by the slogan 'representing changing information. ' Papers falling under this heading address long-standing issues in the area, or present a systematic approach, while a critical survey and a report contributing new techniques are also included. The bulk of the papers on pure modal logic deal with theoreti calor even foundational aspects of modal systems."

This study looks to the work of Tarski's mentors Stanislaw Lesniewski and Tadeusz Kotarbinski, and reconsiders all of the major issues in Tarski scholarship in light of the conception of Intuitionistic Formalism developed: semantics, truth, paradox, logical consequence.

This book is intended to serve as an advanced text and reference work on modal logic, a subject of growing importance which has applications to philosophy and linguistics. Although it is based mainly on research which I carried out during the years 1969-1973, it also includes some related results obtained by other workers in the field (see the refer ences in Part 7). Parts 0, 1 and 2, can be used as the basis of a one year graduate course in modal logic. The material which they contain has been taught in such courses at Stanford since 1970. The remaining parts of the book contain more than enough material for a second course in modal logic. The exercises supplement the text and are usually difficult. I wish to thank Stanford University and Bar-Han University for making it possible for me to continue and finish this work, and A. Ungar for correcting the typescript. Bar-Ilan University, Israel Dov M. GABBA Y PART 0 AN INTRODUCTION TO GENERAL INTENSIONAL LOGICS CHAPTER 0 CONSEQUENCE RELATIONS Motivation We introduce the notions of a consequence relation (which is a generalization of the notion of a logical system) and of a semantics. We show that every consequence relation is complete for a canonical semantics. We define the notion of one semantics being Dian in another and study the basic properties of this notion. The concepts of this chapter are generalizations of the various notions of logical system and possible world semantics found in the literature."

During the last decade, argumentation has attracted growing attention as a means to elicit processes (linguistic, logical, dialogical, psychological, etc.) that can sustain or provoke reasoning and learning. Constituting an important dimension of daily life and of professional activities, argumentation plays a special role in democracies and is at the heart of philosophical reasoning and scientific inquiry. Argumentation, as such, requires specific intellectual and social skills. Hence, argumentation will have an increasing importance in education, both because it is a critical competence that has to be learned, and because argumentation can be used to foster learning in philosophy, history, sciences and in many other domains.

Argumentation and Education answers these and other questions by providing both theoretical backgrounds, in psychology, education and theory of argumentation, and concrete examples of experiments and results in school contexts in a range of domains. It reports on existing innovative practices in education settings at various levels.