The volume devotes to various problems of the philosophy of logic and mathematics. Among considered problems are: meaning of reverse mathematics, proof in mathematics, the status of Church's Thesis, phenomenology in the philosophy of mathematics, mathematics vs. theology, the problem of truth, philosophy of logic and mathematics in the interwar Poland.

The volume consists of thirteen papers devoted to various problems of the philosophy of logic and mathematics. They can be divided into two groups. The first group contains papers devoted to some general problems of the philosophy of mathematics whereas the second group papers devoted to the history of logic in Poland and to the work of Polish logicians and math-ematicians in the philosophy of mathematics and logic. Among considered problems are: meaning of reverse mathematics, proof in mathematics, the status of Church's Thesis, phenomenology in the philosophy of mathematics, mathematics vs. theology, the problem of truth, philosophy of logic and mathematics in the interwar Poland.

Autorentext

Roman Murawski, studied mathematics, philosophy and theology; MSc 1972, PhD 1979, Master of Theology 1980, licentiatus in sacra theologia 1985, Habilitation 1992, Full professor 2001; Professor of logic and philosophy of mathematics at Adam Mickiewicz University in Poznä (Poland).