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