ИМЯ

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