Skip to main content

The Logical Writings of Karl Popper

  • Book
  • Open Access
  • © 2022

You have full access to this open access Book


  • 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

Softcover Book USD 49.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book USD 59.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Table of contents (32 chapters)

  1. Published Articles

  2. Unpublished Manuscripts


About this book

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.

Editors and Affiliations

  • Universität Tübingen, Tübingen, Germany

    David Binder, Thomas Piecha, Peter Schroeder-Heister

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

Publish with us