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

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.

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.

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.

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.

The papers collected in this volume represent the main body of research arising from the International Munich Centenary Conference in 2001, which commemorated the discovery of the famous Russell Paradox a hundred years ago. The 31 contributions and the introductory essay by the editor were (with two exceptions) all originally written for the volume. The volume serves a twofold purpose, historical and systematic. One focus is on Bertrand Russell's logic and logical philosophy, taking into account the rich sources of the Russell Archives, many of which have become available only recently. The second equally important aim is to present original research in the broad range of foundational studies that draws on both current conceptions and recent technical advances in the above-mentioned fields. The volume contributes therefore, to the well-established body of mathematical philosophy initiated to a large extent by Russell's work.

Alonzo Church was undeniably one ofthe intellectual giants of theTwenti- eth Century . These articles are dedicated to his memory and illustrate the tremendous importance his ideas have had in logic , mathematics, comput er science and philosophy . Discussions of some of thesevarious contributions have appeared in The Bulletin of Symbolic Logic, and th e interested reader is invited to seek details there . Here we justtry to give somegener al sense of the scope, depth,and value of his work. Church is perhaps best known for the theorem , appropriately called " C h u r c h ' s Theorem ", that there is no decision procedure forthelogical valid- ity of formulas first-order of logic . A d ecision proce dure forthat part of logic would have come near to fulfilling Leibniz's dream of a calculus that could be mechanically used tosettle logical disputes . It was not to . be It could not be . What Church proved precisely is that there is no lambda-definable function that can i n every case providethe right answer , ' y e s ' or ' n o', tothe question of whether or not any arbitrarily given formula is valid .

This volume contains a collection of research papers centered around the concept of quantifier. Recently this concept has become the central point of research in logic. It is one of the important logical concepts whose exact domain and applications have so far been insufficiently explored, especially in the area of inferential and semantic properties of languages. It should thus remain the central point of research in the future. Moreover, during the last twenty years generalized quantifiers and logical technics based on them have proved their utility in various applications. The example of natu rallanguage semantics has been partcularly striking. For a long time it has been belived that elementary logic also called first-order logic was an ade quate theory of logical forms of natural language sentences. Recently it has been accepted that semantics of many natural language constructions can not be properly represented in elementary logic. It has turned out, however, that they can be described by means of generalized quantifiers. As far as computational applications oflogic are concerned, particulary interesting are semantics restricted to finite models. Under this restriction elementary logic looses several of its advantages such as axiomatizability and compactness. And for various purposes we can use equally well some semantically richer languages of which generalized quantifiers offer the most universal methods of describing extensions of elementary logic. Moreover we can look at generalized quantifiers as an explication of some specific mathematical concepts, e. g."

"Logic," one of the central words in Western intellectual history, compre hends in its meaning such diverse things as the Aristotelian syllogistic, the scholastic art of disputation, the transcendental logic of the Kantian critique, the dialectical logic of Hegel, and the mathematical logic of the Principia Mathematica of Whitehead and Russell. The term "Formal Logic," following Kant is generally used to distinguish formal logical reasonings, precisely as formal, from the remaining universal truths based on reason. (Cf. SCHOLZ, 1931). A text-book example of a formal-logical inference which from "Some men are philosophers" and "All philosophers are wise" concludes that "Some men are wise" is called formal, because the validity of this inference depends only on the form ofthe given sentences -in particular it does not depend on the truth or falsity of these sentences. (On the dependence of logic on natural language, English, for example, compare Section 1 and 8). The form of a sentence like "Some men are philosophers," is that which remains preserved when the given predicates, here "men" and "philosophers" are replaced by arbitrary ones. The form itself can thus be represented by replacing the given predicates by variables. Variables are signs devoid of meaning, which may serve merely to indicate the place where meaningful constants (here the predicates) are to be inserted. As variables we shall use - as did Aristotle - letters, say P, Q and R, as variables for predicates."

All humans can interpret sentences of their native language quickly and without effort. Working from the perspective of generative grammar, the contributors investigate three mental mechanisms, widely assumed to underlie this ability: compositional semantics, implicature computation and presupposition computation. This volume brings together experts from semantics and pragmatics to bring forward the study of interconnections between these three mechanisms. The contributions develop new insights into important empirical phenomena; for example, approximation, free choice, accommodation, and exhaustivity effects.

The forms and scope of logic rest on assumptions of how language and reasoning connect to experience. In this volume an analysis of meaning and truth provides a foundation for studying modern propositional and predicate logics. Chapters on propositional logic, parsing propositions, and meaning, truth and reference give a basis for criteria that can be used to judge formalizations of ordinary language arguments. Over 120 worked examples of formalizations of propositions and arguments illustrate the scope and limitations of modern logic, as analyzed in chapters on identity, quantifiers, descriptive names, functions, and second-order logic. The chapter on second-order logic illustrates how different conceptions of predicates and propositions do not lead to a common basis for quantification over predicates, as they do for quantification over things. Notable for its clarity of presentation, and supplemented by many exercises, this volume is suitable for philosophers, linguists, mathematicians, and computer scientists who wish to better understand the tools they use in formalizing reasoning.

This collection of essays is dedicated to 'Joe' Karel Lambert. The contributors are all personally affected to Joe in some way or other, but they are definitely not the only ones. Whatever excuses there are - there are some -, the editors apologize to whomever they have neglected. But even so the collection displays how influential Karel Lambert has been, personally and through his teaching and his writings. The display is in alphabetical order - with one exception: Bas van Fraassen, being about the earliest student of Karel Lambert, opens the collection with some reminiscences. Naturally, one of the focal points of this volume is Lambert's logical thinking and (or: freed of) ontological thinking. Free logic is intimately connected with description theory. Bas van Fraassen gives a survey of the development of the area, and Charles Daniels points to difficulties with definite descriptions in modal contexts and stories. Peter Woodruff addresses the relation between free logic and supervaluation semantics, presenting a novel condition which recovers desirable metatheoretic properties for free logic under that semantics. Terence Parsons shows how free logic can be utilized in interpreting sentences as purporting to denote events (true ones succeed and false ones fail) and how this helps to understand natural language.

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 andjor 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.

Quantifiers: Logics, Models and Computation is the first concentrated effort to give a systematic presentation of the main research results on the subject, since the modern concept was formulated in the late '50s and early '60s. The majority of the papers are in the nature of a handbook. All of them are self-contained, at various levels of difficulty. The Introduction surveys the main ideas and problems encountered in the logical investigation of quantifiers. The Prologue, written by Per Lindstrom, presents the early history of the concept of generalised quantifiers. The volume then continues with a series of papers surveying various research areas, particularly those that are of current interest. Together they provide introductions to the subject from the points of view of mathematics, linguistics, and theoretical computer science. The present volume has been prepared in parallel with Quantifiers: Logics, Models and Computation, Volume Two. Contributions, which contains a collection of research papers on the subject in areas that are too fresh to be summarised. The two volumes are complementary. For logicians, mathematicians, philosophers, linguists and computer scientists. Suitable as a text for advanced undergraduate and graduate specialised courses in logic. "

Philosophy, Psychology, and Psychologism presents a remarkable diversity of contemporary opinions on the prospects of addressing philosophical topics from a psychological perspective. It considers the history and philosophical merits of psychologism, and looks systematically at psychologism in phenomenology, cognitive science, epistemology, logic, philosophy of language, philosophical semantics, and artificial intelligence. It juxtaposes many different philosophical standpoints, each supported by rigorous philosophical argument.
Philosophy, Psychology, and Psychologism is intended for professionals in the fields indicated, advanced undergraduate and graduate students in related areas of study, and interested lay readers.

We all engage in the process of reasoning, but we don't always pay attention to whether we are doing it well. This book offers the opportunity to practise reasoning in a clear-headed and critical way, with the aims of developing an awareness of the importance of reasoning well and of improving the reader's skill in analyzing and evaluating arguments.

In this third edition, Anne Thomson has updated and revised the book to include fresh and topical examples which will guide students through the processes of critical reasoning in a clear and engaging way. In addition, two new chapters on evaluating the credibility of evidence and decision making and dilemmas will fully equip students to reason well. By the end of the book students should be able to:

• identify flaws in arguments
• analyze the reasoning in newspaper articles, books and speeches
• assess the credibilty of evidence and authorities
• make sound decisions and solve dilemmas
• approach any topic with the ability to reason and think critically.

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."

Mathematics depends on proofs, and proofs must begin somewhere, from some fundamental assumptions. For nearly a century, the axioms of set theory have played this role, so the question of how these axioms are properly judged takes on a central importance. Approaching the question from a broadly naturalistic or second-philosophical point of view, Defending the Axioms isolates the appropriate methods for such evaluations and investigates the ontological and epistemological backdrop that makes them appropriate. In the end, a new account of the objectivity of mathematics emerges, one refreshingly free of metaphysical commitments.

This book presents a collection of contributions from related logics to applied paraconsistency. Moreover, all of them are dedicated to Jair Minoro Abe,on the occasion of his sixtieth birthday. He is one of the experts in Paraconsistent Engineering, who developed the so-called annotated logics. The book includes important contributions on foundations and applications of paraconsistent logics in connection with engineering, mathematical logic, philosophical logic, computer science, physics, economics, and biology. It will be of interest to students and researchers, who are working on engineering and logic.