Bringing elementary logic out of the academic darkness into the light of day, Paul Tomassi makes logic fully accessible for anyone attempting to come to grips with the complexities of this challenging subject. Including student-friendly exercises, illustrations, summaries and a glossary of terms, Logic introduces and explains:

* The Theory of Validity
* The Language of Propositional Logic
* Proof-Theory for Propositional Logic
* Formal Semantics for Propositional Logic including the Truth-Tree Method
* The Language of Quantificational Logic including the Theory of Descriptions.

Logic is an ideal textbook for any logic student: perfect for revision, staying on top of coursework or for anyone wanting to learn about the subject. Related downloadable software for Macs and PCs is available for this title at www.logic.routledge.com.

A selection of papers presented at the international conference Applied Logic: Logic at Work', held in Amsterdam in December 1992. Nowadays, the term applied logic' has a very wide meaning, as numerous applications of logical methods in computer science, formal linguistics and other fields testify. Such applications are by no means restricted to the use of known logical techniques: at its best, applied logic involves a back-and-forth dialogue between logical theory and the problem domain. The papers focus on the application of logic to the study of natural language, in syntax, semantics and pragmatics, and the effect of these studies on the development of logic. In the last decade, the dynamic nature of natural language has been the most interesting challenge for logicians. Dynamic semantics is here applied to new topics, the dynamic approach is extended to syntax, and several methodological issues in dynamic semantics are systematically investigated. Other methodological issues in the formal studies of natural language are discussed, such as the need for types, modal operators and other logical operators in the formal framework. Further articles address the scope of these methodological issues from other perspectives ranging from cognition to computation. The volume presents papers that are interesting for graduate students and researchers in the field of logic, philosophy of language, formal semantics and pragmatics, and computational linguistics.

Like the journal TOPOl, the TOPOl Library is based on the assumption that philosophy is a lively, provocative, delightful activity, which constantly challenges our inherited habits, painstakingly elaborates on how things could be different, in other stories, in counterfactual situations, in alternative possible worlds. Whatever its ideology, whether with the intent of uncovering a truer structure of reality or of shooting our anxiety, of exposing myths or of following them through, the outcome of philosophical activity is always the destabilizing, unsettling generation of doubts, of objections, of criticisms. It follows that this activity is intrinsically a dialogue, that philosophy is first and foremost philosophical discussion, that it requires bringing out conflicting points of view, paying careful, sympathetic attention to their structure, and using this dialectic to articulate one's approach, to make it richer, more thoughtful, more open to variation and play. And it follows that the spirit which one brings to this activity must be one of tolerance, of always suspecting one's own blindness and consequently looking with unbiased eye in every comer, without fearing to pass a (fallible) judgment on what is there but also without failing to show interest and respect.

Husserl's "Logical Investigations" is designed to help students and specialists work their way through Husserl's expansive text by bringing together in a single volume six self-contained, expository yet critical essays, each the work of an international expert on Husserl's thought and each devoted to a separate Logical Investigation.

Knocking on Heaven's Door is the oldest human dream that seems unrealized still. Religious discourse does show the road, but it requires a blind faith in return. In this book logicians try to hear Heaven's Call and to analyze religious discourse. As a result, the notion of religious logic as a part of philosophical logic is introduced. Its tasks are (1) to construct consistent logical systems formalizing religious reasoning that at first sight seems inconsistent (this research is fulfilled within the limits of modal logic, paraconsistent logic and many-valued logic), (2) to carry out an illocutionary analysis of religious discourse (this research is fulfilled in frames of illocutionary logics), and (3) to formalize Ancient and Medieval logical theories used in the theology of an appropriate religion (they could be studied within the limits of unconventional logics, such as non-monotonic logics, non-well-founded logics, etc.).

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 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 at the evolution of logic. This was the time when logic temporal junction was gaining ground in computer science and artificial intelligence cireles. These areas were under increasing commercial pressure 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.

Relevant to philosophy, law, management, and artificial intelligence, these papers explore the applicability of nonmonotonic or defeasible logic to normative reasoning. The resulting systems purport to solve well-known deontic paradoxes and to provide a better treatment than classical deontic logic does of prima facie obligation, conditional obligation, and priorities of normative principles.

Paris of the year 1900 left two landmarks: the Tour Eiffel, and David Hilbert's celebrated list of twenty-four mathematical problems presented at a conference opening the new century. Kurt Goedel, a logical icon of that time, showed Hilbert's ideal of complete axiomatization of mathematics to be unattainable. The result, of 1931, is called Goedel's incompleteness theorem. Goedel then went on to attack Hilbert's first and second Paris problems, namely Cantor's continuum problem about the type of infinity of the real numbers, and the freedom from contradiction of the theory of real numbers. By 1963, it became clear that Hilbert's first question could not be answered by any known means, half of the credit of this seeming faux pas going to Goedel. The second is a problem still wide open. Goedel worked on it for years, with no definitive results; The best he could offer was a start with the arithmetic of the entire numbers. This book, Goedel's lectures at the famous Princeton Institute for Advanced Study in 1941, shows how far he had come with Hilbert's second problem, namely to a theory of computable functionals of finite type and a proof of the consistency of ordinary arithmetic. It offers indispensable reading for logicians, mathematicians, and computer scientists interested in foundational questions. It will form a basis for further investigations into Goedel's vast Nachlass of unpublished notes on how to extend the results of his lectures to the theory of real numbers. The book also gives insights into the conceptual and formal work that is needed for the solution of profound scientific questions, by one of the central figures of 20th century science and philosophy.

Perspectives on Time deals with the problem of time from different perspectives such as logic, physics and philosophy. It contains 18 previously unpublished papers, written by philosophers from various European countries, as well as a large introduction about the history and the main situation in the respective fields today. The prominent issues which are addressed in this book concern the direction of time, the reality of tenses, the objectivity of becoming, the existence in time, and the logical structures of reasoning about time. The papers have been written based on different approaches, partly depending on whether the authors subscribe to an A-theory or a B-theory of time. Audience: Due to the broad variety of approaches the book contains important contributions both for philosophers, philosophers of science, logicians and for scientists working in the field of language and AI.

This accessible, SHORT introduction to symbolic logic includes coverage of sentential and predicate logic, translations, truth tables, and derivations. The author's engaging style makes this the most informal of introductions to formal logic. Topics are explained in a conversational, easy-to-understand way for readers not familiar with mathematics or formal systems, and the author provides patient, reader-friendly explanations-even with the occasional bit of humour. The first half of the book deals with all the basic elements of Sentential Logic: the five truth-functional connectives, formation rules and translation into this language, truth-tables for validity, logical truth/falsity, equivalency, consistency and derivations. The second half deals with Quantifier Logic: the two quantifiers, formation rules and translation, demonstrating certain logical characteristics by "Finding an Interpretation" and derivations. There are plenty of exercises scattered throughout, more than in many texts, arranged in order of increasing difficulty and including separate answer keys.

An accessible guide for those facing the study of Logic for the first time, this book covers key thinkers, terms and texts. "The Key Terms in Philosophy" series offers clear, concise and accessible introductions to the central topics in philosophy. Each book offers a comprehensive overview of the key terms, concepts, thinkers and major works in the history of a key area of philosophy. Ideal for first-year students starting out in philosophy, the series will serve as the ideal companion to study of this fascinating subject. "Key Terms in Logic" offers the ideal introduction to this core area in the study of philosophy, providing detailed summaries of the important concepts in the study of logic and the application of logic to the rest of philosophy. A brief introduction provides context and background, while the following chapters offer detailed definitions of key terms and concepts, introductions to the work of key thinkers and lists of key texts. Designed specifically to meet the needs of students and assuming no prior knowledge of the subject, this is the ideal reference tool for those coming to Logic for the first time. "The Key Terms" series offers undergraduate students clear, concise and accessible introductions to core topics. Each book includes a comprehensive overview of the key terms, concepts, thinkers and texts in the area covered and ends with a guide to further resources.

Philosophers approach the problem of possibility in two markedly different ways: with reference to worlds, whereby an event is possible if there is a world in which it occurs, and with reference to modal properties, whereby an event is a possible manifestation of a property of some substance or object. Showing how the world-account cannot properly explain the nature of possibilities within worlds, Ferenc Huoranszki argues that the latter approach is more plausible. He develops a theory of contingent possibilities grounded in a distinction between abilities and dispositions as real, first-order modal properties of objects, with fundamentally distinct ontological roles. By understanding abilities as first-order modal properties, and by linking such modal properties to counterfactual conditionals, Huoranszki argues we can distinguish between variably generic or specific abilities and identify more or less abstract possibilities in a world. In doing so, he furthers our understanding of how we reason with possibilities in both ordinary and theoretical contexts. Providing a novel account of dispositions, abilities and their capacity to explain modality, this book advances current debates in contemporary metaphysics.

By drawing on the insights of diverse scholars from around the globe, this volume systematically investigates the meaning and reality of the concept of negation in Post-Kantian Philosophy-German Idealism, Early German Romanticism, and Neo-Kantianism. The reader benefits from the historical, critical, and systematic investigations contained which trace not only the significance of negation in these traditions, but also the role it has played in shaping the philosophical landscape of Post-Kantian philosophy. By drawing attention to historically neglected thinkers and traditions, and positioning the dialogue within a global and comparative context, this volume demonstrates the enduring relevance of Post-Kantian philosophy for philosophers thinking in today's global context. This text should appeal to graduate students and professors of German Idealism, Post-Kantian philosophy, comparative philosophy, German studies, and intellectual history.

These two volumes contain all of my articles published between 1956 and 1975 which might be of interest to readers in the English-speaking world. The first three essays in Vol. 1 deal with historical themes. In each case I have attempted a rational reconstruction which, as far as possible, meets con temporary standards of exactness. In The Problem of Universals Then and Now some ideas of W.V. Quine and N. Goodman are used to create a modem sketch of the history of the debate on universals beginning with Plato and ending with Hao Wang's System: E. The second article concerns Kant's Philosophy of Science. By analyzing his position vis-a-vis I. Newton, Christian Wolff, and D. Hume, it is shown that for Kant the very notion of empirical knowledge was beset with a funda mental logical difficulty. In his metaphysics of experience Kant offered a solution differing from all prior as well as subsequent attempts aimed at the problem of establishing a scientific theory. The last of the three historical papers utilizes some concepts of modem logic to give a precise account of Wittgenstein's so-called Picture Theory of Meaning. E. Stenius' interpretation of this theory is taken as an intuitive starting point while an intensional variant of Tarski's concept of a relational system furnishes a technical instrument. The concepts of model world and of logical space, together with those of homomorphism and isomorphism be tween model worlds and between logical spaces, form the conceptual basis of the reconstruction."

This book provides an epistemological study of the great Islamic scholar of Banjarese origin, Syeikh Muhammad Arsyad al-Banjari (1710-1812) who contributed to the development of Islam in Indonesia and, in general, Southeast Asia. The work focuses on Arsyad al-Banjari's dialectical use and understanding of qiyas or correlational inference as a model of parallel reasoning or analogy in Islamic jurisprudence. This constituted the most prominent instrument he applied in his effort of integrating Islamic law into the Banjarese society.This work studies how Arsyad al-Banjari integrates jadal theory or dialectic in Islamic jurisprudence, within his application of qiyas. The author develops a framework for qiyas which acts as the interface between jadal, dialogical logic, and Per Martin-Loef's Constructive Type Theory (CTT). One of the epistemological results emerging from the present study is that the different forms of qiyas applied by Arsyad al-Banjari represent an innovative and sophisticated form of reasoning. The volume is divided into three parts that discuss the types of qiyas as well their dialectical and argumentative aspects, historical background and context of Banjar, and demonstrates how the theory of qiyas comes quite close to the contemporary model of parallel reasoning for sciences and mathematics developed by Paul Bartha (2010). This volume will be of interest to historians and philosophers in general, and logicians and historians of philosophy in particular.

The tableau methodology, invented in the 1950's by Beth and Hintikka and later perfected by Smullyan and Fitting, is today one of the most popular proof theoretical methodologies. Firstly because it is a very intuitive tool, and secondly because it appears to bring together the proof-theoretical and the semantical approaches to the presentation of a logical system. The increasing demand for improved tableau methods for various logics is mainly prompted by extensive applications of logic in computer science, artificial intelligence and logic programming, as well as its use as a means of conceptual analysis in mathematics, philosophy, linguistics and in the social sciences. In the last few years the renewed interest in the method of analytic tableaux has generated a plethora of new results, in classical as well as non-classical logics. On the one hand, recent advances in tableau-based theorem proving have drawn attention to tableaux as a powerful deduction method for classical first-order logic, in particular for non-clausal formulas accommodating equality. On the other hand, there is a growing need for a diversity of non-classical logics which can serve various applications, and for algorithmic presentations of these logicas in a unifying framework which can support (or suggest) a meaningful semantic interpretation. From this point of view, the methodology of analytic tableaux seems to be most suitable. Therefore, renewed research activity is being devoted to investigating tableau systems for intuitionistic, modal, temporal and many-valued logics, as well as for new families of logics, such as non-monotonic and substructural logics. The results require systematisation. This Handbook isthe first to provide such a systematisation of this expanding field. It contains several chapters on the use of tableaux methods in classical logic, but also contains extensive discussions on: the uses of the methodology in intuitionistic logics modal and temporal logics substructural logics, nonmonotonic and many-valued logics the implementation of semantic tableaux a bibliography on analytic tableaux theorem proving. The result is a solid reference work to be used by students and researchers in Computer Science, Artificial Intelligence, Mathematics, Philosophy, Cognitive Sciences, Legal Studies, Linguistics, Engineering and all the areas, whether theoretical or applied, in which the algorithmic aspects of logical deduction play a role.

This volume offers English translations of three early works by Ernst Schroeder (1841-1902), a mathematician and logician whose philosophical ruminations and pathbreaking contributions to algebraic logic attracted the admiration and ire of figures such as Dedekind, Frege, Husserl, and C. S. Peirce. Today he still engages the sympathetic interest of logicians and philosophers. The works translated record Schroeder's journey out of algebra into algebraic logic and document his transformation of George Boole's opaque and unwieldy logical calculus into what we now recognize as Boolean algebra. Readers interested in algebraic logic and abstract algebra can look forward to a tour of the early history of those fields with a guide who was exceptionally thorough, unfailingly honest, and deeply reflective.

This contributed volume collects papers related to the Logic in Question workshop, which has taken place annually at Sorbonne University in Paris since 2011. Each year, the workshop brings together historians, philosophers, mathematicians, linguists, and computer scientists to explore questions related to the nature of logic and how it has developed over the years. As a result, chapter authors provide a thorough, interdisciplinary exploration of topics that have been studied in the workshop. Organized into three sections, the first part of the book focuses on historical questions related to logic, the second explores philosophical questions, and the third section is dedicated to mathematical discussions. Specific topics include: * logic and analogy* Chinese logic* nineteenth century British logic (in particular Boole and Lewis Carroll)* logical diagrams * the place and value of logic in Louis Couturat's philosophical thinking* contributions of logical analysis for mathematics education* the exceptionality of logic* the logical expressive power of natural languages* the unification of mathematics via topos theory Logic in Question will appeal to pure logicians, historians of logic, philosophers, linguists, and other researchers interested in the history of logic, making this volume a unique and valuable contribution to the field.

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.

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.

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