Страница 38 из 39
Посягательства на государственное или общественное имущество других социалистических государств, находящееся на территории СССР, наказываются наравне с преступлениями против социалистической собственности (ст. 101 УК РСФСР), а посягательства на имущество объединений, не являющихся социалистическими организациями (например, церковь), — наравне с преступлениями против личной собственности граждан (ст. 151 УК РСФСР). При передаче государством в пользование объединению, не являющемуся социалистической организацией, определённого имущества хищение такого имущества считается посягательством на социалистическую собственность.
С. С. Стеничев.
Имущественный наём
Иму'щественный наём, см. Наём имущественный.
Имущественный ценз
Иму'щественный ценз, см. в ст. Цензы избирательные.
Имущество
Иму'щество в праве, понятие, применяемое для обозначения: 1) совокупности вещей и материальных ценностей, состоящих во владении какого-либо лица (в таком понимании термин «И.» применяется в советском законодательстве наиболее часто); 2) совокупности вещей и имущественных прав на получение их от других лиц. Так, устанавливая правила об ответственности социалистической организации по своим обязательствам, советский закон определяет её объём в пределах принадлежащего им (закрепленного за ними) И., на которое по закону может быть обращено взыскание; 3) совокупности вещей, имущественных прав и обязанностей, которые характеризуют имущественное положение их носителя.
Имхотеп
Имхоте'п (жил около 28 в. до н. э. в Мемфисе), древнеегипетский архитектор, верховный сановник, начальник всех строительных работ при фараоне Джосере. Соорудил ступенчатую пирамиду и заупокойный храм фараона Джосера в Саккаре.
Имшенецкий Александр Александрович
Имшене'цкий Александр Александрович [р. 26.12.1904(8.1.1905), Киев], советский микробиолог, академик АН СССР (1962; член-корреспондент 1946). В 1926 окончил Воронежский университет. С 1930 в институте микробиологии АН СССР, с 1949 директор. Основные труды по морфологии, экологической физиологии микроорганизмов, их роли в круговороте веществ в природе. Установил отличие ядерного аппарата бактерий от клеточных ядер высших организмов. Показал, что термофильные бактерии размножаются быстрее мезофильных и обладают ферментами, сохраняющими активность при 90 °С. Доказал (1954) возможность окисления аммиака бесклеточными препаратами из клеток нитрифицирующих бактерий. Исследуя разложение целлюлозы микроорганизмами, установил, что в аэробных условиях целлюлоза разлагается преимущественно миксобактериями. Изучал закономерности изменчивости микроорганизмов под влиянием мутагенов и физиологию образующихся мутантов, в том числе представляющих практический интерес. Получил полиплоидные культуры дрожжей Candida и некоторых бактерий. Исследовал ферменты микроорганизмов, в том числе фибринолитические (растворяющие тромбы) и холестериноксидазу. Автор работ по космической биологии (действие высокого вакуума и радиации на земные микроорганизмы, методы обнаружения жизни вне Земли и микробиологического анализа метеоритов). И. присуждена медаль Л. Пастера (1955). Награжден орденом Ленина, 2 другими орденами, а также медалями.
Соч.: Строение бактерий, М.—Л., 1940; Микробиологические процессы при высоких температурах, М.—Л., 1944; Микробиология целлюлозы, М., 1953; Экспериментальная изменчивость микроорганизмов, М., 1956.
Лит.: Александр Александрович Имшенецкий, М., 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.