Show Less
Restricted access

Lógos and Máthēma 2

Studies in the Philosophy of Logic and Mathematics


Roman Murawski

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.
Show Summary Details
Restricted access




Achtner, W. (2005). Infinity in science and religion: the creative role of thinking about infinity, Neue Zeitschrift für systematische Theologie und Geschichtsphilosophie 47, 392–411.

Achtner, W. (2011). Infinity as a transformative concept in science and technology. In: M. Heller, W. Hugh Woodin (Eds.), Infinity. New Research Frontiers, Cambridge University Press, Cambridge, pp. 19–51.

Ackermann, W. (1924–1925). Begründung des tertium non datur mittels der Hilbertschen Theorie der Widerspruchsfreiheit, Mathematiche Annalen 93, 1–36.

Ackermann, W. (1940). Zur Widerspruchsfreiheit der Zahlentheorie, Mathematische Annalen 117, 162–194.

Aigner, M., Ziegler, G.M. (1998). Proofs From the Book, Springer Verlag, Berlin–Heidelberg–New York. Second edition: 2001, third edition: 2004.

Ajdukiewicz, K. (1934). O stosowalności czystej logiki do zagadnień filozoficznych, Przegląd Filozoficzny 37, 323–327.

Albertson, D. (2014). Mathematical Theologies: Nicholas of Cusa and the Legacy of Thierry of Chartres, Oxford University Press, New York.

Apt, K.R.,Marek,W. (1974). Second order arithmetic and related topics, Annals of Mathematical Logic 6, 177–239.

Aschbacher, M. (2005). Highly complex proofs and implications of such proofs, Philosophical Transactions of the Royal Society A, 363, 2401–2406.

Avigad, J. (2006). Mathematical method and proof, Synthese 153, 105–159.

You are not authenticated to view the full text of this chapter or article.

This site requires a subscription or purchase to access the full text of books or journals.

Do you have any questions? Contact us.

Or login to access all content.