Philosophie symbolique et algèbre de la logique : les lois de la pensée de George Boole. Tome I : traduction. Tome II : Philosophie symbolique et constitution de l'agèbre de la logique / Souleymane Bachir Diagne ; sous la direction de Jean-Toussaint Desanti

Date :

Type : Livre / Book

Type : Thèse / Thesis

Langue / Language : français / French

Desanti, Jean-Toussaint (1914-2002) (Directeur de thèse / thesis advisor)

Université Paris 1 Panthéon-Sorbonne (1971-....) (Organisme de soutenance / degree-grantor)

Relation : Philosophie symbolique et algèbre de la logique : "Les Lois de la pensée" de George Boole / S.-B. Diagne / Lille : Atelier national de reproduction des thèses , 1989

Résumé / Abstract : IL S'AGIT, DANS CE TRAVAIL, D'UNE HISTOIRE DE LA CONSTITUTION DE L'ALGEBRE LOGIQUE DE BOOLE ET DE L'EMERGENCE, QU'ELLE PERMET, DE L'IDEE D'UNE MACHINE LOGIQUE. DONC D'UN RETOUR A L'OUVRAGE - LES LOIS DE LA PENSEE - QUI MARQUE LE COMMENCEMENT DE NOTRE "CIVILISATION DE L'ORDINATEUR". RETOUR, CELA VEUT DIRE QU'AU-DELA DES ALGEBRES DE BOOLE MODERNES, QUI REALISENT UNE STRUCTURE MATHEMATIQUE DEFINIE PAR CERTAINES PRO- PRIETES ET LOIS, ON RETROUVE L'ENTREPRISE, SURPRENANTE A BIEN DES EGARDS, A LA FOIS MATHEMATIQUE, LOGIQUE, PHILOSOPHIQUE, DE DONNER A LA LOGIQUE CLASSIQUE SON LANGAGE ET SES PROCEDURES VERITABLES, C'EST-A DIRE SYMBOLIQUES. ET L'ON MONTRE QUE CETTE ENTREPRISE CONNUT PLUS DE DETOURS QUE NE LE LAISSERAIENT PENSER LA SIMPLICITE ET LA CLAR- TE MATHEMATIQUES DES ALGEBRES DE BOOLE MODERNES. CE RETOUR AU PROJET DE BOOLE PRESENTE ICI DEUX ASPECTS : 1) UNE TRADUCTION FRANCAISE DE SON OEUVRE MAITRESSE : LES LOIS DE LA PENSEE. 2) UNE ETUDE DE LA CREATION HISTORIQUE DE L'ALGEBRE DE LA LOGIQUE. CETTE ETUDE FAIT D'ABORD APPARAITRE LES CONDITIONS PHILOSOPHIQUES, MATHEMATIQUES ET LOGIQUES DE L'ENTREPRISE BOOLEENNE, EN ETABLISSANT CE QUE TOUTE L'ECOLE ALGEBRIQUE ANGLAISE DUT A LA PHILOSOPHIE SYM- BOLIQUE DE LEIGNIZ. ELLE ECLAIRE LA PHILOSOPHIE DE CETTE ENTREPRISE DE CONSTITUTION D'UN CALCUL SYMBOLIQUE : NOUS L'APPELONS "OPTIMISME DU SYMBOLIQUE". ELLE SUIT ENFIN LE DEVELOPPEMENT QUE CONNUT L'IDEE DE MACHINE LOGIQUE DANS L'IMMEDIATE POSTERITE DE L'ENTREPRISE DE BOO- LE -LES TRAVAUX DE W.S.JEVONS ET DE J.VENN- AINSI QUE LE DEVENIR DE CETTE PHILOSOPHIE DES SIGNES DE GEORGE BOOLE QUI FUT AU PRINCIPE DE LA CREATION DE L'ALGEBRE DE LA LOGIQUE.