Синонимия

(от греч. Synönymia — одноимённость) бинарное Отношение, в котором находятся любые два равнозначные, но не тождественные выражения. Под равнозначностью понимается соотнесенность либо с одним и тем же денотатом (фактом, объектом и т. П.), либо с одним и тем же сигнификатом (языковым означаемым). В первом случае говорят об экстенсиональной С. (например, «А. С. Пушкин» = «автор «Евгения Онегина»», «7+1» = «23»), во втором — об интенсиональной С. (например, «огромный» = «громадный». «A · B» = «A ∧ В» в исчислении высказываний). С. Представляет собой одно из наиболее фундаментальных понятий лингвистики, а также логики (См. Логика), логической семантики (См. Логическая семантика) и семиотики (См. Семиотика). В лингвистике исследуется в основном интенсиональная С.

Выражения А и В называются синонимичными (между А и В имеет место С.), если их означающие не равны, т. Е. Ф (А) ≠ Ф (В), а их означаемые — равны, т. Е. С (A) = С (В). Частным случаем синонимичных выражений являются Синонимы. Нередко говорят о С. И в случае достаточной близости соответствующих означаемых. Терминологически точнее, однако, ввести для этих случаев понятие квазисинонимии, или энгионимии («близости по смыслу»). В лингвистике различаются морфологическая С. (т. Е. С. Аффиксов. «-тель» и «-льщик» в «спасатель» и «ныряльщик»), лексическая С. (т. Е. С. Лексем. «геликоптер» и «вертолёт») и синтаксическая С. (т. Е. С. Синтаксических конструкций. «красивее Маши» и «красивее, чем Маша»). В традиционной лингвистике исследовались преимущественно лексическая С.

И лексические синонимы. В современной лингвистике наибольшее внимание привлекает С. Целых высказываний (фраз и ещё больших отрезков текста). Именно С. Высказываний является базой теоретических исследований семантики в естественных языках, где смысл высказывания трактуется как инвариант синонимических преобразований этого высказывания, а синонимическое преобразование понимается как переход от высказывания А к синонимическому высказыванию В. Ясно, что С. Есть отношение эквивалентности на множестве высказываний. С. Обычно рассматривается в связи с понятием неоднозначности, а именно — омонимией (См. Омонимия) и полисемией (См. Полисемия) [Ф (А) = Ф (В), C (A) ≠ C (B)]. Необходимо подчеркнуть, что С., с одной стороны, и омонимия (полисемия), с другой — существенно не симметричны.

Омонимия и полисемия характерны для более мелких единиц языка (морфы, лексемы, реже — синтаксические конструкции), но маловероятны для целых текстов. С., напротив, типична для больших отрезков текста (так, достаточно сложная фраза из двух десятков слов может иметь сотни тысяч синонимичных перифраз), хотя С. Встречается и среди более мелких единиц. С. Характерна и для полуформализованных языков научных теорий. В частности, любое (явное) Определение устанавливает С. (экстенсиональную, интенсиональную или и ту и другую) между определяемым и определяющим выражениями. Что касается формализованных языков (См. Формализованный язык), используемых для описания формальных дедуктивных теорий (исчислений (См. Исчисление)), то интенсиональная С.

В них возможна, хотя и не обязательна. Экстенсиональная же С. Имеет место во всех формализованных языках, для выражений которых определено хотя бы одно нетривиальное отношение эквивалентности (См. Эквивалентность) или равенства (См. Равенство) (т. Е. В языках, допускающих в качестве истинных или доказуемых не только выражения вида А Синонимия А или А = А, но и вида А Синонимия В или А = В с несовпадающими графически «А» и «В»). Типичные примеры такого рода. Алгебраическое равенство (а + b)(a - b) = = a2 - b2 или эквивалентность исчисления предикатов ⌉∀xA (x) Синонимия ∃x⌉A (x) (т. Е. Равносильность утверждений о существовании объектов, не обладающих некоторым свойством, и о том, что не все объекты обладают этим свойством).

(Аналогично квазисинонимия с сужением или расширением по смыслу есть отношение порядка на множестве слов или выражений.) Лит. Чёрч А., Введение в математическую логику, пер. С англ., т. 1, М., 1960. Мельчук И. А., Опыт теории лингвистических моделей «Смысл — Текст», М., 1974. Апресян Ю. Д., Лексическая семантика. Синонимические средства языка, М., 1974. Шрейдер Ю. А., Логика знаковых систем, М., 1974..