Профессор кафедры логики философского факультета МГУ им. М.В. Ломоносова; родился 21 декабря 1936 г. в с. Верхне-Спасское Тамбовской области; окончил философский факультет МГУ в 1965 г., доктор философских наук, профессор; 1956-1965 - работал на железнодорожном транспорте; 1965-1978 - преподавал в учебных заведениях МВД СССР; с 1979 г. работает на философском факультете МГУ; академик РАЕН (1997); академик Академии гуманитарных наук; лауреат Ломоносовской премии за учебники по логике. Область научных интересов: модальная логика, квазифункциональная логика, деонтическая логика, логика в управлении, теория аргументации. Основные научные результаты: разрабатывает новое направление в логике - квазиматричную (квазифункциональную) логику; построил ряд квазифункциональных систем с фактическими модальностями; предложил квазифункциональные варианты деонтической, эпистемической и паранепротиворечивой логик; выдвинул задачу перестройки основных разделов математики на базе понятия квазифункции; разработал семантики логических модальностей без использования понятия модельной структуры - семантики ограниченных и относительно ограниченных множеств описаний состояний.