In this paper, I present the modal adaptive logic AJ r (based on S5) as well as the discussive logic D r 2 that is defined from it. D r 2 is a (non-monotonic) alternative for Jaśkowski’s paraconsistent system D 2 . Like D 2 , D r 2 validates all single-premise rules of Classical Logic. However, for formulas that behave consistently, D r 2 moreover validates all multiple-premise rules of Classical Logic. Importantly, and unlike in the case of D 2 , this does not require the introduction of discussive connectives. It is argued that this has clear advantages with respect to one of the main application contexts of discussive logics, namely the interpretation of discussions.
Similar content being viewed by others
References
Arruda, A. I.: Aspects of the historical development of paraconsistent logic, in Priest et al. [25], pp. 99–13.
Batens, D.: Dynamic dialectical logics, in Priest et al. [25], pp. 187–217.
Batens, D.: Inconsistency-adaptive logics, in Orłowska [23], pp. 445–472.
Batens, D. (2): Minimally abnormal models in some adaptive logics, Synthese 125, 5–18.
Batens, D.: A survey of inconsistency-adaptive logics, in Batens et al. [1], pp. 49–73.
Batens, D. (2): Towards the unification of inconsistency handling mechanisms, Log. Log. Philos. 8, 5–31. Appeared 22.
Batens, D. (21): A dynamic characterization of the pure logic of relevant implication, J. Philos. Logic 3, 267–28.
Batens, D. (21): A general characterization of adaptive logics, Log. Anal. 173–175, 45–68. Appeared 23.
Batens, D. and Meheus, J. (2): The adaptive logic of compatibility, Stud. Log. 66, 327–348.
Batens, D., Mortensen, C., Graham P., and Van Bendegem, J. P. (eds.) (2): Frontiers of Paraconsistent Logic, Research Studies Press, Baldock, UK.
Batens, D. and Vermeir, T. (22): Direct dynamic proofs for the Rescher–Manor consequence relations: the flat case, J. Appl. Non-Class. Log. 12, 63–84.
Benferhat, S., Dubois, D. and Prade, H. (1997): Some syntactic approaches to the handling of inconsistent knowledge bases: A comparative study. Part 1: The flat case, Stud. Log. 58, 17–45.
Benferhat, S., Dubois, D. and Prade, H.: Some syntactic approaches to the handling of inconsistent knowledge bases: A comparative study. Part 2: The prioritized case, in: Orłowska [23], pp. 473–511.
da Costa, N. C. A. (1977): On Jakowski's discussive logic, in A. I. Arruda, N. C. A. da Costa and R. Chuaqui (eds.), Non-Classical Logic, Model Theory and Computability. North Holland, Amsterdam, pp. 37–56.
Dubikajtis, L., Dudek, E. and Konior, J. (198): On axiomatics of Jakowski's discussive propositional calculus, in A. I. Arruda, N. C. A. da Costa, and A. M. Sette (eds.), Proceedings of the Third Brazilian Conference on Mathematical Logic, Sociedade Brasileira de Lógica, São Paulo, pp. 19–117.
Hughes, G. E. and Cresswell, M. J. 1996: A New Introduction to Modal Logic, Routledge, London, New York.
Jakowski, S. (1969): Propositional calculus for contradictory deductive systems, Stud. Log. 24, 143–157. Originally published in Polish in: Studia Scientarium Torunensis, Sec. A II, 1948, pp. 55–77.
Jakowski, S. (21): On the discussive conjunction in the propositional calculus for inconsistent deductive systems, Log. Log. Philos. 7, 57–59. Originally published in Polish in 1949.
Kotas, J. and da Costa, N. C. A. (1979): A new formulation of discussive logic, Stud. Log. 38, 429–445.
Meheus, J. (1993): Adaptive logic in scientific discovery: the case of Clausius, Log. Anal. 143-144, 359–389. Appeared 1996.
Meheus, J.: An extremely rich paraconsistent logic and the adaptive logic based on it, in Batens et al. [1], pp. 189–21.
Meheus, J. (22): Inconsistencies in scientific discovery. Clausius's remarkable derivation of Carnot's theorem, in H. Krach, G. Vanpaemel, and P. Marage, (eds.), History of Modern Physics, Brepols, Turnhout, pp. 143–154.
Orłowska E. (ed.) (1999): Logic at Work. Essays Dedicated to the Memory of Helena Rasiowa, Physica Verlag (Springer), Heidelberg, New York.
Priest, G.: Minimally inconsistent LP, Stud. Log. 5 (1991), 321–331.
Graham P., Richard R. and Norman J. (eds.) (1989): Paraconsistent Logic. Essays on the Inconsistent, Philosophia Verlag, München.
Rescher, N. and Manor, R. (197): On inference from inconsistent premises, Theory Decis. 1, 179–217.
Urchs, M. (1999): Complementary explanations, Synthese 12, 137–149.
Author information
Authors and Affiliations
Corresponding author
Additional information
*Research for this paper was indirectly supported by the Flemish Minister responsible for Science and Technology (contract BIL1/8). The author is indebted to Leon Horsten, João Marcos, Jerzy Perzanowski, Liza Verhoeven, and especially to the referee and to Diderik Batens for comments and suggestions.
Rights and permissions
About this article
Cite this article
Meheus*, J. An Adaptive Logic Based on Jaśkowskiˈs Approach to Paraconsistency. J Philos Logic 35, 539–567 (2006). https://doi.org/10.1007/s10992-005-9004-9
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10992-005-9004-9