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

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

Имена и связанные с ними отношения (прежде всего отношение между именем и тем предметом, который И. обозначает, — отношение обозначения, или именования) изучаются в логической семантике. В ней рассматривается, в частности, так называемый семантический треугольник — отношения между тремя объектами: именем, смыслом имени и обозначаемым (множеством обозначаемых).


Лит.: Чёрч А., Введение в математическую логику, пер. с англ., М., 1960; Робинсон А., Введение в теорию моделей и метаматематику алгебры, пер. с англ., М., 1967; Карри Х. Б., Основания математической логики, пер. с англ., М., 1969; Нагель Э., Ньюмен Д., Теорема Гёделя, пер. с англ., М., 1970; Tarski A., Logic, semantics, metamathematics, Oxf., 1956; Carnap R., The logical syntax of language, Paterson (N. J.), 1959; Martin R. M., Truth and denotation, a study in semantical theory, L., 1958.


Большая советская энциклопедия. — М.: Советская энциклопедия. 1969—1978.

Смотреть что такое "Имя (в логике)" в других словарях:

  • ИМЯ (в логике) — ИМЯ, в логике языковой знак (выражение), называющий индивидуальный предмет (собственное имя) или любой предмет из некоторого класса (общее имя). Предметом имени (его денотатом (см. ДЕНОТАТ)) может быть вещь, свойство, отношение и т. п …   Энциклопедический словарь

  • ИМЯ — выражение языка, которое может использоваться в качестве подлежащего или именной части сказуемого в простом предложении «S есть Р» (или: «... есть...»). Напр., выражения «Гарвей», «Менделеев» и «человек, открывший кровообращение» являются И.,… …   Философская энциклопедия

  • ИМЯ — в логике языковой знак (выражение), называющий индивидуальный предмет (собственное имя) или любой предмет из некоторого класса (общее имя). Предметом имени (его денотатом) может быть вещь, свойство, отношение и т. п …   Большой Энциклопедический словарь

  • Имя — Имя  слово, реже сочетание слов, называющее, именующее вещь или человека. Отличительные черты имени как типа слов связаны также с особенностями процесса именования (см. Номинация), приводящего к имени, и с ролью имени в предложении.… …   Лингвистический энциклопедический словарь

  • имя — имени; мн. имена, имён, именам; ср. 1. Личное название человека, даваемое ему при рождении. Собственное и. Его и. Иван. Назвать по имени. Звать по имени кого л. Дать ребёнку и. Пётр. Полное и. (официальная форма имени). Моё полное и. Надежда, а… …   Энциклопедический словарь

  • Имя — I Имя         в логике, выражение языка, обозначающее предмет (собственное, или единичное, имя) или множество (класс) предметов (общее имя); при этом предмет понимается в широком смысле как всё, что мы можем назвать. Среди собственных имён… …   Большая советская энциклопедия

  • имя — 1. (грам.) Одна из основных частей речи, наряду с глаголом. Имена обозначают предметы и их постоянные признаки. В связи с этим они делятся на: 1) существительные 2) прилагательные. Особую, лексически замкнутую группу образуют имена числительные,… …   Словарь лингвистических терминов Т.В. Жеребило

  • имя — выражение естественного или искусственного, формализованного языка, обозначающее отдельный предмет, совокупность сходных предметов, свойства, отношения и т. п. Напр., слово Наполеон обозначает отдельный предмет Наполеона Бонапарта; слово… …   Словарь терминов логики

  • Философия в советской и постсоветской России —    1. Советский период. Развитие философской мысли в России после 1917 г. претерпело кардинальные изменения. Мн. представители религиозно философских течений, господствовавших в кон. XIX нач. XX в., были высланы или эмигрировали из страны.… …   Русская Философия. Энциклопедия

  • универсалии в западноевропейской философии —         УНИВЕРСАЛИИ В ЗАПАДНОЕВРОПЕЙСКОЙ ФИЛОСОФИИ имеют два основных значениях: 1) объектное, связанное с определением вещи, и 2) субъектное, связанное со способностью суждения, вырабатывающего критерии истинности или ложности, прекрасного и… …   Энциклопедия эпистемологии и философии науки

Книги

Другие книги по запросу «Имя (в логике)» >>


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»