计算机说（简化版）至高存在必然存在：哥德尔本体论论证的计算探索变体
计算机科学中的逻辑
2020-06-16 v9 人工智能
计算与语言
一般拓扑
逻辑
摘要
本文采用经典高阶逻辑中的通用（元）逻辑推理方法，来探索和研究库尔特·哥德尔模态本体论论证的简化形式。部分论证前提被修改，其他前提被舍弃，模态坍缩得以避免，并且已在弱模态逻辑 K 和 T 中证明有效性。哥德尔原理论得以简化的关键在于利用了来自拓扑学的滤子和超滤子概念之间的联系。本文阐明了现代针对量化非经典逻辑的知识表示与推理技术如何能为其他学科贡献新知识。所贡献的材料也非常适合用于课堂上非平凡逻辑形式化的教学。
引用
@article{arxiv.2001.04701,
title = {A (Simplified) Supreme Being Necessarily Exists, says the Computer: Computationally Explored Variants of G\"odel's Ontological Argument},
author = {Christoph Benzmüller},
journal= {arXiv preprint arXiv:2001.04701},
year = {2020}
}
备注
11 pages, 11 figures