Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have been unavailable for years, but they are now in print once again. In this volume, the ninth publication in the Lecture Notes in Logic series, Martin Otto gives an introduction to finite model theory that indicates the main ideas and lines of inquiry that motivate research in this area. Particular attention is paid to bounded variable infinitary logics, with and without counting quantifiers, related fixed-point logics, and the corresponding fragments of Ptime. The relations with Ptime exhibit the fruitful exchange between ideas from logic and from complexity theory that is characteristic of finite model theory.

Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have been unavailable for years, but they are now in print once again. In this volume, the seventh publication in the Lecture Notes in Logic series, Font and Jansana develop a very general approach to the algebraization of sentential logics and present its results on a number of particular logics. The authors compare their approach, which uses abstract logics, to the classical approach based on logical matrices and the equational consequence developed by Blok, Czelakowski, Pigozzi and others. This monograph presents a systematized account of some of the work on the algebraic study of sentential logics carried out by the logic group in Barcelona in the 1970s.

Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have been unavailable for years, but they are now in print once again. This volume, the sixth publication in the Lecture Notes in Logic series, collects the proceedings of the conference 'Logical Foundations of Mathematics, Computer Science, and Physics - Kurt Goedel's Legacy', held in Brno, Czech Republic, on the 90th anniversary of Goedel's birth. The broad range of speakers who participated in this event affirms the continuing importance of Goedel's work in logic, physics, and the philosophy and foundations of mathematics and computer science. The papers in this volume range over all these topics and contribute to our present understanding of them.

Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have been unavailable for years, but they are now in print once again. In this volume, the fifth publication in the Lecture Notes in Logic series, the authors give an insightful introduction to the fascinating subject of the model theory of fields, concentrating on its connections to stability theory. In the first two chapters David Marker gives an overview of the model theory of algebraically closed, real closed and differential fields. In the third chapter Anand Pillay gives a proof that there are 2 non-isomorphic countable differential closed fields. Finally, Margit Messmer gives a survey of the model theory of separably closed fields of characteristic p > 0.

Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have been unavailable for years, but they are now in print once again. In this volume, the first publication in the Lecture Notes in Logic series, Shoenfield gives a clear and focused introduction to recursion theory. The fundamental concept of recursion makes the idea of computability accessible to a mathematical analysis, thus forming one of the pillars on which modern computer science rests. This introduction is an ideal instrument for teaching and self-study that prepares the reader for the study of advanced monographs and the current literature on recursion theory.

Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have been unavailable for years, but they are now in print once again. In this volume, the tenth publication in the Perspectives in Logic series, Jens E. Fenstad takes an axiomatic approach to present a unified and coherent account of the many and various parts of general recursion theory. The main core of the book gives an account of the general theory of computations. The author then moves on to show how computation theories connect with and unify other parts of general recursion theory. Some mathematical maturity is required of the reader, who is assumed to have some acquaintance with recursion theory. This book is ideal for a second course in the subject.

Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have been unavailable for years, but they are now in print once again. The theory set out in this volume, the ninth publication in the Perspectives in Logic series, is the result of the meeting and common development of two currents of mathematical research: descriptive set theory and recursion theory. Both are concerned with notions of definability and with the classification of mathematical objects according to their complexity. These are the common themes which run through the topics discussed here. The author develops a general theory from which the results of both areas can be derived, making these common threads clear.

Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have been unavailable for years, but they are now in print once again. This volume, the eighth publication in the Perspectives in Logic series, brings together several directions of work in model theory between the late 1950s and early 1980s. It contains expository papers by pre-eminent researchers. Part I provides an introduction to the subject as a whole, as well as to the basic theory and examples. The rest of the book addresses finitary languages with additional quantifiers, infinitary languages, second-order logic, logics of topology and analysis, and advanced topics in abstract model theory. Many chapters can be read independently.

Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have been unavailable for years, but they are now in print once again. This volume, the second publication in the Perspectives in Logic series, is an almost self-contained introduction to higher recursion theory, in which the reader is only assumed to know the basics of classical recursion theory. The book is divided into four parts: hyperarithmetic sets, metarecursion, -recursion, and E-recursion. This text is essential reading for all researchers in the field.

Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have been unavailable for years, but they are now in print once again. In this volume, the third publication in the Lecture Notes in Logic series, Mitchell and Steel construct an inner model with a Woodin cardinal and develop its fine structure theory. This work builds upon the existing theory of a model of the form L[E], where E is a coherent sequence of extenders, and relies upon the fine structure theory of L[E] models with strong cardinals, and the theory of iteration trees and 'backgrounded' L[E] models with Woodin cardinals. This work is what results when fine structure meets iteration trees.

Fascinating connections exist between group theory and automata theory, and a wide variety of them are discussed in this text. Automata can be used in group theory to encode complexity, to represent aspects of underlying geometry on a space on which a group acts, and to provide efficient algorithms for practical computation. There are also many applications in geometric group theory. The authors provide background material in each of these related areas, as well as exploring the connections along a number of strands that lead to the forefront of current research in geometric group theory. Examples studied in detail include hyperbolic groups, Euclidean groups, braid groups, Coxeter groups, Artin groups, and automata groups such as the Grigorchuk group. This book will be a convenient reference point for established mathematicians who need to understand background material for applications, and can serve as a textbook for research students in (geometric) group theory.

Fascinating connections exist between group theory and automata theory, and a wide variety of them are discussed in this text. Automata can be used in group theory to encode complexity, to represent aspects of underlying geometry on a space on which a group acts, and to provide efficient algorithms for practical computation. There are also many applications in geometric group theory. The authors provide background material in each of these related areas, as well as exploring the connections along a number of strands that lead to the forefront of current research in geometric group theory. Examples studied in detail include hyperbolic groups, Euclidean groups, braid groups, Coxeter groups, Artin groups, and automata groups such as the Grigorchuk group. This book will be a convenient reference point for established mathematicians who need to understand background material for applications, and can serve as a textbook for research students in (geometric) group theory.

The logician Kurt Goedel (1906-1978) published a paper in 1931 formulating what have come to be known as his 'incompleteness theorems', which prove, among other things, that within any formal system with resources sufficient to code arithmetic, questions exist which are neither provable nor disprovable on the basis of the axioms which define the system. These are among the most celebrated results in logic today. In this volume, leading philosophers and mathematicians assess important aspects of Goedel's work on the foundations and philosophy of mathematics. Their essays explore almost every aspect of Godel's intellectual legacy including his concepts of intuition and analyticity, the Completeness Theorem, the set-theoretic multiverse, and the state of mathematical logic today. This groundbreaking volume will be invaluable to students, historians, logicians and philosophers of mathematics who wish to understand the current thinking on these issues.

The present book is an introduction to the philosophy of mathematics. It asks philosophical questions concerning fundamental concepts, constructions and methods - this is done from the standpoint of mathematical research and teaching. It looks for answers both in mathematics and in the philosophy of mathematics from their beginnings till today. The reference point of the considerations is the introducing of the reals in the 19th century that marked an epochal turn in the foundations of mathematics. In the book problems connected with the concept of a number, with the infinity, the continuum and the infinitely small, with the applicability of mathematics as well as with sets, logic, provability and truth and with the axiomatic approach to mathematics are considered. In Chapter 6 the meaning of infinitesimals to mathematics and to the elements of analysis is presented. The authors of the present book are mathematicians. Their aim is to introduce mathematicians and teachers of mathematics as well as students into the philosophy of mathematics. The book is suitable also for professional philosophers as well as for students of philosophy, just because it approaches philosophy from the side of mathematics. The knowledge of mathematics needed to understand the text is elementary. Reports on historical conceptions. Thinking about today's mathematical doing and thinking. Recent developments. Based on the third, revised German edition. For mathematicians - students, teachers, researchers and lecturers - and readersinterested in mathematics and philosophy. Contents On the way to the reals On the history of the philosophy of mathematics On fundamental questions of the philosophy of mathematics Sets and set theories Axiomatic approach and logic Thinking and calculating infinitesimally - First nonstandard steps Retrospection

Infinitary logic, the logic of languages with infinitely long conjunctions, plays an important role in model theory, recursion theory and descriptive set theory. This book is the first modern introduction to the subject in forty years, and will bring students and researchers in all areas of mathematical logic up to the threshold of modern research. The classical topics of back-and-forth systems, model existence techniques, indiscernibles and end extensions are covered before more modern topics are surveyed. Zilber's categoricity theorem for quasiminimal excellent classes is proved and an application is given to covers of multiplicative groups. Infinitary methods are also used to study uncountable models of counterexamples to Vaught's conjecture, and effective aspects of infinitary model theory are reviewed, including an introduction to Montalban's recent work on spectra of Vaught counterexamples. Self-contained introductions to effective descriptive set theory and hyperarithmetic theory are provided, as is an appendix on admissible model theory.

It is a fact of modern scientific thought that there is an enormous variety of logical systems - such as classical logic, intuitionist logic, temporal logic, and Hoare logic, to name but a few - which have originated in the areas of mathematical logic and computer science. In this book the author presents a systematic study of this rich harvest of logics via Tarski's well-known axiomatization of the notion of logical consequence. New and sometimes unorthodox treatments are given of the underlying principles and construction of many-valued logics, the logic of inexactness, effective logics, and modal logics. Throughout, numerous historical and philosophical remarks illuminate both the development of the subject and show the motivating influences behind its development. Those with a modest acquaintance of modern formal logic will find this to be a readable and not too technical account which will demonstrate the current diversity and profusion of logics. In particular, undergraduate and postgraduate students in mathematics, philosophy, computer science, and artificial intelligence will enjoy this introductory survey of the field.

This book gives a detailed treatment of functional interpretations of arithmetic, analysis, and set theory. The subject goes back to Goedel's Dialectica interpretation of Heyting arithmetic which replaces nested quantification by higher type operations and thus reduces the consistency problem for arithmetic to the problem of computability of primitive recursive functionals of finite types. Regular functional interpretations, in particular the Dialectica interpretation and its generalization to finite types, the Diller-Nahm interpretation, are studied on Heyting as well as Peano arithmetic in finite types and extended to functional interpretations of constructive as well as classical systems of analysis and set theory. Kreisel's modified realization and Troelstra's hybrids of it are presented as interpretations of Heyting arithmetic and extended to constructive set theory, both in finite types. They serve as background for the construction of hybrids of the Diller-Nahm interpretation of Heyting arithmetic and constructive set theory, again in finite types. All these functional interpretations yield relative consistency results and closure under relevant rules of the theories in question as well as axiomatic characterizations of the functional translations.

Arising from a special session held at the 2010 North American Annual Meeting of the Association for Symbolic Logic, this volume is an international cross-disciplinary collaboration with contributions from leading experts exploring connections across their respective fields. Themes range from philosophical examination of the foundations of physics and quantum logic, to exploitations of the methods and structures of operator theory, category theory, and knot theory in an effort to gain insight into the fundamental questions in quantum theory and logic. The book will appeal to researchers and students working in related fields, including logicians, mathematicians, computer scientists, and physicists. A brief introduction provides essential background on quantum mechanics and category theory, which, together with a thematic selection of articles, may also serve as the basic material for a graduate course or seminar.

This book brings together contributions by leading researchers in computational complexity theory written in honor of Somenath Biswas on the occasion of his sixtieth birthday. They discuss current trends and exciting developments in this flourishing area of research and offer fresh perspectives on various aspects of complexity theory. The topics covered include arithmetic circuit complexity, lower bounds and polynomial identity testing, the isomorphism conjecture, space-bounded computation, graph isomorphism, resolution and proof complexity, entropy and randomness. Several chapters have a tutorial flavor. The aim is to make recent research in these topics accessible to graduate students and senior undergraduates in computer science and mathematics. It can also be useful as a resource for teaching advanced level courses in computational complexity.

This new book on mathematical logic by Jeremy Avigad gives a thorough introduction to the fundamental results and methods of the subject from the syntactic point of view, emphasizing logic as the study of formal languages and systems and their proper use. Topics include proof theory, model theory, the theory of computability, and axiomatic foundations, with special emphasis given to aspects of mathematical logic that are fundamental to computer science, including deductive systems, constructive logic, the simply typed lambda calculus, and type-theoretic foundations. Clear and engaging, with plentiful examples and exercises, it is an excellent introduction to the subject for graduate students and advanced undergraduates who are interested in logic in mathematics, computer science, and philosophy, and an invaluable reference for any practicing logician's bookshelf.

This book provides an argumentation model for means end-reasoning, a distinctive type of reasoning used for problem-solving and decision-making. Means end-reasoning is modelled as goal-directed argumentation from an agent's goals and known circumstances, and from an action selected as a means, to a decision to carry out the action. Goal-based Reasoning for Argumentation provides an argumentation model of this kind of reasoning showing how it is employed in settings of intelligent deliberation where agents try to collectively arrive at a conclusion on what they should do to move forward in a set of circumstances. The book explains how this argumentation model can help build more realistic computational systems of deliberation and decision-making, and shows how such systems can be applied to solve problems posed by goal-based reasoning in numerous fields, from social psychology and sociology, to law, political science, anthropology, cognitive science, artificial intelligence, multi-agent systems, and robotics.

The study of NIP theories has received much attention from model theorists in the last decade, fuelled by applications to o-minimal structures and valued fields. This book, the first to be written on NIP theories, is an introduction to the subject that will appeal to anyone interested in model theory: graduate students and researchers in the field, as well as those in nearby areas such as combinatorics and algebraic geometry. Without dwelling on any one particular topic, it covers all of the basic notions and gives the reader the tools needed to pursue research in this area. An effort has been made in each chapter to give a concise and elegant path to the main results and to stress the most useful ideas. Particular emphasis is put on honest definitions, handling of indiscernible sequences and measures. The relevant material from other fields of mathematics is made accessible to the logician.

An important figure in the development of modern mathematical logic and abstract algebra, Augustus De Morgan (1806-71) was also a witty writer who made a hobby of collecting evidence of paradoxical and illogical thinking from historical sources as well as contemporary pamphlets and periodicals. Based on articles that had appeared in The Athenaeum during his lifetime, this work was edited by his widow and published in book form in 1872. It parades all varieties of crackpot, from circle-squarers to inventors of perpetual motion machines, all for the reader's entertainment and education. Filled with anecdotes, personal opinions and 'squibs' of every kind, the book remains enjoyable reading for those who are amused rather than appalled by the human condition. Also reissued in the Cambridge Library Collection are the Memoir of Augustus De Morgan (1882), prepared by his wife, and his ambitious Formal Logic (1847).

Conditional reasoning is reasoning that involves statements of the sort If A (Antecedent) then C (Consequent). This type of reasoning is ubiquitous; everyone engages in it. Indeed, the ability to do so may be considered a defining human characteristic. Without this ability, human cognition would be greatly impoverished. "What-if" thinking could not occur. There would be no retrospective efforts to understand history by imagining how it could have taken a different course. Decisions that take possible contingencies into account could not be made; there could be no attempts to influence the future by selecting actions on the basis of their expected effects. Despite the commonness and importance of conditional reasoning and the considerable attention it has received from scholars, it remains the subject of much continuing debate. Unsettled questions, both normative and empirical, continue to be asked. What constitutes normative conditional reasoning? How do people engage in it? Does what people do match what would be expected of a rational agent with the abilities and limitations of human beings? If not, how does it deviate and how might people's ability to engage in it be improved? This book reviews the work of prominent psychologists and philosophers on conditional reasoning. It describes empirical research on how people deal with conditional arguments and on how conditional statements are used and interpreted in everyday communication. It examines philosophical and theoretical treatments of the mental processes that support conditional reasoning. Its extensive coverage of the subject makes it an ideal resource for students, teachers, and researchers with a focus on cognition across disciplines.

Pure inductive logic is the study of rational probability treated as a branch of mathematical logic. This monograph, the first devoted to this approach, brings together the key results from the past seventy years plus the main contributions of the authors and their collaborators over the last decade to present a comprehensive account of the discipline within a single unified context. The exposition is structured around the traditional bases of rationality, such as avoiding Dutch Books, respecting symmetry and ignoring irrelevant information. The authors uncover further rationality concepts, both in the unary and in the newly emerging polyadic languages, such as conformity, spectrum exchangeability, similarity and language invariance. For logicians with a mathematical grounding, this book provides a complete self-contained course on the subject, taking the reader from the basics up to the most recent developments. It is also a useful reference for a wider audience from philosophy and computer science.