斯多噶逻辑中的推理图式
论证
• 不用变元,而用序数的论证图示
• 基本的和非基本的
• 正确的和不正确的
• 关于复杂命题(复合命题)
• 命题变元:变元出现的地位
• 初等逻辑的开始,逻辑的初等部分与逻辑
的片断。——区别于亚里士多德
罗马于中世纪逻辑
• 古罗马的逻辑,西塞罗与鲍依修斯
• 中世纪逻辑开始时,鲍依修斯是其主要来
源
• 柏拉图学园:怀疑派与逍遥学派
• 西塞罗:主要贡献是保留了斯多噶学派学
说的片断
• 给出希腊文术语的拉丁文形式
• complexio
即指联结,也是指二难推理
• 《论题篇》,逻辑以其方式与修辞学结合。
• 认为斯多噶学派的论著注重有效性问题,
忽视了去发现那些普通认为属于“论辩”
的论证问题。
• 解释了五个不可论证式后,又给出第六和
第七。
• 有趣的历史:可能有某位逻辑学家已经给
出假言三段论七个基本规则。
• 二世纪,阿波莱厄斯《论理性哲学或纯解
释》——斯多噶学派史料
• 盖伦《论辩术引论》,继承了亚里士多德
和斯多噶学派。
• 直言三段论和假言三段论的意义——每种
逻辑都有其应用范围。
• 论点:
• 第一,“假言的”这个词在这里固定为复
杂陈述句的一个属名。
• 第二,扩充了亚里士多德三段论的格,指
出第二格于第三格如何可以还原为第一个
之后,盖伦继续说没有其他的格,并且也
不能有其他的格。
• 盖伦的复合三段论于亚里士多德的简单三
段论:
• I 其组成是 I和I
• II 其组成是 I和II,或II和I
• III 其组成是 I和III,或III和I
• IV 其组成是 II和III,或III和II
• 第三,盖伦指出,有些论证既不符合亚里
士多德格式,也不符合斯多噶格式。
• 关系三段论。
• 古罗马的注释家,主要是亚历山大,亚里
士多德最重要的阐释者。其主要工作都是
对亚里士多德和斯多噶学派的学说的注释。
• 鲍依修斯。
• 《范畴篇》《命题篇》的拉丁文译本。
• 《前分析篇》《论辩篇》《辨缪篇》
• 《直言三段论导论》《论假言三段论》
• 《论分类》《关于论题差别》
• 《直言三段论导论》第一次记载了亚里士
多德《论辩篇》里面考察的一般词项五种
可能关系的区别。
• “任何命题的主词不可能比谓词有更广阔
的应用范围”
• 采用了新的谓词分类。
• 对亚里士多德学派和斯多噶学派的争论,
赞成亚里士多德学派的。
• 《论假言三段论》思想来自德奥弗拉斯特。
• 主要研究复杂假言三段论。但是讨论的并
不都是假言论证。
• 鲍依修斯保留了不可论证式的论述
• 《论题篇》的注释
• 加了一些自己的评述,但是这些评述并不
好。
• 论假言三段论中,条件陈述句按照其中推
论的类型加以区分。
• 这一点是中世纪逻辑最重要进展的来源。
• 1条件陈述句可以不包含任何必然联系。
• 2有一些包含自然推论的条件陈述句。
• “词项的位置”的重要性。
• 即三段论的前提里词项出现的次序。他认
为……
• 已经按照我们现在的意思理解这个短语。
• 断言必然条件句,依照鲍依修斯,(不总
按词项位置),可以从亚里士多德和西塞
罗所讨论的“场合”里得到。
• 鲍依修斯学说与亚里士多德和斯多噶学派
的联系。
• “场合”
• “推论”
• 斯多噶学派注重论辩术,论辩术与语言理
论紧密联系。
逻辑学的出发点
• 受其影响,鲍依修斯认为,所有的逻辑研
究的出发点,因而也是一切哲学的出发点:
• “所有逻辑方法都是关于讲话的”
• 逻辑研究三段论,三段论由命题组成,命
题又是由简单符号组成。《范畴篇》因为
是对能够用于简单符号表示的事物所作的
分类,因此《范畴篇》有资格居于逻辑的
首位。
• 鲍依修斯并非强调逻辑应该是文法或语言
学的一部分。他用oratio一词翻译希腊文的
λογοζ。而这一词即包括讲话或写字,也包
括思想组成的论说。
• 鲍依修斯关于范畴和词项的理论研究是紧
接着亚里士多德。他关于个体和共相的思
想有重要的意义,澄清了亚里士多德的混
淆。