Akademik

рус. логик, астроном, математик. В Казанском ун-те читал первые в России лекции по математической логике (1887-1888). Нашел оригинальные и простые методы отыскания множества следствий, вытекающих из данной системы посылок, и множества гипотез, из которых выводимы данные следствия («О способах решения логических равенств и об обратном способе математической логики», 1884). В философских воззрениях придерживался естественнонаучного материализма.