SpringerLink
Log in

Inconsistency-Adaptive Dialogical Logic

  • Published:
Logica Universalis Aims and scope Submit manuscript

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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Subscribe and save

Springer+ Basic
EUR 32.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or Ebook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. 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)

  2. Batens, D.: Paraconsistent extensional propositional logics. Logique et Analyse 90–91, 195–234 (1980)

  3. 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)

  4. 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)

  5. Batens D.: Towards the unification of inconsistency handling mechanisms. Logic Log. Philos. 8, 5–31 (2000)

    Article  MathSciNet  MATH  Google Scholar 

  6. Batens, D.: A universal logic approach to adaptive logics. Logica Universalis 1, 221–242 (2007)

    Article  MathSciNet  MATH  Google Scholar 

  7. 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)

  8. 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)

  9. 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)

  10. .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)

  11. 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)

  12. Clerbout N.: First-order dialogical games and tableaux. J. Philos. Logic 43(4), 785–801 (2014)

    Article  MathSciNet  MATH  Google Scholar 

  13. Clerbout N.: La sémantique dialogique: notions fondamentales et éléments de metathéorie. College Publications, London (2014)

    Google Scholar 

  14. Fontaine M., Redmond J.: Logique Dialogique. Une Introduction. College Publications, London (2008)

    MATH  Google Scholar 

  15. 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)

  16. Jaśkowski S.: Propositional calculus for contradictory deductive systems. Studia Logica 24, 143–157 (1969)

    Article  MathSciNet  MATH  Google Scholar 

  17. Keiff, L.: Le Pluralisme Dialogique. Approches dynamiques de l’argumentation formelle. PhD thesis, Université Lille 3, Lille (2007)

  18. Lorenz K.: Dialogspiele als semantische Grundlage von Logikkalkülen. Archiv für mathematische Logik und Grundlagenforschung 11(1–2), 32–55 (1968)

    Article  MathSciNet  MATH  Google Scholar 

  19. Lorenzen P., Lorenz K.: Dialogische Logik. Wissenschaftliche. Buchgesellschaft, Darmstadt (1978)

    MATH  Google Scholar 

  20. Meheus, J.: Erotetic arguments from inconsistent premises. Logique Anal. 165–166, 49–80 (1999)

  21. Qiao, W., Roos, N.: An argumentation system for reasoning with conflict-minimal paraconsistent ALC. Ar**v e-prints (2014)

  22. Rahman S.: Über Dialogue, Protologische Kategorien und andere Seltenheiten. Peter Lang, Frankfurt (1993)

    Google Scholar 

  23. Rahman S., Carnielli W.: The dialogical approach to paraconsistency. Synthese 125(1–2), 201–232 (2000)

    Article  MathSciNet  MATH  Google Scholar 

  24. Rahman S., Clerbout N.: Linking Game-Theoretical Approaches with Constructive Type Theory. Springer Briefs in Philosophy, Berlin (2015)

    MATH  Google Scholar 

  25. 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)

  26. Rahman S., Rückert H.: Dialogical connexive logic. Synthese, 127(1–2), 105–139 (2001)

    Article  MathSciNet  MATH  Google Scholar 

  27. 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)

  28. Smullyan, R.: First-Order Logic. Dover Publications Inc., New York (1995). (Corrected replublication of the work first published by Springer, New York (1968))

  29. 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)

    Article  MathSciNet  MATH  Google Scholar 

  30. Van Bendegem J.-P.: Paraconsistency and dialogue logic, critical examination and further explorations. Synthese 127(1–2), 35–55 (2001)

    Article  MathSciNet  MATH  Google Scholar 

Download references

Author information

Author notes

    Authors and Affiliations

    1. Research Group for Non-Monotonic Logics and Formal Argumentation, Institute for Philosophy II, Ruhr University Bochum, Bochum, Germany

      Mathieu Beirlaen

    2. Instituto de Investigaciones Filosóficas, National Autonomous University of Mexico, Mexico city, Mexico

      Matthieu Fontaine

    Authors
    1. Mathieu Beirlaen
      View author publications

      You can also search for this author in PubMed Google Scholar

    2. Matthieu Fontaine
      View author publications

      You can also search for this author in PubMed Google Scholar

    Corresponding author

    Correspondence to Mathieu Beirlaen.

    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

    Reprints and permissions

    About this article

    Check for updates. Verify currency and authenticity via CrossMark

    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

    Download citation

    • Received:

    • Accepted:

    • Published:

    • Issue Date:

    • DOI: https://doi.org/10.1007/s11787-016-0139-y

    Mathematics Subject Classification

    Keywords

    Search

    Navigation