such questions for centuries (unrestricted by the capabilities of any ha- ware). Theprinciplesgoverningtheinteractionofseveralprocesses, forexample, are abstract an similar to principles governing the cooperation of two large organisation. A detailed rule based e?ective but rigid bureaucracy is very much similar to a complex computer program handling and manipulating data. My guess is that the principles underlying one are very much the same as those underlying the other. Ibelievethedayisnotfarawayinthefuturewhenthecomputerscientist will wake up one morning with the realisation that he is actually a kind of formal philosopher! The projected number of volumes for this Handbook is about 18. The subjecthasevolvedanditsareashavebecomeinterrelatedtosuchanextent that it no longer makes sense to dedicate volumes to topics. However, the volumes do follow some natural groupingsof chapters. Iwould liketothank our authorsand readersfor their contributionsand their commitment in making this Handbook a success. Thanksalso to our publication administrator Mrs J. Spurr for her usual dedication and excellence and to Kluwer Academic Publishers (now Springer) for their continuing support for the Handbook. Dov Gabbay King's College London 10 Logic IT Natural Program Arti?cial in- Logicp- language control spec- telligence gramming processing i?cation, veri?cation, concurrency Temporal Expressive Expressive Planning. Extension of logic power of tense power for re- Time depen- Horn clause operators. current events. dent data. with time Temporal Speci?cation Eventcalculus. capability. indices. Sepa- of tempo- Persistence Event calculus. ration of past ral control. through time- Temporal logic from future Decision prob- theFrame programming. lems. Model Problem. T- checking. poral query language. temporal transactions.

Plural predication is a pervasive part of ordinary language. We can say that some people are fifty in number, are surrounding a building, come from many countries, and are classmates. These predicates can be true of some people without being true of any one of them; they are non-distributive predications. Yet the apparatus of predication and quantification in standard modern logic does not allow a place for such non-distributive predicates. Thomas McKay's book explores the enrichment of modern logic with plural predication and quantification. We can have genuinely non-distributive predication without relying on singularizing procedures from set theory and mereology. The fundamental 'among' relation can be understood in a way that does not generate any hierarchy of plurals analogous to a hierarchy of types or a hierarchy of higher-order logics. Singular quantification can be understood as a special case, with the general type being quantifiers that allow both singular and plural quantification. The 'among' relation is formally similar to a 'part of' relation, but the relations are distinct, so that mass quantification and plural quantification cannot be united in the same way that plural and singular are united. Analysis of singular and plural definite descriptions follows, with a defense of a fundamentally Russellian analysis, but coupled with some new ideas about how to be sensitive to the role of context. This facilitates an analysis of some central features of the use of pronouns, both singular and plural.

This monograph shows that, through a recourse to the concepts and methods of abstract algebraic logic, the algebraic theory of regular varieties and the concept of analyticity in formal logic can profitably interact. By extending the technique of Plonka sums from algebras to logical matrices, the authors investigate the different classes of models for logics of variable inclusion and they shed new light into their formal properties. The book opens with the historical origins of logics of variable inclusion and on their philosophical motivations. It includes the basics of the algebraic theory of regular varieties and the construction of Plonka sums over semilattice direct systems of algebra. The core of the book is devoted to an abstract definition of logics of left and right variable inclusion, respectively, and the authors study their semantics using the construction of Plonka sums of matrix models. The authors also cover Paraconsistent Weak Kleene logic and survey its abstract algebraic logical properties. This book is of interest to scholars of formal logic.

Logic has attained in our century a development incomparably greater than in any past age of its long history, and this has led to such an enrichment and proliferation of its aspects, that the problem of some kind of unified recom prehension of this discipline seems nowadays unavoidable. This splitting into several subdomains is the natural consequence of the fact that Logic has intended to adopt in our century the status of a science. This always implies that the general optics, under which a certain set of problems used to be con sidered, breaks into a lot of specialized sectors of inquiry, each of them being characterized by the introduction of specific viewpoints and of technical tools of its own. The first impression, that often accompanies the creation of one of such specialized branches in a diSCipline, is that one has succeeded in isolating the 'scientific core' of it, by restricting the somehow vague and redundant generality of its original 'philosophical' configuration. But, after a while, it appears that some of the discarded aspects are indeed important and a new specialized domain of investigation is created to explore them. By follOwing this procedure, one finally finds himself confronted with such a variety of independent fields of research, that one wonders whether the fact of labelling them under a common denomination be nothing but the contingent effect of a pure historical tradition."

This volume contains papers on truth, logic, semantics, and history of logic and philosophy. These papers are dedicated to Jan Wolenski to honor his 60th birthday. Jan Wolenski is professor of philosophy at the Department of Philosophy of the Jagiellonian University in Cracow, Poland. He is likely to be the most well-known Polish philosopher of this time, best known for his work on the history of the philosophy and logic of the Lvov-Warsaw School.

One of the great minds of the English Renaissance, Francis Bacon was a scholar, politician, and early advocate of scientific thinking who set no limits on the scope of his enquiries. In these compact and vibrant essays, Bacon addresses an astonishingly diverse range of subjects including religion, politics, personal relationships, morality and even architecture. Evident throughout the volume is his considerable rhetorical skill, incisive wit, and an unwavering belief in the power of reason.

"Intuition" has perhaps been the least understood and the most abused term in philosophy. It is often the term used when one has no plausible explanation for the source of a given belief or opinion. According to some sceptics, it is understood only in terms of what it is not, and it is not any of the better understood means for acquiring knowledge. In mathematics the term has also unfortunately been used in this way. Thus, intuition is sometimes portrayed as if it were the Third Eye, something only mathematical "mystics," like Ramanujan, possess. In mathematics the notion has also been used in a host of other senses: by "intuitive" one might mean informal, or non-rigourous, or visual, or holistic, or incomplete, or perhaps even convincing in spite of lack of proof. My aim in this book is to sweep all of this aside, to argue that there is a perfectly coherent, philosophically respectable notion of mathematical intuition according to which intuition is a condition necessary for mathemati cal knowledge. I shall argue that mathematical intuition is not any special or mysterious kind of faculty, and that it is possible to make progress in the philosophical analysis of this notion. This kind of undertaking has a precedent in the philosophy of Kant. While I shall be mostly developing ideas about intuition due to Edmund Husser there will be a kind of Kantian argument underlying the entire book."

The essays in Powerful Arguments reconstruct the standards of validity underlying argumentative practices in a wide array of late imperial Chinese discourses, from the Song through the Qing dynasties. The fourteen case studies analyze concrete arguments defended or contested in areas ranging from historiography, philosophy, law, and religion to natural studies, literature, and the civil examination system. By examining uses of evidence, habits of inference, and the criteria by which some arguments were judged to be more persuasive than others, the contributions recreate distinct cultures of reasoning. Together, they lay the foundations for a history of argumentative practice in one of the richest scholarly traditions outside of Europe and add a chapter to the as yet elusive global history of rationality.

Truth is one of the oldest and most central topics in philosophy. Formal theories explore the connections between truth and logic, and they address truth-theoretic paradoxes such as the Liar. Three leading philosopher-logicians now present a concise overview of the main issues and ideas in formal theories of truth. Beall, Glanzberg, and Ripley explain key logical techniques on which such formal theories rely, providing the formal and logical background needed to develop formal theories of truth. They examine the most important truth-theoretic paradoxes, including the Liar paradoxes. They explore approaches that keep principles of truth simple while relying on nonclassical logic; approaches that preserve classical logic but do so by complicating the principles of truth; and approaches based on substructural logics that change the shape of the target consequence relation itself. Finally, inconsistency and revision theories are reviewed, and contrasted with the approaches previously discussed. For any reader who has a basic grounding in logic, this book offers an ideal guide to formal theories of truth.

Model theory is used in every theoretical branch of analytic philosophy: in philosophy of mathematics, in philosophy of science, in philosophy of language, in philosophical logic, and in metaphysics. But these wide-ranging uses of model theory have created a highly fragmented literature. On the one hand, many philosophically significant results are found only in mathematics textbooks: these are aimed squarely at mathematicians; they typically presuppose that the reader has a serious background in mathematics; and little clue is given as to their philosophical significance. On the other hand, the philosophical applications of these results are scattered across disconnected pockets of papers. The first aim of this book, then, is to explore the philosophical uses of model theory, focusing on the central topics of reference, realism, and doxology. Its second aim is to address important questions in the philosophy of model theory, such as: sameness of theories and structure, the boundaries of logic, and the classification of mathematical structures. Philosophy and Model Theory will be accessible to anyone who has completed an introductory logic course. It does not assume that readers have encountered model theory before, but starts right at the beginning, discussing philosophical issues that arise even with conceptually basic model theory. Moreover, the book is largely self-contained: model-theoretic notions are defined as and when they are needed for the philosophical discussion, and many of the most philosophically significant results are given accessible proofs.

This book offers readers a collection of 50 short chapter entries on topics in the philosophy of language. Each entry addresses a paradox, a longstanding puzzle, or a major theme that has emerged in the field from the last 150 years, tracing overlap with issues in philosophy of mind, cognitive science, ethics, political philosophy, and literature. Each of the 50 entries is written as a piece that can stand on its own, though useful connections to other entries are mentioned throughout the text. Readers can open the book and start with almost any of the entries, following themes of greatest interest to them. Each entry includes recommendations for further reading on the topic. Philosophy of Language: 50 Puzzles, Paradoxes, and Thought Experiments is useful as a standalone textbook, or can be supplemented by additional readings that instructors choose. The accessible style makes it suitable for introductory level through intermediate undergraduate courses, as well as for independent learners, or even as a reference for more advanced students and researchers. Key Features: Uses a problem-centered approach to philosophy of language (rather than author- or theory-centered) making the text more inviting to first-time students of the subject. Offers stand-alone chapters, allowing students to quickly understand an issue and giving instructors flexibility in assigning readings to match the themes of the course. Provides up-to-date recommended readings at the end of each chapter, or about 500 sources in total, amounting to an extensive review of the literature on each topic.

Writing is essential to learning. One cannot be educated and yet unable to communicate one's ideas in written form. But, learning to write can occur only through a process of cultivation requiring intellectual discipline. As with any set of complex skills, there are fundamentals of writing that must be internalized and then applied using one's thinking. This guide focuses on the most important of those fundamentals.

For the most part, the papers collected in this volume stern from presentations given at a conference held in Tucson over the weekend of May 31 through June 2, 1985. We wish to record our gratitude to the participants in that conference, as well as to the National Science Foundation (Grant No. BNS-8418916) and the University of Arizona SBS Research Institute for their financial support. The advice we received from Susan Steele on organizational matters proved invaluable and had many felicitous consequences for the success of the con ference. We also would like to thank the staff of the Departments of Linguistics of the University of Arizona and the University of Massachusetts at Amherst for their help, as weIl as a number of individuals, including Lin Hall, Kathy Todd, and Jiazhen Hu, Sandra Fulmer, Maria Sandoval, Natsuko Tsujimura, Stuart Davis, Mark Lewis, Robin Schafer, Shi Zhang, Olivia Oehrle-Steele, and Paul Saka. Finally, we would like to express our gratitude to Martin Scrivener, our editor, for his patience and his encouragement. Vll INTRODUCTION The term 'categorial grammar' was introduced by Bar-Rillel (1964, page 99) as a handy way of grouping together some of his own earlier work (1953) and the work of the Polish logicians and philosophers Lesniewski (1929) and Ajdukiewicz (1935), in contrast to approaches to linguistic analysis based on phrase structure grammars."

The purpose of this book is to highlight Carl Stumpf's contributions to philosophy and to assess some of the aspects of his work. This book is divided into four sections, and also includes a general introduction on Stumpf's philosophy. The first section examines the historical sources of his philosophy, the second examines some of the central themes of his work and the third examines his relationship to other philosophers. The fourth section consists of notes taken by Husserl during Stumpf's lectures on metaphysics in Halle, Stumpf's introduction to the edition of his correspondence with Brentano, which he prepared in 1929, and some important letters pertaining to this correspondence. This book also provides a comprehensive bibliography of the works of Stumpf.

Klemens Szaniawski was born in Warsaw on March 3, 1925. He began to study philosophy in the clandestine Warsaw University during World War II. Tadeusz Kotarbinski, Jan Lukasiewicz, Maria and Stanislaw Ossowskis, Wladyslaw Tatarkiewicz, and Henryk Hii: were among his teachers. Sza- niawski was also a member of the Polish Home Army (AK), one of the young- est. He was arrested and spent the last period of the war as a prisoner in Auschwitz. After 1945, he continued his studies in the University of L6dz; his Master thesis was devoted to French moral thought of the 17th and 18th cen- turies. Then he worked in the Department of Ethics in L6dZ. In 1950, he received his Ph. D. on the basis of the dissertation on the concept of honour in knight groups in the Middle Ages; Maria Ossowska was the supervisor. In the early fifties he moved to Warsaw to the Department of Logic, directed by Kotarbinski. He took his habilitation exams in 1961. In 1969 he became a professor. Since 1970 he was the head of Department of the Logic at the Warsaw University. In the sixties Szaniawski was also the Dean of the Faculty of Philosophy and Sociology. In 1984 he was elected the Rector Magnificus of the Warsaw University but the Ministry overruled the autonomous democra- tic vote of the academic community. He served as the President of the Polish (since 1977) taking this post after Kotarbinski.

Frontiers in Belief Revision is a unique collection of leading edge research in Belief Revision. It contains the latest innovative ideas of highly respected and pioneering experts in the area, including Isaac Levi, Krister Segerberg, Sven Ove Hansson, Didier Dubois, and Henri Prade. The book addresses foundational issues of inductive reasoning and minimal change, generalizations of the standard belief revision theories, strategies for iterated revisions, probabilistic beliefs, multiagent environments and a variety of data structures and mechanisms for implementations. This book is suitable for students and researchers interested in knowledge representation and in the state of the art of the theory and practice of belief revision.

This is a collection of, mostly unpublished, papers on topics surrounding decision theory. It addresses the most important areas in the philosophical study of rationality and knowledge, for example: causal vs. evidential decision theory, game theory, backwards induction, bounded rationality, counterfactual reasoning in games and in general, and analyses of the famous common knowledge assumptions in game theory.

Offering a bold new vision on the history of modern logic, Lukas M. Verburgt and Matteo Cosci focus on the lasting impact of Aristotle's syllogism between the 1820s and 1930s. For over two millennia, deductive logic was the syllogism and syllogism was the yardstick of sound human reasoning. During the 19th century, this hegemony fell apart and logicians, including Boole, Frege and Peirce, took deductive logic far beyond its Aristotelian borders. However, contrary to common wisdom, reflections on syllogism were also instrumental to the creation of new logical developments, such as first-order logic and early set theory. This volume presents the period under discussion as one of both tradition and innovation, both continuity and discontinuity. Modern logic broke away from the syllogistic tradition, but without Aristotle's syllogism, modern logic would not have been born. A vital follow up to The Aftermath of Syllogism, this book traces the longue duree history of syllogism from Richard Whately's revival of formal logic in the 1820s through the work of David Hilbert and the Goettingen school up to the 1930s. Bringing together a group of major international experts, it sheds crucial new light on the emergence of modern logic and the roots of analytic philosophy in the 19th and early 20th centuries.