Następnie odbył w latach 1982-1985 studia podyplomowe i uzyskał licencjat kanoniczny (tytuł licentiatus in sacra theologia).
Był zaproszonym wykładowcą i prowadził badania naukowe na uniwersytetach w Heidelbergu i Erlangen-Nürnberg w ramach stypendium Fundacji im. Aleksandra von Humboldta oraz w Hanowerze, Oxfordzie, Brukseli i Amsterdamie. W latach 2003–2007 był członkiem Komitetu Historii Nauki i Techniki PAN. W latach 2006–2009 pełnił funkcję prezesa Polskiego Towarzystwa Logiki i Filozofii Nauki. W okresie 2005–2012 był prodziekanem Wydziału Matematyki i Informatyki UAM. Członek Komitetu Nauk Filozoficznych PAN w latach 2020-2027.
Był laureatem subsydium profesorskiego Fundacji na rzecz Nauki Polskiej, nagród Ministra Nauki i Szkolnictwa Wyższego, Nagrody im. Samuela Dicksteina przyznanej przez Polskie Towarzystwo Matematyczne oraz Nagrody Naukowej Miasta Poznania. Odznaczono go Medalem Komisji Edukacji Narodowej oraz Krzyżem Kawalerskim Orderu Odrodzenia Polski (2016)Postanowienie nr rej. 267/2016 Prezydenta Rzeczypospolitej Polskiej z dnia 13 czerwca 2016 r. o nadaniu orderów ().. Wybrany w poczet członków Academia Europaea (Londyn). W czerwcu 2022 został członkiem korespondentem Polskiej Akademii UmiejętnościNowo wybrani członkowie PAU. 11 VI 2022.