La logique et son histoire

C'est le renouveau de la logique depuis un siècle qui a suscité un renouveau de son histoire. Des esprits disciplinés par la pratique de la nouvelle logique classique l'ont présentée sous un jour nouveau. Dans cette histoire, des points culminants apparaissent : l'Antiquité aux IVe et IIIe siècles avant notre ère avec Aristote ; le Moyen Age aux XIIIe et XIVe siècles avec Abélard et Guillaume d'Occam ; la période actuelle depuis le milieu du XIXe siècle avec la logique mathématique et la logique symbolique. Avec une grande clarté, Robert Blanché expose les cheminements de cette science et précise les apports successifs des philosophes et des mathématiciens. L'étude des systèmes est conduite jusqu'à nos jours et comporte la présentation des théories de Frege, Russel, Carnap, Quine et Tarski, ainsi que de Gödel, Brouwer ou encore Gentzen.