ИМЯ

в логике, выражение естественного или искусственного, формализованного языка, обозначающее предмет (собственное, или единичное, И.) или класс, множество предметов (нарицательное, или общее, И.). Обозначаемый (называемый) И. предмет или класс, по терминологии традиц. логики, есть объём (экстенсионал) понятия, «носящего» это И. В совр. формальной логике, придерживаясь терминологии Г. Фреге - А. Чёрча, принятой в логич. семантике, этот предмет (класс) наз. денотатом данного И., или его значением, отличая эту объёмную характеристику И. от содержательной (интенсиональной), представляющей совокупность характеризующих данное И. признаков и называемой его смыслом (и н т е н с и о н а л о м; по традиц. логич. терминологии - содержанием данного понятия). Формализов. языки строятся обычно так, что денотат есть однозначная функция смысла (в естеств. языках это условие может и нарушаться), но не наоборот (из чего и следует необходимость различения этих двух «способов реализации» И.). Напр., И. «утренняя звезда» и И. «вечерняя звезда» имеют очевидным образом различный смысл (фиксирующий время нахождения обозначаемого этими И. светила на небосводе), но общий денотат - планета Венера. См. также Семантика.