This monograph is designed to provide an introduction to the principal areas of tense logic. Many of the developments in this ever-growing field have been intentionally excluded to fulfill this aim. Length also dictated a choice between the alternative notations of A. N. Prior and Nicholas Rescher - two pioneers of the subject. I choose Prior's because of the syntactical parallels with the language it symbolizes and its close ties with other branches of logi cal theory, especially modal logic. The first chapter presents a wider view of the material than later chapters. Several lines of development are consequently not followed through the remainder of the book, most notably metric systems. Although it is import ant to recognize that the unadorned Prior-symbolism can be enriched in vari ous ways it is an advanced subject as to how to actually carry off these enrichments. Readers desiring more information are referred to the appropri ate literature. Specialists will notice that only the first of several quantifi cational versions of tense logic is proven complete in the final chapter. Again constraints of space are partly to blame. The proof for the 'star' systems is wildly complex and at the time of this writing is not yet ready for publi cation."

Constructive mathematics is based on the thesis that the meaning of a mathematical formula is given, not by its truth-conditions, but in terms of what constructions count as a proof of it. However, the meaning of the terms `construction' and `proof' has never been adequately explained (although Kriesel, Goodman and Martin-Loef have attempted axiomatisations). This monograph develops precise (though not wholly formal) definitions of construction and proof, and describes the algorithmic substructure underlying intuitionistic logic. Interpretations of Heyting arithmetic and constructive analysis are given. The philosophical basis of constructivism is explored thoroughly in Part I. The author seeks to answer objections from platonists and to reconcile his position with the central insights of Hilbert's formalism and logic. Audience: Philosophers of mathematics and logicians, both academic and graduate students, particularly those interested in Brouwer and Hilbert; theoretical computer scientists interested in the foundations of functional programming languages and program correctness calculi.

Metamathematics and the Philosophical Tradition is the first work to explore in such historical depth the relationship between fundamental philosophical quandaries regarding self-reference and meta-mathematical notions of consistency and incompleteness. Using the insights of twentieth-century logicians from Goedel through Hilbert and their successors, this volume revisits the writings of Aristotle, the ancient skeptics, Anselm, and enlightenment and seventeenth and eighteenth century philosophers Leibniz, Berkeley, Hume, Pascal, Descartes, and Kant to identify ways in which these both encode and evade problems of a priori definition and self-reference. The final chapters critique and extend more recent insights of late 20th-century logicians and quantum physicists, and offer new applications of the completeness theorem as a means of exploring "metatheoretical ascent" and the limitations of scientific certainty. Broadly syncretic in range, Metamathematics and the Philosophical Tradition addresses central and recurring problems within epistemology. The volume's elegant, condensed writing style renders accessible its wealth of citations and allusions from varied traditions and in several languages. Its arguments will be of special interest to historians and philosophers of science and mathematics, particularly scholars of classical skepticism, the Enlightenment, Kant, ethics, and mathematical logic.

Infinite regresses (e.g., event3 caused event2, event2 caused event1, ad infinitum; statement3 justifies statement2, statement2 justifies statement1, ad infinitum) have been used as premises in arguments on a great variety of topics in both Eastern and Western philosophy since ancient times. They are part of a philosopher's tool kit of argumentation. But how sharp or strong is this tool? How effectively is it used? The typical presentation of infinite regress arguments throughout history is so succinct and has so many gaps that it is often unclear how an infinite regress is derived, and why an infinite regress is logically problematic, and as a result, it is often difficult to evaluate infinite regress arguments. These prevalent consequences indicate that there is a need for a theory to re-orient our practice. After well over two thousand years of using infinite regresses as premises, one would have expected that at least some theory of infinite regress arguments would have emerged. None exists. There have been only a few articles on infinite regress arguments, but they are based on the examination of only a small number of examples, discuss only a few logical or rhetorical aspects of infinite regress arguments, and so they help to meet the need for a theory in only a limited way.

Given the situation, I examined many infinite regress arguments to clarify the various aspects of the derivation of infinite regresses, and explain the different ways in which certain infinite regresses are unacceptable. My general approach consisted of collecting and evaluating as many infinite regress arguments as possible, comparing and contrasting many of the formal and non-formal properties, looking for recurring patterns, and identifying the properties that appeared essential to those patterns. The six chapters of this book gradually emerged from this approach. Two very general questions guided this work: (1) How are infinite regresses generated in infinite regress arguments? (2) How do infinite regresses logically function in an argument? In answering these questions I avoided as much as possible addressing the philosophical content and historical background of the arguments examined. Due to the already extensive work done on causal regresses and regresses of justification, only a few references are made to them. However, the focus is on other issues that have been neglected, and that do contribute to a general theory of infinite regress arguments: I clarify the notion of an infinite regress; identify different logical forms of infinite regresses; describe different kinds of infinite regress arguments; distinguish the rhetoric from the logic in infinite regress arguments; and discuss the function of infinite regresses in arguments. The unexamined derivation of infinite regresses is worth deriving to discover what we have kept hidden from ourselves, improve our ways of constructing and evaluating these arguments, and sharpen and strengthen one of our argumentative tools. This work is one example of empirical logic applied to infinite regress arguments: "the attempt to formulate, to test, to clarify, and to systematize concepts and principles for the interpretation, the evaluation, and the sound practice of reasoning" (Finocchiaro, M. Arguments about Arguments, Systematic, Critical and Historical Essays in Logical Theory. P48). "

We are happy to present the second volume of the Handbook of Defeasible Reasoning and Uncertainty Management Systems. Uncertainty pervades the real world and must therefore be addressed by every system that attempts to represent reality. The representation of un certainty is a major concern of philosophers, logicians, artificial intelligence researchers and computer sciencists, psychologists, statisticians, economists and engineers. The present Handbook volumes provide frontline coverage of this area. This Handbook was produced in the style of previous handbook series like the Handbook of Philosophical Logic, the Handbook of Logic in Computer Science, the Handbook of Logic in Artificial Intelligence and Logic Programming, and can be seen as a companion to them in covering the wide applications of logic and reasoning. We hope it will answer the needs for adequate representations of uncertainty. This Handbook series grew out of the ESPRIT Basic Research Project DRUMS II, where the acronym is made out of the Handbook series title. This project was financially supported by the European Union and regroups 20 major European research teams working in the general domain of uncer tainty. As a fringe benefit of the DRUMS project, the research community was able to create this Handbook series, relying on the DRUMS partici pants as the core of the authors for the Handbook together with external international experts."

Truth and Paradox offers a comprehensive account of truth values and the norms governing claims about truth, based on a new approach to logic and semantics. Since the seminal work of Tarski in the mid-twentieth century, the Liar paradox and other related paradoxes have stood in the way of a precise philosophical account of truth. Tim Maudlin draws on analogies from mathematical physics to explicate the origin of classical truth-value gaps, and to provide an account of truth that avoids any hierarchy of languages or of truth predicates. He also closely investigates our reasoning about truth, including apparently unobjectionable reasoning about the paradoxical sentences. The fallacies in that reasoning are located not in any inferences concerning truth, but in the foundations of standard logic. Blocking the paradoxical arguments requires emendation of classical logic, and the requisite emendations call into question the existence of any a priori logical truths. Maudlin also includes a discussion of facts and factuality, most particularly the question of whether there are any facts about truth. All philosophers interested in logic and language will find this a stimulating read.

The volume contains almost thirty papers by Kazimierz Twardowski (1866-1938), the founder of the Lvov-Warsaw School. The papers are published in English for the first time. The papers concern fundamental problems of philosophy: the methods of philosophizing, the boundary of psychology and semiotics, the conceptual apparatus of metaphysics, ethical skepticism, the question of free will and ethical obligation, the aesthetics of music and so on. The systematic considerations are complemented by concise but excellent sketches of the philosophical views of Socrates, Aquinas, Leibniz, Spencer, Nietzsche, and Bergson.

The studies that make up this book were written and brought together to honor the memory of Jan Pinborg. His unexpected death in 1982 at the age of forty-five shocked and saddened students of medieval philosophy everywhere and left them with a keen sense of disappoint ment. In his fifteen-year career Jan Pinborg had done so much for our field with his more than ninety books, editions, articles, and reviews and had done it all so well that we recognized him as a leader and counted on many more years of his scholarship, his help, and his friendship. To be missed so sorely by his international colleagues in an academic field is a mark of Jan's achievement, but only of one aspect of it, for historians of philosophy are not the only scholars who have reacted in this way to Jan's death. In his decade and a half of intense productivity he also acquired the same sort of special status among historians of linguistics, whose volume of essays in his memory is being G. L. Bursill-Hall almost simultane published under the editorship of ously with this one. Sten Ebbesen, Jan's student, colleague, and successor as Director of the Institute of Medieval Greek and Latin Philology at the University of Copenhagen, has earned the gratitude of all of us by memorializing Jan 1 in various biographical sketches, one of which is accompanied by a 2 complete bibliography of his publications."

This book is the first English version of Prolegomena zu einer kritischen Grammatik, published by Julius Springer, Vienna, 1935, as Volume 10 of the Vienna Circle's series Schriften zur wissenschaftlichen Weltauffassung. The prefatory remarks of both editor and author acknowledge the influence ofWittgenstein in a general way. However, in aim and approach, the work differs from Wittgenstein's Philosophische Grammatik (l969). This is indeed based on material going back to 1932, some of which Schachter must have known. On the other hand, the present Prolegomena not only explains the general, philosophical principles to be followed, but in the light of these proceeds to cover the entire range of conventional grammar, showing where that is uncritical. Whether Wittgenstein in his turn knew of Schachter's work has never been explored. Schachter's object is universal grammar. As is natural, the examples in the original are largely drawn from German grammar, with occasional minor excursions into other languages. For English readers, what matters are the general problems of grammar: there is no point in tying these to the linguistic peculiarities of German, let alone a local variety of it. One who can grasp German at that level might as well read the original. The translation is therefore twofold: the text as a whole has been rendered into English, and the entire apparatus of examples has been replaced, as far as this can be done, by illustrations from English grammar, chosen so as to bring out the same kinds of problem as in the original.

The popular literature on mathematical logic is rather extensive and written for the most varied categories of readers. College students or adults who read it in their free time may find here a vast number of thought-provoking logical problems. The reader who wishes to enrich his mathematical background in the hope that this will help him in his everyday life can discover detailed descriptions of practical (and quite often -- not so practical ) applications of logic. The large number of popular books on logic has given rise to the hope that by applying mathematical logic, students will finally learn how to distinguish between necessary and sufficient conditions and other points of logic in the college course in mathematics. But the habit of teachers of mathematical analysis, for example, to stick to problems dealing with sequences without limit, uniformly continuous functions, etc. has, unfortunately, led to the writing of textbooks that present prescriptions for the mechanical construction of definitions of negative concepts which seem to obviate the need for any thinking on the reader's part. We are most certainly not able to enumerate everything the reader may draw out of existing books on mathematical logic, however.

This is a single volume reference guide to the latest work and potential future directions in Philosophical Logic, written by an international team of leading scholars. "The Continuum Companion to Philosophical Logic" offers the definitive guide to a key area of contemporary philosophy. The book covers all the fundamental areas of philosophical logic - topics that have continued to attract interest historically as well as topics that have emerged more recently as active areas of research. Seventeen specially commissioned essays from an international team of experts reveal where important work continues to be done in the area and, most valuably, the exciting new directions the field is taking. The Companion explores issues pertaining to classical logic and its rivals, extensional and intensional extensions of classical logic, semantics for parts of natural language, and the application of logic in the theory of rationality. Crucially the emphasis is on the role that logic plays in understanding philosophical problems. Featuring a series of indispensable research tools, including an A to Z of key terms and concepts, a detailed list of resources, a bibliography and a companion website, this is the essential reference tool for anyone working in contemporary philosophical logic. "The Continuum Companions" series is a major series of single volume companions to key research fields in the humanities aimed at postgraduate students, scholars and libraries. Each companion offers a comprehensive reference resource giving an overview of key topics, research areas, new directions and a manageable guide to beginning or developing research in the field. A distinctive feature of the series is that each companion provides practical guidance on advanced study and research in the field, including research methods and subject-specific resources.

This book presents the New Theory of Argumentation, popularly known as the New Rhetoric, as an innovative theoretical and methodological system which will become increasingly important. Two factors determine the importance of this philosophy: (1) The collapse of all modern ideologies, many sociopolitical systems and their associated philosophies, whether of the right or the left, means that the era of the quick, dogmatic perception of how to force people to feel free and happy is over. (2) New forms and institutions of social and economic life must be found among the wreckage. The solutions sought must work best for the greatest number of people and must be flexible enough to allow the reinterpretation of all our determinations, from the very beginning. The New Rhetoric rejects all absolutist and dogmatic ideas. But neither does it support absolute relativism. It constitutes a method for the endless search for truthful explanations and for enlightened practical activity. Truth is only the process of approaching it. While critical of formal logic, the New Rhetoric develops the concepts of other', experimental', flexible', and logic of good sense'. The introduction and elaboration of the concept of reasonableness' is presented as a milestone in the evolution of scientific methodology. The New Rhetoric has overcome the traditional contradictions between logic, rationalism and dialectic and has laid new foundations for a modern theory of morality, law, legal interpretation, and human rights. This book discusses such problems as: new moral notions, the new dilemma of Cain, the spurious notions of 'centrism', Antigone's new arguments, 'argumentation is not bargaining', new foundations oftolerance and justice. It ends with a section on 'Resolutions for the New Century', written in the spirit of traditional enlightenment, rule of reason and humanism, but which goes beyond them.

I was very happy when in 1997 Fiachra Long came to spend part of his sabbatical leave at the Archives Maurice Blondel at Louvain-Ia-Neuve. This allowed him to bring together and complete his translation of three important articles from Maurice Blondel, known as the philosopher of Aix-en-Province. These three articles fonn a unity: they make explicit certain aspects of the method used in the great thesis of 1893, Action. This thesis, it is well known, aroused many polemic debates after its appearance. Thomist theologians accused Blondel of turning back towards Kantian idealism whereas the philosophers of the Revue de metaphysique et de morale accused him on the contrary of falling back on a pre-critical realism. The three articles translated here, each in its own way, attempt to pass beyond these two opposite charges. The Idealist Illusion (1898) underlines the fact that the content of consciousness should be unfurled as it appears, by withdrawing from any idealist or realist prejudice, before judging the consistency of its content as a whole. In this way Blondel supports the "phenomenological" method used in his thesis. The Elementary Principle of a Logic of the Moral Life (1903) is a very well-worked text which shows that "the logic of possession and privation" is broader than "the logic of amnnation and negation. " Using these words, Blondel develops certain striking laws of action such as that of the "parallelogram of contrary forces.

In this book, the contributors present an overview of recent developments in philosophy of science by providing a collection of articles that together constitute a systematic and comprehensive investigation of how to understand the relation between the social sciences and democracy.

This book, translated from the French, is an introduction to first-order model theory. The first six chapters are very basic: starting from scratch, they quickly reach the essential, namely, the back-and-forth method and compactness, which are illustrated with examples taken from algebra. The next chapter introduces logic via the study of the models of arithmetic, and the following is a combinatorial tool-box preparing for the chapters on saturated and prime models. The last ten chapters form a rather complete but nevertheless accessible exposition of stability theory, which is the core of the subject.

This book aids in the rehabilitation of the wrongfully deprecated work of William Parry, and is the only full-length investigation into Parry-type propositional logics. A central tenet of the monograph is that the sheer diversity of the contexts in which the mereological analogy emerges - its effervescence with respect to fields ranging from metaphysics to computer programming - provides compelling evidence that the study of logics of analytic implication can be instrumental in identifying connections between topics that would otherwise remain hidden. More concretely, the book identifies and discusses a host of cases in which analytic implication can play an important role in revealing distinct problems to be facets of a larger, cross-disciplinary problem. It introduces an element of constancy and cohesion that has previously been absent in a regrettably fractured field, shoring up those who are sympathetic to the worth of mereological analogy. Moreover, it generates new interest in the field by illustrating a wide range of interesting features present in such logics - and highlighting these features to appeal to researchers in many fields.

Intuitionistic type theory can be described, somewhat boldly, as a partial fulfillment of the dream of a universal language for science. This book expounds several aspects of intuitionistic type theory, such as the notion of set, reference vs. computation, assumption, and substitution. Moreover, the book includes philosophically relevant sections on the principle of compositionality, lingua characteristica, epistemology, propositional logic, intuitionism, and the law of excluded middle. Ample historical references are given throughout the book.

The notion of truth has become much discussed in philosophy over the last few decade, with many senior figures grappling with the relativist and constructivist notions of truth popular in other parts of the academy. It continues to be a subject enjoying vibrant debate. Despite the varieties of views on truth, most of the discussion has agreed that truth has a uniform, stable nature, ranging across the boundaries of human knowledge. The editors and contributors to this volume challenge this very basic assumption, putting forth the idea of what is called alethic pluralism - that there is more than one way of being true. While it is uncontroversial that there are different kinds of truth (moral truth, scientific truth etc), these pluralist views propose that truth itself can vary and that bearers of truth can literally be true in different ways. This volume presents new essays by some of the world's leading philosophers to explore this new view and its implications for the philosophy of language, epistemology, metaphysics, and logic.

The aim of this thematically unified anthology is to track the history of epistemic logic, to consider some important applications of these logics of knowledge and belief in a variety of fields, and finally to discuss future directions of research with particular emphasis on 'active agenthood' and multi-modal systems. It is accessible to researchers and graduate students in philosophy, computer science, game theory, economics and related disciplines utilizing the means and methods of epistemic logic.

It must be acknowledged that the essays presented here do not constitute a systematic account of any sort but represent occasional forays. Some deal with matters that happened to evoke Rescher's interest, others grew out of a chance encounter with a text he deemed to be of particular value. Throughout, challenges of the work itself more than compensated the author's efforts. Logic has always been of crucially important concern to philosophers. Rescher's own involvement with the history of logic goes back to his work on Leibniz in the 1950's (represented by Chapter 8 of the present book). Thereafter, during the 1960's he devoted considerable effort to the contributions of the medieval logicians of the Arabic-using world (here represented in Chapters 2-6). Moreover, Rescher have from time to time returned to the area to look at some aspects of the more recent scene, as Chapters 8-9 illustrate. In some instances the present essays have been overtaken by subsequent events-events which in fact helped to promote. This is true in particular in chapter 6's work on Arabic work regarding temporal modalities, which was instrumental in evoking the important contributions of Tony Street of Cambridge University.