Some remarks on two seminal approaches to paraconsistency: Stanisław Jaśkowski and Newton da Costa

期刊论文
发表日期：

2025年6月5日

查看全文

Abilio Rodrigues,
Marek Nasieniewski,
Ricardo Arturo Nicolás-Francisco

摘要

This paper discusses the approaches to paraconsistency proposed by Jaśkowski in 1948 and independently by da Costa in 1963, which are historically important and highly influential in the context of non-classical logics. In their seminal works, they initiated extensive investigations into logics with non-explosive negations, later baptized paraconsistent logics, thus distinguishing the concepts of triviality and inconsistency, which are classically equivalent. The focus will be on Jaśkowski’s logic $\textit{D}_\textit{2}$ $D_{2}$ and da Costa’s $C_n$ $C_{n}$ hierarchy. We will discuss the properties of these formal systems and their further developments, as well as the main motivations and the historical context.