Был одним из членов Московского логического кружка, затем преподавал в Томске, Пензе, Омске и Новосибирске. Создал оригинальный вариант «теории интеллектуальных систем» — «интеллектику». Автор первого науковедческого исследования генетической логики.