-
题名直言推理系统
被引量：2
- 1
-
-
作者
张清宇
-
机构
中国社会科学院哲学研究所
-
出处
《逻辑学研究》
2008年第1期50-61,共12页
-
文摘
本文构造了直言推理的一个系统MA,内容包括直接推理和三段论,但未考虑单称命题。此系统实际上是名辞逻辑系统MZ的子系统,精确地说是关于类名及其否定和由它们形成的本辞的系统。文中证明了系统MA的可靠性和完全性,并提出了它的自然推理系统。
-
关键词
名辞逻辑
规则DDO
公理系统
自然推理系统
从属推演
完全性
-
Keywords
syllogistic reasoning, rule DDO, axiomatic system, natural deduction system, subordinate deduction, completeness.
-
分类号
B812
[哲学宗教—逻辑学]
-
-
题名“中国古代逻辑”中的“逻辑”是什么?
- 2
-
-
作者
刘新文
-
机构
中国社会科学院哲学研究所
-
出处
《河北学刊》
CSSCI
北大核心
2015年第5期6-11,共6页
-
文摘
本文通过总结沈有鼎和张清宇等人运用现代逻辑方法研究《墨经》逻辑所取得的学术成就,发掘这些学术研究成果背后的一般学术背景和学术传统,并结合国际逻辑学界目前相关研究的进展,以求更为清楚地揭示中国古代逻辑尤其是《墨经》逻辑可以达到的形式化高度及其有所欠缺之处,力图为"‘中国古代逻辑’中的‘逻辑’是什么"这一问题提出一些建设性意见。
-
关键词
《墨经的逻辑学》
名辞逻辑
形式化
-
Keywords
《Mohist Logic》
Term Logic
formalization
-
分类号
B81
[哲学宗教—逻辑学]
-
