This preprint was accepted June 7, 2004
ABSTRACT:
Cet article poursuit les travaux pr\'ec\'edents
\cite{17-21} pour \'etablir une th\'eorie s\'emantique des textes
appel\'ee {\it herm\'eneutique formelle\/}. Dans le pr\'esent
travail, seul sera consid\'er\'e le paradigme phonocentrique
d'interpr\'etation \cite{19} dans lequel, pour tout texte
admissible $X$, nous d\'efinissons la {\it cat\'egorie des espaces
\'etal\'es des significations contextuelles\/} ${\bold
{Context}}(X)$. Pour tout niveau d'analyse s\'emantique (mot,
phrase, texte), nous g\'en\'eralisons le principe contextuel
classique de Frege dans le cadre de correspondante cat\'egorie des
espaces \'etal\'es. Formul\'e au niveau s\'emantique de texte, ce
{\it principe contextuel g\'en\'eralis\'e\/} postule qu'une phrase
$x$ qui figure dans un fragment $U$ du texte $X$ est pourvue d'une
{\it signification contextuelle\/} d\'efinie comme le {\it
germe\/} \`a $x$ d'une {\it signification fragmentaire\/} $s\in
\Cal F(U)$. Pour un texte $X$ {\it admissible\/} \cite{19}, on
prouve une \'equivalence naturelle $\SelectTips{cm}{}
\xymatrix@1@C=3pc{{{\ \bold{Schl}}(X)\,\,} \ar@<2pt>[r]^{\Lambda\
\ } & {{\bold{\,\,Context}}(X)}
\ar@<2pt>[l]^{\Gamma\ \ } \\
}$ appel\'ee {\it dualit\'e de Frege\/} entre la cat\'egorie
${\bold{Schl}}(X)$ des faisceaux des significations fragmentaires
et la cat\'egorie ${\bold {Context}}(X)$ des espaces \'etal\'es
des significations contextuelles, qui est \'etablie par le
foncteur de germes $\Lambda$ et le foncteur de section $\Gamma$
qui sont adjoints. Effectivement, la dualit\'e de Frege r\'ev\`ele
la compositionalit\'e et la contextualit\'e comme deux principes
en adjonction. De plus, la dualit\'e de Frege d\'etermine une
certaine {\it repr\'esentation fonctionnelle\/} pour les
significations fragmentaires, ce qui permet d'\'etablir une {\it
th\'eorie inductive de la signification\/} qui d\'ecrit
formellement le processus cr\'eatif d'interpr\'etation d'un texte
admissible, o\`u le principe contextuel et le principe
compositionnel se sont impliqu\'es, tous les deux.
[Full text:
(.ps.gz)]