Axiomatizing a Minimal Discussive Logic

Studia Logica 111 (5):855-895 (2023)
  Copy   BIBTEX

Abstract

In the paper we analyse the problem of axiomatizing the minimal variant of discussive logic denoted as $$ {\textsf {D}}_{\textsf {0}}$$ D 0. Our aim is to give its axiomatization that would correspond to a known axiomatization of the original discussive logic $$ {\textsf {D}}_{\textsf {2}}$$ D 2. The considered system is minimal in a class of discussive logics. It is defined similarly, as Jaśkowski’s logic $$ {\textsf {D}}_{\textsf {2}}$$ D 2 but with the help of the deontic normal logic $$\textbf{D}$$ D. Although we focus on the smallest discussive logic and its correspondence to $$ {\textsf {D}}_{\textsf {2}}$$ D 2, we analyse to some extent also its formal aspects, in particular its behaviour with respect to rules that hold for classical logic. In the paper we propose a deductive system for the above recalled discussive logic. While formulating this system, we apply a method of Newton da Costa and Lech Dubikajtis—a modified version of Jerzy Kotas’s method used to axiomatize $$ {\textsf {D}}_{\textsf {2}}$$ D 2. Basically the difference manifests in the result—in the case of da Costa and Dubikajtis, the resulting axiomatization is pure modus ponens-style. In the case of $$ {\textsf {D}}_{\textsf {0}}$$ D 0, we have to use some rules, but they are mostly needed to express some aspects of positive logic. $$ {\textsf {D}}_{\textsf {0}}$$ D 0 understood as a set of theses is contained in $$ {\textsf {D}}_{\textsf {2}}$$ D 2. Additionally, any non-trivial discussive logic expressed by means of Jaśkowski’s model of discussion, applied to any regular modal logic of discussion, contains $$ {\textsf {D}}_{\textsf {0}}$$ D 0.

Links

PhilArchive



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

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

Book Reviews. [REVIEW]Jacek Paśniczek - 2000 - Studia Logica 65 (3):429-446.
Game Logic - An Overview.Marc Pauly & Rohit Parikh - 2003 - Studia Logica 75 (2):165-182.
Book Reviews. [REVIEW]P. Hájek - 2002 - Studia Logica 72 (3):433-443.
Logic, Language, and Information.L. T. F. Gamut - 1999 - Studia Logica 63 (2):269-272.
Corrigenda: Semantics for von Wright's Latest Deontic Logic.[author unknown] - 1977 - Studia Logica 36 (3):240-240.
Quasi-completeness in non-Fregean logic.Roman Suszko - 1971 - Studia Logica 29 (1):7-16.
Book Reviews. [REVIEW]Theodore Hailperin - 2000 - Studia Logica 64 (3):405-448.
Book Reviews. [REVIEW]B. Jacobs - 2001 - Studia Logica 69 (3):429-455.

Analytics

Added to PP
2023-05-30

Downloads
11 (#1,089,082)

6 months
10 (#235,055)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Oleg Mikhailovic Grigoriev
Moscow State University
Marek Nasieniewski
Nicolaus Copernicus University
Krystyna Mruczek-Nasieniewska
Nicolaus Copernicus University
2 more