逻辑学的发展教案.ppt

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