Ревизионная теория истины

В ревизионной теории эквивалентность типа (1) понимается как имеющий гипотетический характер.Ничто не мешает ревизионной теории опереться, например, на дефляционный тезис.( L ) Предложение ( L ) не истинно.(1) Предложение ( L ) истинно, если и только если предложение ( L ) не истинно.(2) Предложение ( L ) либо истинно, либо нет.Случай 1. Предложение ( L ) истинно.Случай 2. Предложение ( L ) не истинно. Тогда в силу (1) предложение ( L ) истинно.Снова оно и истинно, и не истинно одновременно, что невозможно.Где T - предикат истины, F - произвольный одноместный предикат, и b - произвольное имя.S истинен если и только если P.