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.
Part I: Articles.
Chapter
1. Introduction to Poppers 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 Tarskis 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. Lejewskis Axiomatization of My Theory
of Deducibility (1974) (Karl R. Popper).
Chapter
13. Reviews of Poppers
Articles on Logic (Wilhelm Ackermann et.al).- Part II: Manuscripts.
Chapter
14. Introduction to Poppers 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 Poppers
Correspondence on Logic (David Binder, Thomas Piecha, and Peter
Schroeder-Heister).
Chapter
20. Poppers Correspondence with Paul Bernays
(Karl R. Popper and Paul Bernays).
Chapter
21. Poppers Correspondence with
Luitzen Egbertus Jan Brouwer (Karl R. Popper and Luitzen E. J. Brouwer).-
Chapter
22. Poppers Correspondence with Rudolf Carnap (Karl R. Popper and
Rudolf Carnap).
Chapter
23. Poppers Correspondence with Alonzo Church (Karl
R. Popper and Alonzo Church).
Chapter
24. Poppers Correspondence with
Kalman Joseph Cohen (Karl R. Popper and Kalman J. Cohen).
Chapter
25.
Poppers Correspondence with Henry George Forder (Karl R. Popper and Henry
George Forder).
Chapter
26. Poppers Correspondence with Harold Jereys
(Karl R. Popper and Harold Jereys).
Chapter
27. Poppers Correspondence
with Stephen Cole Kleene (Karl R. Popper and Stephen C. Kleene).
Chapter
28.
Poppers Correspondence with William Calvert Kneale (Karl R. Popper and
William C. Kneale).
Chapter
29. Poppers Correspondence with Willard Van
Orman Quine (Karl R. Popper and Willard V. O. Quine).
Chapter
30. Poppers
Correspondence with Heinrich Scholz (Karl R. Popper and Heinrich Scholz).-
Chapter 31. Poppers Correspondence with Peter Schroeder-Heister (Karl R.
Popper and Peter Schroeder-Heister).- Concordances.- Bibliography.- Index.
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 Poppers Nachlass in detail and has written a thesis on Poppers 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 Poppers 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 Poppers logic and corresponded with him on these issues in the 1980s.
