Show Less

Logos and Máthēma

Studies in the Philosophy of Mathematics and History of Logic

Series:

Roman Murawski

The volume contains twenty essays devoted to the philosophy of mathematics and the history of logic. They have been divided into four parts: general philosophical problems of mathematics, Hilbert’s program vs. the incompleteness phenomenon, philosophy of mathematics in Poland, mathematical logic in Poland. Among considered problems are: epistemology of mathematics, the meaning of the axiomatic method, existence of mathematical objects, distinction between proof and truth, undefinability of truth, Gödel’s theorems and computer science, philosophy of mathematics in Polish mathematical and logical schools, beginnings of mathematical logic in Poland, contribution of Polish logicians to recursion theory.

Prices

Show Summary Details
Restricted access

References 295

Extract

References Ackermann, W. (1924/1925). Begru¨ndung des tertium non datur mittels der Hilbertschen Theorie der Widerspruchsfreiheit. Mathematische Annalen 93, 1–36. Ackermann, W. (1940). Zur Widerspruchsfreiheit der Zahlentheorie. Mathematische Annalen 117, 162–194. Addison, J. W. (1954). On Some Points of the Theory of Recursive Functions. Unpublished doctoral dissertation. University of Wisconsin. Addison, J. W. (1958/1959). Separation Principles in the Hierarchies of the Classical and Effective Descriptive Set Theory. Fundamenta Mathematicae 46, 123–135. Ajdukiewicz, K. (1934). Logistyczny antyirracjonalizm w Polsce [Logistical Antiirrationalism in Poland]. Przegląd Filozoficzny 37, 399–408. German translation: Der logistische Antiirratio- nalismus in Polen. Erkenntnis 5 (1935), 151–164. Ajdukiewicz, K. (1947). Logika a doświadczenie [Logic and Experience]. Przegląd Filozoficzny XLIII, z. 1–4, 3–21. Ajdukiewicz, K. (1948a). Zmiana i sprzeczność [Change and Contradition]. Myśl Współczesna 8/9, 35–52. Ajdukiewicz, K. (1948b). Epistemologia i semiotyka [Epistemology and Semiotics]. Przegląd Filozoficzny XLIV, 336–347. Ajdukiewicz, K. (1948c). Metodologia i metanauka [Methodology and Metascience]. Życie Nauki VI, 4–15. Ajdukiewicz, K. (1951). On the Notion of Existence. Studia Philosophica IV, 7–22. Ajdukiewicz, K. (1953). W sprawie artykułu prof. A. Schaffa o moich poglądach filozoficznych [Concerning the Paper by Professor A. Schaff on My Philosophical Views]. Myśl Filozoficzna 2(8), 292–334. Ajdukiewicz, K. (1955). Klasyfikacja rozumowań [Classification of reasonings]. Studia Logica II, 278–300. Anderson, R. and W. W. Bledsoe (1970). A Linear Format for Resolution with Merging and a New Technique for Establishing Completeness. Journal of...

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.