Словарь логики

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