Paraconsistency, Paracompleteness And Intentional
Abstract
In this paper intentional contradictions are dealt with, i.e. antinomies which are arrived at on purpose, and not by chance or mistake, I take for granted that there are antinomic propositions which are characterized as follows: their truth is possible alongside with the truth of their negations, from such a statement its negation is inferred. For instance, the Liar's self-referential proposition to the eect that it is itself false, as a matter of fact is self-negatory. The former requirement is a semantic one. It can be made compatible with the consistency requirement by either modifying the concept of truth towards a less rigorous one or modifying the notion of negation to obtain a negation operator which disobeys the law of contradiction. The present author has been working along these lines in cooperation with J. Sanchez