|
Le fantôme de la transparence : l'implicite et l'explicite à lumière de la logique (cours) (2008)| shared_uid | 819 |
|---|
| title | Le fantôme de la transparence : l'implicite et l'explicite à lumière de la logique (cours) |
|---|
| type | Séminaire |
|---|
| year | 2008 |
|---|
| start_date | 2009/01/13 |
|---|
| stop_date | 2009/01/21 |
|---|
| schedule | 17h-19h |
|---|
| active | no |
|---|
| website | http://www.di.ens.fr/users/longo/Enseignement/coursJYGirard.htm |
|---|
| summary | 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 problème à la lumière 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 même réductible à une collection de développements possibles. |
|---|
| responsibles | Girard |
|---|
| |
|