Pièce n° 0116

Cours de logique ENS Saint-Cloud 1964

Il s'agit d'un cahier qui se rattache au cahier 115 et qui est constitué par un ensemble de note destinées au cours de logique de 1964. Le cahier commence par des considérations sur la logique de Leibniz ; les notes sur la logique s'interrompent ensuite et l'on trouve quelques notes qui semblent correspondre à un plan de leçon sur le sujet « concept et vécu » ; Desanti poursuit alors ses notes sur la logique. Après quelques pages où sont notamment abordés la notion de correspondance bi-univoque, Desanti semble alors suivre l'introduction à la logique mathématique de Novikov, notamment §12 (p.134) pour la page 29 du cahier et ensuite les §13 et 14 du même ouvrage sur les fonctions de Skolem et le théorème de Löwenheim. Tarski est ensuite abordé et l'on trouve par après un appendice sur la méthode de Hilbert pour démontrer la cohérence du calcul des propositions.