Философская энциклопедия - синонимы

СИНО́НИМЫ

(от греч. συνώνυμος – одноименный) в л о г и к е – два или более (графически) различных выражения к.-л. (формализованного) языка, обозначающие, или называющие (при интерпретации этого языка), один и тот же объект (или др. словами, имеющие одно и то же значение). Поэтому С. естественно рассматривать как результат абстракции отождествления по обозначению (но не по смыслу!), а синонимию – как тождество слов в силу отношения именования, для к-рого правило замены равного равным действует, конечно, с ограничением: только в интервале экстенсиональных контекстов (см.

Экстенсиональные и неэкстенсиональные языки). И в натуральных и в искусств. языках наличие С. выражает нек-рую "избыточность" этих языков, к-рая, с одной стороны, отвечает "естественному" в нек-ром роде их построению, предполагающему введение различных имен для одних и тех же объектов в тех случаях, когда это оказывается целесообразным, или даже необходимым (во всяком случае любое нетривиальное употребление отношения типа равенства, или эквивалентности, предполагает использование С.

M. Новосёлов. Москва.

Философская Энциклопедия. В 5-х т. — М.: Советская энциклопедия. Под редакцией Ф. В. Константинова. 1960—1970.