Browse > Article

G$\ddot{o}$del's Mathematical Proof of the Existence of God  

Hyun, Woo-Sik (College of Humanities, Hoseo University)
Publication Information
Journal for History of Mathematics / v.23, no.1, 2010 , pp. 79-88 More about this Journal
Abstract
G$\ddot{o}$del's proof attempts to establish the existence of God by the definition that God is a being having all positive properties. The proof uses here second order modal logic system $S_5$ with the axiom ${\diamondsuit}{\Box}p{\rightarrow}{\Box}p$. We review the G$\ddot{o}$del's own version and prove his ontological theorems.
Keywords
G$\ddot{o}$del; God; ontological proof; modal logic;
Citations & Related Records
Times Cited By KSCI : 2  (Citation Analysis)
연도 인용수 순위
1 Goldblatt, R., "Mathematical Modal Logic: A View of its Evolution," Dov G. Gabbay & John Woods(eds.), Handbook of the History of Logic Volume 7: Logic and the Modalities in the Twentieth Century, Elsevier, 2006.
2 Hajek, P., "A New Small Emendation of Godel's Ontological Proof," Studia Logica 71 (2002):149-163.   DOI   ScienceOn
3 Godel, K., "Ontological Proof(1970)," Collected Works III: Unpublished Essays and Lectures., S. Feferman et al.(eds.), Oxford University Press, 1995.
4 Fitting, M., Types, Tableaus, and Godel's God, Kluwer Academic Publishers, 2000.
5 Van Atten, M. & Kennedy, J., "Godel's Logic," Dov G. Gabbay & John Woods(eds.), Handbook of the History of Logic Volume 5: Logic from Russell to Church, Elsevier, 2009.
6 Godel, K., "An interpretation of the intuitionistic propositional calculus," Collected Works. I : Publications 1929-1936, S. Feferman et al.(eds.), Oxford University Press, 1986.
7 Boolos, G., The Unprovability of Consistency: An Essay in Modal Logic, Cambridge University Press, 1979.
8 Dawson, J., Logical Dilemmas: The Life and Work of Kurt Godel, A. K. Peters, 1997.
9 Anderson, A., "Some Emendations on Godel's Ontological Proof," Faith and Philosophy 7 (1990):291-303.   DOI
10 현우식, "쿠르트 괴델의 수학적 신학," 한국기독교신학논총 49 (2007), 171-196.
11 김용운.김용국, 지성의 비극: 수학정신의 탐구, 피타고라스에서 괴델까지, 일지사, 1992.
12 박창균, "괴델의 삶과 사상," 한국수학사학회지 19 (2006), No.2, 47-58.   과학기술학회마을
13 현우식, "괴델이 보는 수학의 토대," 한국수학사학회지 20 (2007), No.3, 17-26.   과학기술학회마을
14 Oppy, G., Arguing about Gods, Cambridge University Press, 2006.
15 Hao, W., A Logical J ourney: From Godel to Philosophy, The MIT Press, 1996.
16 Hao, W., Reflection on Kurt Godel, The MIT Press, 1991.
17 Oppy, G., "Godelian Ontological Arguments," Analysis 56 (1996):226-230.   DOI   ScienceOn
18 Godel, K., "Review of Becker 1930: On Modal Logic," Collected Works. I : Publications 1929-1936, S. Feferman et al.(eds.), Oxford University Press, 1986.
19 Pickover, C., The Loom of God: Mathematical Tapestries at the Edge of Time, Perseus Book, 1997.
20 Sobel, J., Logic and Theism: Arguments For and Against Beliefs in God, Cambridge University Press, 2004.