Википедия [Электронный ресурс] : свободная энциклопедия

Cов. и рос. философ, логик, доктор филос. наук, профессор МГУ им. М. В. Ломоносова. Лауреат Ломоносовской премии I-й степени (1992). Засл. профессор МГУ им. М. В. Ломоносова. Ветеран Великой Отеч. войны. В 1960-е гг. сосредоточил свои интересы на разработке двух проблемных областей: исследованиях прикладных аспектов логики, прежде всего, применительно к описанию и оптимизации релейно-контактных электрических схем; анализе средствами логики естественного языка. Впоследствии разрабатывал темы, связанные с релевантной логикой, теорией понятия, логикой науч. познания, теорией натурального вывода, модальной логикой и силлогистикой.