About the Decidability of Theology
Adam Olszewski
The Pontifical University of John Paul II in Cracow, Department of Philosophy , Polandhttps://orcid.org/0000-0003-3069-7518
Abstract
The paper takes a synthetic, not an analytical approach to the title issue. From the methodological point of view, it is an attempt to apply logical notions such as consequence, proof, rule and decidability to theology as a whole. In the first part (to the paragraph 3.1) the theology is considered as a logical theory and the drawbacks of such an approach are pointed out, including the impossibility of a sensible consideration of the decidability of such a theology. The second part weakens the logical notion of decidability and narrows down the notion of theology for which the weakened decidability can be applied. The whole discussion poses a lot of problems concerning theology, which probably theologians should solve. The work is quite controversial for both sides: theologians and
logicians. To make it easier for theologians to read the paper, a glossary of loosely worded terms of logical terms has been added.
Keywords:
theology, logic, decidability, consequence, inference ruleReferences
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.
The Pontifical University of John Paul II in Cracow, Department of Philosophy https://orcid.org/0000-0003-3069-7518
License
This work is licensed under a Creative Commons Attribution 4.0 International License.
This work is licensed under a Creative Commons Attribution 4.0 International License.