On a Dialogical Point of View of Matrices

Pierre Cardascia

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:

  1. A presentation of the dialogical framework oriented towards the presentation of the problem of double justification.
  2. 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.
  3. 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).

Keywords


Logic; dialogic; dialogue; matrices; formalism

References


CLERBOUT, Nicolas (2013) : Etude sur quelques sémantiques dialogiques. Concepts fonda- mentaux et éléments de métathéorie, PhD thesis, Lille/leiden, Universities of Lille 3 and Leiden.

CLERBOUT, Nicolas (2013) : "First-order dialogical games and Tableaux" dans Journal of Philosophical Logic, Online first publication - DOI : 10.1007/s10992-013-9289-z.

EUSTACHE, Francis, & alia (2014) : Mémoire et Oubli, Editions Le Pommier, Observatoire B2V des Mémoires.

HYLAND, Martin (1997) : "Games semantics" dans Semantics of logic and computation, A.M Pitts & P. Dybjer (éditeurs), Newton Institute, Cambridge University Press, pp131-184.

RAHMAN, Shahid et KEIFF, Laurent (2010) : "La Dialectique entre logique et rhétorique" dans Revue de métaphysique et de morale, 66:2, pp 149-178.

REDMOND, Juan et FONTAINE, Mathieu (2011) : How to play dialogues : an introduction to dialogical logic, London College Publications.

SCHRÖDER-HEISTER (2008) : "Lorenzen's operative justification of intuitionistic logic" dans One Hundred Years of intuitionnism (1907-2007), van Attem, M & alii (éditeurs), Basel : Birkhäuser, pp.214-240.




DOI: https://doi.org/10.22370/rhv.2015.6.401

Copyright (c) 2015 Humanities Journal of Valparaiso

Creative Commons License
This work is licensed under a Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International License.