The dialogical approach to paraconsistency
Synthese 125 (1-2):201-232 (2000)
Abstract
Being a pragmatic and not a referential approach tosemantics, the dialogical formulation ofparaconsistency allows the following semantic idea tobe expressed within a semi-formal system: In anargumentation it sometimes makes sense to distinguishbetween the contradiction of one of the argumentationpartners with himself (internal contradiction) and thecontradiction between the partners (externalcontradiction). The idea is that externalcontradiction may involve different semantic contextsin which, say A and ¬A have been asserted.The dialogical approach suggests a way of studying thedynamic process of contradictions through which thetwo contexts evolve for the sake of argumentation intoone system containing both contexts.More technically, we show a new, dialogical, way tobuild paraconsistent systems for propositional andfirst-order logic with classical and intuitionisticfeatures (i.e. paraconsistency both with and withouttertium non-datur) and present theircorresponding tableaux.Author's Profile
Reprint years
2004
DOI
10.1023/a:1005294523930
My notes
Similar books and articles
How to extend the dialogical approach to provability logic.Ulrich Nortmann - 2001 - Synthese 127 (1-2):95 - 103.
Complex Argumentation in a Critical Discussion.A. F. Snoeck Henkemans - 2003 - Argumentation 17 (4):405-419.
A dialogical theory of legal discussions:Pragma-dialectical analysis and evaluation of legalargumentation.Eveline T. Feteris - 2000 - Artificial Intelligence and Law 8 (2-3):115-135.
Analytics
Added to PP
2009-01-28
Downloads
67 (#180,724)
6 months
1 (#450,425)
2009-01-28
Downloads
67 (#180,724)
6 months
1 (#450,425)
Historical graph of downloads
Author's Profile
Citations of this work
Models & Proofs: LFIs Without a Canonical Interpretations.Eduardo Alejandro Barrio - 2018 - Principia: An International Journal of Epistemology 22 (1):87-112.
Inconsistency-Adaptive Dialogical Logic.Mathieu Beirlaen & Matthieu Fontaine - 2016 - Logica Universalis 10 (1):99-134.
Inferences by Parallel Reasoning in Islamic Jurisprudence: Al-Shīrāzī’s Insights Into the Dialectical Constitution of Meaning and Knowledge.Shahid Rahman, Muhammad Iqbal & Youcef Soufi - 2019 - Cham, Switzerland: Springer Verlag.
Fiction, Creation and Fictionality : An Overview.Matthieu Fontaine & Shahid Rahman - 2010 - Methodos 10:1-75.
References found in this work
First-Order Logic.Raymond Merrill Smullyan - 1968 - Berlin, Germany: New York [Etc.]Springer-Verlag.
Paraconsistent Logic: Essays on the Inconsistent.Graham Priest, Richard Routley & Jean Norman (eds.) - 1989 - Philosophia Verlag.
On the theory of inconsistent formal systems.Newton C. A. da Costa - 1974 - Notre Dame Journal of Formal Logic 15 (4):497-510.
Propositional calculus for contradictory deductive systems.Stanisław Jaśkowski - 1969 - Studia Logica 24 (1):143 - 160.
Maximal weakly-intuitionistic logics.A. M. Sette & Walter A. Carnielli - 1995 - Studia Logica 55 (1):181 - 203.