Tadeusz Kotarbinski is one of towering figures in contemporary Polish philosophy. He was a great thinker, a great teacher, a great organizer of philosophical and scientific life (he was, among others, the rector of the Uni versi ty of t6dz, the president of the Polish Academy of Sciences, and the president of the International Institute of Philosophy), and, last but not least, a great moral authority. He died at the age of 96 on October 3, 1981. Kotarbinski was active in almost all branches of philosophy. He made many significant contributions to logic, semantics, ontology, epistemology, history of philosophy, and ethics. He created a new field, namely praxiology. Thus, using an ancient distinction, he contributed to theoretical as well as practical philoso hy. Kotarbinski regarded praxiology as his major philosophical "child." Doubtless, praxiology belongs to practical philosophy. This collection, howewer, is mainly devoted to Kotarbinski' s theoretical philosophy. Reism - Kotarbinski' s fundamental idea of ontology and semantics - is the central topic of most papers included here; even Pszczolowski' s essay on praxiology considers its ontological basis., Only two papers, namely that of Zarnecka-Bialy and that of Wolenski, are not linked with reism. However, both fall under the general label "Kotarbinski: logic, semantics and ontology." The collection partly consists of earlier published papers.

"Necessity is the mother of invention. " Part I: What is in this book - details. There are several different types of formal proof procedures that logicians have invented. The ones we consider are: 1) tableau systems, 2) Gentzen sequent calculi, 3) natural deduction systems, and 4) axiom systems. We present proof procedures of each of these types for the most common normal modal logics: S5, S4, B, T, D, K, K4, D4, KB, DB, and also G, the logic that has become important in applications of modal logic to the proof theory of Peano arithmetic. Further, we present a similar variety of proof procedures for an even larger number of regular, non-normal modal logics (many introduced by Lemmon). We also consider some quasi-regular logics, including S2 and S3. Virtually all of these proof procedures are studied in both propositional and first-order versions (generally with and without the Barcan formula). Finally, we present the full variety of proof methods for Intuitionistic logic (and of course Classical logic too). We actually give two quite different kinds of tableau systems for the logics we consider, two kinds of Gentzen sequent calculi, and two kinds of natural deduction systems. Each of the two tableau systems has its own uses; each provides us with different information about the logics involved. They complement each other more than they overlap. Of the two Gentzen systems, one is of the conventional sort, common in the literature.

The collective focus of the essays here presented consists of the attempt to overcome the deadlock between metaphysical and non- (or anti-) metaphysical Hegel interpretations. There is no doubt that Hegel rejects traditional and influential forms of metaphysical thought. There is also no doubt that he grounds his philosophical system on a metaphysical theory of thought and reality. The question asked by the contributors in this volume is therefore: what kind of metaphysics does Hegel reject, and what kind does he embrace? Some of the papers address the issue in general and comprehensive terms, but from different, even opposite perspectives: Hegel's claim of a 'unity' of logic and metaphysics; his potentially deflationary understanding of metaphysics; his overt metaphysical commitments; his subject-less notion of logical thought; and his criticism of Kant's critique of metaphysics. Other contributors discuss the same topics in view of very specific subject-matter in Hegel's corpus, to wit: the philosophy of self-consciousness; practical philosophy; teleology and holism; a particular brand of naturalism; language's relation to thought; 'true' and 'spurious' infinity as pivotal in philosophic thinking; and Hegel's conception of human agency and action.

This skit of Bertrand Russell's philosophy was originally published in 1918 by Russell's correspondent friend Jourdain. The introduction explains that the contents purport to be lost papers written by Mr. B*rtr*nd R*ss*ll, a contemporary of Bertrand Russell. This politically humorous volume from the early 20th Century parodies the writing style of Russell as well as his theories.

Philosophical Dimensions of Logic and Science is a collection of outstanding contributed papers presented at the 11th International Congress of Logic, Methodology, and Philosophy of Science held in Krakow in 1999. The Congress was a follow-up to the series of meetings, initiated once by Alfred Tarski, which aimed to provide an interdisciplinary forum for scientists, philosophers and logicians. The articles selected for publication in the book comply with that idea and innovatively address current issues in logic, metamathematics, philosophy of language, philosophy of science, and cognitive science, as well as philosophical problems of biology, chemistry and physics.
The volume will be of interest to philosophers, logicians and scientists interested in foundational problems of their disciplines."

The present study of sense and reference in the logic of Frege represents the first fruits of several years of dealing with the work of this great German logician. In the preparation of this work, which was presented as a dissertation to the Faculty of Philosophy of the Friedrich-Alexander University in Erlangen/Nuremberg, assistance came from many quarters. lowe most to Professor R. Zocher, who directed this dissertation with understanding counsel and unflagging interest. I must also thank Professor P. Lorenzen, whose courses and seminars provided more inspiration than might be immediately apparent in the book. Professor W. Britzelmayr of Munich was so kind as to provide copies of important fragments of Frege's works. These texts are reproduced with the permission of Professor H. Hermes, Director of the 'Institut fUr mathematische Logik und Grund lagenforschung' in Munster, where Frege's works and letters are being prepared for publication. The preparation of this work was greatly facilitated by a two-year grant from the Fritz Thyssen Foundation. CHRISTIAN THIEL Nuremberg, February 1965 v TRANSLATOR'S NOTE In the difficult matter of Fregean terminology we have taken Ignacio Angelelli's translation of Two Soviet Studies on Frege as the model. Both Professor Angelelli and Dr. Thiel have been so kind as to read over the translation before publication."

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

The first and most thoroughly developed audience-oriented argumentation text has been updated to its 8th edition: Argumentation and Critical Decision Making presents argumentation as a cooperative, communicative process. This text examines the general principles of argument in a rigorous yet readable manner and then applies those principles to different spheres of life -- law, science, religion, business, government, and politics -- to explore how conventions of argument change when applied to these real-world arenas. Focusing on the dynamics of decision making and using real-life examples to illustrate principles, Argumentation and Critical Decision Making aims to help readers develop practical argumentation skills within the world of their daily lives.

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

"Exposes the vast gap between the actual science underlying AI and the dramatic claims being made for it." -John Horgan "If you want to know about AI, read this book...It shows how a supposedly futuristic reverence for Artificial Intelligence retards progress when it denigrates our most irreplaceable resource for any future progress: our own human intelligence." -Peter Thiel Ever since Alan Turing, AI enthusiasts have equated artificial intelligence with human intelligence. A computer scientist working at the forefront of natural language processing, Erik Larson takes us on a tour of the landscape of AI to reveal why this is a profound mistake. AI works on inductive reasoning, crunching data sets to predict outcomes. But humans don't correlate data sets. We make conjectures, informed by context and experience. And we haven't a clue how to program that kind of intuitive reasoning, which lies at the heart of common sense. Futurists insist AI will soon eclipse the capacities of the most gifted mind, but Larson shows how far we are from superintelligence-and what it would take to get there. "Larson worries that we're making two mistakes at once, defining human intelligence down while overestimating what AI is likely to achieve...Another concern is learned passivity: our tendency to assume that AI will solve problems and our failure, as a result, to cultivate human ingenuity." -David A. Shaywitz, Wall Street Journal "A convincing case that artificial general intelligence-machine-based intelligence that matches our own-is beyond the capacity of algorithmic machine learning because there is a mismatch between how humans and machines know what they know." -Sue Halpern, New York Review of Books

While post-Fregean logicians tend to ignore or even denigrate the traditional logic of Aristotle and the Scholastics, new work in recent years has shown the viability of a renewed, extended, and strengthened logic of terms that shares fundamental features of the old syllogistic. A number of logicians, following the lead of Fred Sommers, have built just such a term logic. It is a system of formal logic that not only matches the expressive and inferential powers of today's standard logic, but surpasses it and is far simpler and more natural. This book aims to substantiate this claim by exhibiting just how the term logic can shed need light on a variety of challenges that face any system of formal logic.

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.

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.

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