Основные направления экспликации истины в логике Main directions of truth explication in logics

Ляшов В.В.

Южный федеральный университет, г. Ростов-на-Дону E-mail: liv@pbox.ttn.ru

Истина для логики. Специфический статус семантических теорий истины определяется той функциональной ролью, которую они выполняют для обоснования и контроля приме­нения формальных методов при экспликации философски важных концептуальных средств.

На этом пути можно выделить теоретико-модельный (в широком смысле слова) и син­таксический подходы. Теоретико-модельный опирается на стандартную и нестандартные теории истины. Под стандартной теорией истины понимается концепция А. Тарского, вы­полненной для экстенсионального объектного языка в экстенсиональном метаязыке, а не­стандартными считаются различные модификации подхода А. Тарского, а также другие тео­рии, а именно: I) теории истины для неэкстенсиональных объективных языков в экстенсио­нальном метаязыке, 2) теории истины для неэкстенсиональных объектных языков в неэкс­тенсиональном метаязыке, 3) теории истины, базирующиеся на подстановочной интерпрета­ции кванторов.

При синтаксическом подходе (Крипке С.) предикат истины является элементом объект­ного языка, а не метаязыковым термином.

Особо следует отметить обобщающий подход к построению семантик, учитывающий ко­герентный аспект теории истины (Смирнова Е.Д.)

Логика для истины. Специфика этого направления в экспликации истины заключается в том, что непосредственным объектом рассмотрения становятся неклассические гносеологи­ческие концепции истины: когерентная и прагматическая. Цель исследования: построить логику когерентности или прагматической истины. ( Решер Н, Коген Дж., Ньютон Да Коста, Отавио Бьено и др.)