Abstract
Even when inconsistencies are present in our premise set, we can sensibly distinguish between good and bad arguments relying on these premises. In making this distinction, the inconsistency-adaptive approach of Batens strikes a particularly nice balance between inconsistency-tolerance and inferential strength. In this paper, we use the machinery of Batens’ approach to extend the paraconsistent approach to dialogical logic as developed by Rahman and Carnielli. In bringing these frameworks closer together, we obtain a dynamic mechanism for the systematic study of dialogues in which two parties exchange arguments over a central claim, in the possible presence of inconsistencies.
Article PDF
Similar content being viewed by others
Avoid common mistakes on your manuscript.
References
Arruda, A.I.: On the imaginary logic of N.A. Vasil’ev. In: Arruda, A.I., da Costa, N.C.A., Chuaqui, R. (eds.) Non-Classical Logics, Model Theory, and Computability. Proceedings of the Third Latin-American Symposium on Mathematical Logic, pp. 3–24. North-Holland, Amsterdam (1977)
Batens, D.: Paraconsistent extensional propositional logics. Logique et Analyse 90–91, 195–234 (1980)
Batens, D.: Dynamic dialectical logics. In: Priest, G., Routley, R., Norman, J. (eds.) Paraconsistent Logic. Essays on the Inconsistent, pp. 187–217. Philosophia Verlag, München (1989)
Batens, D.: A survey of inconsistency-adaptive logics. In: Batens, D., Priest, G., van Bendegem, J.P. (eds.) Frontiers of Paraconsistent Logic, pp. 49–73. Research Studies Press, Kings College Publication, Baldock (2000)
Batens D.: Towards the unification of inconsistency handling mechanisms. Logic Log. Philos. 8, 5–31 (2000)
Batens, D.: A universal logic approach to adaptive logics. Logica Universalis 1, 221–242 (2007)
Batens, D.: Towards a dialogic interpretation of dynamic proofs. In: Dégremont, C., Keiff, L., Rückert, H. (eds.) Dialogues, Logics and Other Strange Things. Essays in Honour of Shahid Rahman, pp. 27–51. College Publications, London (2009)
Batens, D.: Tutorial on inconsistency-adaptive logics. In: Béziau, J.Y., Chakraborty, M., Dutta, S. (eds.) New Directions in Paraconsistent Logic. Springer, Berlin (2015)
Batens, D., Meheus, J.: A tableau method for inconsistency-adaptive logics. In: Dyckhoff, R. (ed.) Automated Reasoning with Analytic Tableaux and Related Methods. Lecture Notes in Artificial Intelligence, vol. 1847, pp. 127–142. Springer, Berlin (2000)
.Batens, D., Meheus, J.: Recent results by the inconsistency-adaptive labourers. In: Béziau, J.Y., Carnielli, W., Gabbay, D. (eds.) Handbook of Paraconsistency, pp. 81–99. College Publications, London (2007)
Ben-Naim, J.: Argumentation-based paraconsistent logics. In: Hernandez, N., Jäschke, R., Croitoru, M. (eds.) Graph-Based Representation and Reasoning, Lecture Notes in Computer Science, pp. 19–24. Springer International Publishing, Berlin (2014)
Clerbout N.: First-order dialogical games and tableaux. J. Philos. Logic 43(4), 785–801 (2014)
Clerbout N.: La sémantique dialogique: notions fondamentales et éléments de metathéorie. College Publications, London (2014)
Fontaine M., Redmond J.: Logique Dialogique. Une Introduction. College Publications, London (2008)
Grooters, D., Prakken, H.: Combining paraconsistent logic with argumentation. In: Computational Models of Argument—Proceedings of COMMA 2014, Atholl Palace Hotel, Scottish Highlands, UK, September 9–12, 2014, pp. 301–312 (2014)
Jaśkowski S.: Propositional calculus for contradictory deductive systems. Studia Logica 24, 143–157 (1969)
Keiff, L.: Le Pluralisme Dialogique. Approches dynamiques de l’argumentation formelle. PhD thesis, Université Lille 3, Lille (2007)
Lorenz K.: Dialogspiele als semantische Grundlage von Logikkalkülen. Archiv für mathematische Logik und Grundlagenforschung 11(1–2), 32–55 (1968)
Lorenzen P., Lorenz K.: Dialogische Logik. Wissenschaftliche. Buchgesellschaft, Darmstadt (1978)
Meheus, J.: Erotetic arguments from inconsistent premises. Logique Anal. 165–166, 49–80 (1999)
Qiao, W., Roos, N.: An argumentation system for reasoning with conflict-minimal paraconsistent ALC. ArXiv e-prints (2014)
Rahman S.: Über Dialogue, Protologische Kategorien und andere Seltenheiten. Peter Lang, Frankfurt (1993)
Rahman S., Carnielli W.: The dialogical approach to paraconsistency. Synthese 125(1–2), 201–232 (2000)
Rahman S., Clerbout N.: Linking Game-Theoretical Approaches with Constructive Type Theory. Springer Briefs in Philosophy, Berlin (2015)
Rahman, S., Keiff, L.: On how to be a dialogician. In: Vanderveken, D. (eds.) Logic, Thought and Action. Logic, Epistemology and the Unity of Science, vol. 2, pp. 359–408. Springer, Berlin (2005)
Rahman S., Rückert H.: Dialogical connexive logic. Synthese, 127(1–2), 105–139 (2001)
Rahman, S., Van Bendegem, J.-P.: The dialogical dynamics of adaptive paraconsistency. In: Carnielli, W., Coniglio, M., D’Ottaviano, I. (eds.) Paraconsistency: the logical way to the inconsistent, pp. 295–322. Marcel Dekker, New York (2002)
Smullyan, R.: First-Order Logic. Dover Publications Inc., New York (1995). (Corrected replublication of the work first published by Springer, New York (1968))
Straßer C., Šešelja D.: Towards the proof-theoretic unification of Dung’s argumentation framework: an adaptive logic approach. J. Logic Comput. 21(2), 133–156 (2011)
Van Bendegem J.-P.: Paraconsistency and dialogue logic, critical examination and further explorations. Synthese 127(1–2), 35–55 (2001)
Author information
Authors and Affiliations
Corresponding author
Additional information
M. Beirlaen and M. Fontaine contributed equally to this work.
The contributions of both authors were supported by the project “Logics of discovery, heuristics and creativity in the sciences” (PAPIIT, IN400514) granted by the Dirección General de Asuntos del Personal Académico of the National Autonomous University of Mexico (UNAM). We are greatly indebted to the Programa de Becas Posdoctorales de la Coordinación de Humanidades (UNAM). In addition, the contribution of Mathieu Beirlaen was supported by a Sofja Kovalevskaja award of the Alexander von Humboldt Foundation, funded by the German Ministry for Education and Research. We also thank Diderik Batens, Shahid Rahman, and four anonymous referees for their helpful comments and suggestions. Matthieu Fontaine thanks John Woods for daily fruitful discussions.
Rights and permissions
About this article
Cite this article
Beirlaen, M., Fontaine, M. Inconsistency-Adaptive Dialogical Logic. Log. Univers. 10, 99–134 (2016). https://doi.org/10.1007/s11787-016-0139-y
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11787-016-0139-y