高深莫测的逻辑学家

逻辑学已有2000多年的历史，它有三大源泉，即古希腊的形式逻辑，中国先秦的名辩逻辑，古印度的因明。那么我们来看一下古今中外有哪些著名的逻辑学家。

逻辑学家：墨子

中国在春秋战国时期就产生了称之为“名学”“辩学”的逻辑学说。《荀子·正名》尤其是《墨经》集其大成，系统地研究了名、辞、说、辩等，相当于词项、命题、推理与论证之类的对象，逻辑思想十分丰富，但由于与一定的政治、道德理论掺杂在一起，未能形成独立的学科体系。

墨子是中国历史上唯一一个农民出身的哲学家，墨子创立了墨家学说，墨家在先秦时期影响很大，与儒家并称“显学”。

墨子是中国古代逻辑思想体系的重要开拓者之一，他比较自觉地、大量地运用了逻辑推论的方法，以建立或论证自己的政治、伦理思想。他还在中国逻辑史上第一次提出了辩、类、故等逻辑概念，并要求将辩作为一种专门知识来学习。

墨子的“辩”虽然是统指辩论技术，但却是建立在知类（ 事物之类 ）明故（ 根据、理由 ）基础上的，因而属于逻辑类推或论证的范畴。

墨子所说的“三表”既是言谈的思想标准，也包含有推理论证的因素。墨子还善于运用类推的方法揭露论敌的自相矛盾。由于墨子的倡导和启蒙，墨家养成了重逻辑的传统，并由后期墨家建立了第一个中国古代逻辑学的体系。

由这一思维法则出发，墨子进而建立了一系列的思维方法。他把思维的基本方法概括为“摹略万物之然，论求群言之比。以名举实，以辞抒意，以说出故。以类取，以类予”（ “小取” ）。

也就是说，思维的目的是要探求客观事物间的必然联系，以及探求反映这种必然联系的形式，并用“名”（ 概念 ）、“辞”（ 判断 ）、“说”（ 推理 ）表达出来。

“以类取，以类予”，相当于现代逻辑学的类比，是一种重要的推理方法。此外，墨子还总结出了假言、直言、选言、演绎、归纳等多种推理方法，从而使墨子的辩学形成为一个有条不紊、系统分明的体系，在古代世界中别树一帜，与古代希腊的逻辑学、古代印度的因明学并立。

逻辑学家：陈那

古印度的逻辑学说称为“因明”，“因”指推理的根据、理由；“明”指知识、智慧。陈那的《因明正理门论》就是其代表，如对推理从形式上作了探讨，提出了“三支论式”。但为佛教服务的因明也未能撇开思维具体内容而上升为数学形式的科学。

陈那意译“域龙”“大域龙”“童授”“方象”，古印度大乘佛教瑜伽行派重要理论家，新因明学说的奠基人，印度中世纪逻辑之父。

他精通传统婆罗门学说，后转投世亲门下，改修大乘，研讨有宗；通弥勒之瑜伽，尤善正理之因明，善言能辩。他对婆罗门传统的正理论进行了根本性的改革，创立了佛教新因明的逻辑体系，并对逻辑学（ 因明学 ）的发展有着重要的贡献，如下图所示。

印度佛教逻辑史上将陈那以前的印度逻辑学说称为古因明，而将陈那之后的逻辑学说称为新因明。

陈那的著作可分前、后期。前期的代表作是《因明正理门论》，后期的主要作品是《集量论》。《因明正理门论》内容分为两部分，前一部分讲能立及似能立，后一部分讲能破及似能破。他从两个主要方面创立新因明体系：①改古师五支论式为三支论式；②继承、完善因三相理论。

陈那在哲学上是法相唯识论者，他虽然毕生致力于改造印度的形式逻辑，创造性地建立新因明，但他把逻辑有机地与认识论结合起来。陈那的作品，特别是最后的《集量论》是他的逻辑理论和哲学观点的总结。

改革因明学说是陈那的最大贡献。他的因明学说被称为“新因明”。这些改革，将正理派与佛教古因明的类比推理改造成为演绎推理，是印度逻辑史上的一大飞跃和转折。

逻辑学家：亚里士多德

古希腊学者对逻辑进行了较全面的研究，形成了独立的系统理论。亚里士多德的六篇逻辑论著被后人集为《工具论》，在历史上建立了第一个关于词项的逻辑系统，亚里士多德被西方人誉为“逻辑之父”。

在亚里士多德之后，斯多葛学派研究了关于命题的逻辑。它不同于亚氏逻辑，但又与亚氏逻辑一样，同属演绎逻辑体系，并一起成为传统逻辑最主要的构成部分。

亚里士多德，古代先哲，古希腊人，世界古代史上伟大的哲学家、科学家和教育家之一，堪称希腊哲学的集大成者。从科学学与科学史的意义上，亚里士多德拥有自己的逻辑学范式，是原创的逻辑学基础理论的逻辑学人，以逻辑为研究对象，区分逻辑正确与否，并且对逻辑学有很高造诣。

有关逻辑学，他写了《范畴篇》《解释篇》《前分析篇》《后分析篇》《论题篇》《辩谬篇》六篇逻辑学著作，其总称为《工具论》。而且他还提出了著名的三段论的系统理论。

三段论推理是演绎推理中的一种简单判断推理。它包含两个直言命题构成的前提，和一个直言命题构成的结论。

一个正确的三段论且仅有三个词项，其中联系大小前提的词项叫中项，在前提中出现两次；出现在大前提中，又在结论中做谓项的词项叫大项；出现在小前提中，又在结论中做主项的词项叫小项。

例如，所有的偶蹄目动物都是脊椎动物，牛是偶蹄目动物，所以牛是脊椎动物。上面的三段论推理，“偶蹄目动物”是连接大小前提的中项；“脊椎动物”是出现在大前提中又在结论中做谓项的“大项”；“牛”是出现在小前提中又在结论中做主项的“小项”。习惯上，用“P”表示“大项”，用“M”表示“中项”，用“S”表示“小项”。

除了墨子、陈那以及亚里士多德之外，也有很多著名的逻辑学家以及逻辑理论，详见附录。

更新时间：2025-10-04 18:45:02