Vasiliev's paraconsistent logic interpreted by means of the dual role played by the double negation law
Antonino Drago · Journal of Applied Non-Classical Logics · 2001
Vasiliev's paraconsistent logic is interpreted by differentiating in a scientific theory among axiom-principles, methodological principles and mere guess. The three kinds of sentence fit the three kinds of Vasiliev's sentences when "S is A" is translated in ¬¬A→A, and accordingly the remaining two sentences. In this interpretation it is shown that the parallelism Vasiliev claimed to hold between his logic and Lobachevskii's non-Euclidean geometry may be formalised. Between the two formal paraconsistent systems previously suggested - i.e. Arruda's one and da Costa and Puga's one - the latter one fits the above interpretation..