Gran parte de su obra trató, por ello, de la lógica.