(р. 21.12.1936) — философ и логик; д-р филос. наук, проф. Род. в с. Верхне-Спас-ское Тамбовской обл. Окончил филос. ф-т МГУ (1965), асп. того же ф-та (1971). С 1956 по 1965 работал на железнодорожном транспорте. Автор около 200 рационализаторских предложений. С 1965 по 1978 — преп. логики в Высшей школе, а затем — в Академии МВД. С 1978 работает на филос. ф-те МГУ: доц., проф. (с 1987), зав. кафедрой логики (с 1982). Канд. дисс. — "Логика норм" (1972). Докт. дисс. — "Содержательная семантика модальной логики" (1986). Лауреат Ломоносовской премии МГУ (1995). Действ. чл. Академии гуманит. наук (1995). Чл.-корр. РАЕН (1996), действ. чл. РАЕН (1997). И. является основателем нового направления иссл. в обл. логики — им предложена квазиматричная (квазифункциональная) логика. Осн. понятием этой логики является понятие квазифункции. Если функцией называется соответствие, в силу к-рого определ. объект из нек-рого множества соотносится с определ. объектом из того же или др. множества, то квазифункция — это соответствие, в силу к-рого нек-рый объект из определ. подмножества нек-рого множества соотносится с нек-рым объектом из определ. подмножества того же самого или др. множества. Неопределенность, выражаемая квазифункцией, м.б. как познавательной, так и обусловленной самой действительностью. На основе принципа квазифункциональности и нек-рых др. принципов, являющихся обобщением принципов класс. логики, построены системы фактических модальностей. Выдвинута задача перестроить осн. разделы математики на базе понятия квазифункции. В результате решения этой задачи традиц. разделы математики окажутся частными случаями вновь созданных (матем. анализ — частным случаем матем. квазианализа, алгебра — частным случаем квазиалгебры и т.д.). Новая математика может найти более широкое применение при моделировании природных и соц. явлений. И. разработаны семантики ло-гич. модальностей, в к-рых не используются не имеющие содержательной интерпретации понятия модельных структур,— это семантики ограниченных и относительно ограниченных множеств описаний состояний. Им разработан учебный курс совр. логики, включающий проблемы традиц. логики (проблемы аргументации, суждения, понятия, определения, классификации и др.), решаемые средствами логики символической.
Соч.
: Основания логики норм // ФИ. 1969. Мб; Табличное построение пропозициональной модальной логики // В. МГУ. Сер."Философия". 1973. № 5; О содержательной семантике модальной логики // VII Всес. симпозиум по логике и методологии науки. Киев, 1976; Логика. М., 1976; Логика в управлении. М., 1979; Содержательная семантика модальной логики // Логико-методологические исследования. М., 1980; Семантический анализ модальных высказываний // В. МГУ. Сер."Философия". 1982. № 5; Содержательная семантика модальной логики. М., 1985; Курс лекций по логике. М., 1988; Содержательное построение систем модальной логики // Логика научного познания. М., 1987; Модальная логика. М., 1991; Квазифункциональная логика // Научно-техническая информация. Сер.2."Информационные процессы и системы". 1992. № 6; Логика. Учебник для вузов. М., 1992, 1997, 1998, 1999, 2000, 2001; Квазифункциональные семантики ограниченных множеств описаний состояний // Логические исследования. Вып.1. М., 1993; Квазифункциональная логика и логика пропозициональных установок (на англ. яз.) // Philosophie und Logik. Berlin, N.Y., 1993; Логика. Эскпериментальный учебник для студентов гуманитарных вузов и факультетов. М., 1994; Логика для юристов. Учебник. М., 1996, 2000; Логика. Учебник. М., 1997; Логика. Сборник упражнений. М., 1998; Квазиматричная логика как паранепротиворечивая логика сомнительных высказываний (на англ. языке) // "Parainconsistent Logic, Logical Philosophy, Mathematics & Informatics". Торунь, 1988; Теория логических модальностей // Логические исследования. Вып.6. М., 1999; Theory of Logical Modalities // Multi. Val. Logic. Vol.5. 2000; Проблема построения теории фактических модальностей // Логические исследования. [В соавт.]. Вып.7. М., 2000; Некоторые проблемы TRACTATUS LOGICO-PHILOSOPHICUS с точки зрения современной логики // Труды семинара логического центра ИФ РАН. Вып.14. М., 2000.
Ивлев, Юрий Васильевич
Заведующий кафедрой логики МГУ с 1982 г.; родился 21 декабря 1936 г. в с. Верхне-Спасское Тамбовской области; окончил философский факультет МГУ в 1965 г., доктор философских наук, профессор; 1956—1965 — работал на железнодорожном транспорте; 1965—1978 — преподавал в учебных заведениях МВД СССР; с 1979 г. работает на философском факультете МГУ; академик РАЕН (1997); академик Академии гуманитарных наук; лауреат Ломоносовской премии за учебники по логике.