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

Философ и логик, доктор философских наук, профессор.

Род. в с.Верхне-Спасское Тамбовской обл.
Окончил философский факультет МГУ (1965), аспирантуру того же факультета (1971).
С 1956 по 1965 работал на железнодорожном транспорте. Автор около 200 рационализаторских предложений.
С 1965 по 1978 – преподаватель логики в Высшей школе, а затем – в Академии МВД.
С 1978 работает на философский факультете МГУ: доцент, профессор (с 1987), заведующий кафедрой логики (с 1982).
Кандидатская диссертация – “Логика норм” (1972).
Докторская диссертация – “Содержательная семантика модальной логики” (1986).
Лауреат Ломоносовской премии МГУ (1995). Действительный член Академии гуманитарных наук (1995). Член-корреспондент РАЕН (1996), действительный член РАЕН (1997).
Ивлев является основателем нового направления исследований в области логики – им предложена квазиматричная (квазифункциональная) логика. Основным понятием этой логики является понятие квазифункции. Если функцией называется соответствие, в силу которого определенный объект из некоторого множества соотносится с определенным объектом из того же или другого множества, то квазифункция – это соответствие, в силу которого некоторый объект из определенного подмножества некоторого множества соотносится с некоторым объектом из определенного подмножества того же самого или другого множества. Неопределенность, выражаемая квазифункцией, может быть как познавательной, так и обусловленной самой действительностью.
На основе принципа квазифункциональности и некоторых других принципов, являющихся обобщением принципов классовой логики, построены системы фактических модальностей. Выдвинута задача перестроить основные разделы математики на базе понятия квазифункции. В результате решения этой задачи традиционные разделы математики окажутся частными случаями вновь созданных (математический анализ – частным случаем математического квазианализа, алгебра – частным случаем квазиалгебры и т.д.). Новая математика может найти более широкое применение при моделировании природных и соц. явлений.
Ивлевым разработаны семантики логических модальностей, в которых не используются не имеющие содержательной интерпретации понятия модельных структур,- это семантики ограниченных и относительно ограниченных множеств описаний состояний. Им разработан учебный курс современной логики, включающий проблемы традиционной логики (проблемы аргументации, суждения, понятия, определения, классификации и др.), решаемые средствами логики символической.

© AZ, 2009 - 2017
Сайт подготовлен при финансовой поддержке РГНФ № 09-03-12124в.