A ma connaissance, mais je me trompe peut-être, peu de logiciens professionnels ont récemment essayé de comprendre les dernières recherches de Piaget liées à la logique. C'est pourquoi j'ai personnellement éét très content de lire dans la revue Intellectica l'article du mathématicien Pascal Boldini (P. Boldini, ''Morphismes et Catégories : une lecture formelle de Piaget'', Intellectica, Vol.19, pp. 187-216, 1994).
J'aurais aimé que Piaget ait pu discuté avec Jean-Yves Girard, un des meilleurs logiciens mondiaux (spécialité: théorie de la démonstration), dont les travaux renouvellent profondément la logique contemporaine, au moins depuis sa "logique linéaire" (1986) et dont la profondeur logique dépasse les concepts de la logique intuitionniste ou de le "relevance logic". Je crois qu'un dialogue fécond aurait pu s'établir. Ce dialogue, il me semble qu'il serait bien que des universitaires ayant une connaissance suffisante de Piaget et Girard puissent le conduire. Ce ne sera pas facile, je sais: Piaget est de lecture difficile et il est passé de mode (mais les modes passent!), et les derniers travaux de Girard sont très techniques et de lecture difficile. De plus Girard ne fait guère de cadeaux pédagogiques dans ses articles ou dans son dernier ouvrage: "Le point aveugle" (2 tomes, chez Hermann).Statistiques: Publié par Christian — Dim Déc 09, 2012 4:33 pm
]]>