从三段论扩充到命题逻辑

发布时间：2018-07-23 15:33

【摘要】：以罗伯特.范.罗伊的工作为基础,展示如何通过形式化的方法把三段论逻辑扩充到全部命题逻辑。文中将依次给出按现代逻辑标准形式化的三个逻辑:亚里士多德的三段论逻辑SYL,引入否定词项等之后的扩充系统SYL+,最终得到从三段论逻辑扩充而来的命题逻辑SYL+PL。
[Abstract]:To Robert. Van. Based on Roy's work, it shows how to extend syllogism logic to all propositional logic by formal method. In this paper, three kinds of logic which are formalized according to modern logic standard are given in turn: Aristotle's syllogism logic, the extended system SYL after the introduction of negative terms, and finally the propositional logic SYL, which is extended from syllogism logic.
【作者单位】： 中央财经大学现代逻辑研究所;中国社会科学院哲学研究所;
【基金】：教育部人文社科研究青年基金项目“自然逻辑研究”(09YJC72040004),项目负责人:张立英 国家社科基金重大招标项目“基于多学科视域的认知研究”(12&ZD119),项目负责人:周北海
【分类号】：B812.2

【相似文献】

相关期刊论文 前10条

1 何庸;;违反周延规则的三段论是无效的[J];思维与智慧;1987年06期

2 巫寿康;三支论式和三段论是互相独立的两种推理形式[J];哲学研究;1993年08期

3 吕正春;具体三段论的简化欧拉图判定方法探索[J];齐齐哈尔大学学报(哲学社会科学版);1994年05期

4 王志辉;试析三段论推理的五种检验方法[J];思维与智慧;1994年04期

5 程仲棠;引入负名词的三段论系统[J];学术研究;1999年03期

6 马养新;关于三段论一般规则存在依据的思考[J];陕西师范大学学报(哲学社会科学版);2001年01期

7 周光明;三段论的“E、I”检验方法[J];渝州大学学报(自然科学版);1997年02期

8 于德礼;怎样理解三段论各格的特殊规则[J];九江师专学报;1998年03期

9 王东浩;张学立;段伟伟;;浅析亚里士多德三段论与墨家三物论[J];法制与社会;2008年27期

10 高崇会;关于演绎推理的几个理论性问题[J];人文杂志;1984年06期

相关会议论文 前10条

1 刘壮虎;;相干逻辑的邻域语义学[A];1995年逻辑研究专辑[C];1995年

2 杨百顺;;印度逻辑论式的演变及其与西方推论式略比[A];因明研究[C];1990年

3 吴坚;;走出逻辑的雾区[A];2000年逻辑研究专辑[C];2000年

4 樊明亚;;普通逻辑教材改革的“四化”[A];逻辑今探——中国逻辑学会第五次代表大会暨学术讨论会论文集[C];1996年

5 陈树桢;;完善三段论的第一格，

本文编号：2139848