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