quien es el padre de la logica