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

(р. 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); академик Академии гуманитарных наук; лауреат Ломоносовской премии за учебники по логике.