Ingressà a l’orde dels dominicans el 1927. Professor a la Universitat de Friburg des del 1945, féu aportacions al camp de la lògica (Formale Logik 1956)i l’estudi del marxisme (Der sowjetische-russische dialektische Materialismus, 1950; Marxismus-Leninismus, 1973) i de la lògica antiga (La logique de Théophraste, 1947).