Sémantique formelle et engagement ontologique

Les ateliers de l'éthique/The Ethics Forum 9 (2):205-218 (2014)
  Copy   BIBTEX

Abstract

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.

Author's Profile

Thibaut Giraud
Institut Jean Nicod

Analytics

Added to PP
2014-10-09

Downloads
396 (#53,511)

6 months
98 (#66,156)

Historical graph of downloads since first upload
This graph includes both downloads from PhilArchive and clicks on external links on PhilPapers.
How can I increase my downloads?