Some strategies to turn any logic into a paraconsistent system are examined. In the environment of universal logic, we show how to paraconsistentize logics at the abstract level using a transformation in the class of all abstract logics called paraconsistentization by consistent sets . Moreover, by means of the notions of paradeduction and paraconsequence we go on applying the process of changing a logic converting it into a paraconsistent system. We also examine how this transformation can be performed using multideductive abstract logics. To conclude, the conceptual notion paraconsistent orbit of a logic is proposed.
This is a preview of subscription content, access via your institution.
Buy single article
Instant access to the full article PDF.
Tax calculation will be finalised during checkout.
Subscribe to journal
Immediate online access to all issues from 2019. Subscription will auto renew annually.
Tax calculation will be finalised during checkout.
When we take these logics as those systems eliminating, avoiding or denying some manifestation of the law of explosion, we face a problem proposed by J-Y. Beziau in . He argues that paraconsistent logics should also respect some positive property, and not only reject ex falso, because non-explosive unary operators can be defined in many systems which are not traditionally conceived as paraconsistent. Moreover, other criticism to the idea and definition of paraconsistent logic is suggested by H. Slater in . He states that negation in a paraconsistent logic does not generate a contradictory relation, but rather a relation of subcontrariety and, for this reason, explosion fails. We can understand his view as a defence of only one possible type of negation: truth-functional classical negation.
For an extension of this work, a new approach to well-behavior by means of a consistency operator has been proposed in .
For more on these varieties of concrete methods of paraconsistentization, see .
Although defined in a very abstract perspective, these methods are applicable to particular logical systems, indeed.
There are in the literature many proposed attempts to deal with consistent subsets of sets containing some types of contradictory of inconsistent information. In this tradition we can mention [1, 2, 4, 5, 11, 34, 36] and . In our case, though consistent subsets play a substantial role, our target is to paraconsistentize, to alter the nature of a given logic which is not paraconsistent (for comparison, see ).
More on consequence relations without any special law or a priori conditions can be found at .
See A. Loparic and N. da Costa in  for more on valuation theory.
The concept of multideductive logic has been introduced by E.G. de Souza in  and : it is argued, in particular, that multideductive logics can be applied to any attempt to unify (physical) theories which are incompatible. In some sense, all logics can be seen as a multideductive logic. The idea of a multideductive logic is somewhat related with procedures in combination of logics, especially fusions of logics (cf. D. Gabbay in ). Although paraconsistentization usually decreases the inferential power of a logic by adding to it a paraconsistent property it is not a genuine method for combining logics, though it is obvioulsy possible to develop ways of paraconsistentizing through combining logics.
It is interesting to note that in this case we could have paraconsistency even with classical negation and, in this sense, those criticisms mentioned in footnote 1 do not follow.
Needless to say that the way we choose to slice the original logic depends, of course, of what we intend to accomplish.
Paraconsistent logics does not commit us with the limits of consistency. For example, there were fragments of formal sciences which were used despite being inconsistent (for more on inconsistent mathematics, cf. C. Mortensen in ). In addition, some philosophers inflates inconsistencies and contradictions and even claim a strong metaphysical (and ontological) thesis: there exist in reality true contradictions (i.e dialetheias) (cf. G. Priest in ). An extensive and detailed discussion on the philosophical implications of paraconsistency can be found in . For philosophical issues concerning paraconsistentization, see also D.H.B. Dias in ).
Amgoud, L., Besnard, P.: A formal analysis of logic-based argumentation systems. In: Deshpande, A., Hunter, A. (eds.) Scalable Uncertainty Management, pp. 42–55. Springer-Verlag, Berlin Heidelberg (2010)
Arieli, O., Borg, A., Straßer, C.: Argumentative approaches to reasoning with consistent subsets of premises. In: Benferhat, s., et al. (eds.) Proceedings of the 30th International Conference on Industrial, Engineering, Other Applications of Applied Intelligent Systems, pp. 455–465. Springer, New York (2017)
Arieli, O., Avron, A., Zamansky, A.: What is an ideal logic for reasoning with inconsistency? In: Walsh, T. (ed.) Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence, pp. 706–711 (2011)
Avron, A., Lev, I.: A formula-preferential base for paraconsistent and plausible reasoning systems. In: Proceedings of the Workshop on Inconsistency in Data and Knowledge, pp. 60–70 (2001)
Benferhat, S., Dubois, D., Prade, H.: How to infer from inconsistent beliefs without revising? In: Proceedings of the 14th International Joint Conference on Artificial Intelligence, pp. 1449–1455 (1995)
Bensusan, H., Carneiro, G.: Paraconsistentization through antimonotonicity: towards a logic of supplement. In: Costa-Leit, A. (ed.) Abstract Consequence and Logics: Essays in Honor of Edelcio G. de Souza, pp.263–274. London, College Publications (2020)
Bensusan, H., Costa-Leite, A., de Souza, E.G.: Logics and their galaxies. In: Koslow, A., Buchsbaum, A. (eds.) The Road to Universal Logic, pp. 243–252. Springer, New York (2015)
Béziau, J.-Y.: Universal logic. In: Childers, T., Majer, O. (eds.) Logica 94, pp. 73–93 (1994)
Béziau, J.-Y.: What is paraconsistent logic? In: Frontiers of Paraconsistent Logic, pp. 95–111. Research Studies Press, Baldock (2000)
Béziau, J.-Y.: From consequence operator to universal logic: a survey of general abstract Logic. Logica Universalis , 3–17 (2005)
Brown, B., Priest, G.: Chunk and permeate, a paraconsistent inference strategy. Part I: The infinitesimal calculus. J. Philosoph. Logic, 33(4), 379–388 (2004)
Carnielli, W., Coniglio, M., Marcos, J.: Logics of formal inconsistency. In: Gabbay, D.M., Guenthner, F. (eds.) Handbook of Philosophical Logic. Springer, New York, Dordrecht (2007)
Costa-Leite, A.: Interactions of metaphysical and epistemic concepts. PhD thesis, University of Neuchâtel, Switzerland (2007)
Costa-Leite, A.: Estruturas da contradição e a paraconsistentizaço de lógicas. Pre-print (2019)
da Costa, N.: On the theory of inconsistent formal systems. Notre Dame J. Formal Logic 15(4), 497–510 (1974)
da Costa, N.: The philosophical import of paraconsistent logic. J. Non-Classical Logics 1(1), 1–19 (1982)
da Costa, N., Vernengo, R. J.: Sobre algunas lógicas paraclásicas y el análisis del razonamiento jurídico. Doxa: Cuadernos de Filosofia del Derecho, 19, 183–200 (1996)
de Souza, E. G.: O problema de Destouches e as lógicas heterodoxas: ensaio sobre o uso das lógicas não-clássicas no tratamento de inconsistências em teorias físicas. PhD thesis (In Portuguese), Universidade de São Paulo (1995)
de Souza, E.G.: Remarks on paraclassical logic. Boletim da Sociedade Paranaense de Matemática 18, 107–112 (1998)
de Souza, E.G.: Multideductive logic and the theoretic-formal unification of physical theories. Synthese 125, 253–262 (2000)
de Souza, E.G., Costa-Leite, A., Dias, D.H.B.: On a paraconsistentization functor in the category of consequence structures. J. Appl. Non-Classical Logics 26(3), 240–250 (2016)
de Souza, E.G., Costa-Leite, A., Dias, D.H.B.: Paradeduction in axiomatic formal systems. Logique et Analyse 246, 161–176 (2019)
de Souza, E.G., Costa-Leite, A., Dias, D.H.B.: Paraconsistentization and many-valued logics. Pre-print, Cornell, (2020). arXiv:2004.14881
Dias, D.H.B.: Paraconsistentização de Lógicas. PhD thesis (In Portuguese), Universidade de São Paulo (2019)
Gabbay, D.: Fibring logics. Oxford University Press, Oxford (1999)
Jaśkowski, S.: Propositional calculus for contradictory deductive systems. Logic and Logical Philosophy 7, 35–56 (1999)
Jaśkowski, S.: On the discussive conjunction in the propositional calculus for inconsistent deductive systems. Logic and Logical Philosophy 7, 57–59 (1999)
Loparic, A., da Costa, N.: Paraconsistency, paracompleteness, and valuations. Logique et Analyse 27(106), 119–131 (1984)
Łukasiewicz, J.: Aristotle’s Syllogistic from the Standpoint of Modern Formal Logic. Clarendon Press, Oxford (1951)
Mortensen, C.: Inconsistent mathematics, vol. 312. Kluwer Academic, Dordrecht (2013)
Payette, G.: Preserving logical structure. In: On preserving: Essays on preservationism and paraconsistent logic, pp. 105–143. University Toronto Press, Toronto (2009)
Priest, G.: The logic of paradox. J. Philosoph. Logic 8, 219–241 (1979)
Priest, G.: In contradiction: a study of the transconsistent. Oxford University Press, New York (2006)
Rescher, N., Manor, R.: On inferences from inconsistent premisses. Theory and decision 1(2), 179–217 (1970)
Slater, H.: Paraconsistent logics? J. Philosoph. Logic 24(4), 451–454 (1995)
Subrahmanian, V., Amgoud, L.: A general framework for reasoning about inconsistency. In: Proceedings of the Twentieth International Joint Conference on Artificial Intelligence, 599–604 (2007)
Tarski, A.: On some fundamental concepts of metamathematics. In: Logic, Semantic, Metamathematics. Second Edition. John Corcoran (ed.). Hackett Publishing Company. 1983 (1930)
Tarski, A.: Fundamental concepts of the methodology of deductive sciences. In:Logic, Semantic, Metamathematics. Second Edition. John Corcoran (ed.). Hackett Publishing Company. 1983 (1930)
van de Putte, F.: Default assumptions and selection functions: a generic framework for non-monotonic logics. In: MICAI 2013: Advances in Artificial Intelligence and Its Applications, 54–67 (2013)
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
About this article
Cite this article
de Souza, E.G., Costa-Leite, A. & Dias, D.H.B. Paraconsistent Orbits of Logics. Log. Univers. 15, 271–289 (2021). https://doi.org/10.1007/s11787-021-00284-3
- Paraconsistent logic
- Abstract logic
- Universal logic
- Orbits of logics
Mathematics Subject Classification
- Primary 03B53
- Secondary 03B22