Documente Academic
Documente Profesional
Documente Cultură
DE LA RAISON1
RENE GUITART
1. ARGUMENT.
De la capacit positive fondamentale de
lhomme de pouvoir se mentir lui-mme, la
trace en tout texte est linnomm. Tout texte se
fonde dun manque tre dit, et, de ce point de
vue, la question de la vrit est la question de
lorganisation de ce qui manque. Ce que cette
organisation rvle des limites de la raison en jeu,
cest--dire des limites du systme dcriture (en
lequel le texte est articul) conjoint la division
du sujet (qui prtendument produit le texte), cest
une ncessaire courbure.
Si la logique classique place a priori hors de
son champ explicite la question du malentendu et
1 Ren Guitart, La courbure de la raison, Les confrences du perroquet, numro 31, dcembre 1991, pp.3-41, Le Perroquet, BP-75462
Paris Cedex 10, Supplment au n87, ISSN 0293-2431.
Construire un espace, une structure, cest inscrire un systme de lettres, et admettre la spcification des gomtries internes aux lettres manipules on gagne que toutes les structures deviennent algbriques.
La logique est identique lhomologie
(lhomologie est le calcul du trouage, de
limbrication, de la courbure des espaces ; on
affirme donc ici que cette gomtrie, cette thorie
combinatoire de la spatialit, est tout fait adquate pour la logique, en un sens naturellement
largi du mot logique dans lequel on peut
retrouver comme aspects particuliers les questions sur lalgbre des propositions, sur les dmonstrations, sur la thorie des modles, mais
llargissement naturel propos nous donnant
beaucoup plus dampleur, et en particulier nous
donnant une vritable possibilit de grer la question du manque).
Lambigut se calcule ( condition de bien
souligner que par ambigut on entend le
contraire du flou (!), je veux dire un effet du resserrement du langage adopt sur lui-mme).
Le change pur est algbrique, mais de
faon non effective et quivoque .
La vraie question de la continuit nest pas
celle du change pur, mais celle du mme et
change, cest--dire celle de la tension entre fusion et hirarchie.
De l dcoule une proposition :
Considrer les espaces fibrs, ou plus gnralement les morphismes de topos, comme modles
de doubles logiques, et le travail avec la catgorie
des morphismes entre fibrs, ou plus gnralement entre morphismes de topos, comme reste
rationnel du travail de linconscient, comme re-
de la structure conjointe du sujet et de la grammaire, effet indpendant de la subjectivit dsignant tout sens prtendument vis. Ce que lon
sait aussi davance cest, qu crire, du sujet et
de la grammaire conjoints on nen pourra jamais
savoir la vrit finale, car il ny a pas une clture
du systme des inscriptions qui en un temps fini
produirait toute la description donnant saisir le
sujet et la grammaire. La courbure dont nous
parlons, est calculable, cernable, et est une information locale, infinitsimale, et la structure globale de lobjet est comme un effet de calcul intgral de toutes ces courbures.
4. DES ESPACES, DE LINSCRIPTION, COMME
RISQUE.
La donne dune structure, comme la donne
dun espace, cest la donne dun systme de
coupures et de soudures. Cest--dire la donne
dun ensemble d lments avec la spcification que certains couples dlments sont
coups , et que certains couples dlments
sont souds . Ici, espace est entendre en un
sens apparemment beaucoup plus abstrait que la
sphre de tout lheure, mais si lon rflchit
bien la manire dont on se sert des espaces
saisissables par lil, on constate que
lessentiel concerne bien la manipulation de coupures et de soudures.
Sur le risque de la manipulation de structures,
dcritures, despaces, je vous renvoie videmment Bergson qui dans sa thse installe une
dialectique, ou du moins une tension, entre la
dure et la spatialisation ; et ce nest pas du tout
un dnigrement de la spatialisation ou de
lcriture,
mais
simplement
laffirmation
queffectivement dans lexcs de lcriture normment de ce qui est de lordre de la dure est
10
11
12
13
14
15
mme risque, on parie que ce geste nest pas irrmdiablement destructeur. On connat toute la
difficult de cette question, comme question de la
reprsentation, souleve bien sr propos du
structuralisme, face au silence comme sagesse.
Jinsisterai seulement sur le point suivant : penser
en crivant des schmas, ce nest pas du tout penser avec des schmas, en soumission des schmas proposs.
Je pose que ce risque est prendre, mais je
prcise que lon peut le prendre dune faon raffine, en mnageant lalgbrique et le gomtrique, la lettre obscure et la lettre claire, de sorte
que lalgbre fonctionnant sur les lettres claircies, riges en espaces, formes, suffise rendre
compte des situations non algbriques au sens
classique.
Dans lalgbre classique, les variables ont une
forme trs pauvre, qui est appele larit : il y a
des variables simples x, y, z, etc., dites darit
1, et des variables composes (x,y), (x,z), etc.,
darit 2, puis (x,y,z), (x,z,t), etc., darit 3, etc. Je
dis que si lon admet dans un calcul, qui ceci
mis part restera algbrique (quationnel) , des
arits plus complexes que les entiers 1, 2, 3, etc.,
soit des arits constitues de vritables formes
(par exemple des graphes, des espaces topologiques, des catgories), on a alors accs toutes les
structures usuelles (quationnelles classiques, du
premier ordre, topologiques, etc.) manipulables
alors quationnellement. Toute thorie est
quationnalisable par insertion de ses quantifications dans une gomtrie interne des variables. Jappelle les thories ainsi prsentes des
algbres figuratives. Soit la mise en uvre algbrique, mtonymique, dun calcul sous-tendu par
des
variables
gomtriques
porteuses
16
DE LA VERITE LOCALE,
SUBVERSION, DEPORTATION .
GLOBALE :
17
18
19
20
donc appel un ensemble, et les lments considrs tant dits appartenir lensemble. Partant
de quelques ensembles fixs, on peut en fabriquer
dautres, les manipuler, regarder les manires
dont un ensemble est transportable dans un autre
(cest ce que lon appelle les applications ou les
fonctions), et on labore tout un calcul qui essentiellement est de lordre du comptage, calcul qui
sert de matriau de base pour ensuite dcrire toutes les structures mathmatiques, comme les
groupes ou les espaces. Ce qui est essentiel cest
que, au dpart, il y a la considration explicite des
ensembles pour fonder un dploiement de la
structuration, et que, donc, chaque ensemble est
constitu dlments distincts.
On peut faire les choses autrement. On peut
dcider de prendre pour commencer non plus des
ensembles, mais ce que jappelle des miroirs. Un
miroir est une collection dlments, mais pas
tous distincts les uns des autres, un lment donn tant soit discernable de tous les autres, soit
discernable de tous les autres sauf un, appel son
reflet, ce dernier tant son tour discernable de
tous sauf de celui dont il est reflet, lequel est donc
son reflet. Lindistinction prsente est donc trs
faible, ne portant que sur certaines paires. On
introduit ainsi une indiscernabilit au dpart, dans
la spcification mme de ce qui va nous servir de
matriau de base, pour dployer ensuite toutes les
structures et modles mathmatiques.
On peut donc rpter avec les miroirs toute la
construction de la thorie des structures. Par
exemple, partir des miroirs, une arithmtique
advient. Larithmtique des ensembles cest trs
simple, a consiste compter combien
dlments il y a dans un ensemble donn. Par
exemple si je considre un ensemble constitu
des lettres distinctes a,b, c, je dirai que cet en-
21
22
23
matique, cest--dire des quivalences de catgories). Mais je nexploiterai pas cette veine aujourdhui.
Larithmtique des miroirs peut tre considre, dans sa diffrence avec larithmtique ordinaire, comme un calcul de lindiscernabilit inhrente au monde des miroirs, de linnom-mabilit
de certains lments de faon interne au monde
des miroirs. La plus grande richesse de
larithmtique des miroirs expose limpuissance
nommer. On a donc un calcul qui met sur la table,
donne saisir et manipuler, lindiscernabilit
elle-mme. Cette arithmtique des miroirs est la
faon mme dont larithmtique ordinaire se dporte, shybride, par la force dun manque de
nominabilit. Les noms qui manquent rsurgent
en les proprits exotiques de ce calcul. Mais ce
type dexposition du manque va bien au-del de
cet exemple, et est bien plus ancien que cette
question des miroirs. Nous lallons voir tout
lheure avec les groupes de Galois et de Lorentz.
En guise de transition, je voudrais mettre le
doigt sur un point, sous-jacent par exemple au
comptage.
Il y a beaucoup de questions dans lesquelles la
question est parfaitement non ambigu, la rponse sera parfaitement non ambigu, mais o,
pour laborer la rponse vous tes oblig de passer par une procdure quivoque. Par exemple, si
je vous demande combien de doigts je vous prsente, vous me dites trois . Question claire,
rponse claire. Mais pour laborer la rponse
chacun a effectu un ramassage visuel des
doigts en question, par exemple en saisissant
visuellement un des doigts, en lui accolant un
autre, puis en accolant au rsultat le dernier. Chacun a effectu un cheminement en comptant ses
pas. Et le rsultat ne dpend pas du chemin choi-
24
25
26
27
28
29
30
31
32
33
34
Contenu
Forme
Donne empirique
Structure
35
Apparence
Nature vritable
36
37
38
39
40
41
42
43
44
rmes de Gdel), mais par principe, thoriquement, en toutes occasions, comme mthode, et
cela parce quelle se constitue en libre expression.
Cest dans cette faiblesse de lhomme lire
(autre nom de sa capacit positive se mentir)
que rside la force de lcriture. crivez le rapport sexuel qui ne scrit pas, parce que ce que
vous crirez vous ne pourrez le lire, et en prouvant cette impossibilit, dautant mieux que votre
criture sera exacte, vous en saurez du sexuel.
Dans cette criture, il sagit de ne pas confondre
les enjeux de pouvoir, de dcision, dlments
dcisifs, dopinion, de libre expression, non plus
que, la vrit formelle locale et la vrit formelle
globale, de sorte quil nest pas question que cette
criture soit prise pour le tout ultime dcisif
de la personne algbrise, mais bien comme une
trace formelle dinavou en dautres termes. Ainsi sera nonc ( noncer, cest construire un
espace, orienter, dterminer, tablir un rseau de
valeurs rfrentielles, bref un systme de reprage [Culioli]) le mode singulier en lequel la
personne ralise cette proprit fondamentale de
lhomme de pouvoir se mentir soi-mme ,
labore lespace de son bovarysme (ce qui est
dfini par de Gaultier comme le pouvoir dparti
lhomme de se concevoir autre quil nest , et
que dans sa thse [p. 75 dans ldition du Seuil,
1975)] Lacan considre comme le drame de la
personnalit). Et quand je dis espace , il sagit
aussi bien de catgorie (au sens de cette notion en mathmatique), tant il sagit de donner
lire un langage, et qu un langage est dabord
une catgorisation, une cration dobjets et de
relations entre ces objets (Benveniste). Cette
image de votre structure mensongre, homologue
la structure ncessairement clate de votre Je,
il est bien question de ne pouvoir la lire, et ce
45
46
47
Question du rel, donc. Pour la physique classique, lespace rel est form de points, tous nus,
sans intriorit, visibles, entretenant, de par leur
espace ambiant, des rapports externes les uns aux
autres. la lumire de ce que je viens dvoquer
et avancer, sur les groupes, les miroirs, sur le
sujet qui ne consiste quclat en des instances
articules, une autre conception pointe.
Le rel serait bas sur le phnomne premier
de la duplication et de la duplicit. Lide serait
de considrer une sorte de super-espace R dont
chaque point soit lui-mme dj un espace, un
pulseur, le super-espace tant une organisation de
toutes ces pulsations entre elles. De cette ide, on
peut donner un modle mathmatique assez propre. Dans cette veine, Thom propose quelque
chose de ce type, mais encore ancr dans la spatialit : pour lui lespace serait constitu de points
structurs concrtement, chacun de ces points
tant un oscillateur harmonique. Il pense que ce
type despace pourrait tre utile pour la physique
quantique. Ce que jenvisage, quoique en gros
semblable, est en fait diffrent. Mes points ne
seraient pas du tout des objets de la physique,
mais, tout simplement, des dualits, chacune
tant, au plan logique, considre comme une
proposition lmentaire, et lhyper-espace tant le
lieu de linscription de la logique ncessaire dans
la confrontation de ces propositions. Une faon
prcise de raliser un tel modle sera, comme je
le propose la fin du 2, de prendre pour R la
catgorie des morphismes entre fibrs. Catgorie
qui est un assez bon modle du lieu de lactivit
mathmatique aujourdhui. Chaque fibr est une
tension entre un groupe et un espace (de base), et
possde donc un calcul propre dobstructions, de
courbures, et de l une logique qui lui est interne,
et R expose comment tous ces fibrs, toutes ces
48
49