Окончил в 1948 году философский факультет Ленинградского университета и был принят в аспирантуру по кафедре логики. Окончил аспирантуру в 1951 году.
С 1954 до конца жизни работал на кафедре логики ассистентом, доцентом (с 1961 года), профессором (с 1981 года).
В 1952 защитил кандидатскую диссертацию по теме «Отражение диалектики общего и отдельного в понятии и суждении» .
В 1974 году защитил докторскую диссертацию по теме «Философские и логические аспекты проблемы отрицательных высказываний» Один из основоположников символической логики в России и один из основателей современной петербургской логической школы.
В сферу научных интересов входили проблемы паранепротиворечивой логики и понимания смысла отрицательных высказываний в структуре мыслительной деятельности; создание модальных исчислений выполнимых, отбрасываемых и невыполнимых формул; построение логических исчислений с модальным оператором «правдоподобно» ; представление силлогистики в форме относительных модальностей; исследование процедуры индексации формул при построении логического вывода и выработке критериев логической релевантности; изучение формально-логических приемов восстановления энтимемы и др. Также занимался теорией аргументации, научного и технического творчества. Автор учебных пособий по логике.