收藏本站
收藏 | 投稿 | 手机打开
二维码
手机客户端打开本文

A命题的系统

张清宇  
【摘要】:直言命题可以归结为A、E、I、O四种基本类型。A命题就是全称肯定命题,在日常语言中可以表达为"所有X是Y"。A-命题可以推广成An-命题。全体有效的An-命题将形成一个系统An。在文献[1]中,莫斯给出了A0和A1的公理系统,并分别证明了它们的完全性。另将给出An的公理系统并证明它的完全性,从而统一了A0和A1的处理并推广了莫斯的结果。

知网文化
【相似文献】
中国期刊全文数据库 前20条
1 于冰;王双维;于海波;;直言命题变形推理有效式讨论及对物理教学的启示[J];内蒙古师范大学学报(教育科学版);2011年08期
2 ;[J];;年期
3 ;[J];;年期
4 ;[J];;年期
5 ;[J];;年期
6 ;[J];;年期
7 ;[J];;年期
8 ;[J];;年期
9 ;[J];;年期
10 ;[J];;年期
11 ;[J];;年期
12 ;[J];;年期
13 ;[J];;年期
14 ;[J];;年期
15 ;[J];;年期
16 ;[J];;年期
17 ;[J];;年期
18 ;[J];;年期
19 ;[J];;年期
20 ;[J];;年期
中国重要会议论文全文数据库 前10条
1 陈晓平;;也谈周延规则的普适性问题[A];1998年逻辑研究专辑[C];1998年
2 帖君;;双珠式图示[A];逻辑今探——中国逻辑学会第五次代表大会暨学术讨论会论文集[C];1996年
3 朱玉堦;周光明;;“E、I”三段论与传统三段论[A];1993年逻辑研究专辑[C];1993年
4 意程;;直言变形推理新探[A];1995年逻辑研究专辑[C];1995年
5 戴宁东;;用图解法判定直接推理的有效性[A];1996年逻辑研究专辑[C];1996年
6 张忠义;;试论因明的三支论式[A];因明研究[C];1990年
7 郭世铭;;周延性问题[A];1997年逻辑研究专辑[C];1997年
8 缪四平;;试论复称三段论及其凡恩图解判定[A];1996年逻辑研究专辑[C];1996年
9 程仲棠;;规范领域中的分析命题[A];逻辑研究文集——中国逻辑学会第六次代表大会暨学术讨论会论文集[C];2000年
10 张家龙;;论金岳霖先生的《逻辑》[A];第三次金岳霖学术思想研讨会论文集[C];2005年
中国硕士学位论文全文数据库 前4条
1 郑伟;亚里士多德三段论系统研究[D];河南大学;2011年
2 应腾;辩论的逻辑分析[D];浙江大学;2010年
3 奚檀圣;奥卡姆指代理论及其在现代语言逻辑中的延伸[D];浙江大学;2010年
4 姜岩延;试论因明的论式[D];燕山大学;2012年
中国知网广告投放
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978