ім'я в логіці

ІМ'Я в логіці — вираз мови, що позначає предмет або клас предметів; при цьому предмет розуміють як усе, що можна назвати. Якщо І. позначає один предмет, воно є власним, або одиничним, якщо клас предметів — загальним. Відношення між І. та предметом, який це І. позначає, є відношенням найменування або позначення. Його вивчає семантика в логіці. І. позначає предмет і виражає смисл. Різниця між функцією позначення і виразом смислу яскраво виявляється у тих випадках, коли порівнюють кілька І. одного і того самого предмета. І. завжди має смисл, але не в усіх мовах усі І. позначають предмет.

Джерело: Філософський енциклопедичний словник на Slovnyk.me