n3-al-mukhatabat-journal

Ce n’est pas ce genre de viennoiseries que Kreisel va apporter dans sa valise
en France au début des années 1960, il va enseigner la logique mathématique
proprement dite en donnant des cours à des jeunes mathématiciens, dont Jean-
Louis Krivine qui continue jusqu’à aujourd’hui à développer la logique en
France. Krivine écrivit un ouvrage à partir des notes de cours de Kreisel qui
sera publié sous le nom Kreisel-Krivine dès 1966 en français, intitulé : Eléments
de logique mathématique (théorie des modèles). Les parties plus
philosophiques du livre ont été rédigées par Kreisel et traduites en français par
ses amis, dont Queneau, qui l’amenèrent aussi à revoir sa copie. Le livre sera
publié en anglais en 1967 dans une grande collection de logique
mathématique, même collection où sera publié l’ouvrage de Chang et Keisler.
Krivine publiera peu après, en 1969, en son nom seul, l’ouvrage Théorie
axiomatique des ensembles. Badiou par la suite deviendra connu avec son
ouvrage L’Être et l’événement (1988) qui porte sur la théorie des ensembles et
le forcing, ouvrage dont l’architecture théorique repose, non pas sur l’ouvrage
de Krivine de 1969 (qui ne contient pas le forcing – il faudra attendre 1998 pour
une seconde édition avec forcing), mais sur l’ouvrage de Kenneth Kunen
(1980). Ironie du sort, c’est Alain Badiou, un simple philosophe, qui publie en
français la premier livre détaillé sur un concept fondamental de la logique
mathématique, le forcing.
VII
L’ANTHITHÉTIQUE POLYSÉMIE DU MODÈLE
Un mot peut avoir de multiple sens. Cette variation sémantique peut être douce :
passage d’une chose à une autre similaire, il peut y avoir de petites glissades
sémantiques. Mais l’on peut aussi être face à deux choses contraires et cela
tout naturellement sans oxymore, carambolage sémantique ou autre figure de
style. C’est le cas du mot « modèle », nous sommes face à face à une
polysémie antithétique.
Il est curieux qu’un mot ayant un tel caractère antithétique soit devenu un mot
clef de la logique, alors même qu’à l’aube de la logique moderne on cherchait à
établir un langage parfait dépourvu de toute ambigüité en élimant la multiplicité
de sens pour un même signe et la multiplicité de signe pour une même chose.
AL-MUKHATABAT Numéro 03 Année 01/2012 لىولأا ةن سلا 30 ددعلا تابطانا
270
ISSN: 1737-6432