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 ...
64 livres
créée il y a plus de 7 ans · modifiée il y a 5 moisMé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.
Commentaire aux Catégories d'Aristote
Sortie : septembre 2008 (France). Essai, Philosophie
livre de Porphyre de Tyr
Syderen a mis 8/10 et a écrit une critique.
Annotation :
Une belle présentation de la logique conceptuelle d'Aristote, pédagogique et stimulante, par le néoplatonicien Porphyre, disciple de Plotin.
Philosopher à Bagdad au Xe siècle
Bilingue arabe-français
Sortie : 2007 (France). Essai, Philosophie
livre de Al-Fârâbî
Syderen a mis 9/10.
Annotation :
Approche logique de la poétique, "Organon long"
La démonstration est universellement vraie
La dialectique est le plus souvent vraie
La rhétorique est vraie et fausse à égalité
La sophistique est le plus souvent fausse
La poétique est universellement fausse
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
La Docte ignorance (1440)
(traduction Hervé Pasqua)
De docta ignorantia
Sortie : janvier 2008 (France). Essai, Philosophie
livre de Nicolas de Cues
Syderen a mis 8/10.
Annotation :
Usage théologique de la géométrie.
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, Sciences
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)
(traduction Roland Caillois)
Ethica Ordine Geometrico Demonstrata
Sortie : 1954 (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.