62 found
Sort by:
  1. Roman Murawski (forthcoming). Cracow Circle and Its Philosophy of Logic and Mathematics. Axiomathes:1-18.
    The paper is devoted to the presentation and analysis of the philosophical views concerning logic and mathematics of the leading members of Cracow Circle, i.e., of Jan Salamucha, Jan Franciszek Drewnowski and Józef Maria Bocheński. Their views on the problem of possible applicability of logical tools in metaphysical and theological researches is also discussed.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  2. Roman Murawski (2014). Benedykt Bornstein’s Philosophy of Logic and Mathematics. Axiomathes 24 (4):549-558.
    The aim of this paper is to present and discuss main philosophical ideas concerning logic and mathematics of a significant but forgotten Polish philosopher Benedykt Bornstein. He received his doctoral degree with Kazimierz Twardowski but is not included into the Lvov–Warsaw School of Philosophy founded by the latter. His philosophical views were unique and quite different from the views of main representatives of Lvov–Warsaw School. We shall discuss Bornstein’s considerations on the philosophy of geometry, on the infinity, on the foundations (...)
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  3. Roman Murawski (2013). Dowód w matematyce — dziś i jutro. Filozofia Nauki 2.
    The paper is a review of the book by Krzysztof Wójtowicz, O pojęciu dowodu w matematyce [ On the Concept of Proof in Mathematics ]. It presents the main theses of the book and evaluates them.
    No categories
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  4. Roman Murawski (2013). Kilka Słów o Dowodzie W Matematyce. Filozofia Nauki 21 (1 (81)):7-22.
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  5. Roman Murawski (2013). Kilka uwag o dowodzie w matematyce. Filozofia Nauki 1.
    The aim of the paper is to study the role and features of proofs in mathematics. Formal and informal proofs are distinguished. It is stressed that the main roles played by proofs in mathematical research are verification and explanation. The problem of the methods acceptable in informal proofs, in particular of the usage of computers, is considered with regard to the proof of the Four-Color Theorem. The features of in-formal and formal proofs are compared and contrasted. It is stressed that (...)
    No categories
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  6. Roman Murawski (2013). Review of D. Patterson, Alfred Tarski: Philosophy of Language and Logic. [REVIEW] Journal for the History of Analytical Philosophy 1 (9).
    Review of Douglas Patterson. Alfred Tarski: Philosophy of Language and Logic.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  7. Roman Murawski (2013). Some Words on a Proof in Mathematics. Filozofia Nauki 21 (1):7 - +.
     
    My bibliography  
     
    Export citation  
  8. Roman Murawski (2012). Jan Woleński, Essays on Logic and its Applications in Philosophy. Polish Journal of Philosophy 6 (1):106-108.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  9. Roman Murawski (2011). Logos and Máthēma: Studies in the Philosophy of Mathematics and History of Logic. Peter Lang.
  10. Roman Murawski (2011). Mathematical Objects and Mathematical Knowledge. Grazer Philosophische Studien 52:257-259.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  11. Roman Murawski (2011). O pojęciu prawdy w matematyce. Zagadnienia Naukoznawstwa 47 (4).
    W pracy rozważa się problem pojęcia prawdy w matematyce. Punktem wyjścia jest definicja prawdziwości Tarskiego. Dyskutuje się tło filozoficzne tej definicji, jej znaczenie dla języka matematyki i dla filozofii, stosunek do różnych definicji prawdy. Rozważa się też związek dowodliwości i prawdziwości w matematyce. Korzystając z wyników logiki matematycznej wykazuje się, że warunki z definicji Tarskiego nie zapewniają jedyności interpretacji predykatu prawdy. Pokazuje się też, że pojęcia semantyczne, takie jak spełnianie i prawdziwość nie są pojęciami finitystycznymi i wymagają użycia pojęcia nieskończoności.
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  12. Roman Murawski (ed.) (2010). Essays in the Philosophy and History of Logic and Mathematics. Rodopi.
    The book is a collection of the author’s selected works in the philosophy and history of logic and mathematics. Papers in Part I include both general surveys of contemporary philosophy of mathematics as well as studies devoted to specialized topics, like Cantor's philosophy of set theory, the Church thesis and its epistemological status, the history of the philosophical background of the concept of number, the structuralist epistemology of mathematics and the phenomenological philosophy of mathematics. Part II contains essays in the (...)
     
    My bibliography  
     
    Export citation  
  13. Roman Murawski (2010). Philosophy of Mathematics in the Warsaw Mathematical School. Axiomathes 20 (2-3):279-293.
    The aim of this paper is to present and discuss the philosophical views concerning mathematics of the founders of the so called Warsaw Mathematical School, i.e., Wacław Sierpiński, Zygmunt Janiszewski and Stefan Mazurkiewicz. Their interest in the philosophy of mathematics and their philosophical papers will be considered. We shall try to answer the question whether their philosophical views influenced their proper mathematical investigations. Their views towards set theory and its rôle in mathematics will be emphasized.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  14. Roman Murawski (2009). Philosophy of Mathematics. Polish Journal of Philosophy 3 (1):145-147.
  15. Izabela Bondecka-Krzykowska & Roman Murawski (2008). Structuralism and Category Theory in the Contemporary Philosophy of Mathematics. Logique Et Analyse 51 (204):365.
  16. Jan Wolenski & Roman Murawski (2008). Tarski His Polish Predecessors on Truth. In Douglas Patterson (ed.), New Essays on Tarski and Philosophy. Oxford University Press. 21--43.
     
    My bibliography  
     
    Export citation  
  17. H. J. Gensler & Roman Murawski (2007). REVIEWS-Historical Dictionary of Logic. Bulletin of Symbolic Logic 13 (3).
     
    My bibliography  
     
    Export citation  
  18. Roman Murawski (2007). Historical Dictionary of Logic. [REVIEW] Bulletin of Symbolic Logic 13 (3):370-370.
     
    My bibliography  
     
    Export citation  
  19. Roman Murawski (2007). Troubles with (the Concept of) Truth in Mathematics. Logic and Logical Philosophy 15 (4):285-303.
    In the paper the problem of definability and undefinability of the concept of satisfaction and truth is considered. Connections between satisfaction and truth on the one hand and consistency of certain systems of omega-logic and transfinite induction on the other are indicated.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  20. Roman Murawski (2006). Philosophy of Mathematics in the 20th Century: Main Trends and Doctrines. Poznan Studies in the Philosophy of the Sciences and the Humanities 91 (1):331-347.
    The aim of the paper is to present the main trends and tendencies in the philosophy of mathematics in the 20th century. To make the analysis more clear we distinguish three periods in the development of the philosophy of mathematics in this century: (1) the first thirty years when three classical doctrines: logicism, intuitionism and formalism were formulated, (2) the period from 1931 till the end of the fifties - period of stagnation, and (3) from the beginning of the sixties (...)
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  21. Roman Murawski (2004). Kant o matematyce [recenzja]. Zagadnienia Filozoficzne W Nauce 34.
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  22. Roman Murawski (2004). Mathematical Knowledge. In M. Sintonen, J. Wolenski & I. Niiniluoto (eds.), Handbook of Epistemology. Kluwer. 571--606.
    Direct download  
     
    My bibliography  
     
    Export citation  
  23. Roman Murawski (2004). Philosophical Reflection on Mathematics in Poland in the Interwar Period. Annals of Pure and Applied Logic 127 (1-3):325-337.
    In the paper the views and tendencies in the philosophical reflection on mathematics in Poland between the wars are analyzed. Views of most outstanding representatives of Lvov–Warsaw Philosophical School and of Polish Mathematical School are presented. Their influence on logical and mathematical researches is considered.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  24. Roman Murawski (2004). Truth Vs. Provability – Philosophical and Historical Remarks. Logic and Logical Philosophy 10:93.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  25. Roman Murawski (2003). Główne koncepcje i kierunki filozofii matematyki XX wieku. Zagadnienia Filozoficzne W Nauce 33.
    No categories
    Translate to English
    | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  26. Roman Murawski (2001). O dojrzewaniu świadomości różnicy między prawdziwością a dowodliwością w matematyce. Filozofia Nauki 1.
    The author shows in his article how the awareness of the difference between truth and provability in mathematics has developed. He points out the role played in this process by Gödel's results concerning incompleteness of formalised theories and also indicates the attempts at overcoming these limitations by giving up the finitistic condition and by allowing infinitary methods in the notion of mathematical proof. The philosophical assumptions that one accepts are important for the problem under discussion. For strict formalists and intuitionists (...)
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  27. Roman Murawski (1999). On New Trends in the Philosophy of Mathematics. In E. Orłowska (ed.), Logic at Work. Heidelberg. 15--24.
     
    My bibliography  
     
    Export citation  
  28. Roman Murawski (1999). Recursive Functions and Metamathematics Problems of Completeness and Decidability, Gödel's Theorems.
    No categories
     
    My bibliography  
     
    Export citation  
  29. Roman Murawski (1999). Undefinability Vs. Definability of Satisfaction and Truth. Vienna Circle Institute Yearbook 6:203-215.
    Among the main theorems obtained in mathematical logic in this century are the so called limitation theorems, i.e., the Löwenheim-Skolem theorem on the cardinality of models of first-order theories, Gödel’s incompleteness theorems and Tarski’s theorem on the undefinability of truth. Problems connected with the latter are the subject of this paper. In Section 1 we shall consider Tarski’s theorem. In particular the original formulation of it as well as some specifications will be provided. Next various meanings of the notion of (...)
    Direct download  
     
    My bibliography  
     
    Export citation  
  30. Roman Murawski (1998). The Contribution of Polish Logicians to Recursion Theory. In Katarzyna Kijania-Placek & Jan Woleński (eds.), The Lvov-Warsaw School and Contemporary Philosophy. Kluwer Academic Publishers. 265--282.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  31. Roman Murawski (1998). Undefinability of Truth. The Problem of Priority:Tarski Vs Gödel. History and Philosophy of Logic 19 (3):153-160.
    The paper is devoted to the discussion of some philosophical and historical problems connected with the theorem on the undefinability of the notion of truth. In particular the problem of the priority of proving this theorem will be considered. It is claimed that Tarski obtained this theorem independently though he made clear his indebtedness to Gödel?s methods. On the other hand, Gödel was aware of the formal undefinability of truth in 1931, but he did not publish this result. Reasons for (...)
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  32. Roman Murawski (1997). Gödel's Incompleteness Theorems and Computer Science. Foundations of Science 2 (1):123-135.
    In the paper some applications of Gödel's incompleteness theorems to discussions of problems of computer science are presented. In particular the problem of relations between the mind and machine (arguments by J.J.C. Smart and J.R. Lucas) is discussed. Next Gödel's opinion on this issue is studied. Finally some interpretations of Gödel's incompleteness theorems from the point of view of the information theory are presented.
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  33. Roman Murawski (1997). Satisfaction Classes-a Survey. Poznan Studies in the Philosophy of the Sciences and the Humanities 57:259-282.
    Direct download  
     
    My bibliography  
     
    Export citation  
  34. Roman Murawski & Jerzy Pogonowski (eds.) (1997). Euphony and Logos: Essays in Honour of Maria Steffen-Batóg and Tadeusz Batóg. Rodopi.
    Contents: Preface. SCIENTIFIC WORKS OF MARIA STEFFEN-BATÓG AND TADEUSZ BATÓG. List of Publications of Maria Steffen-Batóg. List of Publications of Tadeusz Batóg. Jerzy POGONOWSKI: On the Scientific Works of Maria Steffen-Batóg. Jerzy POGONOWSKI: On the Scientific Works of Tadeusz Batóg. W??l??odzimierz LAPIS: How Should Sounds Be Phonemicized? Pawe??l?? NOWAKOWSKI: On Applications of Algorithms for Phonetic Transcription in Linguistic Research. Jerzy POGONOWSKI: Tadeusz Batóg's Phonological Systems. MATHEMATICAL LOGIC. Wojciech BUSZKOWSKI: Incomplete Information Systems and Kleene 3-valued Logic. Maciej KANDULSKI: Categorial Grammars with (...)
    Direct download  
     
    My bibliography  
     
    Export citation  
  35. Roman Murawski (1996). Review of M. D. Resnik (Ed.), Mathematical Objects and Mathematical Knowledge. [REVIEW] Grazer Philosophische Studien 52:257-259.
  36. Roman Murawski (1995). The Contribution of Zygmunt Ratajczyk to the Foundations of Arithmetic. Notre Dame Journal of Formal Logic 36 (4):502-504.
    Zygmunt Ratajczyk was a deep and subtle mathematician who, with mastery, used sophisticated and technically complex methods, in particular combinatorial and proof-theoretic ones. Walking always along his own paths and being immune from actual trends and fashions he hesitated to publish his results, looking endlessly for their improvement.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  37. Jan Woleński, Roman Murawski & Adam Grobler (1995). Books Received. [REVIEW] Studia Logica 54 (1):129-137.
  38. Roman Murawski (1994). Filozofia Matematyki Antologia Tekst'ow Klasycznych. Monograph Collection (Matt - Pseudo).
    No categories
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  39. Roman Murawski (1994). Hilbert's Program: Incompleteness Theorems Vs. Partial Realizations. In Jan Wolenski (ed.), Philosophical Logic in Poland. Kluwer. 103--127.
    Direct download  
     
    My bibliography  
     
    Export citation  
  40. Roman Murawski (1992). Iterations of Satisfaction Classes and Models of Peano Arithmetic. Mathematical Logic Quarterly 38 (1):59-84.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  41. Roman Murawski (1991). A Note on the Variety of Satisfaction Classes Roman Murawski Instytut Matematyki UAM, Ul Matejki 48/49, PL-60-769 Poznan, Poland Received December 7, 1988/in Revised Form March 2, 1990. [REVIEW] Archive for Mathematical Logic 30:83.
    No categories
     
    My bibliography  
     
    Export citation  
  42. Roman Murawski (1991). Some Properties of the Family of Expansions to Models of A 2−/Δ 11 + Σ 11‐AC. Mathematical Logic Quarterly 37 (17):265-272.
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  43. Roman Murawski (1990). A Note on the Variety of Satisfaction Classes. Archive for Mathematical Logic 30 (2):83-89.
    No categories
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  44. Roman Murawski (1990). Appendix to the Paper “Definable Sets and Expansions of Models of Peano Arithmetic”. Archive for Mathematical Logic 30 (2):91-92.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  45. Roman Murawski (1989). Odpowiedź na recenzję Kazimierza Trzęsickiego. Studia Filozoficzne 287 (10).
    No categories
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  46. Roman Murawski (1988). Definable Sets and Expansions of Models of Peano Arithmetic. Archive for Mathematical Logic 27 (1):21-33.
    We consider expansions of models of Peano arithmetic to models ofA 2 s -¦Δ 1 1 +Σ 1 1 −AC which consist of families of sets definable by nonstandard formulas.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  47. Roman Murawski (1988). Symbolizm w logice. Studia Filozoficzne 271 (6-7).
    No categories
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  48. Roman Murawski (1988). The Development of Symbolism in Logic and Its Philosophical Background. Proceedings of the Aristotelian Society 89:65 - 78.
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  49. Roman Murawski (1988). Pointwise Definable Substructures of Models of Peano Arithmetic. Notre Dame Journal of Formal Logic 29 (3):295-308.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  50. Roman Murawski (1987). Generalizations and Strengthenings of Gödel's Incompleteness Theorem. In Jan T. J. Srzednicki (ed.), Initiatives in Logic. M. Nijhoff. 84--100.
1 — 50 / 62