[转载]辩证法就是反逻辑的诡辩法 逻辑悖论Dec 01逻辑学的历史和现状
逻辑 Add comments逻辑学的历史和现状
大约在公元前6世纪左右，古代中国、古代印度和古希腊的学者，就各自独立地建立了自己的逻辑学说。他们分别是“名辨之学”、因明和古希腊的逻辑学。其中，古希腊的逻辑学最为系统，因而在世界逻辑学发展史上影响也最大、最深。
古希腊学者亚里士多德被认为是古希腊逻辑学的创始人，他在其由后人整理并取名为《工具论》的著作中，第一次全面、系统地论述了传统形式逻辑，提出了有关范畴、命题、三段证明和谬误等一系列重要论述和思想。他所创立的逻辑学，逻辑史上称之为古典的或传统的形式逻辑（“形式逻辑”这一称呼是17世纪康德提出的）或古典的演绎逻辑。这一逻辑的主要特点在于：它是建立的对范畴的研究基础之上，即它主要涉及范畴、又范畴组成的命题、由命题组成的三段论和论证等。这是古代逻辑中较为完整地建立起来的一个三段论系统，它构成了逻辑的一个初等的、但是重要的部分。
亚里士多德以后，麦加拉-斯多葛学派研究了亚里士多德逻辑中欠缺的有关假言命题、选言命题、连言命题等属于复合命题的问题，研究了由这些命题所组成的各种推理形式及其规则，奠定了命题逻辑的基础。这是传统形式逻辑的一个重大发展，极大地丰富了传统形式逻辑、主要是演绎逻辑的内容。
欧洲中世纪时期，形式逻辑作为一门独立的科学也得到了发展。这时期的逻辑学家进一步研究了词项理论(包括对范畴词与非范畴词的研究、指代理论的研究等)，创立了推论的学说，并对麦加拉-斯多葛派的命题逻辑作了更深入的研究。
在近代，法国的阿尔诺与尼科尔根据笛卡尔的哲学、逻辑和方法论观点，于1662年发表了《逻辑或思维的艺术》一书。该书分别讨论了概念、判断、推理与方法等内容，曾多次重版，成为欧洲近代逻辑的范本，对以后各种逻辑教材的编写产生了深远的影响。可以认为，这是传统形式逻辑，主要是传统演绎逻辑的主要代表作之一。
17世纪开始，由于实验自然科学的兴起，归纳方法的研究被提到重要议事日程。英国哲学家弗兰西斯培根著《新工具》一书，系统论述了以“三表法”和“排斥法”为核心的归纳方法，奠定了古典归纳逻辑的基础。此后，赫舍尔、惠威尔等人，继续发展了培根的归纳逻辑思想。穆勒著《逻辑体系》一书，全面、系统地提出了归纳五法，成为古典的或传统的归纳逻辑的集大成者。
17世纪末，法国哲学家莱布尼茨提出了逻辑数学化的思想，他在其166
6年发表的《论组合术》一书中，提出了建立一种表意的普遍语言及思维演算，并成功地把命题表达为符号式，被公认为数理逻辑的先驱者。随后不到100年，英国数学家布尔用数学方法首倡了第一个逻辑演算系统-布尔代数，并把其中的符号解释为类时，布尔代数即为类代数，以及类逻辑的代表化，从而，把莱布尼茨的设想变成了现实，成为数理逻辑的早期形式。其后，再经德摩根、弗雷格等人的努力到 20世纪初，罗素和怀德合著《数学原理》，总结了前人的研究成果，建立了一个完全的命题演算与谓词演算系统，标志着数理逻辑作为一门独立的科学达到了成熟阶段。树立逻辑是再传统逻辑基础上发展起来的，因而被是为形式逻辑的现代类型，一般也称之为现代形式逻辑或简称现代逻辑。近几十年来，现代逻辑得到迅速发展，至今已成为拥有众多分支的学科。
在形式逻辑由古典类型向现代类型发展的同时，另一种类型的逻辑即辨证逻辑也诞生了他的生态系统，这就是19世纪德国哲学家黑格尔提出的思辨逻辑。黑格尔在批判以往逻辑学中形式与内容相割裂之类的形而上学的观点，并批判地吸取从亚里士多德到康德等人逻辑学说中所包含的有关辨证逻辑的合理思想的基础上，建立了逻辑史上第一个全面而系统的辨证逻辑体系。虽然这个体系是建筑在唯心主义基础之上，因而从根本上说是不科学的，但是，他毕竟是提出了一个与传统形式逻辑不同的逻辑类型和逻辑形态。黑格尔的思辨逻辑即辨证逻辑可以说是辨证逻辑发展史上的古典形态。
古代中国的逻辑学说形成于春秋战国时期，称为“名辨之学”。名家的邓析以及稍后的惠施和公孙龙，儒家的孔子，墨家的墨子，都对名辩逻辑的产生做出了重要贡献。后期墨家则在《墨经》中建立起一个逻辑体系，达到了中国古代逻辑发展的高峰。此后，荀子、韩非等也对名辩逻辑的发展起到了重要作用。可惜的是，秦汉以后，由于种种原因，我国古代曾经兴起一时的逻辑学说却走向了衰落，没有获得进一步发展。直到近代，随着西方逻辑的传入，我国的逻辑研究才重又复兴，先秦时期的宝贵遗产也得到了重视。
古代印度的逻辑学说起源于印度公元1世纪左右盛行的辩论术，以婆罗门较的正理论和佛教的因明为代表。因明最初在正理论的基础上产生，后经著名学者陈那和他的弟子改造，发展到一个崭新的阶段。由陈那改造的因明被成为新因明，陈那之前的因明则称为古因明，后来，正理论又吸收了新因明的成果，也获得了发展。
逻辑学发展到今天，已经称为一个庞大的科学领
域。它主要包括传统逻辑、数理逻辑、现代归纳逻辑、辨证逻辑、自然语言逻辑、科学逻辑、非形式逻辑等。
传统逻辑也称传统形式逻辑，他结合自然语言研究思维形式。
现代归纳逻辑是以数理逻辑和概率统计理论等为工具，对归纳理论进行形式化、数量化的研究。数理逻辑也称现代形式逻辑，他凭借人工符号语言，用数学方法来研究思维形式。
逻辑学分支众多，内容是极为丰富的。这个以后再叙。