Roman Murawski

Curriculum vitae:

Basic Information

1. Name: Murawski
2. Forename: Roman
3. Date of birth: July 15, 1949
4. Family Status: Married, one child
5. Affiliation: Faculty of Mathematics and Computer Science, Adam Mickiewicz University, Matejki 48/49, 60-769 Poznań, Poland; Tel.: +48(0)61/8292620 or +48(0)61/829 26 00, Fax: +48(0)61/829 26 50
6. Scientific degree: professor
7. University Position: Full Professor, Head of the Department of Mathematical Logic
8. E-mail address: rmur@amu.edu.pl

Available papers

• Undefinability of truth. The problem of the priority: Tarski vs. Gödel, History and Philosophy of Logic 19 (1998), 153-160. Download (Postscript 101KB)
• Leibniz's and Kant's philosophical ideas and the development of Hilbert's programme, (to appear). Download (Postscript 129KB)
• E.L. Post and the development of mathematical logic and recursion theory, Studies in Logic, Grammar and Rhetoric 2 (15) (1998), 17-30. Download (Postscript 111KB)

Professional Career

• Education and Degrees
• Positions
• Scientific Stays at Foreign Universities
• Invited Lectures at Conferences
• Invited Lectures at Universities
• Research Projects/Grants
• Editorial Activities
• Scientific Rewards
• Promotions etc.
• Other Activities
• Conference Organization
• Research Fields
• Publications
• Classes

Education and Degrees:

• 1967-1972 Student of mathematics at Adam Mickiewicz University (AMU), Poznań
• 1972 Master of Mathematics (summa cum laude) (AMU), thesis: Decidability and Undecidability of Mathematical Theories
• 1977-1979 Postgraduate student of the foundations of mathematics at Warsaw University
• 1979 Ph.D. in Mathematics, Faculty of Mathematics, Computer Science and Mechanics, Warsaw University, thesis: Models of Peano Arithmetic Expandable to Models of Second Order Arithmetic, supervisor: Prof. Wiktor Marek
• 1992 Habilitation in Mathematics, Faculty of Mathematics and Physics, AMU, thesis: Constructions of Expansions of Models of Arithmetic, referees: Prof. Zofia Adamowicz, Prof. Wojciech Buszkowski, Prof. Petr Hájek
• 2001 Title of the professor awarded by President of Poland

Positions:

• 1972-1974 Assistant at the Department of Mathematical Logic, Institute of Mathematics, AMU
• 1974-1979 Senior Assistant at the Department of Mathematical Logic, Institute of Mathematics, AMU
• 1976-1977 Assistant at the Section of Logic, Mathematical Institute, Polish Academy of Sciences
• 1979-1993 Assistant Professor (Adiunkt) at the Department of Mathematical Logic, Institute of Mathematics, AMU
• 1993-2001 University Professor at the Department of Mathematical Logic, Faculty of Mathematics and Computer Science, AMU
• Since 1996 Head of the Department of Mathematical Logic, Faculty of Mathematics and Computer Science, AMU
• Since 2001 Full professor at the Department of Mathematical Logic, Faculty of Mathematics and Computer Science, AMU

Scientific Stays at Foreign Universities:

• 1980-1982 (16 months) Research Fellow, the Alexander von Humboldt Fellowship, University of Heidelberg, Institute of Mathematics, Heidelberg, Germany
• 1992 (1 month) Research Fellow, University of Amsterdam, Faculty of Mathematics and Computer Science, Amsterdam, The Netherlands
• 1993 (1 month) Research Fellow, University of Amsterdam, Faculty of Mathematics and Computer Science, Amsterdam, The Netherlands
• 1993 (1 month) Research Fellow, Oxford University, Mathematical Institute and Associated Fellow of Merton College, Oxford, United Kingdom
• 1993-1994 (8 months) Research Fellow, the Alexander von Humboldt Fellowship, University of Erlangen-Nűurnberg, Institute of Philosophy, Erlangen, Germany
• 1996 (2 weeks) Research Fellow, DAAD grant, University of Hannover, Germany
• 1997 (1 month) Research Fellow, DAAD grant, University of Hannover, Germany
• 1998 (2 weeks) Research Fellow, DAAD grant, University of Hannover, Germany
• 1999 (2 weeks) Research Fellow, DAAD grant, University of Hannover, Germany
• 2000 (3 weeks) Research Fellow, DAAD grant, University of Hannover, Germany

Invited Lectures at Conferences:

• Colloquium Logicum, Műnster (Germany)
• 1995 Conference "Cultural History of Mathematics", Berlin (Germany)
• 1995 6th Polish Philosophical Congress, Toruń (Poland)
• 1997 Conference "Alfred Tarski and the Vienna Circle", Vienna (Austria)
• 1997 3rd Congress of the Gesellschaft für Analytische Philosophie, Munich (Germany)
• 1997 Conference "Mutual Influences Between Logic and Computer Science", Białystok (Poland)
• 1998 Conference "Logic and Intelligent Systems", Zakopane (Poland)
• 1999 Conference "Applications of Logic in Philosophy and Foundations of Mathematics", Karpacz (Poland)
• 1999 XI International Congress of Logic, Methodology and Philosophy of Science, Cracow (Poland)
• 2000 Conference "Tarski vs. Hilbert. Semantical Consequence and Formal Derivability", Zakopane (Poland)
• 2001 Conference "Logic and Logical Philosophy", Dresden (Germany)

Invited Lectures at Universities:

• 1979 University of Amsterdam (The Netherlands)
• 1981 ETH Zurich (Switzerland)
• 1983 University of Heidelberg (Geramny)
• 1985 University of Heidelberg (Germany)
• 1986 Institute of Mathematics, Czechoslovak Academy of Sciences, Prague (Czechoslovakia)
• 1987 University of Beograd (Yugoslavia)
• 1987 Mathematical Institute of Serbian Academy of Sciences, Beograd (Yugoslavia)
• 1988 Aristotelian Society, London (England)
• 1988 Cambridge University (England)
• 1988 Oxford University (England)
• 1988 University of Manchester (England)
• 1988 University of Leeds (England)
• 1991 University of Hannover (Germany)
• 1992 University of Heidelberg (Germany)
• 1992 University of Erlangen-Nürnberg, Erlangen (Germany)
• 1992 University of Neubrandenburg (Germany)
• 1992 University of Greifswald (Germany)
• 1993, 1994, 1996, 1997, 1998, 2000 University of Hannover (Germany)
• also lectures at meetings of the Polish Mathematical Society and Polish Philosophical Society and at seminars in the Institute of Mathematics of the University of Warsaw, Mathematical Institute of the Polish Academy of Sciences (Warsaw), Institute of Mathematics of Nicolaus Copernicus University in Toruń and Institute of Philosophy of Jagiellonian University (Cracow).

Research Projects/Grants:

• CPBP 08.15, Logical Structure of Non-Formal Reasoning, Central Research Project; Position: participant
• CPBP 90, Foundations of Mathematics, Central Research Project; Position: participant
• RPBP III.24, Research Project of the Polish Ministry of Education; Position: participant
• PB 1084/91, Mathematical Logic in Poland: origins, development, import, Research Project of the State Committee for Scientific Research (KBN); Position: participant
• Verbindungen grundlagentheoretischer und mathematikdidaktischer Forschungen, Research Grant of the eutsche Akademische Austauschdienst (University of Hannover, Germany); Position: participant
• 1 H01A 023 13, Modern Philosophy of Mathematics, Research Project of the State Committee for Scientific Research (KBN); Position: head

Editorial Activities:

• Member of the Editorial Board of Roczniki Polskiego Towarzystwa Matematycznego, Seria II: Wiadomości Matematyczne [Annals of the Polish Mathematical Society, 2nd Series: Mathematical Reports] (since 1990)
• Member of the Editorial Board of Modern Logic (USA) (since 1994)
• Member of the Editorial Board of the book series "Modern Logic Publishing Books" (USA) (since 1994)
• The Editor of the volume Euphony and Logos, Editions Rodopi, Amsterdam-Atlanta, GA (with J.Pogonowski)
• Secretary of the Editorial Board of the book series "Advanced Topics in Mathematics" (since 1996)
• Reviews and referees raports for Fundamenta Mathematicae, Bulletin of the Polish Academy of Sciences, Notre Dame Journal of Formal Logic, Studia Logica, Bulletin of the Section of Logic, Journal of Applied Non-Classical Logics, Reports on Mathematical Logic as well as for Polish Scientific Publishers, Scientific Press of Łódź University and Wrocław University
• Referees reports for the State Committee of Scientific Research in Poland.
• Since 1977 reviewer of Mathematical Reviews and Zentralblat für Mathematik und ihre Grenzgebiete

Scientific Rewards:

• 1982 Award of the Polish Ministry of Education
• 1987 Award of the Polish Ministry of Education
• 1996 Award of the Polish Ministry of Education
• 1997 Samuel Dickstein Award of the Polish Mathematical Society
• Awards of the Rector of Adam Mickiewicz University: 1979, 1980, 1985, 1989, 1991, 2000.

Promotions, etc.:

• Supervisor of one Ph.D. student at the Faculty of Mathematics and Computer Science, AMU
• Referee in 4 habilitation procedures (Faculty of Mathematics, Computer Science and Mechanics, Warsaw University; Institute of Philosophy, Adam Mickiewicz University; Philosophical Faculty, Jagiellonian University; Faculty of Philosophy and Sociology, Warsaw University)
• Referee in 9 doctoral procedures (Faculty of Mathematics, Computer Science and Mechanics, Warsaw University; Faculty of Mathematics and Physics, University of Lublin; Institute of Philosophy, University of Warsaw - 2; Philosophical Faculty, Jagiellonian University - 2; U.F.R. de Mathematques, Universit\'e Paris VII; Faculty of Mathematics and Computer Science, Adam Mickiewicz University in Poznań -2)

Other Activities:

• Member of the Board of the Poznań Division of Polish Mathematical Society (since 1995)
• Member of the Scientific Council of the Polish Association for Logic and Philosophy of Science (since 1993; since 2001 vice-chairman of the Council)
• Member of the Organizing Committee of the 3rd Congress of Gesellschaft für Analytische Philosophie, Munich, Germany, 1997.
• Member of the Organizing Committee of the International Congress of Logic, Methodology and Philosophy of Science, Cracow, 1999.
• Member of Polish Mathematical Society, Polish Philosophical Society, American Mathematical Society, Deutsche Vereinigung für Mathematische Logik und Grundlagenforschungen der Exakten Wissenschaften, Committee of Logic of the Warsaw Scientific Society, Kurt Gödel Society, European Foundation for Logic, Language and Information, Societas Humboldtiana Polonorum

Conference Organization:

• Section of the Philosophy of Mathematics of 6th Polish Philosophical Congress, Toruń, Poland, 1995
• Conference "Foundations of Arithmetic", Banach Center, Warsaw, 1996
• Conference "16ičmes Journčes sur les Arithmčetiques Faibles", Warsaw, 1998

Research Fields:

• Mathematial logic and foundations of mathematics (models of first and higher orders arithmetic, nonstandard satisfaction classes, computation theory)
• History of logic and mathematics
• Philosophy of mathematics

Publications:

7 books and 61 papers in Fundamenta Mathematicae, Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, Archive for Mathematical Logic, Notre Dame Journal of Formal Logic, Historia Mathematica, Studia Logica, History and Philosophy of Logic, Reports on Mathematical Logic, Mathematische Semesterberichte, Modern Logic, Foundations of Science, Studia Filozoficzne (Philosophical Studies) and proceedings of various international congresses and conferences.

Books:

• Filozofia matematyki. Antologia tekstów klasycznych [Philosophy of Mathematics. Anthology of Classic Texts], Wydawnictwo Naukowe UAM [Scientific Press of A. Mickiewicz University], Poznań 1986, 324 pp., second edition: 1994.
• Rozwój symboliki logicznej [Development of Logical Symbolism], Wydawnictwo Naukowe UAM [Scientific Press of A. Mickiewicz University], Poznan 1988, 40 pp.
• Funkcje rekurencyjne i elementy metamatematyki. Problemy zupełności, rozstrzygalności, twierdzenia Gödla [Recursive Functions and Elements of Metamathematics. Problems of Completeness, Decidability, Gödel's Theorems], Wydawnictwo Naukowe UAM [Scientific Press of A. Mickiewicz University], Poznań 1990, 186 pp., second edition: 1991.
• Filozofia matematyki. Zarys dziejów [Philosophy of Mathematics. An Outline of History], Wydawnictwo Naukowe PWN, Warszawa 1995, 239 pp.
• Mechanization of Reasoning in a Historical Perspective, Edition Rodopi, Amsterdam/Atlanta, GA, 1995, 267 pp. (co-author: W. Marciszewski).
• Euphony and Logos, Edition Rodopi, Amsterdam-Atlanta, GA, 1997, x + 534 pp. (co-editor: J. Pogonowski).
• Recursive Functions and Metamathematics. Problems of Completeness and Decidability, Gödel's Theorems, Kluwer Academic Publishers, Dordrecht/Boston/London 1999, ss. 404.

Some papers:

• On expandability of models of Peano arithmetic. I, II, III, Studia Logica 35 (1976), 409--419; 35 (1976), 421--431; 36 (1977), 181--188.
• Some remarks on the structure of expansions, Zeitschrift für Mathematische Logik und Grundlagen der Mathematik 26 (1980), 537--546.
• A note on inner interpretations of models of Peano arithmetic, Reports on Mathematical Logic 13 (1981), 53--57.
• Incompleteness of definable theories via indicators, Functiones et Approximatio 11 (1981), 57--63.
• A simple remark on satisfaction classes, indiscernibles and recursive saturation, Functiones et Approximatio 11 (1981), 149--151.
• Indicators, recursive saturation and expandability, Fundamenta Mathematicae 114 (1981), 127--139 (co-authors: L. Kirby and K. McAloon).
• Trace expansions of initial segments, Zeitschrift für Mathematische Logik und Grundlagen der Mathematik 30 (1984), 471--476.
• A contribution to nonstandard teratology, in: Models and Sets, Proc. Logic Colloquium Aachen 1983, eds. G. H. Müller, M. M. Richter, Lecture Notes in Mathematics 1103, Springer Verlag, Berlin-Heidelberg-New York-Tokyo 1984, 379--388.
• G. Cantora filozofia teorii mnogości [G.Cantor's philosophy of set theory], Studia Filozoficzne 11--12 (1984), 75--88.
• Giuseppe Peano-pioneer and promoter of symbolic logic, Komunikaty i Rozprawy Instytutu Matematyki UAM, Poznań 1985, 21 pp.
• Some more remarks on expandability of initial segments, Zeitschrift für Mathematische Logik und Grundlagen der Mathematik 32 (1986), 445--450.
• Pointwise definable substructures of models of Peano arithmetic, Notre Dame Journal of Formal Logic 29 (1988), 295--308.
• Definable sets and expansions of models of Peano arithmetic, Archive for Mathematical Logic 27 (1988), 21--33.
• Semantics for nonstandard languages, Reports on Mathematical Logic 22 (1988), 105--114.
• The development of symbolism in logic and its philosophical background, Proc. of the Aristotelian Society 89 (1988), 65--78.
• Philosophical aspects of symbolization in mathematics and logic, in: Structures in Mathematical Theories, Reports of the San Sebastian International Symposium, September 25--29, 1990, eds. A. Diez, J. Echeverria, A. Ibarra, Servicio Editorial Universidad del Pais Vasco, San Sebastian 1990, 289--293.
• A note on the variety of satisfaction classes, Archive for Mathematical Logic 30 (1990), 83--89. %[Z 719.03016]
• The English algebra of logic in 19th century, Studies in Logic, Grammar and Rhetoric 9 (1990), 15--45.
• Some properties of the family of expansions to models of , Zeitschrift für Mathematische Logik und Grundlagen der Mathematik 37 (1991), 265--272.
• Mechanized deduction systems, Studies in Logic, Grammar and Rhetoric 10--11 (1991--92), 71--101.
• Iterations of satisfaction classes and expansions of models of Peano arithmetic, Zeitschrift für Mathematische Logik und Grundlagen der Mathematik 38 (1992), 59--84.
• On the philosophical meaning of reverse mathematics, in: Philosophy of Mathematics, Proceedings of the 15^th International Wittgenstein-Symposium, Part 1, Hrsg. J. Czermak, Verlag Hölder-Pilcher-Tempsky, Wien 1993, 173--184.
• Reverse Mathematik und ihre Bedeutung, Mathematische Semesterberichte 40 (1993), 105--113.
• Hilbert's program: incompleteness theorems vs. partial realizations, in: Philosophical Logic in Poland, ed. J. Woleński, Kluwer Academic Publishers, Dordrecht-Boston-London 1994, 103--127.
• Die Entwicklung der Symbolik in der Logik und ihr philosophischer Hintergrund, Mathematische Semesterberichte 42 (1995), 1--31 (co-author: T. Bedürftig).
• Contributions of Polish logicians to decidability theory, Modern Logic 6 (1996), 37--66.
• Impredicative definitions and reverse mathematics, in: Henri Poincaré. Science et philosophie. Congrés International, Nancy, France, 1994, eds. J.-L. Greffe, G. Heinzmann, K. Lorenz, Akademie Verlag, Berlin et Albert Blanchard, Paris, 1996, 551--557.
• Stanisław Piątkiewicz and the beginnings of mathematical logic in Poland, Historia Mathematica 23 (1996), 68--73 (co-author: T. Batóg).
• Gödel's incompleteness theorems and computer science, Foundations of Science 2 (1997), 123--135.
• Satisfaction classes --- a survey, in: Euphony and Logos, eds. R. Murawski and J. Pogonowski, Edition Rodopi, Amsterdam/Atlanta, GA, 1997, pp. 259--281.
• Contribution of Polish logicians to recursion theory, in: The Lvov-Warsaw School and Contemporary Philosophy, eds. K. Kijania-Placek and J. Woleński, Kluwer Academic Publishers, Dordrecht-Boston-London 1998, 265-282.
• Undefinability of truth. The problem of the priority: Tarski vs. Gödel, History and Philosophy of Logic 19 (1998), 153-160
• Tarski Alfred, in Routledge Encyclopedia of Philosophy, ed. E. Craig, Routledge, London and New York 1998, vol. 9, pp. 262-265.
• Józef Maria Hoene-Wroński --- filozof i matematyk [Józef Maria Hoene-Wroński --- philosopher and mathematician] in: Matematycy polskiego pochodzenia na obczyźnie, ed. S. Fudali, Wydawnictwo Naukowe Uniwersytetu Szczecińskiego, Szczecin 1998, 29-46.
•  E.L. Post and the development of mathematical logic and recursion theory, Studies in Logic, Grammar and Rhetoric 2 (15) (1998), 17-30.
• On new trends in the philosophy of mathematics, in: Logic at Work. Essays Dedicated to the Memory of Helena Rasiowa, ed. E. Orłowska, Physica-Verlag, A Springer-Verlag Company, Heidelberg-New York 1999, 15-24.
• Undefinability vs. definability of satisfaction and truth, in: Alfred Tarski and the Vienna Circle. Austro-Polish Connections in Logical Empiricism, eds. J. Woleński and E. Köhler, , Kluwer Academic Publishers, Dordrecht-Boston-London 1999, 203-215.
• Kontekst historyczny i recepcja twierdzeń Gödla o niezupełności [Historical context and reception of Gödel's incompleteness results], in: Hartman J. (Ed.) Filozofia i logika, Aureus, Kraków 2000, 414-426.
• Leibniz's and Kant's philosophical ideas and the development of Hilbert's programme, Logos, Being and Mathematics, Editions Rodopi, Amsterdam/Atlanta, GA (to appear). Download (Postscript 129 KB)
• On the distinction proof-truth in mathematics, in: Gärdenfors P. et al. (Eds.) Proceedings of the 11th International Congress of Logic, Methodology and Philosophy of Science, Kluwer Academic Publishers, Dordrecht (to appear).
• Mathematical knowledge, in: Handbook of Epistemology, eds. I. Niiniluoto, M. Sintonen and J. Woleński, Kluwer Academic Publishers, Dordrecht, (to appear).
• Was sind Zahlen? Spuren in der Geschichte der Philosophie und Mathematik, (co-author: Th. Bedürftig) (to appear).
• On proofs of the consistency of arithmetic, Studies in Logic, Grammar and Rhetoric (to appear).
• O dojrzewaniu świadomości różnicy między dowodliwością a prawdziwością w matematyce [On the development of the consciousness of the difference between provability and truth in mathematics], Filozofia Nauki (to appear).

Classes:

• Introduction to Set Theory (TMN 100)
• Philosophy and History of Mathematics (FIM 210)
• Recursive Functions and Decidability Problems (FRE 310)
• Elements of Logic (LOG 180)