Carl von Prantl et l'histoire de la logique occidentale