611 - Actes de discours et conversations

Dans cette présentation, je présenterai une logique temporelle ramifiée appelée CTLcc,α qui généralise la logique computationnelle de temps ramifié CTL avec de nouvelles modalités pour pouvoir représenter les engagements conditionnels (cc) et les actions associées (α) en utilisant le formalisme des systèmes interprétés. Je présenterai également un ensemble de propriétés valides, un ensemble de règles de raisonnement et un ensemble de postulats d'actions afin d'explorer les capacités de cette nouvelle logique. Je vais également introduire un nouvel algorithme de vérification symbolique pour résoudre le problème computationnel de vérification de modèles associée à cette logique. Je montrerai des résultats théoriques importants (correction et terminaison) de l'algorithme et l’outil de vérification automatique MCMAS+.

Les travaux sur les modèles symboliques dédiés à la syntaxe et à la sémantique formelles sont nombreux. Certains, dans la tradition linguistique Chomskyenne travaillent avec des règles de réécriture. Ces premiers modèles sont particulièrement dépendants des langues analysées, ce qui ne favorise pas la flexibilité exigée par les besoins actuels en technologie. Les autres modèles, que nous identifierons comme des Systèmes Applicatifs Typés, travaillent avec des règles explicites pour un calcul logique d'inférences. Ils font partie du courant des grammaires catégorielles plus précisément des modèles de la Grammaire Universelle, de la Grammaire Catégorielle Combinatoire, de la grammaire des opérateurs et opérandes de Harris, de la Grammaire Catégorielle d'Unification, des types intuitionnistes de Martin Löf, des Grammaires Catégorielles Abstraites, de la Grammaire Catégorielle Combinatoire Applicative avec l’utilisation de la Logique Combinatoire de Curry, ainsi que d'autres généralisations du calcul de Lambek. Mis à part quelques différences dans les stratégies de mise en œuvre de ces modèles, cette classe a l’avantage de représenter l’intrication des unités syntagmatiques au moyen de l’opération de l’application d’un opérateur à son opérande, une représentation, en soi, flexible et universelle. Malgré leur flexibilité et leur adaptabilité, ces modèles ont été étudiées dans le seul domaine de l’analyse syntaxique des langues. Nous présenterons de nouvelles perspectives dans l’utilisation de ce modèle.

L’éthique traite des valeurs en particulier de ce qui est bon et mauvais (G.E. Moore (1903). Beaucoup d’actes illocutoires de premier niveau comme les évaluations, les engagements, les directives, les recommandations, les prohibitions, les autorisations et les permissions sont capitaux en éthique. Grâce à la logique illocutoire (J.R. Searle & D. Vanderveken 1985, D. Vanderveken 1990-91) on peut dorénavant interpréter tous les types d’énoncés qui sont utilisés en éthique incluant les impératifs, les performatifs, les exclamatifs et les déontiques et analyser les conditions de félicité des actes illocutoires capitaux de l’éthique. On peut aussi formaliser les inférences valides aussi bien pratiques que théoriques faites en poursuivant les  discours éthiques. Comme je l’ai montré en 2001 et 2013 les interlocuteurs obéissent à des règles constitutives lors de la poursuite des discours pourvus d’un but conversationnel qui sont des actes illocutoires de niveau supérieur. Mon but principal sera d’exploiter les ressources de la logique illocutoire afin d’analyser les illocutions capitales de l’éthique et de mieux expliquer la nature des obligations, permissions et prohibition morales dont traite la  logique déontique traditionelle de G.H. von Wright (1951, 1968). Je critiquerai et réviserai la  logique déontique afin de mieux formuler les lois logiquement valides de l’éthique et d’éliminer les fameux paradoxes déontiques. 

Le point de départ de mon exposé est un débat qui oppose les intentionnalistes à Searle sur la question de savoir si le cas des humeurs (anxiété, dépression, etc.) est de nature à établir qu’il existe des états mentaux qui ne sont pas intentionnels. J’examinerai d’abord la conception searlienne des émotions dans son ouvrage Intentionality et j’énumérerai ensuite les différentes propriétés de la structure intentionnelle de cette classe d’états mentaux. Je me pencherai ensuite sur les arguments évoqués par Searle en faveur de la distinction tranchée entre émotions et humeurs et confronterai ces arguments aux contre-arguments des intentionnalistes en faveur du caractère intentionnel de tous les états affectifs. Je commenterai enfin la relation étroite que Searle établit, dans ses derniers travaux en philosophie de l’esprit, entre la dimension affective et la dimension phénoménale de l’expérience. Je soutiendrai, contre l’intentionnalisme, qu’il existe une dimension de l’expérience consciente qui n’est pas intentionnelle et que l’intentionnalisme n’est pas viable; mais je soutiendrai, contre Searle, que cette même dimension phénoménale, bien que distincte des états intentionnels, est toujours accompagnée de ces derniers.

Feindre est une action intentionnelle universelle qui se réalise verbalement sous la forme du mensonge ou de la fiction. Dans les deux cas, soutient John Searle, l’auteur utilise à la fois sérieusement et non sérieusement le langage ordinaire pour faire comme s’il accomplissait d’authentiques illocutions — de premier niveau ou de niveau supérieur aux actes illocutoires momentanés — en accomplissant des actes réels d’énonciation. Dans le cas du mensonge seulement, précise-t-il, il le fait avec l’intention de tromper ses lecteurs. Ma communication mise sur les résultats d’une étude consacrée à la feinte de base — faire comme si sans intention de tromper — que je situe, à la suite d’Élisabeth Anscombe, dans le contexte des actions intrinsèquement intentionnelles dont la durée peut varier considérablement afin d’évaluer la portée explicative de l’hypothèse searlienne de la dépendance logique des formes jouées de comportement à l’égard des jeux de langage wittgensteiniens qui leur ressemblent en principe.

Actes de discours indirects dans les affiches de soins de santé: étude empirique

Le but de ma communication est de montrer que pour bien travailler avec les textes empiriques intégrés aux pratiques sociales, il faut actualiser l’analyse traditionnelle des actes de discours indirects de Searle (1969). Pour cela il faut utiliser les concepts théoriques de la pragmatique du discours de Vanderveken (2013), de l’analyse interactionnelle de Kerbrat-Orecchioni (2012) et de la sémiotique sociale de Kress & van Leeuwen (2006). Pour prouver la complexité des actes de discours indirects de ces discours, j’ai sélectionné des échantillons de textes (des affiches de soins de santé) qui ont circulé dans les centres portugais de soins de santé en 2015. Mon étude établit la fréquence d’actes de discours indirects dans les textes multimodaux sélectionnés et la nécessité d’actualiser l’analyse traditionnelle pour bien décrire les stratégies verbales et non verbales utilisées dans ces documents afin de mieux interpréter les textes.

Au Québec, les travaux menés par la Commission spéciale sur la question de mourir de la dignité, jusqu’à l’adoption du projet de Loi 52, ont entretenu un flou sémantique qui n’a jamais été dissipé, ajoutant de la confusion dans les discours.  L’unanimisme parlementaire et médiatique aurait probablement été similaire même si les ambiguïtés reliées à la terminologie avaient été clarifiées.