Имя (в логике) — выражение языка, обозначающее некоторый предмет (суждения), понимаемый в широком смысле — как всё, что мы можем назвать, а не только как материальный объект.

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

Современная логика рассматривает в качестве имен не только термины (слова), но и предложения:

  1. денотатом термина считается обозначаемый им объект,
    • смыслом термина — выражаемое им свойство;
  2. денотатом предложения считается его значение истинности (истина или ложь),
    • смыслом предложения — выражаемое им суждение.

См. также[править | править код]

Материалы сообщества доступны в соответствии с условиями лицензии CC-BY-SA, если не указано иное.