Метапредикат истинности и логика ложности.

Abstract

The presuppositions for construction of the calculus of truth and falsehood predicates are discussed. The calculus of truth metapredicate is constructed so that the logic of falsehood FL4 is a sentential part of this calculus. The language of FL4 allows from one up to four levels of consideration of logical systems and analysis of the language expressions. There is shown that three-valued sublogic of falsehood FL3N is functionally equivalent to Kleene’s logic with strict connectives enriched by the connective of complete equivalence. The sententional reconstruction of N.A.Vasiljev's imaginary logic in the frame of FL4 is presented. The three-valued sublogic of falsehood FL3B is compared with Asenjo’s logic of antinomies and Priest's logic ofparadoxes.