The Logical Writings of Karl Popper

 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 Definitions 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 Definition 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.

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.