Studii si Cercetari Filologice: Seria Limbi Romanice (Jun 2009)
Observations sur l’indéterminabilité
Abstract
Pour Aristote, une proposition est vraie si elle correspond à un fait. Pour les Stoïciens, un raisonnement est valide si et seulement s’il est conforme à la forme canonique d’un trope. Mais affirmer cela c’était oublier que la vérité résulte toujours d’un processus de recherche, souvent long et complexe, qui repose sur l’interrogation, le questionnement, bref le dialogue. Alors qu’en logique standard, la proposition excluait toute dimension énonciative pour se réduire à un simple porteur de valeur de vérité, en logique dialogique chaque proposition est véritablement une proposition émanant d’un interlocuteur qui s’engage sur elle par un acte d’assertion. De plus, un tel acte de discours prend place dans un jeu dialogique (dialogspiel) entre proposant et opposant. Dès lors, chaque proposition prend sens en fonction de son utilisation opératoire dans le jeu dialogique. On ne pense plus en termes d’axiomes, mais de système opératoire. On a là un développement remarquable du paradigme actionnel inauguré notamment par le Frege des Recherches logiques.Notre intention est donc de démontrer comment en théorie standard des modèles la décision sur la valeur de vérité d’un connecteur ou d’une proposition atomique dans un univers de discours donné reste une décision extra-logique. Dès lors une modélisation adéquate de la dimension dialogique de l’indéterminabilité ou de la véridicité consiste à articuler de façon adéquate validité et vérité, cohérence interne du dialogue et sanction attestée de façon externe. L’indéterminabilité, ainsi que la véridicité, sera le résultat d’un accord dialogique qui suppose au niveau interactionnel que les interlocuteurs reconnaissent leur consistance mutuelle et au niveau transactionnel qu’ils acceptent mutuellement le jugement d’un tiers qui atteste de la vérité des propositions atomiques sur le monde en question.
