padre de la lógica moderna