张寅生的个人博客分享 http://blog.sciencenet.cn/u/zhangbeijing 探索者:数理逻辑、人工智能

博文

欧拉特称量词模型的改进

已有 1302 次阅读 2021-7-30 20:24 |个人分类:超数学|系统分类:论文交流

一阶逻辑有两个基本量词:全称量词和存在量词后者被解释为特称量词的发展,其中的一个解释模型是欧拉图模型。这一解释被质疑多年,具有不完备性,并与现代(莱布尼茨之后)的存在量词语义不一致,这使得逻辑史家“百思不得其解”。 Keith Stenning, Michiel Van Lambalgen问道: “How could a brilliant mathematician like Euler make such a fundamental mistake? (Keith Stenning, Michiel Van Lambalgen, Human Reasoning and Cognitive Science, The MIT Press, Cambridge MA, 302~303(2008))。本文提供了一个新的改进方案,力图避免这种不完备性及不一致性。


Expanded Categorical Propositions.png




https://blog.sciencenet.cn/blog-320682-1297675.html

上一篇:准备着,做下一个图灵!
收藏 IP: 120.245.67.*| 热度|

0

该博文允许注册用户评论 请点击登录 评论 (0 个评论)

数据加载中...
扫一扫,分享此博文

Archiver|手机版|科学网 ( 京ICP备07017567号-12 )

GMT+8, 2022-10-3 18:59

Powered by ScienceNet.cn

Copyright © 2007- 中国科学报社

返回顶部