Синонімія (від греч.(грецький) synönymia — однойменність), бінарне відношення, в якому знаходиться будь-хто два рівнозначні, але не тотожні вирази; під рівнозначністю розуміється співвіднесена або з одним і тим же денотатом (фактом, об'єктом і т. п.), або з одним і тим же сигніфікатом (мовним означаємим). У першому випадку говорять про екстенсиональной С. (наприклад, «А. С. Пушкін» = «автор «Євгенія Онегина»», «7+1» = «2 3 »), в другому — про інтенсиональной С. (наприклад, «величезний» = «величезний»; « A · B » = « A Ù В » у численні висловів). С. є одне з найбільш фундаментальних понять лінгвістики, а також логіки, логічної семантики і семіотики . У лінгвістиці досліджується в основному інтенсиональная С.; вираження А і В називаються синонімічними (між А і В має місце С.), якщо ті, що їх означають не рівні, тобто Ф ( А ) ¹ Ф ( В ), а їх означаємиє — рівні, тобто З ( A ) = З ( В ). Окремим випадком синонімічних виразів є синоніми . Незрідка говорять о С. і в разі достатньої близькості відповідних означаємих; термінологічно точніше, проте, ввести для цих випадків поняття квазісинонімії, або енгионімії («близькості по сенсу»). У лінгвістиці розрізняються морфологічна С. (тобто С. афіксів: «-тель» і «-льщик» в «рятувальник» і «нирець»), лексична С. (тобто С. лексем: «гелікоптер» і «вертоліт») і синтаксична С. (т. е. С. синтаксичних конструкцій: «красивіше за Машу» і «красивіше, ніж Маша»). У традиційній лінгвістиці досліджувалися переважно лексична С. і лексичні синоніми; у сучасній лінгвістиці найбільша увага залучає С. цілих висловів (фраз і ще більших відрізань тексту). Саме С. висловів є базою теоретичних досліджень семантики в природних мовах, де сенс вислову трактується як інваріант синонімічних перетворень цього вислови, а синонімічне перетворення розуміється як перехід від вислову А до синонімічного вислову В . Ясно, що С. є відношення еквівалентності на безлічі висловів.
С. зазвичай розглядається у зв'язку з поняттям неоднозначності, а саме — омонімією і полісемією [Ф ( А ) = Ф ( В ), C ( A ) ¹ C ( B )]. Необхідно підкреслити, що С., з одного боку, і омонімія (полісемія), з іншої — істотно не симетричні: омонімія і полісемія характерні для дрібніших одиниць мови (морфи, лексеми, рідше — синтаксичні конструкції), але маловірогідні для цілих текстів; С., навпаки, типова для великих відрізань тексту (так, досить складна фраза з двох десятків слів може мати сотні тисяч синонімічних перифраз), хоча С. зустрічається і серед дрібніших одиниць.
С. характерна і для напівформалізованих мов наукових теорій; зокрема, будь-яке (явне) визначення встановлює С. (екстенсиональную, інтенсиональную або і ту і іншу) між визначуваним і визначаючим виразами. Що стосується формалізованих мов використовуваних для опису формальних дедуктивних теорій (числень ), то інтенсиональная С. в них можлива, хоча і не обов'язкова. Екстенсиональная ж С. має місце у всіх формалізованих мовах, для виразів яких визначено хоч би одне нетривіальне відношення еквівалентності або рівність (тобто в мовах, що допускають як достеменні або доказових не лише вирази вигляду А ~ А або А = А , але і вигляду А ~ В або А = В з неспівпадаючими графічно « А » і « В »). Типові приклади такого роду: рівність алгебри ( а + b )( а - b ) = = a 2 - b 2 або еквівалентність числення предикатів ù" xa ( x ) ~ $ x ù A ( x ) (тобто равносильность тверджень про існування об'єктів, що не володіють деякою властивістю, і про те, що не всі об'єкти володіють цією властивістю). (Аналогічно квазісинонімія із звуженням або розширенням по сенсу є відношення порядку на безлічі слів або виразів.)
Літ.: Черч А., Введення в математичну логіку, пер.(переведення) з англ.(англійський), т. 1, М., 1960; Мельчук І. А., Досвід теорії лінгвістичних моделей «Сенс — Текст», М., 1974; Апресян Ю. Д., Лексична семантика. Синонімічні засоби мови, М., 1974; Шрейдер Ю. А., Логіка знакових систем, М., 1974.
