Pensée symbolique et argument

Michel Bourdeau - Collection Philosophies

136 pages, parution le 13/09/1999

Ajouter à une liste

Expédié sous 9 jours

Livraison à partir de 0,01€ dès 35€ d'achats
Pour une livraison en France métropolitaine

QUANTITÉ

Téléchargement immédiat

Format : PDF
Sans DRM

QUANTITÉ

Téléchargement immédiat

Format : ePub
Sans DRM

QUANTITÉ

Résumé

Le projet de l'intelligence artificielle a souvent été résumé par la formule : prenez soin de la syntaxe et la sémantique prendra soin d'elle-même. Mais il est tout aussi légitime d'y voir l'aboutissement ce cet autre mot d'ordre, également attesté dans l'histoire de la logique : éliminez l'intuition. Ainsi redécrit en des termes plus familiers aux philosophes, puisqu'on les trouve par exemple chez Leibniz ou chez Husserl, ce programme apparaît alors comme une thèse sur les rapports de la pensée symbolique et de l'intuition, hèse dont il y a tout lieu de penser qu'elle est fausse.L'ouvrage se présente comme un plaidoyer en faveur de l'intuition, cette réhabilitation passe par une défense préalable de la pensée aveugle, souvent décriée à ort par les philosophes et dont l'intelligence artificielle nous a précisément permis de mesurer une fois de plus la fécondité.

Sommaire

Les machines peuvent-elles penser ? PREMIÈRE PARTIE LA PRÉHISTOIRE DE LINTELLIGENCE ARTIFICIELLE La métamathématique et le problème de la décision La préhistoire du programme de Hilbert La métamathématique : lidée de la solution, 23 Le déplacement de lintuition, 25 La mise en uvre du programme : lidée de système formel, 30 Les métaconcepts, 36 Turing et la mécanisationdu calcul De Hilbert à Turing via Gödel La pratique du calcul : lalgorithme dEuclide La machine de Turing : lanalyse du calcul Description de la machine Nouvelle version de lalgorithme dEuclide Deux contrecoups : les conséquences métamathématiques Les conséquences psychologiques DEUXIÈME PARTIE ÉLÉMENTS DUNE THÉORIE DE LINTUITION De la psychologie cognitive à la théorie de lintuition Nécessité dun nouveau départ Husserl et la pensée symbolique Une nouvelle approche de la philosophie de lesprit Défense et illustration de la pensée aveugle Logique et algèbre La nature de la pensée symbolique : mathématique et langage Le dévoiement du langage Plaidoyer pour la pensée symbolique : un cortège de protestations, 94 Calcul et algorithme, 96 Algorithme et art dinventer, 97 Le lieu du désaccord Intuition et vérité Le retour du refoulé Les limites de la formalisation et la question de leur portée philosophique Gödel et lintuition Intuitionnisme, constructivisme et théorie de la signification Vérité et expérience Quelques objections Conclusion Indications bibliographiques

Voir tout

Replier

Caractéristiques techniques

	PAPIER	NUMERIQUE
Éditeur(s)	PUF
Auteur(s)	Michel Bourdeau
Collection	Philosophies
Parution	13/09/1999	01/01/1999
Nb. de pages	136	136
Format	11.5 x 17.6	-
Couverture	Broché	-
Poids	106g	-
Contenu	-	PDF ePub
EAN13	9782130503217	9782130721871 9782130684374