Skip to main content

An Abductive Question-Answer System for the Minimal Logic of Formal Inconsistency \(\mathsf {mbC}\)


The aim in this paper is to define an Abductive Question-Answer System for the minimal logic of formal inconsistency \(\mathsf {mbC}\). As a proof-theoretical basis we employ the Socratic proofs method. The system produces abductive hypotheses; these are answers to abductive questions concerning derivability of formulas from sets of formulas. We integrated the generation of and the evaluation of hypotheses via constraints of consistency and significance being imposed on the system rules.


  1. Aliseda, A., Abductive reasoning: Logical investigations into discovery and explanation, vol. 330 of Synthese Library, Springer Science & Business Media, 2006.

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

    Google Scholar 

  3. Carnielli, W., Surviving abduction, Logic Journal of IGPL 14(2):237–256, 2006.

    Article  Google Scholar 

  4. Carnielli, W., and J. Marcos, Tableau systems for logics of formal inconsistency, in Proceedings of the 2001 International Conference on Artificial Intelligence, vol. 2, 2001, pp. 848–852.

  5. Carnielli, W., and J. Marcos, A taxonomy of c-systems, arXiv preprint math/0108036, 2001.

  6. Carnielli, W.A., M. E. Coniglio, and J. Marcos, Logics of formal, in F. Guenthner, and D. M. Gabbay, (eds.), Handbook of Philosophical Logic, vol. 14, Springer, 2013, pp. 1–93.

  7. Chlebowski, Sz., Canonical and Dual Erotetic Calculi for First-Order Logic, Ph.D. thesis, Adam Mickiewicz University in Poznań, 2018.

  8. Chlebowski, Sz., and D. Leszczyńska-Jasion, Dual Erotetic Calculi and the Minimal LFI, Studia Logica 103(6):1245–1278, 2015.

  9. Chlebowski, Sz., and D. Leszczyńska-Jasion, Erotetic calculi, duality and proof-search, tech. rep., Chair of Logic and Cognitive Science, Adam Mickiewicz University, 2015.

  10. Coniglio, M.E., and T.G. Rodrigues, Some investigations on mbC and mCi, in C.A. Mortari, (ed.), Tópicos de lógicas não clássicas, NEL/UFSC, 2014, pp. 11–70.

  11. Fitting, M., First-order logic and automated theorem proving, Springer Science & Business Media, 2012.

  12. Flach, P. A., and A. C. Kakas, Abduction and Induction: Essays on their relation and integration, vol. 18 of Applied Logic Series, Springer Science & Business Media, 2013.

  13. Gabbay, D.M., and J. Woods, The Reach of Abduction. Insight and Trial, Elsevier, 2005.

  14. Garcez, A., D. M Gabbay, O. Ray, and J. Woods, Abductive reasoning in neural-symbolic systems, Topoi 26(1):37–49, 2007.

  15. Hintikka, J., Inquiry as Inquiry: A Logic of Scientific Discovery, Kluwer, Dordrecht/Boston/London, 1999.

    Book  Google Scholar 

  16. Kakas, A. C., R. A. Kowalski, and F. Toni, Abductive logic programming, Journal of logic and computation 2(6):719–770, 1992.

    Article  Google Scholar 

  17. Komosinski, M., A. Kups, D. Leszczyńska-Jasion, and M. Urbański, Identifying efficient abductive hypotheses using multicriteria dominance relation, ACM Transactions on Computational Logic 15(4):28:1–28:20, 2014.

  18. Leszczyńska-Jasion, D., The Method of Socratic Proofs for Normal Modal Propositional Logics, Adam Mickiewicz University Press, Poznań, 2007.

    Google Scholar 

  19. Loparic, A., Semantical study of some propositional calculi, Journal of Symbolic Logic 43:358, 1978.

  20. Neto, A.G.S.S., and M. Finger, Effective prover for minimal inconsistency logic, in M. Bramer, (ed.), IFIP International Federation for Information Processing, Springer, 2006, pp. 465–474.

  21. Peirce, C. S., Collected papers of charles sanders peirce, vol. 5, Harvard University Press, 1974.

  22. Saptawijaya, A., and L. M. Pereira, Tabdual: a tabled abduction system for logic programs, FLAP 2(1):69–124, 2015.

  23. Thagard, P., Abductive inference: From philosophical analysis to neural mechanisms, in A. Feeney, and E. Heit, (eds.), Inductive reasoning: Experimental, developmental, and computational approaches, Cambridge University Press, 2007, pp. 226–247.

  24. Urbański, M., and A. Klawiter, Abduction: Some conceptual issues, Logic and Logical Philosophy 27(4):583–597, 2018.

    Article  Google Scholar 

  25. Urbański, M., and A. Wiśniewski, On search for law-like statements as abductive hypotheses by socratic transformations, in C. Baskent, (ed.), Perspectives on Interrogative Models of Inquiry. Developments in Inquiry and Questions, Springer, 2016, pp. 111–127.

    Chapter  Google Scholar 

  26. Wiśniewski, A., The Posing of Questions: Logical Foundations of Erotetic Inferences, Kluwer Academic Publishers, Dordrecht/Boston/London, 1995.

    Book  Google Scholar 

  27. Wiśniewski, A., Socratic Proofs, Journal of Philosophical Logic 33(3):299–326, 2004.

    Article  Google Scholar 

  28. Wiśniewski, A., Questions, Inferences and Scenarios, vol. 46 of Studies in Logic. Logic and Cognitive Systems, College Publications, London, 2013.

  29. Wiśniewski, A., and V. Shangin, Socratic Proofs for Quantifiers, Journal of Philosophical Logic 35(2):147–178, 2006.

    Article  Google Scholar 

Download references


This work has been supported by the Polish National Science Center, grant no. 2012/04/A/HS1/00715 (first author) and DEC-2013/10/E/HS1/00172 (second and third author).

Author information

Authors and Affiliations


Corresponding author

Correspondence to Szymon Chlebowski.

Additional information

Publisher's Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Presented by Jacek Malinowski

Rights and permissions

Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit

Reprints and Permissions

About this article

Verify currency and authenticity via CrossMark

Cite this article

Chlebowski, S., Gajda, A. & Urbański, M. An Abductive Question-Answer System for the Minimal Logic of Formal Inconsistency \(\mathsf {mbC}\). Stud Logica 110, 479–509 (2022).

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI:


  • Abduction
  • Inferential erotetic logic
  • Minimal logic of formal inconsistency