On a Dialogical Point of View of Matrices
DOI:
https://doi.org/10.22370/rhv2015iss6pp67-107Keywords:
Logic, dialogic, dialogue, matrices, formalismAbstract
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).
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.
Published
How to Cite
Issue
Section
License
Authors who publish with this journal agree to the following terms:
- Authors retain copyright and grant the journal right of first publication, with the work after publication simultaneously licensed under a Creative Commons Attribution License (CC BY-NC-ND 4.0 International) that allows others to share the work with an acknowledgement of the work's authorship and initial publication in this journal.
- Authors are able to enter into separate, additional contractual arrangements for the non-exclusive distribution of the journal's published version of the work (e.g., post it to an institutional repository or publish it in a book), with an acknowledgement of its initial publication in this journal.
- Authors are permitted and encouraged to post their work online (e.g., in institutional repositories or on their website) prior to and during the submission process, as it can lead to productive exchanges, as well as earlier and greater citation of published work (See The Effect of Open Access).
