ИМЯ
в
логике, выражение языка, обозначающее предмет (собственное, типа единичное,
имя) или множество (класс) предметов (общее имя); при этом предмет понимается
в широком смысле - как всё, что мы можем назвать. Среди собств. имён различают
имена отд. предметов ("Пушкин", "автор „Тита Андроника"") и имена классов
(напр., "человечество" как собств. И. класса всех людей); последние следует
отличать от общих имён (напр., "человек"): имена классов применимы к классу
в целом как к одному предмету, но не к каждому отд. его элементу, тогда
как общие имена приложимы к каждому элементу соответствующего класса, но
не к классу в целом. Различают простые, или элементарные, имена, т. е.
имена, не состоящие из других имён или иных осмысленных выражений языка,
и сложные имена - имена, построенные из осмысленных частей (И. "человечество"
- простое, а И. "современное человечество" - сложное). В формализованных
языках аналогом собственного имени является константа; собств. именам
предметов соответствуют т. н. индивидные константы, собств. именам классов
- классовые константы; аналогами общего имени являются переменная и терм.
Собственные имена в формализованных языках подразделяются на исходные собств.
имена, к-рым приписываются определённые значения, и (сложные) имена, построенные
из исходных (т. е. имена, строение к-рых отражает тот способ, к-рым они
обозначают предмет).
Имена и связанные
с ними отношения (прежде всего отношение между именем и тем предметом,
к-рый И. обозначает, - отношение обозначения, или именования) изучаются
в логической семантике. В ней рассматривается, в частности, т. н.
семантический треугольник - отношения между тремя объектами: именем, смыслом
имени и обозначаемым (множеством обозначаемых).
Лит.: Чёрч
А., Введение в математическую логику, пер. с англ., М., 1960; Р о б и п-сон
А., Введение в теорию моделей и метаматематику алгебры, пер. с англ., М.,
1967; Карри X. Б., Основания математической логики, пер. с англ., М., 1969;
Нагель Э., Ньюмен Д., Теорема Гёделя, пер. с англ., М., 1970; Tarski A.,
Logic, semantics,metaniathematics, Oxf., 1956; Cam ар R., The logical syntax
of language, Paterson (N. J.), 1959; Martin R. M., Truth and denotation,
a study in semantical theory, £... 1958.
А Б В Г Д Е Ё Ж З И Й К Л М Н О П Р С Т У Ф Х Ц Ч Ш Щ Ъ Ы Ь Э Ю Я