Профессор кафедры логики философского факультета МГУ им. М.В. Ломоносова.

Родился 21 декабря 1936 г. в с. Верхне-Спасское Тамбовской области.

Окончил философский факультет МГУ в 1965 г., доктор философских наук, профессор.

1956-1965 - работал на железнодорожном транспорте.

1965-1978 - преподавал в учебных заведениях МВД СССР.

С 1979 г. работает на философском факультете МГУ.

Академик РАЕН (1997).

Академик Академии гуманитарных наук.

Лауреат Ломоносовской премии за учебники по логике. Область научных интересов: модальная логика, квазифункциональная логика, деонтическая логика, логика в управлении, теория аргументации. Основные научные результаты: разрабатывает новое направление в логике - квазиматричную (квазифункциональную) логику.

Построил ряд квазифункциональных систем с фактическими модальностями.

Предложил квазифункциональные варианты деонтической, эпистемической и паранепротиворечивой логик.

Выдвинул задачу перестройки основных разделов математики на базе понятия квазифункции.

Разработал семантики логических модальностей без использования понятия модельной структуры - семантики ограниченных и относительно ограниченных множеств описаний состояний..