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 ...

Afficher plus
Liste de

64 livres

créée il y a plus de 7 ans · modifiée il y a 5 mois
Cratyle
6.9

Cratyle

Kratýlos

Essai, Philosophie

livre de Platon

Syderen a mis 9/10.

Annotation :

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

Ménon
7.1

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
7.4

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

Parménide
7.6

Parménide

Παρμενίδης

Sortie : janvier 1987 (France). Essai, Philosophie

livre de Platon

Syderen a mis 10/10.

Annotation :

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

Le Sophiste
7.5

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.

Théétète
7.3

Théétète

Essai, Philosophie

livre de Platon

Syderen a mis 9/10.

Annotation :

Dialogue qui cherche ce qu'est la science.

Catégories
7.6

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
7.4

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
6.7

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
7.7

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.

Topiques
6.8

Topiques

Organon V

Essai, Philosophie

livre de Aristote

Annotation :

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

Réfutations sophistiques
6.7

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

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

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

Traités philosophiques et logiques

Essai, Philosophie, Sciences

livre de Galien

Syderen l'a mis en envie.

Esquisses pyrrhoniennes
7.4

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

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

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é

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é

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

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

Intuition et abstraction

Sortie : janvier 2006 (France). Essai, Philosophie

livre de Guillaume d'Ockham

La Docte ignorance
7.2

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
7.1

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
6.7

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
7.2

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
7.7

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
8.2

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
7.2

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
7

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.

Syderen

Liste de

Liste vue 4.7K fois

12
2