Корреспондентная, когерентная, прагматистская и дефляционная теория истины

КОРРЕСПОНДЕНТНАЯ ТЕОРИЯ ИСТИНЫ — совокупность методологических направлений, определяющих истинность некоторого фрагмента знания (высказывания, теории) через соответствие (лат. correspondentia) объекту этого знания; основным вариантом корреспондентной теории истины является “классическая” концепция истины (Платон, Аристотель, Фома Аквинский), согласно которой истина есть соответствие мыслей действительности. Все три термина, входящие в это определение, проблематичны. Варианты корреспондентной теории истины различаются по характеру постановки и решений этих проблем. Первая группа проблем связана с формулировкой ограничений, указывающих, какие именно мысли могут характеризоваться как истинные. Напр., истинными могут считаться высказывания, описывающие некоторое положение дел (“Кошка сидит на ковре”), но высказывания, выражающие приказ (“Руки вверх!”) или не имеющие определенного значения (“х - у= ^”), не имеют значения истинности; высказывания, претендующие на истинность, должны удовлетворять синтаксическим и семантическим правилам языка (напр., высказывание “Этот квадрат круглый” не истинно и не ложно, а бессмысленно). Вторая группа проблем связана с тем, что именно может полагаться действительностью, которой соответствуют мысли. Согласно логическому атомизму (Рассел, ВитгенштейнЛ высказывания истинны, если они соответствуют “фактам”; однако “факты” являются определенными познавательными конструкциями, зависимыми от чувственных восприятий и концептуальных интерпретаций, следовательно, сопоставляя высказывания с фактами, мы сопоставляем одни мысли с другими.

КОГЕРЕНТНАЯ ТЕОРИЯ ИСТИНЫ — концепция, сводящая проблему истинности к критерию когерентности (coherence) — самосогласованности, непротиворечивости: напр., предложение истинно, если оно является элементом логически взаимосвязанной и когерентной системы. В основании когерентной теории истины лежит восходящая к Античности (Парменид, элеаты, Аристотель) философская идея о том, что только непротиворечивое и согласованное знание может быть знанием о реальности, противоречивое же знание ничего не описывает и не объясняет. Поэтому истинность каждого отдельного фрагмента знания (предложения, теории, гипотезы и т. п.) может быть удостоверена его принадлежностью к непротиворечивой и согласованной системе. Эта идея была реставрирована в дискуссиях о применении принципа верификации: первоначальный вариант верификационизма, связанный с тезисом о конечном обосновании научного знания через редукцию к “протокольным предложениям” о наблюдениях (Карнап), был отвергнут, поскольку была показана невозможность такой редукции (см. Верификацаонизм); взамен был предложен вариант, предполагающий верификацию как способ установления непротиворечивости и согласованности системы предложений (Нейрат). В качестве методологического образца применения критерия когерентности были взяты логические и математические теории, допускающие высокую степень формализации.