The Logical Writings of Karl Popper

Autorenportrait

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.

Weitere Details