Asserted contents, contexts of assertion and circumstances of evaluation. Formal semantics and pragmatics

La sémantique formelle s’efforce de déterminer aussi précisément que possible les contributions des différents termes d’un énoncé aux conditions de vérité de cet énoncé. Il est toutefois notoire que le sens d’un énoncé dépend partiellement du contexte d’énonciation. Cela constitue un défi pour la sémantique formelle, qui tente de le relever en montrant que le contexte d’énonciation détermine moins le contenu énoncé (et ses conditions de vérité) que les circonstances dans lesquelles ce contenu doit être évalué. C’est notamment dans ce cadre que peut être traitée la pragmatique propre aux déictiques (indexicaux, démonstratifs, …). Nous montrerons que, moyennant certaines modifications du cadre formel (envisagées au sein d’un Projet De Recherches interuniversitaire du FNRS), ce cadre peut également traiter la pragmatique propre aux noms propres mais aussi à certains termes généraux.