On a Dialogical Point of View of Matrices
Dialogique des matrices
Author
Cardascia, Pierre
Abstract
Ordinary dialogical logic offers processing memory as a history of dialogues. Find a reference (justification) in this history is an ambiguous process (repetition), which can transform in complex or impossible issues the questions that compose a dialogue. Thus, two researches of justifications overlap in a dual problem of justification. In addition, this consideration of the memory uses a lot of technical resources.We propose a dialogical formalism that solves these problems: double justification, composition, memory saving. To do this, we will develop "special" rules that will reconfigure the formalism and consider the metaphysical and philosophical concepts in this logical system and its interpretations.This article is divided into three parts:A presentation of the dialogical framework oriented towards the presentation of the problem of double justification.A re-interpretation of this framework in terms of matrices: the logical formulas modeled on the linguistic and mathematical language reading are replaced by a concept borrowed from the game semantical approach.A brief summary of the new approaches presented by this method: reaffirmation of the clear separation between different levels of analysis and economy on the amount of memory required (complexity). La logique dialogique ordinaire propose un traitement de la mémoire sous la forme d'un historique des dialogues. Rechercher une référence (la justification) dans cet historique est un processus ambiguë en cas de répétition, ce qui peut rendre complexes ou impossibles les questions de composition de dialogue. Ainsi, deux recherches de justification peuvent se superposer en une double justification problématique. De plus, ce traitement de la mémoire coûte techniquement beaucoup de ressources.Nous proposons un formalisme de la dialogique qui résout ces problèmes: double-justification, composition, économie de mémoire. Pour ce faire, nous internaliserons des règles analysées comme "spéciales", reconfigurant en grande partie le formalisme et à sa suite les notions philosophiques voire métaphysiques mises en jeu dans ce système logique et dans ses interprétations.Cet article se découpe en trois parties :Une présentation du cadre dialogique orientée vers la présentation du problème de la double justification.Une ré-interprétation de ce cadre en termes de matrices : les formules logiques calquées sur la lecture linguistico-mathématique du langage sont remplacées par un concept emprunté à la game semantic, celui de position (sous la forme de matrices de formules).Une brève synthèse des nouvelles perspectives offertes par cette méthode : réaffirmation de la séparation claire entre les différents niveaux d'analyse et économie sur la quantité de mémoire requise (payée en complexité).