Sémantique I Le sens et la référence (1er tome du "Treatise on Basic Philosophy")

Le présent ouvrage et son compagnon Sémantique II. L’interprétation et la vérité traitent des concepts de référence, de représentation, de sens, de vérité et d’autres notions apparantées. Voici des exemples d'énoncés qui illustrent ces concepts sémantiques : le tenseur de champ réfère au champ, une théorie des champs représente le champ auquel elle réfère, le sens du tenseur de champ est esquissé par les équations du champ et l'expérience montre que la théorie des champs est approximativement vraie.

Il s'agit donc d'une étude de sémantique philosophique centrée sur la sémantique des sciences factuelles (naturelles ou sociales) plutôt que sur la sémantique des mathématiques pures ou des langues naturelles. La sémantique des sciences est, en quelques mots, l'étude du tryptique symbole-construit-fait lorsque le construit considéré appartient à la science. Ainsi conçue, cette discipline est plus proche de l'épistémologie que des mathématiques, de la linguistique ou de la philosophie du langage.

Le principal objectif de ce travail est de constituer une sémantique des sciences, mais pas n'importe laquelle : nous voulons une théorie capable d’éclairer certaines questions brûlantes de la science contemporaine que ni le calcul ni la mesure n’aident à résoudre. À titre d’exemple : Quels sont les véritables référents de la mécanique quantique ? De la théorie de l'évolution ? Quelle est la meilleure façon de doter un formalisme mathématique d'un sens factuel précis et d'une référence factuelle définie, et cela, en dehors de toute question de vérité ?

En nous restreignant à ce champ d’enquête, nous écartons des sujets entiers, tels que la théorie de la citation, la sémantique des noms propres, les paradoxes de l'autoréférence, les conditions de félicité linguistique et même la logique modale, car aucun d’entre eux n’était pertinent pour nos préoccupations. De même, nous avons traité de manière superficielle la plupart des concepts de la théorie des modèles, notamment ceux de satisfaction, de vérité formelle et de conséquence, car ils n’étaient pas non plus directement pertinents pour la science factuelle et sont de toute manière déjà entre de bonnes mains. Nous avons concentré notre attention sur les notions sémantiques habituellement négligées voire mal traitées, en particulier celles de signification et de vérité factuelles. Ce faisant, nous avons essayé de rester le plus proche possible de la pratique scientifique.

Le traitement des différents sujets est systématique (ou presque) : chaque concept fondamental fait l'objet d'une théorie et ces différentes théories ont été articulées au sein d’un cadre unique. Nous avons recouru à certaines notions mathématiques élémentaires comme celles d'ensemble, de fonction, de treillis, d'algèbre de Boole, d'idéal, de filtre, d'espace topologique et d'espace métrique. La mise en oeuvre de ces outils est toutefois plutôt informelle, leur but étant de servir la recherche philosophique et non de la remplacer. (Il faut se méfier de l’exactitude pour elle-même, car c’est une exactitude creuse, c’est-à-dire vide.) En outre, les parties techniques du livre sont accompagnées d’exemples et agrémentées de commentaires. Cette disposition devrait rendre la lecture  agréable.