23 ИМЯ КАК СЕМАНТИЧЕСКАЯ КАТЕГОРИЯ ЯЗЫКА

Важной задачей логики является изучение имени как семантической категории языка.

Имя в логике – это выражение языка, обозначающее некоторый предмет, совокупность сходных предметов, свойство, отношение. Также имя можно определить как языковое выражение такого рода, которое, будучи соотнесенным в качестве знака с каким—либо предметом, явлением, процессом действительности, превращает его в предмет мысли.

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

Второй тип разделения имен связан с их опи—сательностью. В данном контексте выделяются простые (неописательные) и сложные (описательные) имена. Простыми именами являются выражения языка, которые не имеют собственного смысла и могут иметь лишь приданный смысл. Часто эти имена имеют вид собственных, например Москва, Юпитер. Сложные имена имеют свой собственный смысл.

Различают также единичные и общие имена. Единичные имена обозначают отдельные предметы. Общее имя является знаком производного предмета некоторого класса. Можно сказать, что общие имена не являются именами в собственном смысле. Более точно будет определять их как переменные естественного языка. В искусственном языке их заменяют специальные понятия, которые называются предметными понятиями.

Имена играют важную роль в языке: они выступают логическими подлежащими в предложениях. Под этим подразумевается, что они указывают на то, к чему относятся содержащиеся в предложениях утверждения или отрицания. Например, «Париж – столица Франции» или «Некоторые люди – ленивы». Следует отметить, что общие имена в сочетании со связкой «есть» могут выступать в качестве логических сказуемых. Например, в предложениях «Книга есть произведение искусства» или «Платон есть древнегреческий философ» единичные имена, в отличие от общих, не могут выступать в роли логических сказуемых.