Pièce n° 0115

Cours de logique formelle ENS Saint-Cloud

Ensemble de notes pour un cours sur la logique formelle, les deux premières pages du cahier détaillent le contenu du cours : « ll ne s'agit pas d'un exposé systématique : sous ce titre de « logique formelle » nous traiterons de questions différentes 1) Un exposé des principes et des théorèmes fondamentaux de la « logique symbolique » a) calcul des propositions, b) calcul des prédicats. 2) Un exposé élémentaire de la théorie naïve des ensembles. 3) Un exposé de quelques problèmes de « métamathématique » : en particulier théorie des systèmes formels. » Après les notes destinées à ce cours, on trouve un plan d'article portant sur Marx qui peut éventuellement avoir quelque rapport avec les inserts du cahier 113 et qui semble ne pas correspondre à ce qui a été réalisé dans le cahier 114.

On trouve ensuite quelques notes qui semblent se référer à Logique formelle et logique transcendantale de Husserl (3pg) ainsi que des notes sur la notion de monde (2pg) et des notes sur Aristote (3pg).

En fin de cahier notes sur les épreuves du concours d'entrée à l'ENS pour l'année 1965.