配件，梅尔文 类型、画面和哥德尔的上帝。 （英语） Zbl 1038.03001号 Logic-Studia Logica Library趋势12。多德雷赫特：Kluwer学术出版社（ISBN 1-4020-0604-7/hbk）。xv，180页。(2002). 这本短书由三部分组成。第一部分是对经典简单类型理论（有或没有外延性）的汉金语义的阐述，以及通过将半估值扩展到总估值的简化证明。第二部分根据以世界为前缀的模态表对模态系统K和S5进行了扩展。健全性、完全性和割消去被认为是对早期经典逻辑论点的详细阐述。他们被“当作一场巨大的运动”。一个简短的章节讨论了高阶模态语境中的平等、定义和判定方式、刚性、明确描述和选择功能。第三部分是哥德尔的本体论论证。哥德尔的这幅长达一页的非正式素描可能并不打算出版，它产生了大量文献。第10章简要介绍了安塞尔姆、笛卡尔和莱布尼茨的本体论论证的历史和分析，然后对哥德尔的论证进行了详细的分析和批评。作者重复了J.Sobel的说法，即哥德尔使用的模态系统崩溃了，并探索了一些解决方法。哥德尔论证中的另一个缺陷是一个假设公理，它直接等同于一个关键结论：哥德尔假设正属性族在关联下是封闭的，这等同于上帝存在的可能性。作者将这一观察结果追溯到D.Scott和J.Sobel。这是P.Hájek的简短工作总结。审核人：G.E.Mints（斯坦福） 引用于1审查引用于25文件 MSC公司： 03-02 与数学逻辑和基础相关的研究展览（专著、调查文章） 03B45号 模态逻辑（包括规范逻辑） 03B15号机组 高阶逻辑；类型理论（MSC2010） 05年3月 切割消除和正规形定理 03-01 与数理逻辑和基础有关的介绍性阐述（教科书、辅导论文等） 03A05号 逻辑和基础的哲学和批判性方面 关键词：汉金语义学;经典简单类型理论;模态表;切割消除;哥德尔的本体论论证;模态逻辑 PDF格式BibTeX公司 XML格式引用 \textit{M.Fitting}、类型、画面和哥德尔的上帝。多德雷赫特：Kluwer学术出版社（2002；Zbl 1038.03001）