Дефляционная теория истинности

Источник цитаты: Александр Болдачев. Многомировая теория истинности [*]

Осталось еще упомянуть так  называемую «дефляционную теорию истинности», которая утверждает, что понятие «истинность» вообще излишне. Свой вывод она обосновывает примерами типа: утверждение «истинно снег белый» ничего не добавляет к содержанию предложения «снег белый». Во-первых, дефляционизм вообще ничего не говорит о природе истинности, он не отвечает на вопрос: почему предложение «снег белый» истинно? Поэтому он не может быть классифицирован как теория или метод установления истинности. Во-вторых, в рамках многомировой теории содержание дефляционизма сводится к банальной мысли: если предложение по факту принадлежности к тому или иному логическому миру признается истинным, то внутри этого мира не стоит каждый раз повторять, что оно истинно. Так, к примеру, при доказательстве теоремы нет необходимости каждый раз указывать на истинность аксиом. Однако, если рассматривается принадлежность предложения к различным логическим мирам, то нам просто необходимо констатировать, в каких из них оно истинно, а в каких ложно. Так евклидова аксиома о пересекающихся прямых безусловно является ложной в логическом мире геометрии Лобачевского. И в таких случаях без предикатов «истинно» и «ложно» нам не обойтись.

Систематизация и связи
Логика