Имя в логике

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

И. Н. Грифцова.