Roman Murawski - Polskie Towarzystwo Logiki i Filozofii Nauki

Roman Murawski (ur. 15 lipca 1949 w Poznaniu) – polski matematyk, logik, filozof, teolog,
profesor Uniwersytetu im. Adama Mickiewicza w Poznaniu. Zajmuje się logiką
matematyczną i podstawami matematyki oraz filozofią matematyki i historią logiki. Strona
internetowa: http://www.logika.amu.edu.pl/murawski_dane.php
W latach 1967-1972 studiował matematykę na Uniwersytetu im. Adama Mickiewicza w
Poznaniu. W roku 1979 obronił rozprawę doktorską na Wydziale Matematyki, Informatyki i
Mechaniki Uniwersytetu Warszawskiego. W roku 1992 uzyskał (na Wydziale Matematyki i
Fizyki UAM) stopień naukowy doktora habilitowanego nauk matematycznych. Studiował
teologię na Papieskim Wydziale Teologicznym w Poznaniu w latach 1975-1979, w roku 1980
uzyskał tytuł magistra teologii (w zakresie teologii dogmatycznej). Następnie odbył w latach
1982-1985 studia podyplomowe i w roku 1985 uzyskał licencjat kanoniczny (tytuł licentiatus
in sacra theologia). W 2001 otrzymał tytuł naukowy profesora nauk humanistycznych filozofia matematyki.
Był zaproszonym wykładowcą i prowadził badania naukowe na uniwersytetach w Heidebergu
i Erlangen (stypendium Humboldta) oraz w Hanowerze, Oxfordzie, Brukseli i Amsterdamie.
Laureat subsydium profesorskiego Fundacji na rzecz Nauki Polskiej, nagród Ministra Nauki i
Szkolnictwa WyŜszego (trzykrotnie), nagrody Samuela Dicksteina (przyznanej przez Polskie
Towarzystwo Matematyczne), Nagrody Naukowej Miasta Poznania, odznaczony Medalem
Komisji Edukacji Narodowej .
Pełnione funkcje:
•
•
•
•
•
•
•
•
•
•
1993-2006 członek Rady Naukowej Polskiego Towarzystwa Logiki i Filozofii Nauki
(2001-2006 - wiceprzewodniczący Rady)
2006-2009 prezes Polskiego Towarzystwa Logiki i Filozofii Nauki
od 2009 członek Zarządu Polskiego Towarzystwa Logiki i Filozofii Nauki
1995-2003 członek Zarządu Oddziału Poznańskiego Polskiego Towarzystwa
Matematycznego
od 1999 członek Komitetu Narodowego ds. Współpracy z Międzynarodową Unią
Historii i Filozofii Nauki - Sekcja Historii Nauki oraz Sekcja Logiki, Metodologii i
Filozofii Nauki
od 2002 członek Komisji Historii Matematyki Zarządu Głównego Polskiego
Towarzystwa Matematycznego
2003-2007 członek Komitetu Historii Nauki i Techniki Polskiej Akademii Nauk
2005-2012 prodziekan Wydziału Matematyki i Informatyki UAM
od 1996 kierownik Zakładu Logiki Matematycznej
członek komitetów redakcyjnych następujących czasopism: Roczniki Polskiego
Towarzystwa Matematycznego, Seria II: Wiadomości Matematyczne; Review of
Modern Logic (USA); Studies in Logic, Grammar and Rethoric; Internetowe
Czasopismo Filozoficzne DIAMETROS; Roczniki Polskiego Towarzystwa
Matematycznego, Seria VI: Antiquitates Mathematicae, Filozofia Nauki, Studia
Humana i Fiłosofija Nauki (Nowosybirsk). Jest takŜe członkiem Editorial Advisory
Board serii ksiąŜek Advanced Studies in Mathematics and Logic (Włochy) i
sekretarzem Komitetu Redakcyjnego serii ksiąŜek Advanced Topics in Mathematics.
Opublikowane ksiąŜki:
1. Filozofia matematyki. Antologia tekstów klasycznych, Wydawnictwo Naukowe UAM,
Poznań 1986, ss. 324; drugie wydanie 1994; wydanie trzecie 2003.
2. Rozwój symboliki logicznej, Wydawnictwo Naukowe UAM, Poznań 1988, ss. 40.
3. Funkcje rekurencyjne i elementy metamatematyki. Problemy zupełności,
rozstrzygalności, twierdzenia Gödla, Wydawnictwo Naukowe UAM, Poznań 1990, ss.
186; wyd. drugie 1991; wyd. trzecie 2000, wyd. czwarte 2010.
4. Filozofia matematyki. Zarys dziejów, Wydawnictwo Naukowe PWN, Warszawa 1995,
ss. 239; wyd. drugie 2001; wyd. trzecie: Wydawnictwo Naukowe UAM, Poznań 2007,
wyd. czwarte 2012, wyd. piąte 2013.
5. Mechanization of Reasoning in a Historical Perpective, Editions Rodopi,
Amsterdam/Atlanta, GA, 1995, ss. 267 (współautor W.Marciszewski).
6. Euphony and Logos, Editions Rodopi, Amsterdam/Atlanta, GA, 1997, ss. X+534
(współredaktor J.Pogonowski).
7. Recursive Functions and Metamathematics. Problems of Completness and
Decidability, Gödel's Theorems, Kluwer Academic Publishers,
Dordrecht/Boston/London 1999, ss. 404.
8. Zählen. Grundlage der elementaren Arithmetik, Verlag Franzbecker,
Hildesheim/Berlin 2001, ss. 291 (współautor: Th. Bedürftig).
9. Współczesna filozofia matematyki, Wydawnictwo Naukowe PWN, Warszawa 2002, ss
387.
10. Wstęp do teorii mnogości, Wydawnictwo Naukowe UAM, Poznań 2005, ss 200; wyd.
drugie 2006 (współautor K. Świrydowicz).
11. Podstawy logiki i teorii mnogości, Wydawnictwo Naukowe UAM, Poznań 2006, ss
163 (współautor K. Świrydowicz).
12. Essays in the Philosophy and History of Logic and Mathematics, Editions Rodopi,
Amsterdam-New York 2010, ss. 343.
13. Philosophie der Mathematik, Walter de Gruyter, Berlin/New York 2010, ss. 322;
wydanie drugie rozszerzone: Walter de Gruyter, Berlin/Boston, ss. 396; wydanie
trzecie rozszerzone i przerobione: Walter de Gruyter, Berlin/Boston 2015, ss. 484
(współautor Th. Bedürftig).
14. Logos and Máthēma. Studies in the Philosophy of Mathematics and History of Logic,
Peter Lang Internationaler Verlag der Wissenschaften, Frankfurt am Main 2011, ss.
337.
15. Filozofia matematyki i logiki w Polsce międzywojennej, Monografie Fundacji na rzecz
Nauki Polskiej, Wydawnictwo Naukowe Uniwersytetu Mikołaja Kopernika, Toruń
2011, ss. 253.
16. Filozofia informatyki. Antologia, Wydawnictwo Naukowe Uniwersytetu im. Adama
Mickiewicza, Poznań 2014, ss. 200.
17. The Philosophy of Mathematics and Logic in the 1920s and 1930s in Poland,
Birkhäuser Verlag, Basel 2014, ss. XI + 228.