Axiomatizing Jaśkowski’s Discussive Logic $$\mathbf {D_2}$$ D 2

Studia Logica 106 (6):1163-1180 (2018)
  Copy   BIBTEX


We outline the rather complicated history of attempts at axiomatizing Jaśkowski’s discussive logic $$\mathbf {D_2}$$ D2 and show that some clarity can be had by paying close attention to the language we work with. We then examine the problem of axiomatizing $$\mathbf {D_2}$$ D2 in languages involving discussive conjunctions. Specifically, we show that recent attempts by Ciuciura are mistaken. Finally, we present an axiomatization of $$\mathbf {D_2}$$ D2 in the language Jaśkowski suggested in his second paper on discussive logic, by following a remark of da Costa and Dubikajtis. We also deal with an interesting variant of $$\mathbf {D_2}$$ D2, introduced by Ciuciura, in which negation is also taken to be discussive.



    Upload a copy of this work     Papers currently archived: 91,088

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

An Adaptive Logic Based on Jaśkowskiˈs Approach to Paraconsistency.Joke Meheus* - 2006 - Journal of Philosophical Logic 35 (6):539-567.
A Quasi-Discursive System $ND_2^+$.Janusz Ciuciura - 2006 - Notre Dame Journal of Formal Logic 47 (3):371-384.
The axiomatizations of S.Jaskowski's discussive system.Jerzy Kotas - 1973 - Bulletin of the Section of Logic 2 (1):12-17.
Bounding Minimal Degrees by Computably Enumerable Degrees.Angsheng Li & Dongping Yang - 1998 - Journal of Symbolic Logic 63 (4):1319-1347.


Added to PP

36 (#397,480)

6 months
6 (#252,172)

Historical graph of downloads
How can I increase my downloads?