Is Jaskowski's non-adjunctive paraconsistent logic moderate?

8 views
Skip to first unread message

Frode Bjørdal

unread,
Dec 14, 2022, 10:19:58 AM12/14/22
to Lista acadêmica brasileira dos profissionais e estudantes da área de LOGICA
Boa tarde,

I came to think that someone here should know: 

Stanislaw Jaskowski published a non-adjunctive paraconsistent logic, which does not have the inference rule $\vdash A \ \& \  \vdash B\Rightarrow \ \vdash A\wedge B$. The paper first appeared  in Polish: Rachunek zdań dla systemow dedukcyjnych sprzecznych, Studia Societatis Scientiarum Torunensis, Sectio A, Vol. I, No. 5, 1948, 57-77. The last English translation is A Propositional Calculus for Inconsistent Deductive Systems, in Logic and Logical Philosophy, Vol. 7, 35-56, 1999. 

Let logic T be *sparked* just if it for some sentence $A$ has $\vdash_T A$ as well as $\vdash_T \lnot A$.

Let CL be classical logic.

Let logic T be moderate just if $\vdash_T B \Rightarrow \ \not\vdash_{CL}\lnot B$.

Let J+ be a minimal sparking of Jaskowski's system.

Is J+ moderate?
Abraços

Frode Allfson Bjørdal




Reply all
Reply to author
Forward
0 new messages