Опыт теории лингвистических моделей "Смысл - текст"

Что касается формализованных языков, используемых для описания формальных дедуктивных теорий (исчислений), то интенсиональная С. в них возможна, хотя и не обязательна. Экстенсиональная же С. имеет место во всех формализованных языках, для выражений которых определено хотя бы одно нетривиальное отношение эквивалентности или равенства (т. е. в языках, допускающих в качестве истинных или доказуемых не только выражения вида А ~ А или А = А, но и вида А ~ В или А = В с несовпадающими графически «А» и «В»). Типичные примеры такого рода: алгебраическое равенство (а + b)(a - b) = = a2 - b2 или эквивалентность исчисления предикатов u"xA (x) ~ $xuA (x) (т. е. равносильность утверждений о существовании объектов, не обладающих некоторым свойством, и о том, что не все объекты обладают этим свойством). (Аналогично квазисинонимия с сужением или расширением по смыслу есть отношение порядка на множестве слов или выражений.)   Лит.: Чёрч А., Введение в математическую логику, пер. с англ., т. 1, М., 1960; Мельчук И. А., Опыт теории лингвистических моделей «Смысл — Текст», М., 1974; Апресян Ю. Д., Лексическая семантика ...»