库尔特·哥德尔对查尔斯·哈茨霍恩本体论证明的接受
历史与综述
2021-11-25 v1 逻辑
摘要
1962年，查尔斯·哈茨霍恩发表了一个模态逻辑证明，将坎特伯雷的安瑟伦关于上帝必然存在的本体论论证形式化。本文呈现了库尔特·哥德尔关于此证明的笔记，这些笔记现于其遗稿中与其他神学材料一同被发现，并讨论了可能对哥德尔自身本体论证明发展产生的影响。为完整呈现图景，本文指出了坎特伯雷的安瑟伦与哥德尔关于上帝及其正面属性的概念之间的紧密联系。
引用
@article{arxiv.2111.12562,
title = {Kurt G\"odel's reception of Charles Hartshorne's ontological proof},
author = {Annika Kanckos and Tim Lethen},
journal= {arXiv preprint arXiv:2111.12562},
year = {2021}
}