Mathématiques, logique et informatique
Des livres sur les sciences formelles : logique, mathématiques et informatiques.
Voir aussi :
Histoire des sciences physiques et chimiques : https://www.senscritique.com/liste/Histoire_des_sciences_physiques_et_chimiques/1710826
Psychologie et philosophie ...
Liste de 61 livres
créee il y a environ 7 ans · modifiée il y a 4 mois
Ménon
(traduction Jacques Cazeaux)
Μένων
Sortie : mars 1994 (France). Essai, Philosophie
livre de Platon
Syderen a mis 8/10.
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.
La République
(traduction Georges Leroux)
Politeía
Sortie : 22 juin 2016 (France). Essai, Philosophie
livre de Platon
Syderen a mis 10/10.
Annotation :
livres VI et VII surtout, pour l'ontologie des mathématiques
Le Sophiste
Σοφιστής
Sortie : juin 2006 (France). Essai, Philosophie
livre de Platon
Syderen a mis 10/10.
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.
Catégories
Organon I
Sortie : 2002 (France). Essai, Philosophie
livre de Aristote
Syderen a mis 10/10.
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.
Catégories - De l'interprétation
Organon I et II
Essai, Philosophie
livre de Aristote
Syderen a mis 9/10.
Annotation :
Tome II : théorie du jugement (de la prédication) et des futurs contingents.
Premiers Analytiques
Organon III
Sortie : 12 mars 2014 (France). Essai, Philosophie, Sciences
livre de Aristote
Annotation :
Tome III : théorie des syllogismes, ou tentative de systématisation de la logique.
Seconds Analytiques
Organon IV
Sortie : 6 octobre 2005 (France). Essai, Philosophie, Sciences
livre de Aristote
Syderen a mis 8/10.
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.
Réfutations sophistiques
Organon VI
Sortie : 31 mai 1995 (France). Essai, Philosophie
livre de Aristote
Annotation :
Tome VI : décryptage et critique des sophismes, c'est-à-dire les raisonnements fallacieux qui ont l'apparence du vrai.
Les Éléments
Extraits des livres I, II et VI
Στοιχεία
Sortie : 1999 (France). Essai, Sciences
livre de Euclide
Syderen a mis 10/10.
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.
Les Stoïciens
Textes choisis
Sortie : octobre 2003 (France). Anthologie, Philosophie
livre de Jean Brun
Syderen a mis 8/10.
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.
Traités philosophiques et logiques
Essai, Philosophie, Sciences
livre de Galien
Syderen l'a mis en envie.
Esquisses pyrrhoniennes
Bilingue grec-français
Πυρρώνειοι ὑποτύπωσεις
Sortie : 24 octobre 1997 (France). Essai, Philosophie
livre de Sextus Empiricus
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.
Sur la vérité
Sortie : 19 mars 2015 (France). Essai, Philosophie
livre de Thomas d'Aquin
Annotation :
Théorie réaliste de la vérité, par Thomas d'Aquin, philosophe et théologien scolastique.
Signification et vérité
Questions sur le Peri hermeneias d'Aristote
Sortie : janvier 2009 (France). Essai, Philosophie
livre de Jean Duns Scot
Somme de logique, première partie
Summa logicae
Sortie : 1 mars 1993 (France). Essai, Philosophie
livre de Guillaume d'Ockham
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.
Intuition et abstraction
Sortie : janvier 2006 (France). Essai, Philosophie
livre de Guillaume d'Ockham
Règles pour la direction de l'esprit (1628)
Regulae ad directionem ingenii
Sortie : 1628 (France). Essai, Philosophie
livre de René Descartes
Syderen a mis 8/10.
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.
Discours de la méthode (1637)
Sortie : 1637 (France). Essai, Philosophie
livre de René Descartes
Syderen a mis 7/10.
Annotation :
Manifeste de l'épistémologie cartésienne, avec les 4 règles de la méthode : évidence, analyse, ordre, énumération.
De l'esprit géométrique (1658)
Écrits sur la grâce et autres textes
Sortie : 1658 (France). Essai, Philosophie
livre de Blaise Pascal
Syderen a mis 8/10.
La Logique ou l'art de penser (1662)
Sortie : 9 septembre 1992 (France). Essai, Philosophie
livre de Antoine Arnauld et Pierre Nicole
Syderen a mis 7/10.
L'Éthique (1677)
Ethica Ordine Geometrico Demonstrata
Sortie : 27 décembre 1993 (France). Essai, Philosophie
livre de Baruch Spinoza
Syderen a mis 8/10.
La Recherche de la Vérité par la lumière naturelle (1701)
Sortie : 1701 (France). Essai, Philosophie
livre de René Descartes
Syderen a mis 7/10.
Discours préliminaire de l'Encyclopédie (1751)
Sortie : 1751 (France). Essai, Philosophie
livre de Jean Le Rond d'Alembert
Syderen a mis 8/10.
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.
Critique de la raison pure (1781)
(traduction Alain Renaut)
Kritik der reinen Vernunft
Sortie : 18 août 2006 (France). Essai, Philosophie
livre de Emmanuel Kant
Annotation :
Une étude des conditions de possibilité de la mathématique et de la physique.
Prolégomènes à toute métaphysique future qui pourra se présenter comme science (1783)
Prolegomena zu einer jeden künftigen Metaphysik, die als Wissenschaft wird auftreten können
Sortie : octobre 1986 (France). Essai, Philosophie
livre de Emmanuel Kant
Syderen a mis 8/10.
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.