Gerhard Gentzen has been described as logic’s lost genius, whom Gödel called a better logician than himself. This work comprises articles by leading proof theorists, attesting to Gentzen’s enduring legacy to mathematical logic and beyond. The contributions range from philosophical reflections and re-evaluations of Gentzen’s original consistency proofs to the most recent developments in proof theory. Gentzen founded modern proof theory. His sequent calculus and natural deduction system beau...

The overall topic of the volume, Mathematics for Computation (M4C), is mathematics taking crucially into account the aspect of computation, investigating the interaction of mathematics with computation, bridging the gap between mathematics and computation wherever desirable and possible, and otherwise explaining why not.Recently, abstract mathematics has proved to have more computational content than ever expected. Indeed, the axiomatic method, originally intended to do away with c...

An accessible explanation of Kurt Gödel's groundbreaking work in mathematical logic: " An excellent nontechnical account." — Bulletin of the American Mathematical SocietyIn 1931 Kurt Gödel published his fundamental paper, "On Formally Undecidable Propositions of Principia Mathematica and Related Systems." This revolutionary paper challenged certain basic assumptions underlying much research in mathematics and logic. Gödel received public r...

This revised and considerably expanded 2nd edition, published in 2008, brings together a wide range of topics, including modal, tense, conditional, intuitionist, many-valued, paraconsistent, relevant, and fuzzy logics. Part 1, on propositional logic, is the old Introduction, but contains much new material. Part 2 is entirely new, and covers quantification and identity for all the logics in Part 1. The material is unified by the underlying theme of world semantics. All of the topics are exp...

The algebra of logic was founded by George Boole (1815-1864); it was developed and perfected by Ernst Schroder (1841-1902) The fundamental laws of this calculus were devised to express the principles of reasoning, the laws of thought But this calculus may be considered from the purely formal point of view, which is that of mathematics, as an algebra based upon certain principles arbitrarily laid down It belongs to the realm of philosophy to decide whether, and in what measure, this calculu...

First published in 1982, this reissue contains a critical exposition of the views of Frege, Dedekind and Peano on the foundations of arithmetic. The last quarter of the 19th century witnessed a remarkable growth of interest in the foundations of arithmetic. This work analyses both the reasons for this growth of interest within both mathematics and philosophy and the ways in which this study of the foundations of arithmetic led to new insights in philosophy and striking advances in logic.

Join original Vienna Circle member Victor Kraft in his discussion of the movement for an exclusive insider’s view of this important point in philosophical history. In this in-depth philosophical study, Victor Kraft explores the role the Vienna Circle had on the international philosophical movement. The Vienna Circle constituted a point of departure for the reawaking, rebirth, and reformation of positivism and empiricism, leading to the creation of the Neo-positivism movement. At the time o...

'Nagel and Newman accomplish the wondrous task of clarifying the argumentative outline of Kurt Godel's celebrated logic bomb.' – The GuardianIn 1931 the mathematical logician Kurt Godel published a revolutionary paper that challenged certain basic assumptions underpinning mathematics and logic. A colleague of physicist Albert Einstein, his theorem proved that mathematics was partly based on propositions not provable within the mathematical system. The impo...

The main purpose of this book is the development of a new method for the semantical analysis of meaning, that is, a new method for analyzing and describing the meanings of linguistic expressions. This method, called the method of extension and intension, is developed by modifying and extending certain customary concepts, especially those of class and property. The method will be contrasted with various other semantical methods used in traditional philosophy or by contemporary authors. Thes...

Written by a leading expert, this is the ideal guide to the only book Wittgenstein published during his lifetime, the Tractatus Logico-Philosophicus. Michael Morris makes sense of Wittgenstein’s brief but often cryptic text, highlighting its key themes. He introduces and analyzes:Wittgenstein’s life and the background to the Tractatusthe ideas and text of the Tractatusthe continuing importance of Wittgenstein's work to philosophy...

'A wealth of examples to which solutions are given permeate the text so the reader will certainly be active.'The Mathematical GazetteThis is the final book written by the late great puzzle master and logician, Dr. Raymond Smullyan.This book is a sequel to my Beginner's Guide to Mathematical Logic.The previous volume deals with elements of propositional and first-order logic, contains a bit on formal systems and recursion, and concludes with chapters on Gödel's famous incomp...

Some of our earliest experiences of the conclusive force of an argument come from school mathematics: faced with a mathematical proof, we cannot deny the conclusion once the premises have been accepted. Behind such arguments lies a more general pattern of 'demonstrative arguments' that is studied in the science of logic. Logical reasoning is applied at all levels, from everyday life to advanced sciences, and a remarkable level of complexity is achieved in everyday logical reasoning, even i...