Имя (в логике)

Имя в логике, выражение языка, обозначающее предмет (собственное, или единичное, имя) или множество (класс) предметов (общее имя). При этом предмет понимается в широком смысле — как всё, что мы можем назвать. Среди собственных имён различают имена отдельных предметов («Пушкин», «автор ⌠Тита Андроника■») и имена классов (например, «человечество» как собственное И. Класса всех людей). Последние следует отличать от общих имён (например, «человек»). Имена классов применимы к классу в целом как к одному предмету, но не к каждому отдельному его элементу, тогда как общие имена приложимы к каждому элементу соответствующего класса, но не к классу в целом. Различают простые, или элементарные, имена, т. Е. Имена, не состоящие из других имён или иных осмысленных выражений языка, и сложные имена — имена, построенные из осмысленных частей (И.

«человечество» — простое, а И. «современное человечество» — сложное). В формализованных языках аналогом собственного имени является константа. Собственным именам предметов соответствуют так называемые индивидные константы, собственным именам классов — классовые константы. Аналогами общего имени являются переменная и терм. Собственные имена в формализованных языках подразделяются на исходные собственные имена, которым приписываются определённые значения, и (сложные) имена, построенные из исходных (т. Е. Имена, строение которых отражает тот способ, которым они обозначают предмет).Имена и связанные с ними отношения (прежде всего отношение между именем и тем предметом, который И. Обозначает, — отношение обозначения, или именования) изучаются в логической семантике.