Lectures On Logic

Table of contents

These lectures on logic, more specifically proof theory, are basically intended for postgraduate students and researchers in logic. The question at stake is the nature of mathematical knowledge and the difference between a question and an answer, i.e., the implicit and the explicit. The problem is delicate mathematically and philosophically as well: the relation between a question and its answer is a sort of equality where one side is ``more equal than the other'': one thus discovers essentialist blind spots. Starting with Godel's paradox (1931)--so to speak, the incompleteness of answers with respect to questions--the book proceeds with paradigms inherited from Gentzen's cut-elimination (1935). Various settings are studied: sequent calculus, natural deduction, lambda calculi, category-theoretic composition, up to geometry of interaction (GoI), all devoted to explicitation, which eventually amounts to inverting an operator in a von Neumann algebra. Mathematical language is usually described as referring to a preexisting reality. Logical operations can be given an alternative procedural meaning: typically, the operators involved in GoI are invertible, not because they are constructed according to the book, but because logical rules are those ensuring invertibility. Similarly, the durability of truth should not be taken for granted: one should distinguish between imperfect (perennial) and perfect modes. The procedural explanation of the infinite thus identifies it with the unfinished, i.e., the perennial. But is perenniality perennial? This questioning yields a possible logical explanation for algorithmic complexity. This highly original course on logic by one of the world's leading proof theorists challenges mathematicians, computer scientists, physicists, and philosophers to rethink their views and concepts on the nature of mathematical knowledge in an exceptionally profound way.

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.

This book provides a systematic, self-sufficient and yet short presentation of the mainstream topics on introductory Probability Theory with some selected topics from Mathematical Statistics. It is suitable for a 10- to 14-week course for second- or third-year undergraduate students in Science, Mathematics, Statistics, Finance, or Economics, who have completed some introductory course in Calculus. There is a sufficient number of problems and solutions to cover weekly tutorials.

Truth, etc. is a wide-ranging study of ancient logic based upon the John Locke lectures given by the eminent philosopher Jonathan Barnes in Oxford. Its six chapters discuss, first, certain ancient ideas about truth; secondly, the Aristotelian conception of predication; thirdly, various ideas about connectors which were developed by the ancient logicians and grammarians; fourthly, the notion of logical form, insofar as it may be discovered in the ancient texts; fifthly, the question of the 'justification of deduction'; and sixthly, the attitude which has been called logical utilitarianism and which restricts the scope of logic to those forms of inference which are or might be useful for scientific proofs. In principle, the book presupposes no knowledge of logic and no skill in ancient languages: all ancient texts are cited in English translation; and logical symbols and logical jargon are avoided so far as possible. There is no scholarly apparatus of footnotes, and no bibliography. It can be read in an armchair. Anyone interested in ancient philosophy, or in logic and its history, will find it interesting.

Noted logician discusses both theoretical underpinnings and practical applications, exploring set theory, model theory, recursion theory and constructivism, proof theory, logic's relation to computer science, and other subjects. 1981 edition, reissued by Dover in 1993 with a new Postscript by the author.

Concept and Judgment in Brentano's Logic Lectures provides an analysis of an important feature of Brentano's philosophy in the 19th century. Relevant materials in both German and English are also included in the volume.