O rozstrzygalności teologii
Adam Olszewski
Uniwersytet Papieski Jana Pawła II w Krakowe, Wydział Filozoficzny , Polskahttps://orcid.org/0000-0003-3069-7518
Abstrakt
W pracy przedstawiono syntetyczne, a nie analityczne, ujęcie tytułowego zagadnienia. Od strony metodologicznej jest próbą aplikacji pojęć logicznych jak konsekwencja, dowód, rozstrzygalność do teologii jako całości. W pierwszej części (do pkt 3.1) rozważa się teologię jako teorię logiczną i wskazuje na wady takiego ujęcia, w tym na niemożliwość sensownego rozważania rozstrzygalności tak rozumianej teologii. W drugiej części zostało osłabione logiczne pojęcie rozstrzygalności oraz zawężone pojęcie teologii, dla którego osłabiona rozstrzygalność daje się zastosować. W rozważaniach postawiono mnóstwo problemów dotyczących teologii, które chyba teologowie powinni rozwiązać. Praca jest dość kontrowersyjna dla obu stron, czyli teologów i logików. Aby ułatwić teologom lekturę pracy, dodano słowniczek luźno sformułowanych określeń terminów logicznych.
Słowa kluczowe:
teologia, logika, rozstrzygalność, konsekwencja, reguła inferencjiBibliografia
Drewnowski J.F., Stosowanie logiki symbolicznej w filozofii, w: J.F. Drewnowski, Filozofia i precyzja, Lublin 1996.
Fitting M., Types, Tableaus, and Gödel’s God, Dordrecht 2002.
Grzegorczyk A., Zagadnienia rozstrzygalności, 1999, http://www.calculemus.org/forum/2/grzeg03.html.
Hodges A., Turing, tłum. J. Nowotniak, Warszawa 1996.
Komorowski M., Pojęcie teologii w pismach Platona i Arystotelesa, „Acta Universitatis Lodzensis. Folia Philosophica” 26 (2013), s. 3–26.
Kongregacja Nauki Wiary, Wyjaśnienie doktrynalne dotyczące końcowej części formuły „Wyznania wiary”, 29.06.1998.
Logic in Theology, red. B. Brożek, A. Olszewski, M. Hohol, Cracow 2013.
Mycka J., Elementy teorii obliczalności, skrypt UMCS, Lublin 2011.
Ott L., Fundamentals of Catholic Dogma, trans. by P. Lynch, North Carolina 1974.
Salamucha J., Zagadnienie przymusu w życiu społecznym, w: J. Salamucha, Wiedza i wiara. Wybrane pisma filozoficzne, red. J.J. Jadacki, K. Świętorzecka, Lublin 1997.
Stace W., Mysticism and Philosophy, London 1961.
Szymanek K., Argument z podobieństwa, Katowice 2008.
Tiuryn J., Tyszkiewicz J., Urzyczyn P., Logika dla informatyków, 2006, http://www.mimuw.edu.pl/ ̃urzy/calosc.pdf.
Trzęsicki K., Problems of omniscience and infallibility. A temporal-logical approach, w: Logic in Theology, red. B. Brożek, A. Olszewski, M. Hohol, Cracow 2013, s. 94–98.
Turing A., Systems of logic based on ordinals, Proc. London math. soc., 45 ( 1939), s. 161–228.
Wolak Z., Koncepcje analogii w Kole Krakowskim, Tarnów 2005.
Uniwersytet Papieski Jana Pawła II w Krakowe, Wydział Filozoficzny https://orcid.org/0000-0003-3069-7518
Licencja
Utwór dostępny jest na licencji Creative Commons Uznanie autorstwa 4.0 Międzynarodowe.
Utwór dostępny jest na licencji Creative Commons Uznanie autorstwa 4.0 Międzynarodowe.
