논문KCI 등재
신의 존재에 대한 괴델의 수학적 증명
Gödel's Mathematical Proof of the Existence of God
0
조회
0
다운로드
2
인용
0
참고문헌
키워드
주제분류수학
초록
괴델에 의하면, 모든 긍정성을 가진 존재를 신으로 정의할 때 신의 존재에 대한 수학적 증명은 가능하다. 신의 정의를 만족하는 대상이 존재가능하다면, 그 대상은 필연적으로 존재한다. 이를 위해서 그는 세 개의 정의와 다섯 개의 공리와 두 개의 정리를 남겼고, 2차 양상논리 시스템S₅ 과 공리 ◇□p→□p 를 사용했다
Abstract
Gö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₅ with the axiom ◇□p→□p . We review the Gödel's own version and prove his ontological theorems
참고문헌 (20)
- Anderson, A, "Some Emendations on Gödel's Ontological Proof", Faith and Philosophy, 7, pp.291~303 (1990)
- Boolos, G., "The Unprovability of Consistency: An Essay in Modal Logic" (1979), Cambridge University Press
- Dawson, J., "Logical Dilemmas: The Life and Work of Kurt Gödel" (1997), A. K. Peters
- Fitting, M., "Types, Tableaus, and Gödel's God" (2000), Kluwer Academic Publishers
- Gödel, K, "An interpretation of the intuitionistic propositional calculus. in: Collected Works. I: Publications 1929-1936" (1986), Oxford University Press
- Gödel, K, "Ontological Proof(1970). in: Collected Works III: Unpublished Essays and Lectures" (1995), Oxford University Press
- Gödel, K, "Review of Becker 1930: On Modal Logic. in: Collected Works. I: Publications 1929-1936" (1986), Oxford University Press
- Goldblatt, R, "Mathematical Modal Logic: A View of its Evolution. in: Handbook of the History of Logic Volume 7: Logic and the Modalities in the Twentieth Century" (2006), Elsevier
- Hajek, P, "A New Small Emendation of Gödel's Ontological Proof", Studia Logica, 71, pp.149~163 (2002)
- Hao, W., "A Logical Journey: From Gödel to Philosophy" (1996), The MIT Press
- Hao, W., "Reflection on Kurt Gödel" (1991), The MIT Press
- Oppy, G., "Gödelian Ontological Arguments", Analysis, 56, pp.226~230 (1996)
- Oppy, G., "Arguing about Gods" (2006), Cambridge University Press
- Pickover, C., "The Loom of God: Mathematical Tapestries at the Edge of Time" (1997), Perseus Book
- Sobel, J., "Logic and Theism: Arguments For and Against Beliefs in God" (2004), Cambridge University Press
- Van Atten, M., "Gödel's Logic. in: Handbook of the History of Logic Volume 5: Logic from Russell to Church" (2009), Elsevier
- 김용운, "지성의 비극: 수학정신의 탐구, 피타고라스에서 괴델까지" (1992), 일지사
- 박창균, "괴델의 삶과 사상 -‘여백의 철학’을 위한 소고", 한국수학사학회지, 19(2), pp.47~58 (2006), 한국수학사학회
- 현우식, "괴델이 보는 수학의 토대", 한국수학사학회지, 20(3), pp.17~26 (2007), 한국수학사학회
- 현우식, "쿠르트 괴델(Kurt Gdel)의 수학적 신학:불완전성 정리, 무한, 하나님에 관한 존재론적 증명", 한국기독교신학논총, 49(49), pp.171~196 (2007), 한국기독교학회
관련 논문AI추천
괴델의 극대 존재론현우식한국수학사학회 · 한국수학사학회지2014 · 제27권 제6호“괴델의 불완전성 정리: 증명된 신화?”홍성기한국논리학회 · 논리연구2002 · 제5권 제2호칸토르의 수학 속의 신학현우식한국수학사학회 · 한국수학사학회지2011 · 제24권 제3호수리논리학의 역사적 배경과 괴델박창균한국수학사학회 · 한국수학사학회지2008 · 제21권 제1호수학교사를 위한 괴델정리의 소개 방안신현용영남수학회 · East Asian Mathematical Journal2008 · 제24권 제5호괴델정리의 법이론적 함의안성조법학연구소 · 서울대학교 법학2008 · 제49권 제4호