Pensée symbolique et argument - Michel Bourdeau - Philosophies - Format Physique et Numérique | PUF  

Pensée symbolique et argument

Image
Pensée symbolique et argument
Pensée symbolique et argument
Auteur: 
Aucun commentaire pour le moment
Collection: 
Discipline: 
Catégorie: 
Livre
Date de parution: 
01/09/1999
10,14 €
Article attaché: 
Disponible
Livraison en France métropolitaine uniquement.

Librairie la plus proche

Expéditeur

Résumé

Cet essai se propose moins de présenter l'intelligence artificielle aux philosophes, ce qu'on peut considérer comme ayant déjà été fait que de montrer comment la philosophie peut apporter sur celle-ci un éclairage différent de celui qui circule le plus souvent sous le nom de "philosophie de l'intelligence artificielle".


Caractéristiques

Nombre de pages: 
136
Code ISBN: 
978-2-13-050321-7
Numéro de tome: 
123
Numéro d'édition: 
1
Format
11.5 x 17.6 cm

Sommaire

Table des matières: 

 Les machines peuvent-elles penser ?

    PREMIÈRE PARTIE

        LA PRÉHISTOIRE DE L’INTELLIGENCE ARTIFICIELLE

 La métamathématique et le problème de la décision

  La préhistoire du programme de Hilbert

  La métamathématique : l’idée de la solution, 23

    Le déplacement de l’intuition, 25

  La mise en uvre du programme : l’idé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 : l’algorithme d’Euclide

  La machine de Turing : l’analyse du calcul

    Description de la machine

    Nouvelle version de l’algorithme d’Euclide

  Deux contrecoups : les conséquences métamathématiques 

    Les conséquences psychologiques

    DEUXIÈME PARTIE

        ÉLÉMENTS D’UNE THÉORIE DE L’INTUITION

 De la psychologie cognitive à la théorie de l’intuition

  Nécessité d’un nouveau départ

  Husserl et la pensée symbolique

  Une nouvelle approche de la philosophie de l’esprit

 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 d’inventer, 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 l’intuition

  Intuitionnisme, constructivisme et théorie de la signification

    Vérité et expérience

    Quelques objections

 Conclusion

 Indications bibliographiques

Autour de l'auteur

Autour de l'ouvrage: 

L'auteur est agrégé de philosophie, chargé de recherche au CNRS

Avis et commentaires