Ім'я в логіці, вираження мови, що позначає предмет (власне, або одиничне, ім'я) або безліч (клас) предметів (загальне ім'я); при цьому предмет розуміється в широкому сенсі — як все, що ми можемо назвати. Серед власних імен розрізняють імена окремих предметів («Пушкін», «автор “Тіта Андроника”») і імена класів (наприклад, «людство» як власне І. класу всіх людей); останні слід відрізняти від загальних імен (наприклад «людина»): імена класів застосовні до класу в цілому як до одного предмету, але не до кожного окремого його елементу, тоді як загальні імена прикладені до кожного елементу відповідного класу, але не до класу в цілому. Розрізняють прості, або елементарні, імена, тобто імена, що не складаються з інших імен або інших осмислених виразів мови, і складні імена — імена, побудовані з осмислених частин (І. «людство» — просте, а І. «сучасне людство» — складне). У формалізованих мовах аналогом власного імені є константа; власним іменам предметів відповідають так звані індівідниє константи, власним іменам класів — класові константи; аналогами загального імені є змінна і терм. Власні імена у формалізованих мовах підрозділяються на вихідні власні імена, яким приписуються певні значення, і (складні) імена побудовані з початкових (тобто імена, будову яких відображає той спосіб, яким вони позначають предмет).
Імена і пов'язані з ними стосунки (перш за все відношення між ім'ям і тим предметом, який І. позначає, — відношення позначення, або іменування) вивчаються в логічній семантиці . У ній розглядається, зокрема, так званий семантичний трикутник — стосунки між трьома об'єктами: ім'ям, сенсом імені і що позначається (безліччю тих, що позначаються).
Літ.: Черч А., Введення в математичну логіку, пер.(переведення) з англ.(англійський), М., 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, а study in semantical theory, L., 1958.
