seit 1968 Professor in Salzburg; lieferte Beiträge zu Grundlagenfragen der Mathematik sowie zu kulturkritischen und ästhetischen Fragen; Begründer und Herausgeber u. a. der »Zeitschrift für philosophische Forschung« (1946 ff.) und des »Philosophischen Literaturanzeigers« (1948 ff.).