СИНОНИМ

от греч. ????????? – одноименный) в л о г и к е – два или более (графически) различных выражения к.-л. (формализованного) языка, обозначающие, или называющие (при интерпретации этого языка), один и тот же объект (или др. словами, имеющие одно и то же значение). Поэтому С. естественно рассматривать как результат абстракции отождествления по обозначению (но не по смыслу!), а синонимию – как тождество слов в силу отношения именования, для к-рого правило замены равного равным действует, конечно, с ограничением: только в интервале экстенсиональных контекстов (см. Экстенсиональные и неэкстенсиональные языки). И в натуральных и в искусств. языках наличие С. выражает нек-рую "избыточность" этих языков, к-рая, с одной стороны, отвечает "естественному" в нек-ром роде их построению, предполагающему введение различных имен для одних и тех же объектов в тех случаях, когда это оказывается целесообразным, или даже необходимым (во всяком случае любое нетривиальное употребление отношения типа равенства, или эквивалентности, предполагает использование С.), а с др. стороны – требует определенной осторожности при употреблении С.: в логической семантике рассматривается спец. проблема синонимии, связанная с таким "плохим" употреблением С., к-рое приводит к т.н. парадоксам синонимии (в частности, при постулировании неограниченной взаимозаменяемости С. в любых контекстах; см. Р. Карнап, Значение и необходимость, пер. с англ., М., 1959, гл. 3, § 31). M. Новоселов. Москва.