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.

This three volume collection gathers together responses to Weber's sociology in the period 1920-1945. Bryan Turner provides an extensive analysis of the reception of Weber.

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.

In her innovative take on G.W. F. Hegel's The Encyclopaedia Logic, Julie E. Maybee uses pictures and diagrams to cut through the philosopher's dense, difficult writing. Picturing Hegel: An Illustrated Guide to Hegel's Encyclopaedia Logic utilizes diagrams in order to rehabilitate Hegel's logic for serious consideration by showing how each stage develops step-by-step from earlier stages according to definite, logical patterns. This interpretation makes Hegel's work accessible and understandable for new and experienced readers alike. Because Hegel uses the same logic in all of his works, Maybee's analysis and defense of the logic will capture the attention of those readers interested in Hegel's ethics, politics, history, philosophy of religion, and phenomenology. Through the included diagrams, Maybee is able to define central Hegelian concepts such as "being-in-itself," and "being-in-and-for-itself" with a new level of precision. Maybee argues that Hegel's logic does not include the one logistical pattern most often attributed to him; namely, the pattern "thesis-antithesis-synthesis." Rather, Hegel's model of logic was more scientific than formalistic in nature, as the philosopher himself pointed out. Hegel considered himself an encyclopedic culmination of Western philosophy in some ways, and indeed his work summarizes many of the presuppositions of Western philosophy. By picturing Hegel's logic, we can gain a greater understanding of ourselves.

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.

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.

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

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.

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.

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

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.

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.

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.

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

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