Aun sin haber seguido nunca una formación académica jurídica (puesto que su recorrido estudiantil se canalizó en las carreras físico-matemática y filosófica), fue esa aplicación de la lógica al campo ético-jurídico aquella en que aportará más brillantes innovaciones, como la formalización de los impedimentos matrimoniales, lógicamente calculados.