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

博文

全部博文|超数学| 广义相对论| 智能|

置顶 · 欧拉特称量词模型的改进: 2021-7-30 20:24; 一阶逻辑有两个基本量词：全称量词和存在量词。后者被解释为特称量词的发展，其中的一个解释模型是欧拉图模型。这一解释被质疑多年，具有不完备性，并与现代（莱布尼茨之后）的存在量词语义不一致，这使得逻辑史家“ 百思不得其解 ”。如 Keith Stenning, Michiel Van Lambalgen 问道： “How could a ...; 个人分类: 超数学|2781 次阅读|没有评论

张寅生

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

GMT+8, 2025-4-18 14:38

Powered by ScienceNet.cn

Copyright © 2007- 中国科学报社

返回顶部