histoire de la logique