денотат

(от лат. denoto - обозначаю)(предметное значение)

в логике и семантике предмет, обозначаемый собственным именем некоторого языка (в формализованном языке - константой или термом), или класс предметов, обозначаемых общим (нарицательным) именем (в формализованном языке - предметной переменной). Напр., собственное имя "Волга" обозначает великую русскую реку Волгу, а сама река Волга является Д. имени "Волга". Общее имя "кос-монавт" обозначает всех людей, побывавших в космосе, и класс этих людей будет Д. данного общего имени. Другой характеристикой имени является его смысл - совокупность черт предметов, обозначаемых именем, то, что мы усваиваем, когда понимаем имя, и то, благодаря чему мы узнаем, какие предметы оно обозначает.

Д. собственных и общих имен, используемых в повседневном и научном языке, далеко не всегда являются реально существующие предметы и совокупности таких предметов. Часто в качестве Д. выступают идеализированные, абстрактные объекты, напр. объекты арифметики или геометрии; литературные герои, напр. Гамлет или Наташа Ростова; вымышленные, фантастические существа, скажем, гуингмы, и т. п. Если Д. некоторого имени не существует как некоторый реальный объект или совокупность таких объектов, то иногда считают, что такое имя вообще лишено Д. и обладает лишь одним смыслом. Использование языковых выражений такого рода может приводить к ошибкам и противоречиям. Напр., выражение "нынешний король Франции", очевидно, обозначает некоторого человека, относительно которого можно высказать то или иное утверждение, допустим: "Нынешний король Франции лыс". Если мы захотим установить, истинно или ложно это утверждение, мы можем перебрать всех ныне живущих французов с целью обнаружить среди них короля. Ясно, что короля среди них мы не найдем и вынуждены будем заключить, что наше утверждение ложно. Следовательно, должно быть истинно противоположное утверждение: "Нынешний король Франции не лыс". Но, перебрав всех нелысых французов, мы и среди них не обнаружим короля Франции. Поэтому мы будем вынуждены заключить, что два противоположных утверждения одновременно ложны, что является нарушением закона исключенного третьего. Чтобы избежать подобных ошибок, следует ясно отдавать себе отчет, какого рода существованием обладает Д. используемого нами имени.