Условия адекватности языка тернарного описания логике предикатов

Abstract

Развивая идеи Аристотеля, о взаимодействии однородных вещей, которые различны по виду, А. Цофнас полагает, что система Х является адекватной системе Y тогда, когда Х и Y определены в одном и том же смысле (изоконцептность), но дифференцированы по способам и средствам выражения (разность субстратов). Совпадение концептов – это условие релевантности, а расхождение по субстрату – дивергентности этих систем. Можно показать, что логика предикатов (ЛП) и язык тернарного описания (ЯТО) являются релевантными по смыслу, и дивергентными по субстрату.