ab 1952 Professor in Bonn, ab 1956 in Kiel, 1962–80 in Erlangen; Mitbegründer der »Erlanger Schule« der konstruktiven Wissenschaftstheorie; entwarf unter Bezugnahme auf die Mathematik eine konstruktive operationale Logik als Begründungslehre der Wissenschaften (Konstruktivismus) und bezog die Frage nach der formallogischen Begründbarkeit der Ethik ein.