ИСТИНА

Согласно теории истины Даммита, истину можно понимать в двух разных смыслах. Во-первых, основным назначением этого понятия является проведение различий между двумя классами положений дел. Каждое высказывание S разделяет все возможные положения дел на два класса. Первый класс может быть описан как (1) высказывание S исключает возможность обнаружить эти положения дел; (2) если некто утверждает S и при этом рассматривает одно из положений дел первого класса как то, которое можно обнаружить, то мы будем считать, что он либо ошибается относительно содержания S, либо хочет ввести нас в заблуждение нас. Второй класс не исключается суждением S. S ложно, если обнаружено положение дел первого класса. Суждение S истинно, если все известные положения дел относятся ко второму классу. Для Даммита тут важна лишь полезность понятия «истина» для различия между двумя классами. Мы называем технические термины истинностных значений «истина-2» и «ложность-2». Во-вторых, мы можем понимать истину в ином смысле, что позволит ввести истинностное значение «ни истина, ни ложь». Рассмотрим высказывание «Если сейчас идет дождь, то на улице грязно». Это высказывание гарантирует только то, что не существует положения дел, при котором сейчас идет дождь, а грязи на улице нет. Допустим, что слушатель не знает, идет ли дождь или нет. В таком случае, по Даммиту, разумно сказать, что это высказывание ни истинно, ни ложно. На этом уровне мы говорим об «истине-1», «ложности-1» и «ни истина-1, ни ложности-1». Условные высказывание тогда (1) истинны-2, когда они истины-1; (2) ложны-2, когда они ложны-1; (3) истинны-2, когда они ни истинны-1, ни ложны-1. Целью введения этих терминов является проведение различия между двумя уровнями истины, что, по мысли Даммита, помогает нам понять использование термина «истина» в естественном языке. Он отмечает, что для того, чтобы дать адекватный истинно-функциональный анализ поведения отрицательных импликативных высказываний полезно допустить значение «ни истинно-1, ни ложно-1». Данное Даммитом определение отрицания импликации очень похоже на условие ложности для импликации в некоторых коннексивных логиках. В этом докладе мы пытаемся реконструировать даммитово интуитивное понимание условной связи в рамках трехзначной логики.