首页 > 科学

直觉逻辑是否有一种元理论上的语义“自我承载”；？

2021-02-20 17:30

在经典逻辑集合论中可以研究经典命题逻辑的标准语义，因此可以说经典逻辑的语义是元理论上的“自宿主”；。这个特性可能是为什么经典逻辑很容易被接受为数学的默

解答动态

注释环境表现得很滑稽，所以我写了一个“答案”；。这是个好地方起点：
DE斯瓦特在荷兰奈梅亨大学的博士学位就是关于这一点的主题：
H.C.M.de斯沃特：《直觉元数学中的直觉逻辑》，，1976年，奈梅亨大学。https://core.ac.uk/reader/43594080
He他已经离开了这个领域，所以我不知道他是否会通过电子邮件回答问题。导言还提到了对早期方法的一些引用，这些方法是由sheaf语义概括的。我特别推荐Trolestra和Van Dalen，《数学中的建构主义》，第2卷作为标准参考，其中包含关于建构数学语义的各种结果
End

本页内容仅代表作者本人意见，若因此产生任何纠纷由作者本人负责，概与琴岛网公司无关。本页内容仅供参考，请您根据自身实际情况谨慎操作。尤其涉及您或第三方利益等事项，请咨询专业人士处理。