This open access book is the first ever collection of Karl Popper's writings on deductive logic.
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.

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

Autorentext

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.

Inhalt
Part I: Articles.- Chapter 1. Introduction to Popper's Articles on Logic (David Binder, Thomas Piecha, and Peter Schroeder-Heister).- Chapter 2. Are Contradictions Embracing? (1943) (Karl R. Popper).- Chapter 3. Logic without Assumptions (1947) (Karl R. Popper).- Chapter 4. New Foundations for Logic (1947) (Karl R. Popper).- Chapter 5. Functional Logic without Axioms or Primitive Rules of Inference (1947)(Karl R. Popper).- Chapter 6. On the Theory of Deduction, Part I. Derivation and its Generalizations (1948) (Karl R. Popper).- Chapter 7. On the Theory of Deduction, Part II. The Denitions of Classical and Intuitionist Negation (1948) (Karl R. Popper).- Chapter 8. The Trivialization of Mathematical Logic (1949) (Karl R. Popper).- Chapter 9. A Note on Tarski's Denition of Truth (1955) (Karl R. Popper).-Chapter 10. On a Proposed Solution of the Paradox of the Liar (1955) (Karl R. Popper).- Chapter 11. On Subjunctive Conditionals with Impossible Antecedents (1959)(Karl R. Popper).- Chapter 12. Lejewski's Axiomatization of My Theory of Deducibility (1974) (Karl R. Popper).- Chapter 13. Reviews of Popper's Articles on Logic (Wilhelm Ackermann et.al).- Part II: Manuscripts.- Chapter 14. Introduction to Popper's Manuscripts on Logic (David Binder, Thomas Piecha, and Peter Schroeder-Heister).- Chapter 15. On Systems of Rules of Inference (Karl R. Popper and Paul Bernays).- Chapter 16. A General Theory of Inference (Karl R. Popper).- Chapter 17. On the Logic of Negation (Karl R. Popper).- Chapter 18. A Note on the Classical Conditional (Karl R. Popper).- Part III: Correspondence.- Chapter 19. Introduction to Popper's Correspondence on Logic (David Binder, Thomas Piecha, and Peter Schroeder-Heister).- Chapter 20. Popper's Correspondence with Paul Bernays (Karl R. Popper and Paul Bernays).- Chapter 21. Popper's Correspondence with Luitzen Egbertus Jan Brouwer (Karl R. Popper and Luitzen E. J. Brouwer).- Chapter 22. Popper's Correspondence with Rudolf Carnap (Karl R. Popper and Rudolf Carnap).- Chapter 23. Popper's Correspondence with Alonzo Church (Karl R. Popper and Alonzo Church).- Chapter 24. Popper's Correspondence with Kalman Joseph Cohen (Karl R. Popper and Kalman J. Cohen).- Chapter 25. Popper's Correspondence with Henry George Forder (Karl R. Popper and Henry George Forder).- Chapter 26. Popper's Correspondence with Harold Jereys (Karl R. Popper and Harold Jereys).- Chapter 27. Popper's Correspondence with Stephen Cole Kleene (Karl R. Popper and Stephen C. Kleene).- Chapter 28. Popper's Correspondence with William Calvert Kneale (Karl R. Popper and William C. Kneale).- Chapter 29. Popper's Correspondence with Willard Van Orman Quine (Karl R. Popper and Willard V. O. Quine).- Chapter 30. Popper's Correspondence with Heinrich Scholz (Karl R. Popper and Heinrich Scholz).- Chapter 31. Popper's Correspondence with Peter Schroeder-Heister (Karl R. Popper and Peter Schroeder-Heister).- Concordances.- Bibliography.- Index.