Source: Notre Dame J. Formal Logic Volume 47, Number 3
(2006), 371-384.
Discursive (or discussive) logic, D₂, introduced by Jaśkowski, is widely recognized as a first formal approach to paraconsistency. Jaśkowski applied a quite extraordinary technique at that time to describe his logic. He neither gave a set of the axiom schemata nor presented a direct semantics for D₂ but used a translation function to express his philosophical and logical intuitions. Discursive logic was defined by an interpretation in the language of S₅ of Lewis. The aim of this paper is to present a modified system of the discursive logic that allows some of the weaker versions of Duns Scotus's thesis to be valid. The initial idea is to consider a different characteristic of the connective of negation. We introduce both a direct semantics and an axiomatization of the new system, prove the key metatheorems, and describe labeled tableaux for the system.
References
[1] Béziau, J.-Y., "Paraconsistent logic from a modal viewpoint", Journal of Applied Logic, vol. 3 (2005), pp. 7--14.
[2] Ciuciura, J., "History and development of the discursive logic", Logica Trianguli, vol. 3 (1999), pp. 3--31.
[3] Ciuciura, J., "Discursive logic (in Polish)", Principia, vol. 35--36 (2003), pp. 279--91.
[4] Ciuciura, J., "Labelled tableaux for $D\sb 2$", Bulletin of the Section of Logic, vol. 33 (2004), pp. 223--35.
[5] da Costa, N. C. A., "On the theory of inconsistent formal systems", Notre Dame Journal of Formal Logic, vol. 15 (1974), pp. 497--510.
[6] Došen, K., "Negation as a modal operator", Reports on Mathematical Logic, vol. 20 (1986), pp. 15--28.
Mathematical Reviews (MathSciNet):
MR881161
[7] Jaśkowski, S., "O koniunkcji dyskusyjnej w rachuneku zdań dla systemów dedukcyjnych sprzecznych", Studia Societatis Scientiarum Torunensis, Sect. A, I, vol. 8 (1949), pp. 171--72. English translation in [odcllp?].
[8] Jaśkowski, S., "Rachunek zdań dla systemów dedukcyjnych sprzecznych", Studia Societatis Scientiarum Torunensis, Sect. A. 1, vol. 5 (1948), pp. 57--77. English translations in [stulog?] and [llp?].
Mathematical Reviews (MathSciNet):
MR26623
[9] Jaśkowski, S., "Propositional calculus for contradictory deductive systems", Studia Logica, vol. 24 (1969), pp. 143--60.
[10] Jaśkowski, S., "On the discussive conjunction in the propositional calculus for inconsistent deductive systems", Logic and Logical Philosophy, (1999), pp. 57--59 (2001).
[11] Jaśkowski, S., "A propositional calculus for inconsistent deductive systems", Logic and Logical Philosophy, (1999), pp. 35--56 (2001).
[12] Kotas, J., "Discussive sentential calculus of Jaśkowski, (Stanisław Jaśkowski's Achievements in Mathematical Logic, Proceedings of the 20th Conference on the History of Logic, Kraków, 1974)", Studia Logica, vol. 34 (1975), pp. 149--68.
[13] Reichbach, J., "On the first-order functional calculus and the truncation of models", Studia Logica, vol. 7 (1958), pp. 181--220.
[14] Sette, A. M., "On the propositional calculus $P\sp1$", Mathematica Japonica, vol. 18 (1973), pp. 173--180.
[15] Vakarelov, D., "Consistency, completeness and negation", pp. 328--63 in Paraconsistent Logic. Essays on the Inconsistent, edited by G. Priest, R. Routley, and J. Norman, Analytica, Philosophia Verlag GmbH, Munich, 1989.
