historia de la lógica