Logiques trivalentes et signification dans les langues naturelles – TriLogMean

Une hypothèse centrale de la sémantique formelle classique est que toute phrase déclarative est en principe soit vraie soit fausse. Mais lorsque l’on étudie des langues naturelles, il y a de bonnes raisons de rejeter cette hypothèse et d’adopter les outils des logiques trivalentes, dans lesquelles une phrase peut recevoir une valeur de vérité non-standard (“ni vrai ni faux”). Ainsi, les phrases qui contiennent des expressions vagues (Marie est grande) sont vues comme ni vraies ni fausses dans les cas tangents (par exemple si Marie est tout juste un peu plus grande que la moyenne. Et les phrases dites présuppositionnelles (par exemple ‘Pierre a arrêté de fumer’, qui présuppose que Pierre a été fumeur) seraient aussi ni vraies ni fausses quand leurs présuppositions ne sont pas satisfaites. Si les approches bivalentes ont été appliquées à un grand nombre de phénomènes (présuppositions, vagues, conditionnels, cf. l'introduction par Cobreros, Egré, Ripley et van Rooij à un numéro spécial sous presse du Journal of Non-Classical Applied Logics), il n'existe pour l'instant pas de modèle unifié de l'ensemble de ces phénomènes.

Nous visons à développer une théorie unifiée, fondée sur une sémantique trivalente, qui puisse rendre de ces phénomènes ensemble, notamment dans les cas où ils interagissent (comme dans le cas de phases contenant à la fois des expressions vagues et présuppositionnelles). En outre, nous tâcherons d'étendre l'usage des logiques trivalentes à des domaines empiriques dans lesquels elles n'ont pas été beaucoup utilisées, comme la sémantique des expressions plurielles et des phrases interrogatives.

Notre but sera de construire un tel modèle en explorant de façon systématique les prédictions de plusieurs types de systèmes trivalents. Ce projet a donc à la fois une dimension formelle, qui déterminera les prédictions de différents systèmes formels, et une dimension empirique, qui concerne les phénomènes spécifiques qui peuvent motiver l’usage de sémantiques trivalentes. Cette dimension empirique impliquera l'usage de méthodes expérimentales (questionnaires en ligne). Les phénomènes auxquels nous allons nous intéresser incluent les présuppositions, le vague, l’interprétation des expressions plurielles et celles des phrases interrogatives et conditionnelles.

Si ce projet est mené à bien, il aboutira à un cadre unifié pour un grand nombre de phénomènes linguistiques qui expriment certains aspects fondamentaux de la capacité linguistique humaine. Il rapprochera au moins trois domaines de recherche distincts: la logique, la sémantique formelle et la pragmatique.