On the Paracomplete Theory of Semantical Paradox
Huihua Li,Wenfang Wang
DOI: https://doi.org/10.3969/j.issn.1674-3202.2011.04.005
2011-01-01
Abstract:By restricting the universal applicability of Excluded Middle and thereby weakening the classical logic,a paracomplete theory shows that a formal language, such as a three-valued non-classical language,can consistently contain its own truth predicate and solve the truth-theoretical paradox.In this paper,we present two different paracomplete theories—a basic paracomplete theory and an advanced one.The basic paracomplete theory employs the idea of a "truth-value gap",and argues that some sentences,such as liar sentences,are neither true nor false but fall within the gap between truth and falsity.By proving the existence of fixed-points of the "jump function",the basic paracomplete theory also proves that a rich enough language can contain its own truth predicate.On the other hand,the advanced paracomplete theory adds a suitable conditional to the basic theory,defines a "stronger truth" or "determinately true" operator,and proves by giving fixed-point interpretation that a consistent theory containing the naive truth theory,a suitable condition,and a stronger truth operator is possible.