134 found
Order:
  1.  76
    Undefinability of Truth. The Problem of Priority:Tarski Vs Gödel.Roman Murawski - 1998 - 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 (4 more)  
     
    Export citation  
     
    Bookmark   13 citations  
  2.  29
    On Expandability of Models of Peano Arithmetic. I.Roman Murawski - 1976 - Studia Logica 35 (4):409-419.
  3.  26
    Cracow Circle and Its Philosophy of Logic and Mathematics.Roman Murawski - 2015 - Axiomathes 25 (3):359-376.
    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 (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  4.  5
    Mathematics and Theology in the Thought of Nicholas of Cusa.Roman Murawski - 2019 - Logica Universalis 13 (4):477-485.
    Nicholas of Cusa was first of all a theologian but he was interested also in mathematic and natural sciences. In fact philosophico-theological and mathematical ideas were intertwined by him, theological and philosophical ideas influenced his mathematical considerations, in particular when he considered philosophical problems connected with mathematics and vice versa, mathematical ideas and examples were used by him to explain some ideas from theology. In this paper we attempt to indicate this mutual influence. We shall concentrate on the following problems: (...)
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  5.  20
    On Expandability of Models of Peano Arithmetic. II.Roman Murawski - 1976 - Studia Logica 35 (4):421-431.
  6.  17
    Some Historical, Philosophical and Methodological Remarks on Proof in Mathematics.Roman Murawski - 2016 - In Peter Schuster & Dieter Probst (eds.), Concepts of Proof in Mathematics, Philosophy, and Computer Science. De Gruyter. pp. 251-268.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  7.  6
    Recursive Functions and Metamathematics.Roman Murawski - 2002 - Studia Logica 70 (2):297-299.
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  8.  49
    Troubles with (the Concept of) Truth in Mathematics.Roman Murawski - 2006 - 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 (7 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  9.  20
    Truth Vs. Provability – Philosophical and Historical Remarks.Roman Murawski - 2002 - Logic and Logical Philosophy 10:93.
  10.  10
    On Chwistek’s Philosophy of Mathematics.Roman Murawski - 2011 - Russell: The Journal of Bertrand Russell Studies 31 (1).
    The paper is devoted to the presentation of Chwistek’s philosophical ideas concerning logic and mathematics. The main feature of his philosophy was nominalism, which found full expression in his philosophy of mathematics. He claimed that the object of the deductive sciences, hence in particular of mathematics, is the expression being constructed in them according to accepted rules of construction. He treated geometry, arithmetic, mathematical analysis and other mathematical theories as experimental disciplines, and obtained in this way a nominalistic interpretation of (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  11.  12
    Pointwise Definable Substructures of Models of Peano Arithmetic.Roman Murawski - 1988 - Notre Dame Journal of Formal Logic 29 (3):295-308.
  12.  48
    Główne koncepcje i kierunki filozofii matematyki XX wieku.Roman Murawski - 2003 - Zagadnienia Filozoficzne W Nauce 33.
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  13.  27
    Undefinability Vs. Definability of Satisfaction and Truth.Roman Murawski - 1999 - 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  
     
    Export citation  
     
    Bookmark   1 citation  
  14.  23
    Some Remarks on the Structure of Expansions.Roman Murawski - 1980 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 26 (34-35):537-546.
  15.  23
    Trace Expansions of Initial Segments.Roman Murawski - 1984 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 30 (30):471-476.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  16.  18
    On Expandability of Models of Peano Arithmetic. III.Roman Murawski - 1977 - Studia Logica 36 (3):181-188.
    Already after sending the first two parts of this paper ([5], [6]) to the editor, two new results on the subject have appeared — namely the results of G. Wilmers and Z. Ratajczyk. So for the sake of completeness let us review them here.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  17.  12
    Philosophical Reflection on Mathematics in Poland in the Interwar Period.Roman Murawski - 2004 - 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 (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  18.  18
    Reviews. [REVIEW]Marian Przełęcki, Roman Murawski & Witold Marciszewski - 1975 - Studia Logica 34 (3):275-291.
  19.  14
    Some Remarks on the Structure of Expansions.Roman Murawski - 1980 - Mathematical Logic Quarterly 26 (34‐35):537-546.
  20.  12
    Definable Sets and Expansions of Models of Peano Arithmetic.Roman Murawski - 1988 - 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)  
     
    Export citation  
     
    Bookmark   1 citation  
  21.  11
    Trace Expansions of Initial Segments.Roman Murawski - 1984 - Mathematical Logic Quarterly 30 (30):471-476.
  22.  1
    1. Auf dem Weg zu den reellen Zahlen.Thomas Bedürftig & Roman Murawski - 2015 - In Thomas Bedürftig & Roman Murawski (eds.), Philosophie der Mathematik. De Gruyter. pp. 6-27.
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  23.  4
    2. Aus der Geschichte der Philosophie und Mathematik.Thomas Bedürftig & Roman Murawski - 2015 - In Thomas Bedürftig & Roman Murawski (eds.), Philosophie der Mathematik. De Gruyter. pp. 28-159.
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  24.  2
    A. Infinitesimal denken und rechnen.Thomas Bedürftig & Roman Murawski - 2015 - In Thomas Bedürftig & Roman Murawski (eds.), Philosophie der Mathematik. De Gruyter. pp. 387-427.
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  25.  3
    5. Axiomatik und Logik.Thomas Bedürftig & Roman Murawski - 2015 - In Thomas Bedürftig & Roman Murawski (eds.), Philosophie der Mathematik. De Gruyter. pp. 315-371.
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  26.  1
    Begriffsverzeichnis.Thomas Bedürftig & Roman Murawski - 2015 - In Thomas Bedürftig & Roman Murawski (eds.), Philosophie der Mathematik. De Gruyter. pp. 458-465.
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  27.  4
    3. Über Grundfragen der Philosophie der Mathematik.Thomas Bedürftig & Roman Murawski - 2015 - In Thomas Bedürftig & Roman Murawski (eds.), Philosophie der Mathematik. De Gruyter. pp. 160-269.
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  28.  3
    Einleitung.Thomas Bedürftig & Roman Murawski - 2015 - In Thomas Bedürftig & Roman Murawski (eds.), Philosophie der Mathematik. De Gruyter. pp. 1-5.
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  29.  2
    Kurzbiographien.Thomas Bedürftig & Roman Murawski - 2015 - In Thomas Bedürftig & Roman Murawski (eds.), Philosophie der Mathematik. De Gruyter. pp. 428-439.
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  30.  1
    Literaturverzeichnis.Thomas Bedürftig & Roman Murawski - 2015 - In Thomas Bedürftig & Roman Murawski (eds.), Philosophie der Mathematik. De Gruyter. pp. 440-451.
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  31.  1
    4. Mengen und Mengenlehren.Thomas Bedürftig & Roman Murawski - 2015 - In Thomas Bedürftig & Roman Murawski (eds.), Philosophie der Mathematik. De Gruyter. pp. 270-314.
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  32.  2
    Personenverzeichnis.Thomas Bedürftig & Roman Murawski - 2015 - In Thomas Bedürftig & Roman Murawski (eds.), Philosophie der Mathematik. De Gruyter. pp. 452-456.
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  33.  5
    Philosophie der Mathematik.Thomas Bedürftig & Roman Murawski - 2015 - De Gruyter.
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  34.  1
    Philosophie der Mathematik.Thomas Bedürftig & Roman Murawski - 2010 - De Gruyter.
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  35.  1
    Philosophie der Mathematik.Thomas Bedürftig & Roman Murawski - 2019 - De Gruyter.
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  36.  2
    6. Rückblick.Thomas Bedürftig & Roman Murawski - 2015 - In Thomas Bedürftig & Roman Murawski (eds.), Philosophie der Mathematik. De Gruyter. pp. 372-386.
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  37.  1
    Symbolverzeichnis.Thomas Bedürftig & Roman Murawski - 2015 - In Thomas Bedürftig & Roman Murawski (eds.), Philosophie der Mathematik. De Gruyter. pp. 457-457.
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  38.  1
    Vorwort zur 3. Auflage.Thomas Bedürftig & Roman Murawski - 2015 - In Thomas Bedürftig & Roman Murawski (eds.), Philosophie der Mathematik. De Gruyter.
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  39.  1
    Vorwort zur 2. Auflage.Thomas Bedürftig & Roman Murawski - 2015 - In Thomas Bedürftig & Roman Murawski (eds.), Philosophie der Mathematik. De Gruyter.
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  40.  1
    Vorwort zur 1. Auflage.Thomas Bedürftig & Roman Murawski - 2015 - In Thomas Bedürftig & Roman Murawski (eds.), Philosophie der Mathematik. De Gruyter.
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  41. 2. Remarks On The Structuralistic Epistemology Of Mathematics.Izabella Bondecka-Krzykowska & Roman Murawski - 2006 - Logique Et Analyse 49:85-93.
     
    Export citation  
     
    Bookmark  
  42. Structuralism and Category Theory in the Contemporary Philosophy of Mathematics.Izabela Bondecka-Krzykowska & Roman Murawski - 2008 - Logique Et Analyse 51 (204):365.
  43. REVIEWS-Historical Dictionary of Logic.H. J. Gensler & Roman Murawski - 2007 - Bulletin of Symbolic Logic 13 (3).
  44. Mechanization of Reasoning in a Historical Perspective.Witold Marciszewski & Roman Murawski (eds.) - 1995 - Brill | Rodopi.
    This volume is written jointly by Witold Marciszewski, who contributed the introductory and the three subsequent chapters, and Roman Murawski who is the author of the next ones - those concerned with the 19th century and the modern inquiries into formalization, algebraization and mechanization of reasonings. Besides the authors there are other persons, as well as institutions, to whom the book owes its coming into being. The study which resulted in this volume was carried out in the Historical Section of (...)
    No categories
     
    Export citation  
     
    Bookmark   5 citations  
  45.  6
    5. Axiomatic Approach and Logic.Roman Murawski & Thomas Bedürftig - 2018 - In Roman Murawski & Thomas Bedürftig (eds.), Philosophy of Mathematics. De Gruyter. pp. 293-346.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  46.  15
    A Correction to the Paper “on Expandability of Models of Peano Arithmetic. I”.Roman Murawski - 1977 - Studia Logica 36 (3):237-237.
  47.  7
    A Correction to the Ppaer "On Expandability of Models of Peano Arithmetic. I" Studia Logica 35 (1976), Pp. 409-419.Roman Murawski - 1977 - Studia Logica 36 (3):237 -.
  48.  15
    A Note on the Variety of Satisfaction Classes.Roman Murawski - 1990 - Archive for Mathematical Logic 30 (2):83-89.
  49. 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]Roman Murawski - 1991 - Archive for Mathematical Logic 30:83.
    No categories
     
    Export citation  
     
    Bookmark  
  50.  18
    Appendix to the Paper “Definable Sets and Expansions of Models of Peano Arithmetic”.Roman Murawski - 1990 - Archive for Mathematical Logic 30 (2):91-92.
1 — 50 / 134