Wolfgang Lenzen

contemporaryAnalytic Philosophy / Formal Logic

b. 1942

Wolfgang Lenzen is a German analytic philosopher and logician, professor emeritus at the University of Osnabrück. He is best known for his extensive reconstruction and formalization of Leibniz's logic, as well as significant contributions to epistemic and doxastic logic, exploring the formal structures of knowledge and belief.

Notable Achievements

Systematic reconstruction and formalization of Leibniz's logical calculus

Developed formal frameworks for epistemic and doxastic logic

Published extensively on the history of logic, particularly 17th-18th century developments

Contributed to debates on the limits of computability and a priori logical knowledge

Positions & Arguments(1)

Skepticism

claim

There is a fundamental tension between treating logical knowledge as a priori and the computational intractability of deciding logical validity.

Truth & Knowledge

claim

There is a fundamental tension between treating logical knowledge as a priori and the computational intractability of deciding logical validity.