逻辑学的发展教案

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