Mathématiques, logique et informatique

Annotation :

Logique des noms, confrontation de plusieurs théories du langage.

Annotation :

Même un esclave non cultivé peut faire des mathématiques, parce qu'il a en lui le savoir correspondant, bien qu'il ne le sache pas encore. Ou la théorie platonicienne de la réminiscence.

Annotation :

livres VI et VII surtout, pour l'ontologie des mathématiques

Annotation :

Des exercices de logique à partir des notions d'un et de multiple, d'être et de non-être.

Annotation :

Le traité des Catégories de Platon, qui explique comment le réel est structuré. Une belle théorie de la communication des genres de l'être, qui cherche à réfuter Parménide.

Annotation :

Dialogue qui cherche ce qu'est la science.

Annotation :

L'Organon (l'outil en grec) désigne six traités d'Aristote consacrés à la logique.

Le tome I élabore la théorie des genres suprêmes de l'être.

Annotation :

Tome II : théorie du jugement (de la prédication) et des futurs contingents.

Annotation :

Tome III : théorie des syllogismes, ou tentative de systématisation de la logique.

Annotation :

Tome IV : théorie du syllogisme scientifique. Un très bel ouvrage d'épistémologie, quoique difficile parfois à cause de ses raisonnements mathématiques complexes.

Annotation :

Tome V : théorie des lieux (ou de la dialectique).

Annotation :

Tome VI : décryptage et critique des sophismes, c'est-à-dire les raisonnements fallacieux qui ont l'apparence du vrai.

Annotation :

Euclide est un mathématicien grec qui a vécu à Alexandrie vers -300. Il a entrepris d'axiomatiser toute la géométrie, avec ses célèbres définitions, demandes (postulats), propriétés et théorèmes.

Ce livre comporte des extraits commentés par André Deledicq des livres I, II et VI.
Il y a les définitions et démonstrations concernant les parallèles, les triangles, les parallélogrammes, les théorèmes de Thalès et de Pythagore.

Les Éléments d'Euclide sont un chef d’œuvre de la science et de l'esprit humain. Les mathématiciens et les historiens des sciences louent sa construction rationnelle à la fois rigoureuse et élégante. Mais je trouve que c'est également le fruit d'un esprit inventif ; il faut de l'imagination pour élaborer de tels puzzles géométriques.

Annotation :

Les stoïciens divisent la philosophie en trois parties, la logique, la physique et la morale. Ce recueil de textes et de fragments présente les principales idées de la logique stoïcienne. Elle a inventé notamment le calcul des propositions, et largement développé la théorie des conditionnels.

Annotation :

Remettre tout en cause, quel que soit le raisonnement proposé. Un vent de fraîcheur intellectuelle. C'est un manifeste du scepticisme antique, inspiré du fondateur Pyrrhon.

Annotation :

Théorie réaliste de la vérité, par Thomas d'Aquin, philosophe et théologien scolastique.

Annotation :

Guillaume d'Ockham est un philosophe et logicien scolastique.

Il a construit une logique "terministe", aussi appelée "nominaliste", au Moyen Âge. Ockham critique l'essentialisation des termes généraux.

Annotation :

L'épistémologie des mathématiques modernes, en rupture avec la logique scolastique. Elle repose sur les deux pôles de l'intuition et de la déduction.

Annotation :

Manifeste de l'épistémologie cartésienne, avec les 4 règles de la méthode : évidence, analyse, ordre, énumération.

Annotation :

D'Alembert, mathématicien et éditeur de l'Encyclopédie avec Diderot, expose la classification des sciences et le rapport des mathématiques à la sensation et à l'abstraction.

Annotation :

Une étude des conditions de possibilité de la mathématique et de la physique.

Annotation :

Ce livre est un complément/une introduction à la Critique de la raison pure, mais ne remplace pas sa lecture. La préface est belle et mordante, Kant y défend Hume contre ses adversaires.
Le livre étudie tour à tour les mathématiques, les sciences naturelles et la métaphysique. Kant prétend refonder la métaphysique sur de nouvelles bases, circonscrites et en opposition avec la métaphysique pré-critique qui se voulait scientifique à tort selon lui.