西方逻辑史.docVIP

西方逻辑史 主要指形式逻辑和归纳逻辑在西方孕育、产生和发展的历史。它大致分为 4个时期：①古希腊罗马时期的逻辑；②欧洲中世纪时期的逻辑；③自文艺复兴开始的近代时期的逻辑；④现代时期的逻辑。 主要指形式逻辑和归纳逻辑在西方孕育、产生和发展的历史。它大致分为 4个时期：①古希腊罗马时期的逻辑；②欧洲中世纪时期的逻辑；③自文艺复兴开始的近代时期的逻辑；④现代时期的逻辑。 古希腊罗马时期的逻辑?　古希腊逻辑的产生是西方逻辑史的开端。早在亚里士多德之前，古希腊学者已经开始探讨逻辑问题。当时，希腊民主政治使得在政治上和法律上的公开辩论成为风气，按照一定的逻辑规则辩论的习惯已经形成。另一方面，由于古代希腊的生产和航海的发展，产生和发展了数学、天文学、动物学等科学门类，其中几何学尤为发达。毕达哥拉学派（见毕达哥拉和毕达哥拉学派）用归谬法证明了正方形的对角线与其一边即匇与 1的不可公度性，提出了著名的毕达哥拉定理。论辩术、数学和自然科学的发展对逻辑学的产生具有决定性的影响。这一时期有不少哲学家，如爱利亚的芝诺、苏格拉底和柏拉图等，很重视逻辑论证和反驳的作用，对古代逻辑的形成和发展作出了一定的贡献。芝诺为了维护他的老师巴门尼德关于存在是一的一元论，从世界是多元的这一相反的假说引出荒谬的推断，以此证明相反的假说不能成立。芝诺所采用的方法称为归于不可能的方法或归谬法。他还用这种方法来论证他提出的几个疑难问题，如“飞矢不动”、“阿基里斯追不上乌龟”等。他证明“飞矢不动”的方法是假定箭在移动，在任何特定的时刻都占有特定的空间。这样一来，如果箭占有空间，那么它在这个位置上是不动的；既然箭在它“飞”的每一时刻都不动，所以它总是不动的。芝诺在西方逻辑史上最早应用归谬法，亚里士多德称他为论辩术的发明者。柏拉图的老师苏格拉底也使用归谬法来反驳对方，他用这种方法为伦理概念如美德、正义、勇敢等下定义。柏拉图的《对话录》中详尽论述了论辩的方法，如归谬法、包含有反驳的论证方法、寻找定义的方法等。他认为单独的名词或动词不能表达命题，同时他还区别了“是”的两种涵义,即“A是B”可表达“A具有属性B”和“A与B同一”。 古希腊逻辑在亚里士多德那里达到了最高的成就。亚里士多德集前人逻辑思想之大成，建立了系统的完整的形式逻辑体系，从而奠定了西方逻辑发展的传统方向。他的逻辑学说主要体现在《工具论》一书中，他所提出的直言三段论学说是其逻辑中最重要的部分。他根据中项和端项的 3种排列方式把三段论分成3个格：①A述说C,而C述说B；②C分别述说A和B；③A和B分别述说C。亚里士多德三段论有以下几个特点：①不用单称命题作前提；②前提与结论之间用“如果……则”联系，它表示了蕴涵关系，而不同于后来用“因为……所以”表示的前提与结论之间的推论关系；③亚里士多德在讨论三段论时,很少举具体例子,一般使用包含变项的表达式。他通常不使用“所有B是A”,而是说“A述说所有B”或“A属于所有B”。他常用的三段论形式是“如果R属于所有S，并且P属于有些S，则P属于有些R”等；④他从第1格的三段论演绎出第2格和第3格的三段论。亚里士多德是逻辑史上第一个演绎系统的创始人。还在逻辑史上第一次提出了公理方法的理论，认为一门科学是一个命题系列，是一些真的语句,它们可以包括两个部分。其中,第一部分包含一些基本命题或公理，这些特定的命题既不能证明，也不需要证明就确定是真的；第二部分包含一些命题或定理,它们只有靠公理的真才能证明是真的,在证明中需要应用规则。除直言三段论外，亚里士多德还提出了复杂的模态三段论理论（见模态逻辑），并制定了有关模态三段论的规则，例如，两前提中一为必然一为实然的三段论，第 1格的规则是：如果大前提是必然的，则结论是必然的。根据这一规则，以下形式就是正确的：“如果A必然属于所有B并且B属于所有C，则 A必然属于所有 C”。亚里士多德还确立了一些非三段论的规则。 继亚里士多德之后，对古希腊逻辑作出了较大贡献的是亚里士多德的学生泰奥弗拉斯多，其主要贡献表现在:①对亚里士多德的三段论学说作了补充,明确地为第1格增补了5个式,实际上就是第4格的5个式。例如,“所有B是A，所有C是B，所以，有的A是C”，把两个前提对调一下，就是第4格的AAI。②建立了与亚里士多德不同的模态逻辑。③提出了假言三段论,为麦加拉-斯多阿学派的命题逻辑打下了基础。 麦加拉学派和斯多阿学派由于一起参与创建命题逻辑，因而在逻辑史上合称麦加拉－斯多阿学派逻辑。麦加拉学派是麦加拉的欧几里得所建立的，他的继承者公元前 4世纪的欧布里得，由于发现“说谎者”悖论而著名。后来在逻辑史上有名的麦加拉学者还有泰奥多罗及其学生费罗。泰奥多罗试图把必然、可能等模态概念与表示过去、现在、将来的时态概念联系起来。费罗则最早对条件命题作了真值函项的解释。麦加