Logic Journal of the IGPL 28 (5):807-816 (2020)
Authors | |
Abstract |
In this paper, I will argue that Logics of Formal Inconsistency $$ can be used as very sophisticated and powerful methods of classical recapture. I will compare $LFIs$ with the well-known non-monotonic logics by Batens and Priest and the ‘shrieking’ rules of Beall. I will show that these proposals can be represented in $LFIs$ and that $LFIs$ give room to more complex and varied recapturing strategies.
|
Keywords | No keywords specified (fix it) |
Categories | (categorize this paper) |
DOI | 10.1093/jigpal/jzy060 |
Options |
![]() ![]() ![]() ![]() |
Download options
References found in this work BETA
A Paraconsistent Route to Semantic Closure.Eduardo Alejandro Barrio, Federico Matias Pailos & Damian Enrique Szmuc - 2017 - Logic Journal of the IGPL 25 (4):387-407.
Towards a Philosophical Understanding of the Logics of Formal Inconsistency.Walter Carnielli & Abílio Rodrigues - 2015 - Manuscrito 38 (2):155-184.
A Simple Approach Towards Recapturing Consistent Theories in Paraconsistent Settings.Jc Beall - 2013 - Review of Symbolic Logic 6 (4):755-764.
Lp+, K3+, Fde+, and Their 'Classical Collapse'.Jc Beall - 2013 - Review of Symbolic Logic 6 (4):742-754.
View all 11 references / Add more references
Citations of this work BETA
Classical Recapture and Maximality.Lucas Rosenblatt - 2021 - Philosophical Studies 178 (6):1951-1970.
Why a Logic is Not Only its Set of Valid Inferences.Eduardo A. Barrio & Federico Pailos - 2021 - Análisis Filosófico 41 (2):261-272.
Similar books and articles
Normality Operators and Classical Recapture in Extensions of Kleene Logics.Ciuni Roberto & Massimiliano Carrara - forthcoming - Logic Journal of the IGPL.
On the Way to a Wider Model Theory: Completeness Theorems for First-Order Logics of Formal Inconsistency.Walter Carnielli, Marcelo E. Coniglio, Rodrigo Podiacki & Tarcísio Rodrigues - 2014 - Review of Symbolic Logic 7 (3):548-578.
Towards an Hyperalgebraic Theory of Non-Algebraizable Logics.Marcelo E. Coniglio, Aldo Figallo-Orellano & Ana C. Golzio - 2016 - CLE E-Prints 16 (4):1-27.
Many-Valued Non-Deterministic Semantics for First-Order Logics of Formal (in)Consistency.Arnon Avron - manuscript
Many-Valued Non-Deterministic Semantics for First-Order Logics of Formal (In)Consistency.Arnon Avron - unknown
Defining LFIs and LFUs in Extensions of Infectious Logics.Szmuc Damian Enrique - 2016 - Journal of Applied Non-Classical Logics 26 (4):286-314.
Recovery Operators, Paraconsistency and Duality.Walter A. Carnielli, Marcelo E. Coniglio & Abilio Rodrigues Filho - 2020 - Logic Journal of the IGPL 28 (5):624-656.
Normality Operators and Classical Collapse.Roberto Ciuni & Massimiliano Carrara - 2018 - In T. Arazim P. And Lavicka (ed.), The Logica Yearbook 2017. Londra, Regno Unito: pp. 2-20.
Models & Proofs: LFIs Without a Canonical Interpretations.Eduardo Alejandro Barrio - 2018 - Principia: An International Journal of Epistemology 22 (1):87-112.
Paraconsistent Belief Revision Based on a Formal Consistency Operator.Rafael R. Testa, Marcelo E. Coniglio & Márcio M. Ribeiro - 2015 - CLE E-Prints 15 (8):01-11.
Normality Operators and Classical Recapture in Many-Valued Logic.Roberto Ciuni & Massimiliano Carrara - 2020 - Logic Journal of the IGPL 28 (5):657-683.
Analytics
Added to PP index
2019-10-27
Total views
10 ( #903,078 of 2,518,243 )
Recent downloads (6 months)
1 ( #408,577 of 2,518,243 )
2019-10-27
Total views
10 ( #903,078 of 2,518,243 )
Recent downloads (6 months)
1 ( #408,577 of 2,518,243 )
How can I increase my downloads?
Downloads