Classical logic has a problematic definition of implication -- the "material implication". This work presents a definition of implication relation to replace the material implication for classical logic. The "paradoxes" of material implication are avoided while strength and simplicity of the system are reserved with this definition of implication.


翻译:经典逻辑对含义的定义有问题 -- -- " 实质含义 " 。 这项工作提出了含义的定义,以取代古典逻辑的物质含义。 避免了物质含义的 " 悖论 ",而系统的力量和简单性则保留了这种含义的定义。

0
下载
关闭预览

相关内容

【干货书】机器学习速查手册,135页pdf
专知会员服务
127+阅读 · 2020年11月20日
LibRec 精选:AutoML for Contextual Bandits
LibRec智能推荐
7+阅读 · 2019年9月19日
Transferring Knowledge across Learning Processes
CreateAMind
29+阅读 · 2019年5月18日
Call for Participation: Shared Tasks in NLPCC 2019
中国计算机学会
5+阅读 · 2019年3月22日
【计算机类】期刊专刊/国际会议截稿信息6条
Call4Papers
3+阅读 · 2017年10月13日
Arxiv
0+阅读 · 2021年3月22日
Arxiv
0+阅读 · 2021年3月19日
Arxiv
3+阅读 · 2019年10月31日
VIP会员
相关主题
相关资讯
LibRec 精选:AutoML for Contextual Bandits
LibRec智能推荐
7+阅读 · 2019年9月19日
Transferring Knowledge across Learning Processes
CreateAMind
29+阅读 · 2019年5月18日
Call for Participation: Shared Tasks in NLPCC 2019
中国计算机学会
5+阅读 · 2019年3月22日
【计算机类】期刊专刊/国际会议截稿信息6条
Call4Papers
3+阅读 · 2017年10月13日
相关论文
Arxiv
0+阅读 · 2021年3月22日
Arxiv
0+阅读 · 2021年3月19日
Arxiv
3+阅读 · 2019年10月31日
Top
微信扫码咨询专知VIP会员