Téléchargement au format .pdf

Concepts et objets plus ou moins determines 151
\La determination (comme indication sur l'extension) est condition
necessaire pour qu'un terme puisse jouer le r^ole de sujet ou de
predicat dans une proposition."
L'analyse de langage a Port-Royal, J-C Pariente ([Par85])
Un objet reel (existant) est un objet determine et constructible.
Un objet constructible est un objet pour lequel nous avons une procedure
pour l'obtenir.
La dierence entre \construire" et \determiner" est : construire un objet signi-
e exhiber une procedure explicite pour obtenir cet objet determiner represente
lui appliquer des proprietes pour l'individuer, pour qu'il puisse ^etre distingue sans
ambigute des autres objets auxquels il pourrait ^etre compare.
Les objets determines sont : les objets existants (O ex ), les objets existants
potentiels O ex;pot ) et les objets non-existants (O n;ex ).
Parmi les objets existants il existe des objets existants avec correlat empirique
(O ex;cc )etdesobjets existants sans correlat empirique (O ex;scc ). Les objets
existants avec correlat empirique sont les objets perceptibles, soit les objets pour
lesquels il y a une preuve empirique de leur existence sensible ou perceptible, soit
les objets pour lesquels nous avons des procedures explicites pour prouver leur
manifestation empirique : cet ordinateur (que vous le voyez), Napoleon (l'histoire
nous donne la preuve de son existence). Les objets existants sans correlat empirique
sont les objets qui existent sans avoir une manifestation empirique. Pour un
objet existant sans correlat empirique prouver son existence represente prouver
que ses proprietes sont non-contradictoires et pouvoir exhiber une preuve pour
le determiner. Pour le mathematicien les nombres reels , oue sont des objets
existants sans correlat empirique.
Parmi les objets non-existants il y a le carre rond ou le nombre p 2 comme
rationnel.
Les objets existants potentiels (O ex;pot ) sont les objets pour lesquels on n'a pas
la preuve de leur existence, mais ils sont parfaitement determines et ils pourraient
exister:
{ Objets de ction. Un personnage de ction n'existe pas, mais il est determine.
{ Les uns pourraient exister. Par exemple Madame Bovary : elle est
determinee, elle pourrait exister.
{ D'autres avec une probabilite moins grande. Le centaure Nessus de
la mythologie grecque il est aussi parfaitement determine mais il n'a
pas une existence attestee. Pour chacun d'eux la construction est
denie dans un systeme cognitif coherent : le roman francais du XIX
eme siecle et la mythologie grecque. Ces sources font partie de notre