Лит.: Александр Александрович Имшенецкий, М., 1967 (АН СССР. Материалы к биобиблиографии учёных СССР. Сер. биологических наук, в. 3).

А. А. Имшенецкий.

Имшене'цкий Василий Григорьевич [4(16).1.1832, Ижевский завод, — 24.5(5.6).1892, Москва], русский математик и механик, академик Петербургской АН (1881). Один из основателей Харьковского (1879) и Петербургского (1890) математических обществ. Работы И. относятся к теории дифференциальных уравнений с частными производными, где им были значительно развиты и обобщены методы К. Якоби, О. Коши и др. Распространил приём разделения переменных на уравнения с частными производными первого порядка и дал новое приложение способа изменения произвольных постоянных к интегрированию уравнений с частными производными второго порядка.

  Лит.: Юшкевич А. П., История математики в России до 1917 г., М., 1968.

ИМЭЛ, Институт Маркса — Энгельса — Ленина при ЦК КПСС, см. Институт марксизма-ленинизма при ЦК КПСС.

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

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

  Лит.: Чёрч А., Введение в математическую логику, пер. с англ., М., 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.

И'мя в языкознании, общее название для существительных, прилагательных, числительных и иногда для местоимений, имеющих (в русском и некоторых других индоевропейских языках) грамматические категории падежа, рода, числа и употребляемых в предложении в функции подлежащего, дополнения, определения. Грамматическое понятие И. получило распространение начиная с античной грамматики и в истории языкознания менялось. Так, Аристотель определял И. негативно как слова, не имеющие категории времени. Некоторые языковеды в категорию И. включают и наречие, поскольку оно не характеризуется грамматическими категориями, свойственными глаголу. Чёткое противопоставление И. и глагола, свойственное индоевропейским и некоторым другим языкам, во многих языках мира отсутствует; например, прилагательное в японском языке в основном выступает в функции сказуемого и изменяется по временам, глагольные формы в коми языке могут иногда присоединять показатели сравнительной степени. См. Существительное, Прилагательное, Числительное, Местоимение.

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