Logic Journal of the IGPL 27 (4):451-477 (2019)

Andrzej Pietruszczak
Nicolaus Copernicus University
In Jaśkowski’s model of discussion, discussive connectives represent certain interactions that can hold between debaters. However, it is not possible within the model for participants to use explicit modal operators. In the paper we present a modal extension of the discussive logic $\textbf{D}_{\textbf{2}}$ that formally corresponds to an extended version of Jaśkowski’s model of discussion that permits such a use. This logic is denoted by $\textbf{m}\textbf{D}_{\textbf{2}}$. We present philosophical motivations for the formulation of this logic. We also give syntactic characterizations of the logic and propose a comparison with certain other modal systems. In particular, we prove that $\textbf{m}\textbf{D}_{\textbf{2}}$ is neither normal nor regular. On the basis of the axiomatization of $\textbf{D}_{\textbf{2}}$, we give an axiomatization of $\textbf{m}\textbf{D}_{\textbf{2}}$. We also give another axiomatization which is not based on the axiomatization of $\textbf{D}_{\textbf{2}}$. Furthermore, we give a natural Kripke-style semantics for $\textbf{m}\textbf{D}_{\textbf{2}}$ and prove the respective adequacy theorems.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1093/jigpal/jzz014
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 71,489
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

View all 15 references / Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

Partial Impredicativity in Reverse Mathematics.Henry Towsner - 2013 - Journal of Symbolic Logic 78 (2):459-488.
An Adaptive Logic Based on Jaśkowskiˈs Approach to Paraconsistency.Joke Meheus* - 2006 - Journal of Philosophical Logic 35 (6):539-567.
On Modal Logics Defining Jaśkowski's D2-Consequence.Marek Nasieniewski & Andrzej Pietruszczak - 2013 - In Francesco Berto, Edwin Mares, Koji Tanaka & Francesco Paoli (eds.), Paraconsistency: Logic and Applications. Springer. pp. 141--161.
The Logic of Pragmatic Truth.Newton C. A. Da Costa, Otávio Bueno & Steven French - 1998 - Journal of Philosophical Logic 27 (6):603-620.


Added to PP index

Total views
20 ( #560,831 of 2,520,890 )

Recent downloads (6 months)
2 ( #270,438 of 2,520,890 )

How can I increase my downloads?


My notes