Overview
- This book is open access
- First comprehensive edition of Karl Popper’s work on deductive logic
- Presents Popper's pioneering approach to the proof theory of logical consequence
- Offers original structural theory of logical constants that is of particular relevance for proof-theoretic semantics
Part of the book series: Trends in Logic (TREN, volume 58)
Buy print copy
Tax calculation will be finalised at checkout
About this book
Karl R. Popper (1902-1994) was one of the most influential philosophers of the 20th century. His philosophy of science ("falsificationism") and his social and political philosophy ("open society") have been widely discussed way beyond academic philosophy. What is not so well known is that Popper also produced a considerable work on the foundations of deductive logic, most of it published at the end of the 1940s as articles at scattered places. This little-known work deserves to be known better, as it is highly significant for modern proof-theoretic semantics.
This collection assembles Popper's published writings on deductive logic in a single volume, together with all reviews of these papers. It also contains a large amount of unpublished material from the Popper Archives, including Popper's correspondence related to deductive logic and manuscripts that were (almost) finished, but did not reach the publication stage. All of these items are critically edited with additional comments by the editors. A general introduction puts Popper's work into the context of current discussions on the foundations of logic. This book should be of interest to logicians, philosophers, and anybody concerned with Popper's work.
Similar content being viewed by others
Keywords
- Karl R. Popper
- Deductive Logic
- Logical Constants
- Proof-theoretic Semantics
- Classical Logic
- Non-classical Logic
- Inferential Definitions
- Mathematical Logic
- Negation
- Modalities
- History of Logic
- L.E.J. Brouwer
- Paul Bernays
- Rudolf Carnap
- Alonzo Church
- Kalman Joseph Cohen
- Henry George Forder
- Harold Jeffreys
- Stephen Cole Kleene
- Open Access
Table of contents (32 chapters)
-
Unpublished Manuscripts
-
Correspondence
Editors and Affiliations
About the editors
David Binder holds degrees in Cognitive Science, Philosophy and Computer Science. He has worked on type-theoretic foundations of logic and is now working on their application to the theory of programming languages. He has studied Popper’s Nachlass in detail and has written a thesis on Popper’s theory of deductive logic.
Thomas Piecha is a philosopher, physicist and computer scientist. He has published on proof-theoretic and dialogical approaches in logic and currently works on proof-theoretic semantics. He has participated in the final German editions of Popper’s “Logic of Scientific Discovery” and “Conjectures and Refutations”.
Peter Schroeder-Heister is head of the Tübingen group in proof-theoretic semantics. He has worked with Thomas Piecha and David Binder on various topics in the foundations of logic. He has published basic papers on Popper’s logic and corresponded with him on these issues in the 1980s.
Bibliographic Information
Book Title: The Logical Writings of Karl Popper
Editors: David Binder, Thomas Piecha, Peter Schroeder-Heister
Series Title: Trends in Logic
DOI: https://doi.org/10.1007/978-3-030-94926-6
Publisher: Springer Cham
eBook Packages: Mathematics and Statistics, Mathematics and Statistics (R0)
Copyright Information: The Editor(s) (if applicable) and The Author(s) 2022
Hardcover ISBN: 978-3-030-94925-9Published: 07 July 2022
Softcover ISBN: 978-3-030-94928-0Published: 07 July 2022
eBook ISBN: 978-3-030-94926-6Published: 06 July 2022
Series ISSN: 1572-6126
Series E-ISSN: 2212-7313
Edition Number: 1
Number of Pages: XXIV, 552
Number of Illustrations: 5 b/w illustrations
Topics: Logic, Mathematical Logic and Formal Languages, Mathematical Logic and Foundations, Language and Literature