Offers a survey of the unique and powerful work developed by ONL.

This short textbook provides a succinct introduction to mathematical logic and set theory, which together form the foundations for the rigorous development of mathematics. It will be suitable for all mathematics undergraduates coming to the subject for the first time. The book is based on lectures given at the University of Cambridge and covers the basic concepts of logic: first order logic, consistency, and the completeness theorem, before introducing the reader to the fundamentals of axiomatic set theory. There are also chapters on recursive functions, the axiom of choice, ordinal and cardinal arithmetic and the incompleteness theorems. Dr Johnstone has included numerous exercises designed to illustrate the key elements of the theory and to provide applications of basic logical concepts to other areas of mathematics. Consequently the book, while making an attractive first textbook for those who plan to specialise in logic, will be particularly valuable for mathematics and computer scientists whose primary interests lie elsewhere.

The European Summer School in Logic, Language and Information (ESSLLI) is organized every year by the Association for Logic, Language and Information (FoLLI) in different sites around Europe. The main focus of ESSLLI is on the interface between linguistics, logic and computation. ESSLLI offers foundational, introductory and advanced courses, as well as workshops, covering a wide variety of topics within the three areas of interest: Language and Computation, Language and Logic, and Logic and Computation. During two weeks, around 50 courses and 10 workshops are offered to the attendants, each of 1.5 hours per day during a five days week, with up to seven parallel sessions. ESSLLI also includes a student session (papers and posters by students only, 1.5 hour per day during the two weeks) and four evening lectures by senior scientists in the covered areas. The 6 course notes were carefully reviewed and selected. The papers are organized in topical sections on computational complexity, multi-agant systems, natural language processing, strategies in games and formal semantics.

The present volume offers a complete critical Arabic edition of Ibn Ṭumlūs' opus on logic, entitled Compendium on Logic (al-Mukhtaṣar fī al-manṭiq). The text covers all the parts of “the expanded Organon”, as it was known from the time of al-Fārābī to that of Ibn Rushd. With an English and Arabic introduction, notes and indices.

Georg Wilhelm Friedrich Hegel gave many lectures in logic at Berlin University between 1818 and his untimely death in 1831. Edited posthumously by Hegel's son, Karl, these lectures were published in German in 2001 and now appear in English for the first time. Because they were delivered orally, Lectures on Logic is more approachable and colloquial than much of Hegel's formal philosophy. The lectures provide important insight into Hegel's science of logic, dialectical method, and symbolic logic. Clark Butler's smooth translation helps readers understand the rationality of Hegel's often dark and difficult thought. Readers at all levels will find a mature and particularly clear presentation of Hegel's systematic philosophical vision.

Samson Abramsky’s wide-ranging contributions to logical and structural aspects of Computer Science have had a major influence on the field. This book is a rich collection of papers, inspired by and extending Abramsky’s work. It contains both survey material and new results, organised around six major themes: domains and duality, game semantics, contextuality and quantum computation, comonads and descriptive complexity, categorical and logical semantics, and probabilistic computation. These relate to different stages and aspects of Abramsky’s work, reflecting its exceptionally broad scope and his ability to illuminate and unify diverse topics. Chapters in the volume include a review of his entire body of work, spanning from philosophical aspects to logic, programming language theory, quantum theory, economics and psychology, and relating it to a theory of unification of sciences using dual adjunctions. The section on game semantics shows how Abramsky’s work has led to a powerful new paradigm for the semantics of computation. The work on contextuality and categorical quantum mechanics has been highly influential, and provides the foundation for increasingly widely used methods in quantum computing. The work on comonads and descriptive complexity is building bridges between currently disjoint research areas in computer science, relating Structure to Power. The volume also includes a scientific autobiography, and an overview of the contributions. The outstanding set of contributors to this volume, including both senior and early career academics, serve as testament to Samson Abramsky’s enduring influence. It will provide an invaluable and unique resource for both students and established researchers.

Does adherence to the principles of logic commit us to a particular way of viewing the world? Or are there ways of being – ways of behaving in the world, including ways of thinking, feeling, and speaking – that ground the normative constraints that logic imposes? Does the fact that assertions, the traditional elements of logic, are typically made about beings present a problem for metaphysical (or post-metaphysical) prospects of making assertions meaningfully about being? Does thinking about being (as opposed to beings) accordingly require revising or restricting logic's reach – and, if so, how is this possible? Or is there something precious about the very idea of thinking the limits of thinking? Contemporary scholars have become increasing sensitive to how Heidegger, much like Wittgenstein, instructively poses such questions. Heidegger on Logic is a collection of new essays by leading scholars who critically ponder the efficacy of his responses to them.

This book illustrates the program of Logical-Informational Dynamics. Rational agents exploit the information available in the world in delicate ways, adopt a wide range of epistemic attitudes, and in that process, constantly change the world itself. Logical-Informational Dynamics is about logical systems putting such activities at center stage, focusing on the events by which we acquire information and change attitudes. Its contributions show many current logics of information and change at work, often in multi-agent settings where social behavior is essential, and often stressing Johan van Benthem's pioneering work in establishing this program. However, this is not a Festschrift, but a rich tapestry for a field with a wealth of strands of its own. The reader will see the state of the art in such topics as information update, belief change, preference, learning over time, and strategic interaction in games. Moreover, no tight boundary has been enforced, and some chapters add more general mathematical or philosophical foundations or links to current trends in computer science. The theme of this book lies at the interface of many disciplines. Logic is the main methodology, but the various chapters cross easily between mathematics, computer science, philosophy, linguistics, cognitive and social sciences, while also ranging from pure theory to empirical work. Accordingly, the authors of this book represent a wide variety of original thinkers from different research communities. And their interconnected themes challenge at the same time how we think of logic, philosophy and computation. Thus, very much in line with van Benthem's work over many decades, the volume shows how all these disciplines form a natural unity in the perspective of dynamic logicians (broadly conceived) exploring their new themes today. And at the same time, in doing so, it offers a broader conception of logic with a certain grandeur, moving its horizons beyond the traditional study of consequence relations.