Discussive Logic. A Short History of the First Paraconsistent Logic

In Jens Lemanski & Ingolf Max (eds.), Historia Logicae and its Modern Interpretation. London: College Publications. pp. 267--296 (2023)
  Copy   BIBTEX

Abstract

In this paper we present an overview, with historical and critical remarks, of two articles by S. Jaśkowski ([20, 21] 1948 and [22, 23] 1949), which contain the oldest known formulation of a paraconsistent logic. Jaśkowski has built the logic – he termed discussive (D2) – by defining two new connectives and by introducing a modal translation map from D2 systems into Lewis’ modal logic S5. Discussive systems, for their formal details and their original philosophical justification, have attracted discrete attention among experts. Indeed, in what follows, after having introduced Jaśkowski methodology of building D2 and his main philosophical motivations for providing such a system, we will explore some of the main contributions to the development of D2.

Author's Profile

Fabio De Martin Polo
Ruhr-Universität Bochum (PhD)

Analytics

Added to PP
2024-04-22

Downloads
59 (#93,203)

6 months
59 (#80,671)

Historical graph of downloads since first upload
This graph includes both downloads from PhilArchive and clicks on external links on PhilPapers.
How can I increase my downloads?