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.
Full-text: Access denied (no subscription detected)
We're sorry, but we are unable to provide you with the full text of this article because we are not able to identify you as a subscriber.
If you have a personal subscription to this journal, then please login. If you are already logged in, then you may need to update your profile to register your subscription.
Read more about accessing full-text
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.
