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 weIl 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 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 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 is unusual in many respects. It was written by a prolific author whose tragic untimely death did not allow to finish this and many other of his undertakings. It was assembled from numerous excerpts, notes, and fragments according to his initial plans. Zilberman's legacy still awaits its true discovery and this book is a second installment to it after The Birth of Meaning in Hindu Thought (Kluwer, 1988). Zilberman's treatment of analogy is unique in its approach, scope, and universality for Western philosophical thought. Constantly compared to eastern and especially classical Indian interpretations, analogy is presented by Zilberman as an important and in many ways primary method of philosophizing or philosophy-building. Due to its universality, this method can be also applied in linguistics, logic, social analysis, as well as historical and anthropological research. These applications are integral part of Zilberman's book. A prophetic leap to largely uncharted territories, this book could be of considerable interest for experts and novices in the field of analogy alike.

This unique introduction fully engages and clearly explains pragmatism, an approach to knowledge and philosophy that rejects outmoded conceptions of objectivity while avoiding relativism and subjectivism. It follows pragmatism's focus on the process of inquiry rather than on abstract justifications meant to appease the skeptic. According to pragmatists, getting to know the world is a creative human enterprise, wherein we fashion our concepts in terms of how they affect us practically, including in future inquiry. This book fully illuminates that enterprise and the resulting radical rethinking of basic philosophical conceptions like truth, reality, and reason. Author Cornelis de Waal helps the reader recognize, understand, and assess classical and current pragmatist contributions-from Charles S. Peirce to Cornel West-evaluate existing views from a pragmatist angle, formulate pragmatist critiques, and develop a pragmatist viewpoint on a specific issue. The book discusses: Classical pragmatists, including Peirce, James, Dewey, and Addams; Contemporary figures, including Rorty, Putnam, Haack, and West; Connections with other twentieth-century approaches, including phenomenology, critical theory, and logical positivism; Peirce's pragmatic maxim and its relation to James's Will to Believe; Applications to philosophy of law, feminism, and issues of race and racism.

This volume is a collection of my essays on philosophy of logic from a phenomenological perspective. They deal with the four kinds of logic I have been concerned with: formal logic, transcendental logic, speculative logic and hermeneutic logic. Of these, only one, the essay on Hegel, touches upon 'speculative logic', and two, those on Heidegger and Konig, are concerned with hermeneutic logic. The rest have to do with Husser and Kant. I have not tried to show that the four logics are compatible. I believe, they are--once they are given a phenomenological underpinning. The original plan of writing an Introduction in which the issues would have to be formulated, developed and brought together, was abandoned in favor of writing an Introductory Essay on the 'origin'- in the phenomenological sense -of logic. J.N.M. Philadelphia INTRODUCTION: THE ORIGIN OF LOGIC The question of the origin of logic may pertain to historical origin (When did it all begin? Who founded the science of logic?), psychological origin (When, in the course of its mental development, does the child learn logical operations?), cultural origin (What cultural - theological, metaphysical and linguisti- conditions make such a discipline as logic possible?), or transcendental constitutive origin (What sorts of acts and/or practices make logic possible?)."

Dynamic Epistemic Logic is the logic of knowledge change. This book provides various logics to support such formal specifications, including proof systems. Concrete examples and epistemic puzzles enliven the exposition. The book also offers exercises with answers. It is suitable for graduate courses in logic. Many examples, exercises, and thorough completeness proofs and expressivity results are included. A companion web page offers slides for lecturers and exams for further practice.

The papers collected in this volume were written over a period of some eight or nine years, with some still earlier material incorporated in one of them. Publishing them under the same cover does not make a con tinuous book of them. The papers are thematically connected with each other, however, in a way which has led me to think that they can naturally be grouped together. In any list of philosophically important concepts, those falling within the range of application of modal logic will rank high in interest. They include necessity, possibility, obligation, permission, knowledge, belief, perception, memory, hoping, and striving, to mention just a few of the more obvious ones. When a satisfactory semantics (in the sense of Tarski and Carnap) was first developed for modal logic, a fascinating new set of methods and ideas was thus made available for philosophical studies. The pioneers of this model theory of modality include prominently Stig Kanger and Saul Kripke. Several others were working in the same area independently and more or less concurrently. Some of the older papers in this collection, especially 'Quantification and Modality' and 'Modes of Modality', serve to clarify some of the main possibilities in the semantics of modal logics in general."

Within traditional decision theory, common decision principles -- e.g. the principle to maximize utility -- generally invoke idealization; they govern ideal agents in ideal circumstances. In Realistic Decision Theory, Paul Weirch adds practicality to decision theory by formulating principles applying to nonideal agents in nonideal circumstances, such as real people coping with complex decisions. Bridging the gap between normative demands and psychological resources, Realistic Decision Theory is essential reading for theorists seeking precise normative decision principles that acknowledge the limits and difficulties of human decision-making.

Richard Tieszen presents an analysis, development, and defense of a number of central ideas in Kurt Goedel's writings on the philosophy and foundations of mathematics and logic. Tieszen structures the argument around Goedel's three philosophical heroes - Plato, Leibniz, and Husserl - and his engagement with Kant, and supplements close readings of Goedel's texts on foundations with materials from Goedel's Nachlass and from Hao Wang's discussions with Goedel. As well as providing discussions of Goedel's views on the philosophical significance of his technical results on completeness, incompleteness, undecidability, consistency proofs, speed-up theorems, and independence proofs, Tieszen furnishes a detailed analysis of Goedel's critique of Hilbert and Carnap, and of his subsequent turn to Husserl's transcendental philosophy in 1959. On this basis, a new type of platonic rationalism that requires rational intuition, called 'constituted platonism', is developed and defended. Tieszen shows how constituted platonism addresses the problem of the objectivity of mathematics and of the knowledge of abstract mathematical objects. Finally, he considers the implications of this position for the claim that human minds ('monads') are machines, and discusses the issues of pragmatic holism and rationalism.

My impulse when I decided to collect into a single volume the essays on topics in logical theory and related subjects that I have written in the last fifteen years was to borrow from the title of a work by Sextus Empiricus, and call my collection "Against the Logicians." Although the essays address a variety of problems that interest me, the thread that runs through them is a scepticism about how logicians see things. So, the title appealed to me. However, I had second thoughts and chose instead a title of one of my own essays, "In Defense of Informal Logic," which emphasizes my support for other approaches. Although my criticisms of logical theory are designed to cut deeply, I do not want to be unresponsive to the needs that it is supposed to satisfy. However, my position that we have adequate resources for critically analyzing a particular argument and 00 not need a theory of argumentation, will not completely satisfy those who think that there is a need for it. So, I want them to know that I am taking their concerns seriously.

The aim of the book is to introduce the reader to some new areas oflogic which have yet to find their way into the bulk of modern logic books written from the more orthodox direction of the mainstream of develop ments. Such a work seems to me much needed, both because of the in trinsic value and increasing prominence of the nonstandard sector of logic, and because this particular sector is of the greatest interest from the standpoint of philosophical implications and applications. This book unites a series of studies in philosophical logic, drawing for the most part on material which I have contributed to the journal liter ature of the subject over the past ten years. Despite the fact that some of these essays have been published in various journals at different times, they possess a high degree of thematic and methodological unity. All of these studies deal with material of substantial current interest in philo sophical logic and embody a fusion of the modern techniques of logical and linguistic-philosophical analysis for the exploration of areas of logic that are of substantial philosophical relevance."

P. A. Schilpp's 'Library of Living Philosophers' is the series which introduced to the philosophical community the format of a volume of essays on the work of a distinguished philosopher, combined with replies to the essays by the philosopher targeted. The format proved attracti ve to a discipline which has always placed a high premium on debate. But the Schilpp series has shown itself unenterprising in its choice of subjects, concentrating on end-of-year reports on philosophers who are of undoubted distinction, but whose contribution to the subject can be regarded as rather definitely over. Which leaves a gap, which the present series is designed to fill, for volumes of a similar format aiming at assessment of philosophers who have distinguished themselves already by making a substan tial impact on their discipline, but whose further work too is awaited with eager anticipation. Michael Dummett is an ideal subject for a series with this goal of mid term assessment. His writings to date have permanently altered philosophy's conception of what is at issue between realism and idealism (and its paler cousin, anti-realism); and this has been achieved by way of a supplementary clarification of a host of issues in the philosophy of language and of mathematics, and of the Frege/Wittgenstein historical tradition from which such issues are typically approached in contemporary philosophy."

The present publication forms part of a projected book that F. P. Ramsey drafted but never completed. It survived among his papers and ultimately came into the possession of the University of Pittsburgh in the circumstances detailed in the Editor's Introduction. Our hope in issuing this work at this stage - some sixty years after Ramsey's premature death at the age of 26 - is both to provide yet another token of his amazing philosophical creativity, and also to make available an important datum for the still to be written history of the development of philosophical analysis. This is a book whose appearance will, we hope and expect, be appreciated both by those interested in linguistic philosophy itself and by those concerned for its historical development in the present century. EDITORS'INTRODUCTION 1. THE RAMSEY COLLECTION Frank Plump ton Ramsey (22 February 1903 -19 January 1930) was an extra ordinary scholarly phenomenon. Son of a distinguished mathematician and President of Magdalene College, Cambridge and brother of Arthur Michael, eventual Archbishop of Canterbury, Ramsey was closely connected with Cambridge throughout his life, ultimately becoming lecturer in Mathematics in the University. Notwithstanding his great mathematical talent, it was primarily logic and philosophy that engaged his interests, and he wrote original and important contributions to logic, semantics, epistomology, probability theory, philosophy of science, and economics, in addition to seminal work in the foundations of mathematics."

This book covers work written by leading scholars from different schools within the research area of paraconsistency. The authors critically investigate how contemporary paraconsistent logics can be used to better understand human reasoning in science and mathematics. Offering a variety of perspectives, they shed a new light on the question of whether paraconsistent logics can function as the underlying logics of inconsistent but useful scientific and mathematical theories. The great variety of paraconsistent logics gives rise to various, interrelated questions, such as what are the desiderata a paraconsistent logic should satisfy, is there prospect of a universal approach to paraconsistent reasoning with axiomatic theories, and to what extent is reasoning about sets structurally analogous to reasoning about truth. Furthermore, the authors consider paraconsistent logic's status as either a normative or descriptive discipline (or one which falls in between) and which inconsistent but non-trivial axiomatic theories are well understood by which types of paraconsistent approaches. This volume addresses such questions from different perspectives in order to (i) obtain a representative overview of the state of the art in the philosophical debate on paraconsistency, (ii) come up with fresh ideas for the future of paraconsistency, and most importantly (iii) provide paraconsistent logic with a stronger philosophical foundation, taking into account the developments within the different schools of paraconsistency.

It is gratifying to see that philosophers' continued interest in Words and Objections has been so strong as to motivate a paperback edition. This is gratifying because it vindicates the editors' belief in the permanent im portance of Quine's philosophy and in the value of the papers com menting on it which were collected in our volume. Apart from a couple of small corrections, only one change has been made. The list of Professor Quine's writings has been brought up to date. The editors cannot claim any credit for this improvement, however. We have not tried to imitate the Library of Living Philosophers volumes and to include Professor Quine's autobiography in this volume, but we are fortunate to publish here his brand-new auto bibliography. 1975 THE EDITORS TABLE OF CONTENTS V PREFACE 1 EDITORIAL INTRODUCTION 1. 1. C. SMAR T / Quine's Philosophy of Science 3 GILBERT HARMAN / An Introduction to 'Translation and Meaning', Chapter Two of Word and Object 14 ERIK STENIUS / Beginning with Ordinary Things 27 NOAM CHOMSKY / Quine's Empirical Assumptions 53 1AAKKO HINTIKKA / Behavioral Criteria of Radical Translation 69 BARRY STROUD / Conventionalism and the Indeterminacy of Translation 82 P. F. STRA WSON / Singular Terms and Predication 97 118 H. P. GRICE / Vacuous Names P. T."

The media bombard us with claims that are often strange, unclear, and even upsetting. Quantum physicists claim that "vacuum nothingness" is not really nothing, because it teems with energy and virtual particles. Psychological research suggests that most of our neighbors suffer from some degree of mental disorder. Social scientists assure us that science itself is simply a cultural myth. Can anyone sort out fact from fiction in today's world? The answer, thankfully, is "Yes " But first, you must make a radical shift in your approach, because serious thinking about reality involves serious thinking about fiction, not only in your everyday mind, but also in the scholarly and technical realms. For anyone who has ever wondered-and you should wonder-whether there really are such things as government, society, the economy, or even marriage, the deeply philosophical and utterly practical "Logical Fictions" shows you how a solid grounding in logic and language can help you avoid getting trapped by the ideological fictions prevalent in today's sophisticated world. Consider yourself warned: humorous and filled with entertaining examples, this book will stretch your brain and provoke your thoughts. Your view of the world may never be the same.

First published in 1952, professor 's Strawson 's highly influential Introduction to Logical Theory provides a detailed examination of the relationship between the behaviour of words in common language and the behaviour of symbols in a logical system. He seeks to explain both the exact nature of the discipline known as Formal Logic, and also to reveal something of the intricate logical structure of ordinary unformalised discourse.

In 1968 Jean van Heijenoort published an edition of Herbrand's collected logic papers (Herbrand 1968). The core of the present volume comprises translations of these papers and of the biographical notes also appearing in that edition. With two exceptions, this is their first appearance in English; the exceptions are Chap. 5 of Herbrand's thesis and Herbrand 1931c, both of which appeared in van Heijenoort 1967, the former trans lated by Burton Dreben and van Heijenoort, and the latter by van Heijenoort. These two translations have been reprinted here, thanks to the permission ofthe Harvard University Press, with only minor changes. The remainder of the present translations are my own; I am grateful to van Heijenoort for providing an English draft of 1931, which forms the basis of the translation appearing here. In these translations, the bibliographical references have been stan dardized (see p. 299 below) and the notation has been changed so that it is fairly uniform throughout (any differences from Herbrand's original notation are mentioned in footnotes). Herbrand's technical terminology is not always translated literally; the principal instances of this are 'reduite', translated 'expansion' (except in 1930, Chap. 3, 3, where it is translated 'relativization'), 'champ', translated 'domain', and 'symbole de variable apparente', translated 'quantifier'. In other cases of this sort, the French terms appear in double brackets immediately following the English renderings."

It is neither far-fetched nor over-modest to assume that some readers will feel that another book on philosophical analysis is superfluous, seeing that there are at present a number of fine books, essays or col lections of essays on the subject. Part of the reason which makes me hope that the present book is not superfluous is that its aim is different from that of many of these books or essays. What I myself have at tempted to do is to outline my own views regarding the nature and possible types and forms of philosophical analysis: the result of sustained reflection on the subject for the past few years. The methods of analy sis that are here regarded as "proper," and in a greater or lesser degree philosophically useful methods are not, in their general features, really anything new. They are advocated or are actually being practised by different contemporary philosophers; and some of them have a long and hallowed history behind them. However, the present work attempts to present these methods in a form or manner which, it is hoped, will make them acceptable, or less inacceptable, to philosophers with widely-divergent attitudes or biases. An important feature of the book is that no one method or type of method is regarded as the proper method or type of method of philosophical analysis to the exclusion of others; in sharp contrast to the views or practice of a considerable number of contemporary philosophers."

This edited volume focuses on the work of Professor Larisa Maksimova, providing a comprehensive account of her outstanding contributions to different branches of non-classical logic. The book covers themes ranging from rigorous implication, relevance and algebraic logic, to interpolation, definability and recognizability in superintuitionistic and modal logics. It features both her scientific autobiography and original contributions from experts in the field of non-classical logics. Professor Larisa Maksimova's influential work involved combining methods of algebraic and relational semantics. Readers will be able to trace both influences on her work, and the ways in which her work has influenced other logicians. In the historical part of this book, it is possible to trace important milestones in Maksimova's career. Early on, she developed an algebraic semantics for relevance logics and relational semantics for the logic of entailment. Later, Maksimova discovered that among the continuum of superintuitionisitc logics there are exactly three pretabular logics. She went on to obtain results on the decidability of tabularity and local tabularity problems for superintuitionistic logics and for extensions of S4. Further investigations by Maksimova were aimed at the study of fundamental properties of logical systems (different versions of interpolation and definability, disjunction property, etc.) in big classes of logics, and on decidability and recognizability of such properties. To this end she determined a powerful combination of algebraic and semantic methods, which essentially determine the modern state of investigations in the area, as can be seen in the later chapters of this book authored by leading experts in non-classical logics. These original contributions bring the reader up to date on the very latest work in this field.

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

Scare Tactics, the first book on the subject, provides a theory of the structure of reasoning used in fear and threat appeal argumentation. Such arguments come under the heading of the argumentum ad baculum, the argument to the stick/club', traditionally treated as a fallacy in the logic textbooks. The new dialectical theory is based on case studies of many interesting examples of the use of these arguments in advertising, public relations, politics, international negotiations, and everyday argumentation on all kinds of subjects. Many of these arguments are amusing, once you see the clever tactic used; others are scary. Some of the arguments appear to be quite reasonable, while others are highly suspicious, or even outrageously fraudulent. In addition to the examples taken from logic textbooks, other cases treated come from a variety of sources, including political debates, legal arguments, and arguments from media sources, like magazine articles and television ads. The purpose of this book is to explain how such arguments work as devices of persuasion, and to develop a method for analyzing and evaluating their reasonable and fallacious uses in particular cases. The book shows how such arguments share a common structure, revealing several distinctive forms of argument nested within each other. Based on its account of this cognitive structure, the new dialectical theory presents methods for identifying, analyzing, and evaluating these arguments, as they are used in specific cases. The book is a scholarly contribution to argumentation theory. It is written in an accessible style, and uses many colorful and provocative examples of fear and threat appeal arguments that are suitable for classroom discussions. The matters treated will be of interest to professionals and students in law, critical thinking, advertising, speech communication, informal logic, cognitive science, rhetoric, and media studies.

Gottlob Frege (1848-1925) is considered the father of modern logic and one of the founding figures of analytic philosophy. He was first and foremost a mathematician, but his major works also made important contributions to the philosophy of language.

Frege 's writings are difficult and deal with technical, abstract concepts. The Routledge Philosophy Guidebook to Frege On Sense and Reference helps the student to get to grips with Frege 's thought, and introduces and assesses:

• the background of Frege 's philosophical work
• Frege 's main papers and arguments, focussing on his distinction between sense and reference
• the continuing importance of Frege 's work to philosophy of logic and language.

Ideal for those coming to Frege for the first time, and containing fresh insights for anyone interested in his philosophy, this Guidebook is essential reading for all students of philosophy of language, philosophical logic and the history of analytic philosophy.