Le point aveugle : cours de logique. Tome 1, Vers la perfection [ Livre] / Jean-Yves, Girard

Auteur principal: Girard, Jean-Yves, 1947-....Langue: Français ; de l'oeuvre originale, Français.Publication : Paris : Hermann, 2006Description : 1 vol. (XVI-280 p.) ; 21 cmISBN: 9782705666330.Collection: Visions des sciencesClassification: F 4 1 Logique mathématiqueRésumé: Ce livre est à la fois un cours de logique (théorie de la démonstration) et d'épistémologie des #fondements#. Il s'adresse aussi bien aux mathématiciens qu'aux informaticiens, aux philosophes qu'aux physiciens et aux linguistes. Il nous emmène du paradoxe de Gödel (l'incomplétude), des limbes du signifiant, à la logique parfaite, cette logique sans point aveugle ou presque qui réfère à un monde d'actions. Nous quittons alors les vérités pérennes pour vivre dans l'instant : en termes linguistiques, nous passons de l'imparfait au parfait. L'infini retrouve ainsi son étymologie (imparfaite) : celle du non-terminé. Epistémologiquement, le texte rompt avec la sempiternelle polarisation entre réalisme et anti-réalisme, en lui substituant l'opposition entre existence et essence. D'ontologique, la question devient morphologique : la logique est-elle antérieure aux phénomènes qu'elle contrôle ? Cet ouvrage est le premier d'une publication en deux volumes. Ce n'est qu'au second tome, avec l'analyse de l'imperfection, que nous arriverons à la pérennité non pérenne ; c'est un peu la réconciliation de l'essence et de l'existence sur d'autres bases que la familière combinatoire logistique : les algèbres d'opérateurs..Sujet - Nom commun: logique mathématique | Incomplétude, Théorèmes d' | Mathématiques -- Philosophie | Epistémologie
Current location Call number Status Notes Date due Barcode
ENS Rennes - Bibliothèque
Informatique
F 4 1 GIR (Browse shelf) Available F 4 1 Logique mathématique 027918
ENS Rennes - Bibliothèque
Informatique
F 4 1 GIR (Browse shelf) Available F 4 1 Logique mathématique 027525

Ce livre est à la fois un cours de logique (théorie de la démonstration) et d'épistémologie des #fondements#. Il s'adresse aussi bien aux mathématiciens qu'aux informaticiens, aux philosophes qu'aux physiciens et aux linguistes. Il nous emmène du paradoxe de Gödel (l'incomplétude), des limbes du signifiant, à la logique parfaite, cette logique sans point aveugle ou presque qui réfère à un monde d'actions. Nous quittons alors les vérités pérennes pour vivre dans l'instant : en termes linguistiques, nous passons de l'imparfait au parfait. L'infini retrouve ainsi son étymologie (imparfaite) : celle du non-terminé. Epistémologiquement, le texte rompt avec la sempiternelle polarisation entre réalisme et anti-réalisme, en lui substituant l'opposition entre existence et essence. D'ontologique, la question devient morphologique : la logique est-elle antérieure aux phénomènes qu'elle contrôle ? Cet ouvrage est le premier d'une publication en deux volumes. Ce n'est qu'au second tome, avec l'analyse de l'imperfection, que nous arriverons à la pérennité non pérenne ; c'est un peu la réconciliation de l'essence et de l'existence sur d'autres bases que la familière combinatoire logistique : les algèbres d'opérateurs.

Powered by Koha