Séminaire Linguistique Informatique




11 Janvier 2010

Marie-Hélène Gorisse (Université Lille 3).

TITRE:  Signification Dialogique des opérateurs temporels

L'objectif de ce travail est de proposer une reconstruction dialogique d'une controverse historique, à savoir une controverse indienne du onzième siécle de notre ère entre le logicien jaïn Prabhaacandra et les grammairiens de la tradition paninéenne. Le noeud de la discorde se situe au niveau de l'interprétation et de la signification des temps grammaticaux.
La difficulté initiale pour nous consiste en ceci qu'il n'y a pas de sémantique formelle pour ces approches indiennes classiques. Nous proposons ici de développer une théorie de la signification qui se concentre sur les pratiques argumentatives elles-mêmes car la logique jaıne ne semble pas pouvoir s'exprimer dans les termes de la théorie des modèles. C'est cet engagement dans une approche inférentielle de la signification qui justifie premièrement la reconstruction de ces arguments dans les termes de l'approche Dialogique de la logique. Plus précisément, l'approche Dialogique présente la preuve comme un processus argumentatif et insiste sur l'importance des choix des agents (des joueurs) dans la construction de la signification. L'intérêt de l'approche dialogique se justifie également par le fait qu'elle rende compte explicitement et clairement des variations de contextes et permet une dynamique des points de vue si chère aux jaïns.
Dans notre lecture de la controverse sur les temps grammaticaux (que nous avons choisi de comprendre en termes d'opérateurs temporels), les problèmes d'interprétation de la signification des opérateurs temporels et des quantificateurs vont être compris en termes de combinaison de choix des joueurs. A partir de cette formalisation, nous tenterons de développer les arguments jaïns dans les termes de la logique modale semi-possibiliste.