Skip to main content
Log in

Thomism and modern formal logic. Remarks on the Cracow Circle

  • The Cracow Circle
  • Published:
Axiomathes Aims and scope Submit manuscript

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Bibliography

  1. AA.VV.,De Deo in philosophia S. Thomae et in moderna philosophia, 2 voll., Roma.

  2. E. Agazzi,Modern logic. A survey, Dordrecht.

  3. K. Ajdukiewicz,The scientific world-perspective and other essays, ed. J. Giedymin, Dordrecht.

  4. K. Ajdukiewicz,Język i poznanie, Warszawa, 2 voll. (1st. ed. 1960; Engl. transl. [Ajdukiewicz 1978]).

  5. K. Ajdukiewicz, “Problemat transcendentalnego idealizmu w sformulowaniu semantycznym” [The problem of transcendental idealism in semantic formulation], in [Ajdukiewicz 1985a], vol. I, 264–277.

  6. K. Ajdukiewicz, “O stosowalności czystej logiki do zagadnień filozoficznych” [On applicability of pure logic to philosophical questions], in Ajdukiewicz 1985a, vol. I, 211–214.

  7. L. Albertazzi, “Brentano, Twardowski and Polish Scientific Philosophy”, in Coniglione Poli Woleński 1993, 11–41.

  8. B. Bejze,W kierunku Boga, Warszawa.

  9. J. Bendiek, “Zur logischen Struktur der Gottesbeweise”,Franciskanische Studien XXXVIII, 1–38, 296–321.

  10. K. Blachowicz, “Leibniz's demonstratio existentiae Dei ad mathematicam certitudinem exacta. A logical analysis”, in Kopania 1982, 43–55.

  11. J.M. Bocheński, Review of [Salamucha 1930],Bulletin Thomiste VIII, 401–404.

  12. J.M. Bocheński, “Compte rendu n. 935”,Bulletin Thomiste XII, 601–603.

  13. J.M. Bocheński, “Tradycja myśli katolickiej a ścisłość” [The tradition of Catholic thought and exactness], in [Michalski 1937].

  14. J.M. Bocheński, “On modern formal logical ‘relativism’”, in [Michalski 1937], 87–111.

  15. J.M. Bocheński,Nove lezioni di logica simbolica, Roma.

  16. J.M. Bocheński, “Analisi logica di un testo di S. Tommaso d'Aquino (I, 75, 6)”, in [Bocheński 1938a], 147–55.

  17. J.M. Bocheński, “Z historii logiki zdań modalnych” [From the history of modal sentences], Lwów.

  18. J.M. Bocheński, “On analogy”,The Thomist XI, 474–497 (German transl. in [Bocheński 1959], 107–130).

  19. J.M. Bocheński,Logisch-Philosophische Studien, Freiburg-München.

  20. J.M. Bocheński,Formale Logik, Freiburg.

  21. J.M. Bocheński,The Logic of Religion, New York.

  22. J.M. Bocheński, “Logic and ontology”,Philosophy East and West XXIV.

  23. J.M. Bocheński,Was ist Autorität? Einführung in die Logik der Autorität, Freiburg.

  24. J.M. Bocheński, “The general sense and character of modern logic”, in [Agazzi 1981], 3–14.

  25. J.M. Bocheński, “The Cracow Circle”, in [Szaniawski 1989].

  26. S. Borzym, “Szkola Lwowsko-Warszawska a przedstawiciele innych kierunków filozoficznych w Polsce międzywojennej” [The Lvov-Warsaw School and the representatives of other philosophical viewpoints in Poland between the two wars], in [Hempoliski 1987], 263–294.

  27. W. Bryar,S. Thomas and the Existence of God, Chicago.

  28. J. Chechelski, “Dyskusja” [Discussion], in [Michalski 1937].

  29. C. Christian, “Eine Note zum Gottesbegriff”,Religion-Wissenschaft-Kultur VIII, 227–228.

  30. B.L. Clarke,Language and Natural Theology, Berlin.

  31. F. Coniglione, R. Poli and J. Woleński,The Polish scientific philosophy. The tradition of the Lvov-Warsaw School, Amsterdam.

  32. P. Descoqs,Institutiones Metaphysicae generalis, 2 voll., Paris.

  33. J. De Vries and G. Klaus, “Über die tomistischen Gottesbeweise”,Scholastik XXXIV, 54–56.

  34. J.F. Drewnowski, “Zarys programu filozoficznego” [Outline of a philosophical programme],Przegląd Filozoficzny XXVII, 3–38, 150–181, 262–292.

  35. J.F. Drewnowski, “Neoscholastyka wobec nowoczesnych wymagań nauki” [Neoscholasticism in the view of modern demands of science], in [Michalski 1937], 49–57.

  36. J.F. Drewnowski, “Uwagi w zwiazku z artykulem dzskusyjnym ks. S. Kaminskiego i s. Z.J. Zdybickiej” [Remarks concerning the discussionarticle of rev. S. Kamiski and s. Z.J. Zdybicka],Znak XVII, 346–355.

  37. N. Goodman and W.V.O. Quine, “Steps towards a constructive nominalism”,Journal of Symbolic Logic XII, 105–122.

  38. M. Hempoliński,Polska filozofia analityczna. Analiza logiczna i semiotyczna w szkole lwowsko-warszawskiej [Polish analytical philosophy. Logical and semiotical analysis in the Lvov-Warsaw School], Wrocł aw, Warszawa, Kraków, Gdańsk, Łódz.

  39. L. Henkin,Proceedings of the Tarski Symposium, Providence.

  40. A. Jakubisiak,Od zakresu do treści [From the range to the content], Warszawa.

  41. C.H. Kaiser, “The formal fallacy of the cosmological argument”,The Journal of Religion XXIV, 155–161.

  42. S. Kamiński, “Logika współczesna a filozofia” [Contemporary logic and philosophy],Roczniki Filozoficzne KUL IX, 49–84.

  43. S. Kamiński, “O formalizacji teorii tomistycznej ruchu” [On the formalization of a thomistic theory of motion],Sprawozdania z Czynnosci Wydawniczej i Posiedzen Naukowych TN KUL XV, 49–52.

  44. S. Kamiński, “Łukasiewicza koncepcja metody filozofii” [Łukasiewicz's conception of the method of philosophy],Roczniki Filozoficzne KUL XXVII.

  45. S. Kamiński,Jak filozofowac? [How to philosophize?], Lublin.

  46. S. Kamiński, “Co daje stosowanie logiki formalnej do metafizyki klasycznej” [What yields the application of formal logic to the classic metaphysics], in [Kamiński 1989a], 125–134.

  47. S. Kamiński, “Aksjomatyzowalność klasycznej metafizyki ogólnej” [Axiomatizability of classic general metaphysics], in [Kamiński 1989a], 135–49.

  48. S. Kamiński and Z.J. Zdybicka, “O sposóbie poznawania istnienia Boga” [Concerning the way to recognize the existence of God],Znak XVI, 635–661.

  49. S. Kamiński and Z.J. Zdybicka, “W odpowiedzi na uwagi J.F. Drewnowskiego” [Answer to the remarks of J.F. Drewnowski],Znak XVII, 355–365.

  50. S. Kiczuk,Problematyka wartośći poznawczej systemów logiki zmiany [Problems connected with the cognitive value of the logic of change], Lublin.

  51. G. Klaus,Jesuiten-Gott-Materie, Berlin.

  52. K. Klosak,Studia z filozofii Boga, Warszawa, 2 voll.

  53. K. Klosak, “Proba współczesnienia Tomaszowej argumentacji za istnieniem Boga z przyczynowosci sprawczej” [An Attempt to modernize S. Thomas' argumentation for the existence of God using efficient causality], in Klosak 1973a, 204–22.

  54. J. Kopania,Studies in logic, grammar and rethoric II, Warszawa.

  55. T. Kotarbiński,Gnoseology, transl. O. Wojtasiewicz, Wrocław, Oxford.

  56. T. Kotarbiński,Elementy teorii poznania, logiki formalnej i metodologii nauk, Warszawa.

  57. T. Kotarbiński, “Fazy rozwojowe konkretyzmu” [Phases of development of concretism], in [Kotarbiński 1986a], 397–404.

  58. M.A. Krąpiec, “O poprawne rozumienie kinetycznego dowodu na istnienie Boga u sw. Tomasza” [For a correct understanding of S. Thomas' kinetic argument for the existence of God],Polonia Sacra VI, 97–113.

  59. L. Larouche, “Examination of the axiomatic foundations of a theory of change”,Notre Dame Journal of Formal Logic IX, 371–384, X, 277–284, 385–409, XII, 378–380, XIII, 53–68.

  60. J. Łukasiewicz, “O logice stoików” [On the logic of Stoics],Przegląd Filozoficzny XXX.

  61. J. Łukasiewicz, “Z historii ligiki zdań” [From the history of logic of sentences],Przegląd Filozoficzny XXXVII.

  62. J. Łukasiewicz, “Logistyka a filozofia” [Modern formal logic and philosophy],Przegląd Filozoficzny XXXIX, 115–131.

  63. J. Łukasiewicz, “W obronie logistyki” [In defence of modern formal logic], in [Michalski 1937], 12–26.

  64. J. Łukasiewicz,Aristotle's syllogistic from the standpoint of modern logic, Oxford

  65. E.C. Luschei,The logical systems of Leśniewski, Amsterdam.

  66. W. Marciszewski, “W sprawie koniecznośći logicznej twierdzen metafizyki” [On the logical necessity of metaphysical theses],Roczniki Filozoficzne KUL VII, 73–88.

  67. W. Marciszewski, “O metode filozofii” [On philosophical method],Roczniki Filozoficzne KUL VIII, 17–35.

  68. A. Menne,Logico-Philosophical Studies, Dordrecht.

  69. A. Menne,The logical analysis of existence, in Menne 1962a.

  70. K. Michalski,Myśl katolicka wobec logiki współczesnej [Catholic mind in relation to modern logic], Poznań.

  71. E. Morscher, O. Neumaier and G. Zecha,Philosophiae als Wissenschaft, Bad Reichenhall.

  72. M. Munitz,Contemporary analytic philosophy, New York.

  73. E. Nieznański, “Logistyczny przyczynek do analizy pojęcia istoty, do któ rej nalezy istnienie” [A logistical contribution to the analysis of the notion of ‘essence, to which existence belongs’],Studia Philosophiae Christianae I, 139–155.

  74. E. Nieznański,Miscellanea logica, Warszawa, 2 voll.

  75. E. Nieznański, “Formalizacyjne proby ustalenia logiko-formalnych podstaw stwierdzania pierwszych elementow relacji rozwazanych w tomistycznej teodycei” [A formalized attempts to set out a formal-logical bases for the first elements of relations considered in the Thomistic theodicy], in [Nieznański 1980a], vol. 1, 7–194.

  76. E. Nieznański, “Ein formalisierter Beweis für die Existenz eines ersten notwendigen Seienden”, in [Morscher Neumaier Zecha 1981].

  77. E. Nieznański, “W poszukiwaniu pierwszej przyczyny za pomoca logiki formalnej” [On the First Cause with the help of formal logic],Annalecta Cracoviensia XIV, 51–60.

  78. E. Nieznański, “Sformalizowany dowod istnienia koniecznego bytu pierwszego” [A formalized proof of the existence of a necessary First Being], in [Bejze 1982], 495–508.

  79. E. Nieznański, “A logical analysis of the philosophical arguments based on Leibniz's principle of the sufficient reason of existence”,Bulletin of the Section of Logic XII, 188–193.

  80. E. Nieznański, “16-elementowa algebra Boole'a jako model klasycznej teorii ‘de modis essendi’” [16-elements Boolean algebra as a model for the classical theory ‘de modis essendi’],Studia Philosopiae Christianae I, 125–132.

  81. E. Nieznański, “Formalizacja filozofii - metoda czy maniera” [Formalization of philosophy - a method or a mannerism],Roczniki Filozoficzne KUL XXXV, 59–69.

  82. E. Nieznański, “Logical analysis of thomism. The Polish programme that originated in 1930's”, in [Srzednicki 1987].

  83. A. Passmore,A Hundred Years of Philosophy, New York. (1st ed. 1957).

  84. K. Policki, “W sprawie formalizacji dowodu ‘ex motu’ na istnienie Boga” [On the formalization of the proof ‘ex motu’ for the existence of God],Roczniki Filozoficzne KUL XXIII, 19–30.

  85. M. Przełecki, “The law of excluded middle and the problem of idealism”,Grazer Philosophische Studien XVIII.

  86. N. Rescher,Many-valued logic, New York.

  87. F. Rivetti Barbò, “La struttura logica della prima via per provare l'esistenza di Dio. Aplicazioni di logica simbolica e nessi di contenuti”,Rivista di Filosofia Neoscolastica LII, 241–320.

  88. F. Rivetti Barbò, “Ancora sulla prima via per provare l'esistenza di Dio”,Rivista di Filosofia Neoscolastica LIV, 596–616.

  89. F. Rivetti Barbò, “Logica simbolica e prove dell' esistenza di Dio. Rilievi metodologici”, in [AAVV 1966], vol. 2, 359–63.

  90. F. Rivetti Barbò, “La formalizzazione e la struttura propria delle ‘vie’ di ascesa a Dio. Considerazioni metodologiche”,Rivista di Filosofia Neoscolastica LIX, 161–177.

  91. J. Salamucha,Pojecie dedukcji u Arystotelesa i sw. Tomasza [The concept of deduction in Aristotle and St. Thomas], Warszawa.

  92. J. Salamucha, “Dowód ‘ex motu’ na istnienie Boga. Analiza logiczna argumentacji sw. Tomasza” [The proof ‘ex motu’ of the existence of God. Logical analysis of the argumentation of St. Thomas],Collectanea Theologica XV, 53–92.

  93. J. Salamucha, “Logika zdań u Wilhelma Ochama” [The propositional logic of W. Occam],Przegląd Filozoficzny XXXVIII.

  94. J. Salamucha, “O ‘mechanizacji’ myslenia” [On ‘mechanisation’ of thinking], in [Michalski 1937], 112–121.

  95. J. Salamucha, “O pojawieniu się zagadnień antynomialnych na gruncie logiki średniowiecznej” [On appearance of the antinomial questions on the ground of the Middle-Ages logic],Przegląd Filozoficzny XL.

  96. J. Salamucha, “Zestawienie scholastycznych narzędzi logicznych z narzędziami logistycznymi” [Comparisons between scholastic logical tool and modern formal logic], in [Michalski 1937], 35–48.

  97. J. Salamucha, “O mozliwości ścisłego formalizowania dziedziny pojęć analogicznych” [Concerning the possibility of exact formalization of the domain of analogical notions], in [Michalski 1937].

  98. J. Salamucha, German transł of [Salamucha 1935], inFranziskanische Studien XXXII.

  99. J. Salamucha, Engl. transl. of [Salamucha 1934],New Scholasticism XXXII, 327–372.

  100. F. Selvaggi, “Rassegna di cosmologia e filosofia della scienza”,Gregorianum XLIII, 295–314.

  101. B. Smith, “On the phases of reism”, in [Woleński 1989c].

  102. J. Srzednicki,Initiatives in Logic, Dodrecht.

  103. W. Stegmüller,Hauptströmungen der Gegenwartsphilosophie, 2 voll., Stuttgart 1980.

  104. G. Swiderski and M. Stanski, “W. Bieganski - lekarz i filozof 1857–1917” [W. Bieganski - physician and philosopher 1857–1917], Poznań.

  105. K. Szaniawski,The Vienna Circle and the Lvov-Warsaw School, Dordrecht-Boston-London.

  106. W. Szumowski, “Pare slow o polskiej szkole filozoficzno-medycznej” [A few words concerning the Polish philosophical-medical school],Polski Miesiecznik Lekarski II, 290–303.

  107. A. Tarski,Logic, semantic, metamathematics, Oxford.

  108. I. Thomas, Review of [Rivetti Barbò 1960],Journal of Symbolic Logic XXV, 348–349.

  109. K. Twardowski,On the content and object of presentation, transl. R. Grossman, The Hague (German anast. reprint. edited by R. Haller, Münich, Vienna 1982).

  110. P. Weingartner, “Religiöser Fatalismus und das Problem des Übels”, in [Weinzierl 1974], 269–409.

  111. E. Weinzierl,Der Modernismus. Beiträge zu einer Erforschung, Graz.

  112. J. Woleński,Filozoficzna szkola Lwowsko-Warszawska [The philosophical school of Lvov-Warsaw], Warszawa.

  113. J. Woleński,Logic and Philosophy in the Lvov-Warsaw School, Dordrecht, Boston, London (Engl. transl. of Woleński 1985).

  114. J. Woleński, “K. Twardowski jako filozof” [K. Twardowski as a philosopher],Ruch Filozoficzny XLVI-3, 233–243.

  115. J. Woleński,Kotarbiński: Logic, Semantic, Ontology, Dordrecht, Boston, Lancaster.

  116. Z.J. Zdybicka, “Charakter rozumowania wystepujący w Tomaszowym dowodzie kinetyczym istnienia Boga” [Character of the reasoning arising in S. Thomas' kinetic proof for the existence of God],Znak XIII, 1482–1499.

  117. S. Ziemski, “Poglądy metodologiczne W. Bieganskiego” [W. Bieganski's methodological standpoint],Archiwum Historii Medycyny XXVIII, 9–55.

Download references

Author information

Authors and Affiliations

Authors

Rights and permissions

Reprints and permissions

About this article

Cite this article

Puciato, R. Thomism and modern formal logic. Remarks on the Cracow Circle. Axiomathes 4, 169–191 (1993). https://doi.org/10.1007/BF02229794

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF02229794

Keywords

Navigation