ИВЛЕВ Юрий Васильевич

(р. 21.12.1936) — философ и логик; д. филос. н., проф. Р. в с. Верхне-Спасское Тамбовской обл. Окончил филос. ф-т МГУ (1965), асп. того же ф-та (1971). С 1956 по 1965 работал на ж.-д. транспорте. С 1965 по 1978 — преп. логики в Высшей школе, а затем — в Академии МВД. С1978 — на филос. ф-те МГУ: доц., проф., зав. кафедрой логики (1982-2003), в наст. вр. — проф. Канд. дисс. — «Логика норм» (1972). Докт. дисс. — «Содержательная семантика модальной логики» (1986). Лауреат Ломоносовской премии МГУ (1995). Д. ч. Академии гуманит. наук (1995). Д. ч. РАЕН (1997). Заслуженный работник Высшей школы РФ. И. является основателем нового направления иссл. в обл. логики — им предложена квазиматричная (квазифункциональная) логика. Осн. понятием этой логики является понятие квазифункции. Если функцией называется соответствие, в силу к-рого определенный объект из нек-рого множества соотносится с определенным объектом из того же или др. множества, то квазифункция — это соответствие, в силу к-рого нек-рый объект из определенного подмножества нек-рого множества соотносится с нек-рым объектом из определенного подмножества того же самого или др. множества. Неопределенность, выражаемая квазифункцией, м. б. как познавательной, так и обусловленной самой действительностью. На основе принципа квазифункциональности и нек-рых др. принципов, являющихся обобщением принципов класс, логики, построены системы фактических модальностей. Выдвинута задача перестроить осн. разделы математики на базе понятия квазифункции. В результате решения этой задачи традиц. разделы математики окажутся частными случаями вновь созданных (матем. анализ — частным случаем матем. квазианализа, алгебра — частным случаем квазиалгебры и т. д.). Новая математика может найти более широкое применение при моделировании природных и соц. явлений. И. разработаны семантики логич. модальностей, в к-рых не используются не имеющие содержательной интерпретации понятия модельных структур, — это семантики ограниченных и относительно ограниченных множеств описаний состояний. Им разработан учебный курс совр. логики, включающий проблемы традиц. логики (проблемы аргументации, суждения, понятия, определения, классификации и др.), решаемые средствами логики символической.
Соч.: Основания логики норм // ФН. 1969. № 6; Табличное построение пропозициональной модальной логики // Вестник МГУ. Сер. 7. «Философия». 1973. № 5; Логика. М., 1976; Логика в управлении. М., 1979; Семантический анализ модальных высказываний // Вестник МГУ. Сер. 7. «Философия». 1982. № 5; Содержательная семантика модальной логики. М., 1985; Курс лекций по логике. М., 1988; Модальная логика. М., 1991; Квазифункциональная логика // Научнотехническая информация. Сер. 2. «Информационные процессы и системы». 1992. № 6; Логика. Уч. для вузов. М., 1992, 1997, 1998, 1999, 2000, 2001, 2002, 2006, 2007; Квазифункциональные семантики ограниченных множеств описаний состояний // Логические исследования. Вып. 1. М., 1993; Логика. Эскпериментальный уч. для студентов гуманит. вузов и ф-тов. М., 1994; Логика для юристов. Уч. М., 1996, 2000, 2001, 2002, 2004; Логика. Уч. М., 1997; Логика. Сб. упражнений. М., 1998; Теория логических модальностей // Логические исследования. Вып. 6. М., 1999; Некоторые проблемы TRACTATUS LOGICO-PHILOSOPHICUS с точки зрения современной логики // Труды семинара логического центра ИФ РАН. Вып. 14. М., 2000; Квазиматричная логика — основа теории фактических модальностей // Логические исследования. Вып. 8. М., 2001; Основы логической теории аргументации//Логические исследования. Вып. 10. М., 2003; статьи: Аргументация, Суждение, Семантические таблицы, Вопрос // НФЭ: В 4 т. М., 2000-01; Основные области приложения квазиматричной логики // Логические исследования. Вып. 9. М., 2002; Бэкона-Милля методы // Словарь философских терминов. М., 2002; Логика юридической аргументации // Труды научно-исследовательского семинара логического центра ИФ РАН. М., 2004; Квазифункциональная логика и логика пропозициональных установок (на англ. яз.) // Philosophic und Logik. Berlin; N.Y., 1993; Outlines of the transition from the principles of traditional logic to the principles of non-classical logic // Zwischen traditioneller und modernen logik. Mentic; Paderborn, 2001; Quasi-matrix logic as a paraconsistent logic for dubitable information // Logic and Logical Philosophy. Volume 8. (2000). 2002; Quasi-matrix Logic // Journal of Multi. Val. Logic and Soft Computing. 2005. Vol. 3-4.