Sémantique formelle et engagement ontologique

Je montrerai en premier lieu comment et pourquoi la sémantique formelle peut être employée comme un outil pour déterminer l’engagement ontologique d’une théorie : je soutiendrai d’une part que la sémantique doit être prise au sérieux comme apte à décrire la vérifaction des formules du langage; d’autre part, que les engagements ontologiques d’une théorie sont déterminés par ses vérifacteurs. De là, j’exposerai une méthode générale permettant, étant donné un certain type d’ontologie, de construire une sémantique dont les engagements ontologiques sont en accord avec celle-ci. Pour cela, je définirai la notion de cadre ontologique : il s’agit d’une structure telle que toute sémantique cons-truite à partir de cette structure aura un certain engagement ontologique déterminé à l’avance. J’exposerai quatre cadres représentant deux types de nominalisme et deux types de réalisme, et j’esquisserai à partir de ces cadres quatre sémantiques pour les langages du premier ordre