This open access book examines the many contributions of Paul Lorenzen, an outstanding philosopher from the latter half of the 20th century. It features papers focused on integrating Lorenzen's original approach into the history of logic and mathematics. The papers also explore how practitioners can implement Lorenzen’s systematical ideas in today’s debates on proof-theoretic semantics, databank management, and stochastics. Coverage details key contributions of Lorenzen to constructive mathematics, Lorenzen’s work on lattice-groups and divisibility theory, and modern set theory and Lorenzen’s critique of actual infinity. The contributors also look at the main problem of Grundlagenforschung and Lorenzen’s consistency proof and Hilbert’s larger program. In addition, the papers offer a constructive examination of a Russell-style Ramified Type Theory and a way out of the circularity puzzle within the operative justification of logic and mathematics. Paul Lorenzen's name is associated with the Erlangen School of Methodical Constructivism, of which the approach in linguistic philosophy and philosophy of science determined philosophical discussions especially in Germany in the 1960s and 1970s. This volume features 10 papers from a meeting that took place at the University of Konstanz.
This open access book examines the many contributions of Paul Lorenzen, an outstanding philosopher from the latter half of the 20th century. It features papers focused on integrating Lorenzen's original approach into the history of logic and mathematics. The papers also explore how practitioners can implement Lorenzen's systematical ideas in today's debates on proof-theoretic semantics, databank management, and stochastics. Coverage details key contributions of Lorenzen to constructive mathematics, Lorenzen's work on lattice-groups and divisibility theory, and modern set theory and Lorenzen's critique of actual infinity. The contributors also look at the main problem of Grundlagenforschung and Lorenzen's consistency proof and Hilbert's larger program. In addition, the papers offer a constructive examination of a Russell-style Ramified Type Theory and a way out of the circularity puzzle within the operative justification of logic and mathematics. Paul Lorenzen's name is associated with the Erlangen School of Methodical Constructivism, of which the approach in linguistic philosophy and philosophy of science determined philosophical discussions especially in Germany in the 1960s and 1970s. This volume features 10 papers from a meeting that took place at the University of Konstanz.
Millions have seen the movie and thousands have read the book but few have fully appreciated the mathematics developed by John Nash's beautiful mind. Today Nash's beautiful math has become a universal language for research in the social sciences and has infiltrated the realms of evolutionary biology, neuroscience, and even quantum physics. John Nash won the 1994 Nobel Prize in economics for pioneering research published in the 1950s on a new branch of mathematics known as game theory. At the time of Nash's early work, game theory was briefly popular among some mathematicians and Cold War analysts. But it remained obscure until the 1970s when evolutionary biologists began applying it to their work. In the 1980s economists began to embrace game theory. Since then it has found an ever expanding repertoire of applications among a wide range of scientific disciplines. Today neuroscientists peer into game players' brains, anthropologists play games with people from primitive cultures, biologists use games to explain the evolution of human language, and mathematicians exploit games to better understand social networks. A common thread connecting much of this research is its relevance to the ancient quest for a science of human social behavior, or a Code of Nature, in the spirit of the fictional science of psychohistory described in the famous Foundation novels by the late Isaac Asimov. In A Beautiful Math, acclaimed science writer Tom Siegfried describes how game theory links the life sciences, social sciences, and physical sciences in a way that may bring Asimov's dream closer to reality.
ACM Monograph Series: A Computational Logic focuses on the use of induction in proving theorems, including the use of lemmas and axioms, free variables, equalities, and generalization. The publication first elaborates on a sketch of the theory and two simple examples, a precise definition of the theory, and correctness of a tautology-checker. Topics include mechanical proofs, informal development, formal specification of the problem, well-founded relations, natural numbers, and literal atoms. The book then examines the use of type information to simplify formulas, use of axioms and lemmas as rewrite rules, and the use of definitions. Topics include nonrecursive functions, computing values, free variables in hypothesis, infinite backwards chaining, infinite looping, computing type sets, and type prescriptions. The manuscript takes a look at rewriting terms and simplifying clauses, eliminating destructors and irrelevance, using equalities, and generalization. Concerns include reasons for eliminating isolated hypotheses, precise statement of the generalization heuristic, restricting generalizations, precise use of equalities, and multiple destructors and infinite looping. The publication is a vital source of data for researchers interested in computational logic.
7. Grammatical reasoning. 7.1. Motivations. 7.2. Modal preliminary. 7.3. Residuation and modalities. 7.4. Linguistic applications. 7.5. Back to quantification. 7.6. Kripke semantics. 7.7. Concluding remarks and observations. 8. A type-theoretical version of minimalist grammars. 8.1. Inserting chains. 8.2. Head movement. 8.3. Adjoining and scrambling. 8.4. Semantics without cooper storage. 8.5. Concluding remarks : Some tracks to explore. 9. Grammars in deductive forms. 9.1. Introduction. 9.2. Convergent grammars. 9.3. Labelled linear grammars. 9.4. Binding in LLG. 9.5. On phases. 9.6. Comparing CVG and LLG. 9.7. Concluding remarks. 10. Continuations and contexts. 10.1. The use of continuations in semantics. 10.2. Symmetric calculi. 10.3. Concluding remarks and further works. 11. Proofs as meanings. 11.1. From intuitionistic logic to constructive type theory. 11.2. Formalizing Montague grammar in constructive type theory. 11.3. Dynamical interpretation and anaphoric expressions. 11.4. From sentences to dialogue -- pt. IV. Ludics. 12. Interaction and dialogue. 12.1. Dialogue and games. 12.2. Ludics. 12.3. Behaviours. 13. The future in conclusion
This book on proof theory centers around the legacy of Kurt Schütte and its current impact on the subject. Schütte was the last doctoral student of David Hilbert who was the first to see that proofs can be viewed as structured mathematical objects amenable to investigation by mathematical methods (metamathematics). Schütte inaugurated the important paradigm shift from finite proofs to infinite proofs and developed the mathematical tools for their analysis. Infinitary proof theory flourished in his hands in the 1960s, culminating in the famous bound Γ0 for the limit of predicative mathematics (a fame shared with Feferman). Later his interests shifted to developing infinite proof calculi for impredicative theories. Schütte had a keen interest in advancing ordinal analysis to ever stronger theories and was still working on some of the strongest systems in his eighties. The articles in this volume from leading experts close to his research, show the enduring influence of his work in modern proof theory. They range from eye witness accounts of his scientific life to developments at the current research frontier, including papers by Schütte himself that have never been published before.
Covers the state of the art in the philosophy of maths and logic, giving the reader an overview of the major problems, positions, and battle lines. The chapters in this book contain both exposition and criticism as well as substantial development of their own positions. It also includes a bibliography.
Handbook of Analysis and Its Foundations is a self-contained and unified handbook on mathematical analysis and its foundations. Intended as a self-study guide for advanced undergraduates and beginning graduatestudents in mathematics and a reference for more advanced mathematicians, this highly readable book provides broader coverage than competing texts in the area. Handbook of Analysis and Its Foundations provides an introduction to a wide range of topics, including: algebra; topology; normed spaces; integration theory; topological vector spaces; and differential equations. The author effectively demonstrates the relationships between these topics and includes a few chapters on set theory and logic to explain the lack of examples for classical pathological objects whose existence proofs are not constructive. More complete than any other book on the subject, students will find this to be an invaluable handbook. Covers some hard-to-find results including: Bessagas and Meyers converses of the Contraction Fixed Point Theorem Redefinition of subnets by Aarnes and Andenaes Ghermans characterization of topological convergences Neumanns nonlinear Closed Graph Theorem van Maarens geometry-free version of Sperners Lemma Includes a few advanced topics in functional analysis Features all areas of the foundations of analysis except geometry Combines material usually found in many different sources, making this unified treatment more convenient for the user Has its own webpage: http://math.vanderbilt.edu/
The Critique of Impure Reason: Horizons of Possibility and Meaning comprises a major and important contribution to philosophy. It inaugurates a revolutionary paradigm shift in philosophical thought by providing compelling and long-sought-for solutions to a wide range of philosophical problems. In the process, the massive work fundamentally transforms the way in which the concepts of reference, meaning, and possibility are understood. The book includes a Foreword by the celebrated German philosopher and physicist Carl Friedrich von Weizsäcker. In Kant’s Critique of Pure Reason we find an analysis of the preconditions of experience and of knowledge. In contrast, but yet in parallel, the new Critique focuses upon the ways—unfortunately very widespread and often unselfconsciously habitual—in which many of the concepts that we employ conflict with the very preconditions of meaning and of knowledge. This is a book about the boundaries of frameworks and about the unrecognized conceptual confusions in which we become entangled when we attempt to transgress beyond the limits of the possible and meaningful. We tend either not to recognize or not to accept that we all-too-often attempt to trespass beyond the boundaries of the frameworks that make knowledge possible and the world meaningful. The Critique of Impure Reason proposes a bold, ground-breaking, and startling thesis: that a great many of the major philosophical problems of the past can be solved through the recognition of a viciously deceptive form of thinking to which philosophers as well as non-philosophers commonly fall victim. For the first time, the book advances and justifies the criticism that a substantial number of the questions that have occupied philosophers fall into the category of “impure reason,” violating the very conditions of their possible meaningfulness. The purpose of the study is twofold: first, to enable us to recognize the boundaries of what is referentially forbidden—the limits beyond which reference becomes meaningless—and second, to avoid falling victims to a certain broad class of conceptual confusions that lie at the heart of many major philosophical problems. As a consequence, the boundaries of possible meaning are determined. Bartlett, the author or editor of more than 20 books, is responsible for identifying this widespread and delusion-inducing variety of error, metalogical projection. It is a previously unrecognized and insidious form of erroneous thinking that undermines its own possibility of meaning. It comes about as a result of the pervasive human compulsion to seek to transcend the limits of possible reference and meaning. Based on original research and rigorous analysis combined with extensive scholarship, the Critique of Impure Reason develops a self-validating method that makes it possible to recognize, correct, and eliminate this major and pervasive form of fallacious thinking. In so doing, the book provides at last provable and constructive solutions to a wide range of major philosophical problems. CONTENTS AT A GLANCE Preface Foreword by Carl Friedrich von Weizsäcker Acknowledgments Avant-propos: A philosopher’s rallying call Introduction A note to the reader A note on conventions PART I WHY PHILOSOPHY HAS MADE NO PROGRESS AND HOW IT CAN 1 Philosophical-psychological prelude 2 Putting belief in its place: Its psychology and a needed polemic 3 Turning away from the linguistic turn: From theory of reference to metalogic of reference 4 The stepladder to maximum theoretical generality PART II THE METALOGIC OF REFERENCE A New Approach to Deductive, Transcendental Philosophy 5 Reference, identity, and identification 6 Self-referential argument and the metalogic of reference 7 Possibility theory 8 Presupposition logic, reference, and identification 9 Transcendental argumentation and the metalogic of reference 10 Framework relativity 11 The metalogic of meaning 12 The problem of putative meaning and the logic of meaninglessness 13 Projection 14 Horizons 15 De-projection 16 Self-validation 17 Rationality: Rules of admissibility PART III PHILOSOPHICAL APPLICATIONS OF THE METALOGIC OF REFERENCE Major Problems and Questions of Philosophy and the Philosophy of Science 18 Ontology and the metalogic of reference 19 Discovery or invention in general problem-solving, mathematics, and physics 20 The conceptually unreachable: “The far side” 21 The projections of the external world, things-in-themselves, other minds, realism, and idealism 22 The projections of time, space, and space-time 23 The projections of causality, determinism, and free will 24 Projections of the self and of solipsism 25 Non-relational, agentless reference and referential fields 26 Relativity physics as seen through the lens of the metalogic of reference 27 Quantum theory as seen through the lens of the metalogic of reference 28 Epistemological lessons learned from and applicable to relativity physics and quantum theory PART IV HORIZONS 29 Beyond belief 30 Critique of Impure Reason: Its results in retrospect SUPPLEMENT The Formal Structure of the Metalogic of Reference APPENDIX I: The Concept of Horizon in the Work of Other Philosophers APPENDIX II: Epistemological Intelligence References Index About the author
