Estudiós de la lògica matemàtica i professor a Breslau (1917-19), a Kiel i, des del 1928, a Münster, hi fundà el que ha esdevingut un dels principals centres d’investigació lògica. Oposat al vitalisme i a l’irracionalisme, proposà una metafísica fonamentada en la lògica per tal com aquesta té en compte les qüestions d’ordre ontològic i és l’única capaç de desenvolupar una metafísica científica (mathesis universalis) que investigui els mons possibles. La seva obra ha estat reunida a Mathesis Universalis (1961).