Téléchargement au format .pdf

L'ontologie de l'objet 9
M = hL D Ii
ou L est un langage, D est un domaine qui contient toutes les entites individuelles,
I une fonction (dite d'interpretation) qui associe a tout terme elementaire du
langage une entite deD.
La semantique formelle se propose de decrire de facon recursive l'interpretation
des enonces de L, sous la forme de conditions de verite par rapport au modele M.
L'ontologie intervient dans la construction du modele au moins de trois points de
vue distincts :
Les entites admises dans D
Les criteres d'admission dans D
Le choix entre deux modeles M et M 0 .
La semantique formelle et l'ontologie formelle ne se reduisent pas l'une a
l'autre. La semantique formelle consiste en une interpretation des expressions du
langage L, l'ontologie a une organisation du domaine D, soit en rapport avec L,
soit independamment deL.
J. Hintikka (1994) [Nef98] a montre que la semantique formelle decrit le rapport
entre le langage et la \realite" par le biais d'une ontologie. En analysant une
distinction de J. Van Heijenhoort entre la logique vue comme langage et la logique
vue comme calcul, Hintikka considere que dans la philosophie contemporaine du
langage il y a deux courants : l'un represente par Frege, Russell, Wittgenstein qui
considerent le langage comme un medium universel, l'autre represente par Tarski
et Godel le considerant comme un calcul.
Les resultats de Godel (son theoreme sur l'incompletude) ont conduit areviser
la conception husserlienne de l'ontologie formelle au moins sur un point : comme
toute ontologie formelle qui inclut l'arithmetique est deductivement incomplete,
il faut aaiblir la notion de completude. L'ideal de la completude identie par la
derivabilite de toutes les propositions dans un systeme doit ^etre remplace par un
ideal aaibli qui consiste en une ontologie formelle qui represente \la formalisation
complete d'un corps d'enonces" [Lad57].
La theorie des types de Russell introduit dans l'ontologie formelle une hierarchisation.
C'est une ontologie formelle stratiee. La denition russellienne d'un
objet est : un objet est une classe \en tant que une" par opposition a la classe
\en tant que plusieurs".
Les objets sont concrets ou abstraits. Les objets concrets sont naturels ou articiels.
Les objets naturels sont elementaires ou complexes. Les objets articiels
sont esthetiques ou sociaux. Les objets abstraits sont objets arbitraires, entites
theoriques, cta, possibilia.