逻辑学的发展教案资料教材.pptVIP

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