Doktor habilitowany nauk humanistycznych w zakresie filozofii, kierownik Katedry Filozofii Logiki Uniwersytetu Papieskiego Jana Pawła II w Krakowie. Zajmuje się historią filozofii matematyki, historią matematyki oraz metodologią teologii. Główne prace to: "Heurystyczne funkcje założeń filozoficznych w kontekście odkrycia teorii mnogości Georga Cantora", Kraków 1994; "Filozofia matematyki w ujęciu historycznym", Kraków 2000; "Bernard Bolzano i idea logicyzmu", Kraków 2006.