The Logical Writings of Karl Popper

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.