1968–1998 Professor in Regensburg. Aus dem Kreis um W. Stegmüller hervorgegangener Vertreter der analytisch orientierten Wissenschaftstheorie, deren Methoden er z. B. auch in der Ethik (»Grundlagen der Ethik«, 1982), anzuwenden versucht. Seine mit Alfred Breitkopf (* 1942) verfasste »Einführung in die moderne Logik« (1971) fand weite Verbreitung.