Eléments d'histoire de la logique
La logique contemporaine a pour origine les conceptions développées par Frege dans la Begriffschrift ou « écriture conceptuelle », un projet qui remonte à Leibniz pour son articulation. Du point de vue de l'armature mathématique, qui consiste à considérer les atomes du raisonnement ou propositions comme des objets formels (de même que l'analyse mathématique considère les nombres comme des objets formels), on peut cependant remonter à la logique des stoïciens. La logique issue des travaux d'Aristote dans l'organon a dominé la construction de la logique jusqu'au dix-neuvième siècle, avant qu'il ne soit possible de formaliser la syllogistique comme une application de la logique du premier ordre, inaugurée par Frege et dont on trouve des anticipations chez les stoïciens. Ce cours constituera une introduction historique à la logique, sans raboter les aspérités conceptuelles et formelles d'une telle histoire.
- Teacher: Al-Saleh Christophe