Téléchargement au format .pdf

8 Introduction
Pour Meinong l'objet est au-dela del'^etre et du non-^etre il est exterieur au
fait de l'^etre. Il n'echappe pas au tiers exclu, mais plut^ot il verie : qu'il soit ou
qu'il ne soit pas, il est un objet.
Cette distinction est a l'origine de celle faite par E. Mally entre des proprietes
constitutives (nucleaires) et des proprietes extra-constitutives (extra-nucleaires).
Une propriete nucleaire est par exemple \bleu", tandis qu'une propriete extranucleaire
est soit \complet", soit \contradictoire".
Les objets peuvent ^etre complets ou incomplets. Ceux qui appartiennent a la
realite eective sont complets, en vertu du principe du tiers exclu. Mais les objets
abstraits, comme le triangle, ne sont pas complets. L'objet conceptuel triangle
est tel qu'il lui manque certaines determinations.
Frege nous legue le moyen d'operer une approche purement syntaxique de
l'objet a partir de la logique de la quantication. Husserl fournit, avec le concept
d'ontologie formelle liee a la logique, un cadre de recherches et Meinong pose
un programme a la fois empirique et rationnel pour hierarchiser les objets. Le
developpement des theories neo-meinongiennes de l'objet devient un programme
de recherches sur la semantique des referents de discours.
Pour Wittgenstein, dans le Tractatus [Wit93] les objets sont des constituants
ultimes de la realite. Pour lui un objet est simple et il se constitue dans des
complexes :
Je ne puis que nommer les objets. Des signes en sont les representants.
Pour Quine [Qui60] les objets sont relatifs a des manieres de parler. On peut
en faire la genese dans l'apprentissage du comportement linguistique. Quine se
limite a un sous-ensemble d'objets : les corps solides.
L'ontologie des sciences est particuliere a chaque domaine scientique.
Dans l'ontologie des mathematiques, le passage des ensembles aux categories,
la reinterpretation de l'inni dans l'analyse non-standard, le developpement des
modeles dynamiques d'inspiration topologique ont une portee ontologique qui renouvelle
l'approche de ce domaine. Les ontologies mathematiques ont evolue a
partir de simples classications vers des categorisations. L'ontologie de la microphysique
est liee au probleme des proprietes enmecanique quantique. Dans
la science une ontologie des objets ne se limite pas aux objet perceptibles : une
galaxie lointaine, une particule elementaire sont des objets, les nombres sont des
objets. Les objets de Meinong et Husserl etaient des objets perceptibles, des individus
\en chair et en os" pris dans les us et coutumes de la reference naturelle
et commune. Plus tard on a admis d'autres types d'individus.
Mais l'ontologie de l'objet commence asedenir comme theorie formelle en
m^eme temps que les semantiques formelles.
La theorie de la verite deTarski debouche sur les semantiques formelles. Un
modele est un triplet