Le fant™me de la
transparence :
l'implicite et
l'explicite ˆ lumire de la logique
Cours
bref par Jean-Yves Girard,
IML,
Marseille-Luminy
13/14/20/21
Janvier 2009 17-19h, salle U/V,
B‰t.
Rataud, Žtage -2
ENS,
45 Rue d'Ulm
Une
question peut-elle tre identifiŽe ˆ sa rŽponse, le potentiel peut-
il
tre rŽduit ˆ un ensemble de possibilitŽs ?
Ce
petit cours, dont on trouvera un rŽsumŽ tŽlŽchargeable ˆ
http://iml.univ-mrs.fr/~girard/Articles.html
et
qui ne suppose (sauf peut-tre ˆ la toute-fin) pas de connaissance
spŽciale,
examine le problme ˆ la lumire de la logique, depuis les tentatives
peu
glorieuses de mise en Ïuvre de "rayons X de la connaissance", en
passant par le
postulat
d'un "envers sŽmantique" du discours, jusqu'ˆ l'explication plus
satisfaisante
donnŽe par les catŽgories : l'opposition question/rŽponse y devient
objet/morphisme, ce qui suppose l'Žcriture de diagrammes commutatifs, dont un
c™tŽ reste cependant "plus
commutatif que l'autre".
Au-delˆ
des catŽgories, la gŽomŽtrie de l'interaction propose une
vŽritŽ
en devenir : le processus d'explicitation, tel un oignon dont on dŽvoilerait
les
peaux
(rŽponses partielles et nouvelles questions) successives, n'Žtant jamais
achevŽ, ni mme rŽductible ˆ une collection de dŽveloppements possibles.
______________________________________
Jean-Yves
GIRARD
Directeur
de Recherches
CNRS,
Institut de MathŽmatiques de Luminy
UMR
6206,
163
Avenue de Luminy, case 907
13288
Marseille cedex 9
FRANCE