This volume is a collects papers originally presented at the 7th Conference on Logic and the Foundations of Game and Decision Theory (LOFT), held at the University of Liverpool in July 2006. LOFT is a key venue for presenting research at the intersection of logic, economics, and computer science, and this collection gives a lively and wide-ranging view of an exciting and rapidly growing area.

The Logical Must is an examination of Ludwig Wittgenstein's philosophy of logic, early and late, undertaken from an austere naturalistic perspective Penelope Maddy has called "Second Philosophy." The Second Philosopher is a humble but tireless inquirer who begins her investigation of the world with ordinary perceptual beliefs, moves from there to empirical generalizations, then to deliberate experimentation, and eventually to theory formation and confirmation. She takes this same approach to logical truth, locating its ground in simple worldly structures and our knowledge of it in our basic cognitive machinery, tuned by evolutionary pressures to detect those structures where they occur.
In his early work Tractatus Logico-Philosophicus, Wittgenstein also links the logical structure of representation with the structure of the world, but he includes one key unnaturalistic assumption: that the sense of our representations must be given prior to-independently of-facts about how the world is. When that assumption is removed, the general outlines of the resulting position come surprisingly close to the Second Philosopher's roughly empirical account. In his later discussions of logic in Philosophical Investigations and Remarks on the Foundations of Mathematics, Wittgenstein also rejects this earlier assumption in favor of a picture that arises in the wake of the famous rule-following considerations. Here Wittgenstein and the Second Philosopher operate in even closer harmony-locating the ground of our logical practices in our interests, our natural inclinations and abilities, and very general features of the world-until the Second Philosopher moves to fill in the account with her empirical investigations of the world and cognition. At this point, Wittgenstein balks, but as a matter of personal animosity rather than philosophical principle.

The present collection represents an attempt to bring together several contributions to the ongoing debate pertaining to supervenience of the normative in law and morals and strives to be the first work that addresses the topic comprehensively. It addresses the controversies surrounding the idea of normative supervenience and the philosophical conceptions they generated, deserve a recapitulation, as well as a new impulse for further development. Recently, there has been renewed interest in the concepts of normativity and supervenience. The research on normativity - a term introduced to the philosophical jargon by Edmund Husserl almost one hundred years ago - gained impetus in the 1990s through the works of such philosophers as Robert Audi, Christine Korsgaard, Robert Brandom, Paul Boghossian or Joseph Raz. The problem of the nature and sources of normativity has been investigated not only in morals and in relation to language, but also in other domains, e.g. in law or in the c ontext of the theories of rationality. Supervenience, understood as a special kind of relation between properties and weaker than entailment, has become analytic philosophers' favorite formal tool since 1980s. It features in the theories pertaining to mental properties, but also in aesthetics or the law. In recent years, the 'marriage' of normativity and supervenience has become an object of many philosophical theories as well as heated debates. It seems that the conceptual apparatus of the supervenience theory makes it possible to state precisely some claims pertaining to normativity, as well as illuminate the problems surrounding it.

This collection of essays explores the philosophy of human knowledge from a multitude of perspectives, with a particular emphasis upon the justification component of the classical analysis of knowledge and with an excursion along the way to explore the role of knowledge in Texas Hold 'Em poker. An important theme of the collection is the role of knowledge in religion, including a detailed argument for agnosticism. A number of the essays touch upon issues in philosophical logic, among them a fascinating new counter-example to Modus Ponens. The collection is rounded out with essays on causality and the philosophy of mind. The author's perspective on the philosophy of human knowledge is fresh and challenging, as evidenced by essays entitled "On Epistemic Preferability;" "On Being Unjustified;" "The Logic of 'Unless'" and "Is 'This sentence is true.' True?" An interesting feature of The Logic of Philosophy: Pesky Essays is the inclusion of responses to several of its key essays, contributed by such prominent contemporary philosophers as Roderick Chisholm, Ted Sider and Tomas Kapitan.

In the last two decades modal logic has undergone an explosive growth, to thepointthatacompletebibliographyofthisbranchoflogic, supposingthat someone were capable to compile it, would ?ll itself a ponderous volume. What is impressive in the growth of modal logic has not been so much the quick accumulation of results but the richness of its thematic dev- opments. In the 1960s, when Kripke semantics gave new credibility to the logic of modalities? which was already known and appreciated in the Ancient and Medieval times? no one could have foreseen that in a short time modal logic would become a lively source of ideas and methods for analytical philosophers, historians of philosophy, linguists, epistemologists and computer scientists. The aim which oriented the composition of this book was not to write a new manual of modal logic (there are a lot of excellent textbooks on the market, and the expert reader will realize how much we bene?ted from manyofthem)buttoo?ertoeveryreader, evenwithnospeci?cbackground in logic, a conceptually linear path in the labyrinth of the current panorama of modal logic. The notion which in our opinion looked suitable to work as a compass in this enterprise was the notion of multimodality, or, more speci?cally, the basic idea of grounding systems on languages admitting more than one primitive modal opera

In three comprehensive volumes, Logic of the Future presents a full panorama of Charles S. Peirce's most important late writings. Among the most influential American thinkers, Peirce took his existential graphs to be a significant contribution to human thought. The manuscripts from 1895-1913, with many of them being published here for the first time, testify to the richness and open-endedness of his theory of logic and its applications. They also invite us to reconsider our ordinary conceptions of reasoning as well as the conventional stories concerning the evolution of modern logic. This first volume of Logic of the Future is on the historical development, theory and application of Peirce's graphical method and diagrammatic reasoning. It also illustrates the abundant further developments and applications Peirce envisaged existential graphs to have on the analysis of mathematics, language, meaning and mind.

Propositional Logics presents the history, philosophy, and mathematics of the major systems of propositional logic. Classical logic, modal logics, many-valued logics, intuitionism, paraconsistent logics, and dependent implication are examined in separate chapters. Each begins with a motivation in the originators' own terms, followed by the standard formal semantics, syntax, and completeness theorem. The chapters on the various logics are largely self-contained so that the book can be used as a reference. An appendix summarizes the formal semantics and axiomatizations of the logics. The view that unifies the exposition is that propositional logics comprise a spectrum. As the aspect of propositions under consideration varies, the logic varies. Each logic is shown to fall naturally within a general framework for semantics. A theory of translations between logics is presented that allows for further comparisons, and necessary conditions are given for a translation to preserve meaning. For this third edition the material has been re-organized to make the text easier to study, and a new section on paraconsistent logics with simple semantics has been added which challenges standard views on the nature of consequence relations. The text includes worked examples and hundreds of exercises, from routine to open problems, making the book with its clear and careful exposition ideal for courses or individual study.

Robert Stern investigates how scepticism can be countered by using transcendental arguments concerning the necessary conditions for the possibility of experience, language, or thought. He shows that the most damaging sceptical questions concern neither the certainty of our beliefs, nor the reliability of our belief-forming methods, but rather how we can justify our beliefs in the light of our doxastic norms.

A new approach to reading Frege's notations that adheres to the modern view that terms and well-formed formulas are any disjoint syntactic categories. On this new approach, we can at last read Frege's notations in their original form revealing striking new solutions to many of the outstanding problems of interpreting his philosophy.

Penetrating and practical, Logic Made Easy is filled with anecdotal histories detailing the often muddy relationship between language and logic. Complete with puzzles you can try yourself and questions you can use to raise your test scores, Logic Made Easy invites readers to identify and ultimately remedy logical slips in everyday life. Even experienced logicians will be surprised by Deborah Bennett's ability to identify the illogical in everything from maddening street signs to tax forms that make April the cruelest month. Designed with dozens of visual examples, the book guides readers through those hair-raising times when logic is at odds with common sense. Logic Made Easy is indeed one of those rare books that will actually make you a more logical human being.

In this volume, the author investigates and argues for, a particular answer to the question: What is the right way to logically analyze modalities from natural language within formal languages? The answer is: by formalizing modal expressions in terms of predicates. But, as in the case of truth, the most intuitive modal principles lead to paradox once the modal notions are conceived as predicates. The book discusses the philosophical interpretation of these modal paradoxes and argues that any satisfactory approach to modality will have to face the paradoxes independently of the grammatical category of the modal notion. By systematizing modal principles with respect to their joint consistency and inconsistency, Stern provides an overview of the options and limitations of the predicate approach to modality that may serve as a useful starting point for future work on predicate approaches to modality. Stern also develops a general strategy for constructing philosophically attractive theories of modal notions conceived as predicates. The idea is to characterize the modal predicate by appeal to its interaction with the truth predicate. This strategy is put to use by developing the modal theories Modal Friedman-Sheard and Modal Kripke-Feferman.

This volume is dedicated to Leo Esakia's contributions to the theory of modal and intuitionistic systems. Consisting of 10 chapters, written by leading experts, this volume discusses Esakia s original contributions and consequent developments that have helped to shape duality theory for modal and intuitionistic logics and to utilize it to obtain some major results in the area.

Beginning with a chapter which explores Esakia duality for S4-algebras, the volume goes on to explore Esakia duality for Heyting algebras and its generalizations to weak Heyting algebras and implicative semilattices. The book also dives into the Blok-Esakia theorem and provides an outline of the intuitionistic modal logic KM which is closely related to the Godel-Lob provability logic GL. One chapter scrutinizes Esakia s work interpreting modal diamond as the derivative of a topological space within the setting of point-free topology. The final chapter in the volume is dedicated to the derivational semantics of modal logic and other related issues."

The rise of scientific (analytic) philosophy since the turn of the twentieth century is linked to the philosophical interaction between, on the one hand, Ernst Mach, the Vienna Circle around Moritz Schlick and Otto Neurath, the Berlin Group (Hans Reichenbach, Carl G. Hempel), and the Prague Group (Rudolf Carnap, Philipp Frank), and, on the other, philosophers and scientists in Denmark (Niels Bohr, Joergen Joergensen), Finland (Eino Kaila, Georg Henrik von Wright and their disciples), Norway (Arne Naess and his students), and Sweden (Ake Petzall, the journal Theoria and a younger generation of philosophers in Uppsala). In addition, the pure theory of law of Hans Kelsen achieved wide dissemination in the Nordic countries (through, for example, Alf Ross). One of the key events in the relations between the Central European philosophers and those of the Nordic countries was the Second International Congress for the Unity of Science which was arranged in Copenhagen in 1936.

Besides considering the interactions of these groups, the book also pays special attention to their interactions, in the context of the Cold War period following the Second World War, with the so-called Third Vienna Circle and with the Forum Alpbach/Austrian College around Viktor Kraft and Bela Juhos (along with Ludwig Wittgenstein and Paul Feyerabend), where the issues of (philosophical and scientific) realism and "psychologism"-the relationship between psychology and philosophy-were matters of controversy.

By comparison with the more extensively investigated and better known transatlantic transfer and transformation of "positivism" and logical empiricism, the developments outlined above remain

neglected and marginalized topics in historiography. The symposium aims to reveal the remarkable continuity of the philosophical enlightened "Nordic Connection." We intend to shed light on this forgotten communication and to reconstruct these hidden scholarly networks from an historical and logical point of view, thereby evaluating their significance for today's research."

How can we advance knowledge? Which methods do we need in order to make new discoveries? How can we rationally evaluate, reconstruct and offer discoveries as a means of improving the 'method' of discovery itself? And how can we use findings about scientific discovery to boost funding policies, thus fostering a deeper impact of scientific discovery itself? The respective chapters in this book provide readers with answers to these questions. They focus on a set of issues that are essential to the development of types of reasoning for advancing knowledge, such as models for both revolutionary findings and paradigm shifts; ways of rationally addressing scientific disagreement, e.g. when a revolutionary discovery sparks considerable disagreement inside the scientific community; frameworks for both discovery and inference methods; and heuristics for economics and the social sciences.

This book, provides a critical approach to all major logical paradoxes: from ancient to contemporary ones. There are four key aims of the book: 1. Providing systematic and historical survey of different approaches - solutions of the most prominent paradoxes discussed in the logical and philosophical literature. 2. Introducing original solutions of major paradoxes like: Liar paradox, Protagoras paradox, an unexpected examination paradox, stone paradox, crocodile, Newcomb paradox. 3. Explaining the far-reaching significance of paradoxes of vagueness and change for philosophy and ontology. 4. Proposing a novel, well justified and, as it seems, natural classification of paradoxes. "

This volume is a collation of original contributions from the key actors of a new trend in the contemporary theory of knowledge and belief, that we call "dynamic epistemology." It brings the works of these researchers under a single umbrella by highlighting the coherence of their current themes, and by establishing connections between topics that, up until now, have been investigated independently. It also illustrates how the new analytical toolbox unveils questions about the theory of knowledge, belief, preference, action, and rationality, in a number of central axes in dynamic epistemology: temporal, social, probabilistic and even deontic dynamics.

Aristotle's Prior Analytics marks the beginning of formal logic. For Aristotle himself, this meant the discovery of a general theory of valid deductive argument, a project that he had described as either impossible or impracticable, probably not very long before he actually came up with syllogistic reasoning. A syllogism is the inferring of one proposition from two others of a particular form, and it is the subject of the Prior Analytics. The first book, to which this volume is devoted, offers a fairly coherent presentation of Aristotle's logic as a general theory of deductive argument.

This book offers a detailed study of the truth-bearers problem, that is, the question of which category of items the predicates a ~truea (TM) and a ~falsea (TM) are predicated. The book has two dimensions: historical and systematic. Both focus around Tarskia (TM)s semantic theory of truth. The author locates Tarskia (TM)s ideas in a broad context of Austrian philosophy, in particular, Brentanoa (TM)s tradition. However, Bolzano and phenomenology (Husserl and Reinach) are also taken into account. The historical perspective is completed by showing how Tarski was rooted in Polish philosophical tradition originated with Twardowski and his version of Brentanism. The historical considerations are the basis for showing how the idea of truth-bearers as acts of judging was transformed into the theory of truth-bearers as sentences. In particular, the author analyses the way to nominalism in Polish philosophy, culminating in Lesniewski, Kotarbinski and Tarski. This book is indispensable for everybody interested in the evolution of Austrian philosophy from descriptive psychology to semantics. It is also a fundamental contribution toward a deeper understanding of the philosophical background of Tarskia (TM)s theory of truth.

The volume analyses and develops David Makinson s efforts to make classical logic useful outside its most obvious application areas. The book contains chapters that analyse, appraise, or reshape Makinson s work and chapters that develop themes emerging from his contributions. These are grouped into major areas to which Makinsons has made highly influential contributions and the volume in its entirety is divided into four sections, each devoted to a particular area of logic: belief change, uncertain reasoning, normative systems and the resources of classical logic.

Among the contributions included in the volume, one chapter focuses on the inferential preferential method, i.e. the combined use of classical logic and mechanisms of preference and choice and provides examples from Makinson s work in non-monotonic and defeasible reasoning and belief revision. One chapter offers a short autobiography by Makinson which details his discovery of modern logic, his travels across continents and reveals his intellectual encounters and inspirations. The chapter also contains an unusually explicit statement on his views on the (limited but important) role of logic in philosophy."

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 groupings of chapters. I would like to thank our authors and readers for their contributions and 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 x PREFACE TO THE SECOND EDITION Logic IT Natural Program Arti?cialin- Logic p- 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. currentevents. dent data. with time Temporal Speci?cation Eventcalculus. capability. indices. Sepa- of tempo- Persistence Eventcalculus. ration of past ral control. through time- Temporal logic from future Decision prob- the Frame programming.

The book is about Gentzen calculi for (the main systems of) modal logic. It is divided into three parts. In the first partwe introduce and discuss the main philosophical ideas related to proof theory, and we try to identify criteria for distinguishing good sequent calculi. In the second part we present the several attempts made from the 50's until today to provide modal logic with Gentzen calculi. In the third and and final part we analyse new calculi for modal logics, called tree-hypersequent calculi, which were recently introduced by the author. We show in a precise and clear way the main results that can be proved with and about them.

This book discusses major milestones in Rohit Jivanlal Parikh's scholarly work. Highlighting the transition in Parikh's interest from formal languages to natural languages, and how he approached Wittgenstein's philosophy of language, it traces the academic trajectory of a brilliant scholar whose work opened up various new avenues in research. This volume is part of Springer's book series Outstanding Contributions to Logic, and honours Rohit Parikh and his works in many ways. Parikh is a leader in the realm of ideas, offering concepts and definitions that enrich the field and lead to new research directions. Parikh has contributed to a variety of areas in logic, computer science and game theory. In mathematical logic his contributions have been in recursive function theory, proof theory and non-standard analysis; in computer science, in the areas of modal, temporal and dynamic logics of programs and semantics of programs, as well as logics of knowledge; in artificial intelligence in the area of belief revision; and in game theory in the formal analysis of social procedures, with a strong undercurrent of philosophy running through all his work.This is not a collection of articles limited to one theme, or even directly connected to specific works by Parikh, but instead all papers are inspired and influenced by Parikh in some way, adding structures to and enriching "Parikh-land". The book presents a brochure-like overview of Parikh-land before providing an "introductory video" on the sights and sounds that you experience when reading the book.

Is it possible to quantify over absolutely all there is? Or must all of our quantifiers range over a less-than-all-inclusive domain? It has commonly been thought that the question of absolute generality is intimately connected with the set-theoretic antinomies. But the topic of absolute generality has enjoyed a surge of interest in recent years. It has become increasingly apparent that its ramifications extend well beyond the foundations of set theory. Connections include semantic indeterminacy, logical consequence, higher-order languages, and metaphysics. Rayo and Uzquiano present for the first time a collection of essays on absolute generality. These newly commissioned articles - written by an impressive array of international scholars - draw the reader into the forefront of contemporary research on the subject. The volume represents a variety of approaches to the problem, with some of the contributions arguing for the possibility of all-inclusive quantification and some of them arguing against it. An introduction by the editors draws a helpful map of the philosophical terrain.