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

, &
Studia Logica 110 (2):479-509 (2021)
  Copy   BIBTEX

Abstract

The aim in this paper is to define an Abductive Question-Answer System for the minimal logic of formal inconsistency \. 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.

Categories

Keywords

Reprint years

2022

DOI

10.1007/s11225-021-09963-0

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,164

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Normality operators and classical recapture in many-valued logic.Roberto Ciuni & Massimiliano Carrara - 2020 - Logic Journal of the IGPL 28 (5):657-683.
Fraïssé’s theorem for logics of formal inconsistency.Bruno R. Mendonça & Walter A. Carnielli - 2020 - Logic Journal of the IGPL 28 (5):1060-1072.
Non-Fregean Propositional Logic with Quantifiers.Joanna Golińska-Pilarek & Taneli Huuskonen - 2016 - Notre Dame Journal of Formal Logic 57 (2):249-279.
A Nonstandard Counterpart of WWKL.Stephen G. Simpson & Keita Yokoyama - 2011 - Notre Dame Journal of Formal Logic 52 (3):229-243.
The Keisler–Shelah theorem for $\mathsf{QmbC}$ through semantical atomization.Thomas Macaulay Ferguson - 2020 - Logic Journal of the IGPL 28 (5):912-935.
Bounded Martin’s Maximum with an Asterisk.David Asperó & Ralf Schindler - 2014 - Notre Dame Journal of Formal Logic 55 (3):333-348.
On Interpretability in the Theory of Concatenation.Vítězslav Švejdar - 2009 - Notre Dame Journal of Formal Logic 50 (1):87-95.
Dual Erotetic Calculi and the Minimal LFI.Szymon Chlebowski & Dorota Leszczyńska-Jasion - 2015 - Studia Logica 103 (6):1245-1278.
A Propositional Dynamic Logic for Instantial Neighborhood Semantics.Sebastian Enqvist, Nick Bezhanishvili & Johan Benthem - 2019 - Studia Logica 107 (4):719-751.
Rudimentary Recursion, Gentle Functions and Provident Sets.A. R. D. Mathias & N. J. Bowler - 2015 - Notre Dame Journal of Formal Logic 56 (1):3-60.
Growing Commas. A Study of Sequentiality and Concatenation.Albert Visser - 2009 - Notre Dame Journal of Formal Logic 50 (1):61-85.
The inconsistency of traditional logic.Leonard Goddard - 1998 - Australasian Journal of Philosophy 76 (2):152 – 164.
Interpretability suprema in Peano Arithmetic.Paula Henk & Albert Visser - 2017 - Archive for Mathematical Logic 56 (5-6):555-584.
Pragmatic logics for hypotheses and evidence.Massimiliano Carrara, Daniele Chiffi & Ciro De Florio - forthcoming - Logic Journal of the IGPL.
Belief Changes and Cognitive Development: Doxastic Logic $${\mathsf {LCB}}$$.Marcin Łyczak - 2021 - Axiomathes 31 (2):157-171.

Analytics

Added to PP
2021-10-25

Downloads
35 (#429,347)

6 months
16 (#134,238)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

The Posing of Questions: Logical Foundations of Erotetic Inferences.Andrzej Wiśniewski - 1995 - Dordrecht and Boston: Kluwer Academic Publishers.
Paraconsistent extensional propositional logics.Diderik Batens - 1980 - Logique and Analyse 90 (90):195-234.
Socratic proofs.Andrzej Wiśniewski - 2004 - Journal of Philosophical Logic 33 (3):299-326.
Socratic Proofs for Quantifiers★.Andrzej Wiśniewski & Vasilyi Shangin - 2006 - Journal of Philosophical Logic 35 (2):147-178.

View all 12 references / Add more references