1、逻辑学经典著作简介发布时间：2009 年 04 月 11 日来源：不详 作者：不详4115 人关注 打印 转发 投稿逻辑学经典著作简介一、西方逻辑学经典著作简介 1工具论简介 1形而上学简介 3新工具简介 5逻辑体系简介 6逻辑的数学分析简介 7数学原理简介 9概念文字一种按算术公式构成的纯思维语言简介 10论数学原理和有关系统中的形式不可判定命题简介 12几何基础简介 13论可计算数及其在判定问题上的应用简介 14形式语言中的真概念简介 15逻辑哲学论简介 16第一个多值逻辑系统的构造，并用以构造模态逻辑系统简介 17从逻辑的观点看简介 18论概率简介 19二、中国逻辑学经典著作简介 20墨
2、经简介 20正名简介 21名实论简介 22三、印度因明经典著作简介 24因明正理门论简介 25因明入正理论简介 26一、西方逻辑学经典著作简介工具论简介Organon亚里士多德(Aristotle 公元前 384-322 年)，生于古希腊的斯达奇拉城。被马克思称为“古代最伟大的思想家”，被恩格斯称为“最博学的人物”。一生著述甚广，包括逻辑学、伦理学、美学、心理学、历史学、物理学、生物学、哲学等等，著作在 400-1000 种之间，惜留后世不多。亚里士多德被称为“逻辑学之父”是因为，他是西方逻辑史上第一个把思维形式结构作为研究对象，系统研究逻辑问题的人，他在前人研究的基础上，创立了以三段论为中心
3、的包括论辩的、分析的、非分析的、归纳的本体论的逻辑学。在逻辑学方面，他的代表著作是工具论和形而上学。工具论是亚里士多德关于逻辑学的最重要、要完备的著作。最早出现在公元六世纪，由他的后继者编辑出版。全书包括六篇著作：范畴篇、解释篇、前分析篇、后分析篇、论辩篇和辩谬篇。在工具论中亚里士多德对逻辑学的概念、范畴、定义、谓词、命题、推理、证明、反驳以及模态逻辑等问题进行了详述。范畴篇共有十五章，主要是关于范畴的学说，他分别对十范畴：实体、数量、性质、地点、关系、姿态、状况、动作、遭受进行定义分析。指出范畴作为属存在于个体之中，其属性不能离开个体而独立存在，范畴表现事物是有形有数各有性质，并存在于时间空
4、间中，互相联系，互相存在着。范畴既是思维形式，又是事物的存在方式。解释篇共十四章，主要是关于命题的学说。他讨论了语言与思维的关系，对命题进行定义，分类并讨论命题的真假问题。指出并非每一个句子都是命题，只有那些具有真实性和虚假性的句子，才是命题；他详尽的讨论了性质命题的周延性问题、对当关系以及由此构成的换质换位推理等问题。同时，亚里士多德还研究了三种模态情况，提出了模态命题及其关系。前分析篇共两卷，主要是关于三段论的学说。亚里士多德细致陈述了三段论推理的定义、性质、特点以及三段论推理的组成，格与式、三段论推理的公理并对三段论推理进行分类。亚里士多德在讨论三段论公理基础上建立了三段论有效推理的规则
5、，分为一般规则和特殊规则。他还举例论述了三段论格与格之间的化归以及还原问题。在讨论三段论推理时，他引入变项，对三段论形式结构的研究达到了很高程度。后分析篇共两卷，主要是关于证明的学说，也是关于科学知识的理论。他指出证明的定义、组成，并把知识分为无须证明和需要证明的两类；同时，亚里士多德通过对偶性，属、固有、定义等谓词的研究，指出定义是揭示事物本质的短句，并对本质、本体、定义的方法、种类、定义的规则、错误等进行了详述。论辩篇和辩谬篇虽然居于工具论的第五篇和第六篇，却都是亚里士多德早期著作。他详细论述了辩论中如何进行证明和反驳，分析了智者的各种诡辩术，指出他们诡辩的各种手段和逻辑错误。工具论中亚里
6、士多德还讨论了归纳问题和类比推理问题，认为归纳是论辩的推理，是从特殊到一般的定义，类比是例证。同时工具论中还研究了一些科学研究方法，如怀疑方法，观察方法等，并对自然科学进行了分类。以上就是工具论的主要内容。形而上学简介Metaphsics形而上学是亚里士多德另外一部重要著作。其中，除了论述逻辑学的基本规律以外，亚里士多德还论述了大量的哲学问题和范畴问题。关于哲学问题和在工具论中已经讨论的范畴问题，这里不再赘述。形而上学中逻辑问题集中在关于逻辑基本规律的学说。他首次提出了矛盾律、排中律、同一律以及充足理由律。他认为这些规律是“自明的”、“最无可争辩的原理”。关于矛盾律，他表述为“同一属性，在同一
7、时间同一方面，不能既属于又不属于同一对象” ，“互相矛盾的命题不能同真，两个反对命题也是如此” 他用七种不同的方式详尽的证明了矛盾律的原则，从而也证明了在同一时间，两个矛盾命题和反对命题不能同时真的思想。他认为：矛盾律是关于事物、推理论证的通则，如果不遵守，一切事物都将混一。关于排中律，他在排中律一节中写道：“两个互相矛盾的命题之间不能有居中者，任何特定的谓项必须或者肯定或者否定它属于某一主项” “如果对于一事物必须或肯定它或者否定它，那么，肯定和否定不能是假的” ，即肯定和否定之间不能同真，也不能同假，必有一真一假的思想，他指出，真就是一个事物存在，那就说它存在或者一个事物不存在，那么它就不
8、存在。假就是将存在认定为不存在。他认为不遵守排中律不可取。“一个人对于该作判断的事物不作判断，只是混混沌沌，含糊爱昧，与草木无区别” 关于同一律，亚里士多德在形而上学四卷四章中对矛盾律证明时表述了同一律的思想：不确定一个定义等于没有定义。“若对同一事物的不同表白混淆为同一涵义，则不仅相反的事物将混淆，一切事物将混一” 他没有明确定义同一律，但其思想贯彻始终，他反对转移论题，要求人们论辩时先弄清题目的含义，以避免发生歧义。同时，他也接触到了充足理由律，他指出“论一真理必问其故” ，即认识事物，不仅要认识事物“如此这般”还要论述为什么，说出理由。形而上学中，亚里士多德还提出了事物的相对稳定性是逻辑
9、基本规律的基础；还提出了矛盾律及排中律的适用范围，尽管他对逻辑基本规律的表述还存在明显不足，比如对同一律和充足理由律的表述不甚明确，然而瑕不掩瑜，作为“论证原理”“三段论基础”的逻辑学基本规律，仍然是逻辑思想中最伟大的思想之一。新工具简介Novum Organum弗兰西斯培根(Francis Bacon，15611626)出生在伦敦一个新贵族的家庭，十二岁入剑桥大学三一学院，对于所学各门学科表现出异乎寻常的才智和独立思考的精神，尔后为西方的哲学、自然科学和逻辑学的发展做出了开创性的贡献，是近代唯物主义的始祖，实验科学的奠基人，归纳逻辑学的主要创立者。培根著作丰硕，思想精深，文字优美。其最重要的
10、逻辑学著作是新工具(Novum Organum)。新工具出版于 1620 年，是培根未完成的巨著伟大的复兴(Great Instauration)的第二部分。新工具是针对亚里士多德以演绎逻辑为主的工具论而命名的。中译本原有关琪桐译本，现有许宝揆据英译本译出的新译本，商务印书馆 1981 年出版。本书除序言外，正文标题为“语录”(aphorismi，亦译“箴言”，但其中颇有长篇大论)，分两卷：第一卷有 130 则，第二卷有 62 则。作者在这部著作中，反对经院哲学，批评演绎逻辑，提倡观察实验，侧重阐述他的新逻辑方法，即归纳法。他强调要获得真理，就必须用观察和实验的方法大量收集材料，然后根据“三表
11、法”，即本质和具有表、差异表、程度表，整理己获得的感性材料，即通过分析、比较，用“消除法”把非本质的东西加以掏汰，最后获得本质的认识。这样的归纳概括过程必须循序渐进，不能任凭理性的跳跃。新工具是近代非常著名的归纳逻辑著作，奠定了古典归纳逻辑的基础，它提出的三表法和消除法，对后世的逻辑学产生了重大影响。新工具阐释的分析方法，为近代实验科学开辟了道路，在科学史上也有广泛而深远的影响。逻辑体系简介A System of Logic Ratiocinative and Inductive约翰斯图亚特穆勒(John Stuart Mill,1806-1873)出生于英国伦敦，是著名思想家詹姆斯穆勒的长子
12、。穆勒自幼聪慧，在父亲严格的教育下，博览群书，自学成才，在哲学、政治学、伦理学和逻辑学等领域都取得了重要的学术成就，是 19 世纪著名的经验主义哲学家、自由主义政治思想家、功利主义伦理学家和古典归纳逻辑的集大成者。逻辑体系(全名为一个演绎与归纳的逻辑体系，A System of Logic Ratiocinative and Inductive)，是穆勒最主要的逻辑学著作。该书初版于 1843 年，在他生前就再版 8 次之多，在全世界都颇有影响。本书共 6 卷：第 1 卷“论名称与命题”，第2 卷“论推理”，第 3 卷“论归纳法”，第 4 卷“论归纳法的辅助推演方法”，第 5 卷“论谬误”，第
13、 6 卷“论精神科学的逻辑”。其中，1、2、5 卷集中考察演绎逻辑，3、4、6 卷专门阐释归纳逻辑。在这部著作中，穆勒以经验论观点概述了传统的演绎法。他认为，三段论只是“貌似的”而非真正的推论，力图把三段论归结为从特殊到特殊的推理，从而把全部演绎法纳入到归纳法的范围之中。全书重点是第 3 卷第 8 章中提出的著名的求因果关系的四种方法，即“实验四法”：契合法、差异法、共变法和剩余法。穆勒还把前两种方法结合起来使用，称为契合差异并用法。他本人认为，这不是一种单独的方法，而是间接差异法和对契合法的某种增进；但后人把这种方法和“实验四法”放在一起，统称为穆勒求因果 5 法。穆勒在书中，还论述了与归纳
14、相关的概率问题，以及自然齐一性等问题。逻辑体系对 19 世纪后半期到 20 世纪初期的传统逻辑影响很大，当时的许多逻辑学教科书，都把穆勒的归纳方法作为其重要的组成部分。我国近代启蒙思想家严复，将此书导言、第 1、2 卷和第 3 卷的前 13 章，翻译成中文，取名为穆勒名学，于 1905 年出版，在我国产生了较大的学术影响。逻辑体系最为重要的贡献在于把归纳纳入逻辑体系，使之成为传统逻辑体系中的重要组成部分，但他不恰当的贬低演绎，片面的夸大归纳的作用，却是不对的。 逻辑的数学分析简介The mathematical analysis of logic, being an essay towards
15、 a calculus of deductive reasoning乔治布尔(Gerge Boole 1815-1864)，英国著名数学家和逻辑学家。著有分析中的一般方法思维规律研究逻辑和概率的数学理论基础、逻辑的数学分析等论文和著作。他在数学上有两个贡献：1.发现可能有一种实体的代数，它在任何一种通常意义上都不是数；2.对于数的各种类型从自然数开始到包含复数都成立的规律不必全部保留在不能应用于这类数的代数系统中，他认为代数可以发展成为具有各种解释的抽象演算。逻辑的数学分析是布尔关于逻辑代数的代表著作，出版于 1847 年，在逻辑的数学分析中，他发展了莱布尼兹创立人类通用语言的思想，确认语言的
16、符号化、形式化可使逻辑更加严密和完整。他强调概念的外延，认为逻辑是类的代数，通过选择联结各个类就构成类与类的运算。他依据公理和推演规则推演，构成类概念运算体系。他最早认识到概念的析取和合取与数的加法和乘法之间有某些相似之处，因而，他用代数方法对类和命题进行运算。他的逻辑代数被认为是数理逻辑的初级形式。首先，他的对象是事物的类，他用 x，y 这样的字母代表类，两个类的符号之间使用“=”号，表示有关的类具有同样的分子，两个类的交就是同时属于这两个类的一切事物构成的类，可用 xy 表示，在一切特异类中极限情况可用特殊符号表示，即用“1”表示全类，用“O”表示空类，交的运算是积，即逻辑乘法，x+y 表
17、示 x 和 y 两个合成的类，运算是和，即逻辑加法，在这些概念基础上，最终形成了类与类之间的并、交、补运算。其次，借助于上述思想，他将逻辑命题表示如下：凡 x 是 y，表示成：x(1-y)=0没有 x 是 y，表示成：xy=0有的 x 是 y，表示成：xy=v有的 x 不是 y，表示成：x(1-y)=v其中“v”被理解成特称量词“有的”“至少有一个”。他将矛盾律和排中律分别表示为：x(1-x)=0x+(1-x)=1 等等。第三，布尔在数学的逻辑分析中指出，类的运算亦可解释成命题的演算，当 x、y不是类而是命题时，类运算转化成命题运算。他让 x=1 表示 x 命题为真，x=0 表示 x 命题为假
18、，1-x 表示 x 命题的否定。这样，x 和 y 命题的合取的真值可用组合 xy 表示，析取的值可用 x+y 表示等等。他虽然没有使用“真值”这个概念，但他已经指出了命题表达式取值的各种可能，并指出它是命题取值的“域”。“如果我们把命题 x 和 y 结合起来，那么可想象的情况的总数可以从以下图式中看出来。情况 选择表达式1x 真 y 真 xy2x 真 y 假 x(1-y)3x 假 y 真 (1-x)y4x 假，y 假 (1-x)(1-y)我们要注意不管那些情况有多少，表示每个可想象情况的选择表达式的数目将唯一的。” 第四，在数学的逻辑分析中，布尔得到了命题运算的一些规则和公理，认为它们都是真命
19、题。例如xy=yxx+y=y+xx(y+z)=xy+xz如果 x=y，则 xzyz 等等，利用这些规则，才有类和命题的相等、相补，对偶性，唯一性以及包含的运算。相对于后期数理逻辑的建立，布尔的思想并不成熟，但它毕竟是关于具有析取范式形式表达类和命题演算的理论。 数学原理简介Principia Mathematica罗素(Bertrand Arthur William Russell,1872-1970)英国现代著名数理逻辑学家、哲学家，国际著名学者。主要著作有数学的原则、原学原理。数学原理简称 PM，罗素与怀特海合著。共三卷，分别于 1910、1912、1913 年分卷出版。自 1900 年始
20、，怀特海和罗素一起致力于数学的逻辑基础和符号逻辑的研究，并着手写该书。原拟作为罗素 1903 年发表的数学原则的续篇，后因故独立成书。 该书中数学的问题、记号记法等绝大部分为怀特海所写，而关于哲学及一部分数学的问题则为罗素所写。其中第一卷的内容主要是罗素的研究成果。罗素曾明确表明该书的写作目的有两方面：一是表明全部的数学都是从逻辑推导出来的；二是尽可能地找出和发现符号逻辑本身的原则是什么。因此，本书反映了罗素的逻辑主义思想，是逻辑主义的代表作。该书第一卷包括导论和一、二部分，导论主要论述了逻辑主义思想，分析了数学与逻辑的关系；提出了一个完整的命题演算和谓词演算的公理系统；剖析了逻辑悖论；提出了
21、解决悖论的办法逻辑类型论。第一部分着重论述了演绎理论、慕状词理论、关系逻辑和类逻辑。第二部分探讨了基数和序数的算术理论。第二卷包括三、四部分和五部分的前三节。第三部分先论述了基数的定义和一般逻辑性质、最大基数悖论的解决，然后分别论述了加法、乘法和乘方的运算，最后讨论了有穷和无穷的理论。第四部分主要讨论和阐述了一般算术的性质和序数算法。第三卷包括五部分的后三节和第六部分。第五部分研究了序列关系的性质。第六部分主要论述了数的各种应用即度量问题。该书全面、系统地总结了自莱布尼茨以来数理逻辑发展的主要成就，标志数理逻辑这门新兴学科的形成，是现代逻辑发展史上的一个重要里程碑。概念文字一种按算术公式构成的
22、纯思维语言简介Begriffsschrift, eine der arithmetischennachgebildete Formelsprache des reinerr戈特劳弗雷格(Gottlob Frege 1848-1925 年)，德国著名数学家，耶拿大学数学教授。他一生致力于对数学和数理逻辑的开创和研究，出版和发表了诸如：概念文字一种按算术公式构成的纯思维语言1879 年；论算术的基本规律1884 年；论意义和所指1892 年；论函数和概念1891 年；论概念与对象1892 年等著作及若干论文。在弗雷格之前，布尔等人将逻辑看成数学的一部分，但弗雷格则指出：证明算术与逻辑是等同的。他跟
23、莱布尼兹一样，认为数学的特点是构筑演算并且可能存在一种不涉及数和量而能解释的有趣的文字演算，这就是他关于数理逻辑的思想，他在研究中要求严格的形式化。可以说，他的工作包括了数理逻辑的一切要点，他的贡献可概括为以下几点：1他系统的创立了形式语言并在此基础上发展出了命题演算系统。2他创造性的给出了一阶谓词演算的公理系统。3他引进了量词概念并将量词运用到约束变项。4他提出了真值函项概念并发展了实质蕴涵的思想等。概念文字是弗雷格的第一本著作。该著作的主要思想是构筑纯思维的形式化语言。即比自然语言更加规则的并能更好地保持推演过程精确化的符号系统。他认为该符号系统是用变项去表达一般性。弗雷格建立的符号系统是
24、以数学中算术语言作为模型的。概念文字中主要逻辑思想如下：1它首先引进了大量的形式语言，虽然他的形式语言过于复杂，烦杂，被后来的逻辑学家改造了，但其启发性是十分重大的。例如他用“”表示判断，即能确认内容真或假的命题；用“”表示命题，用“G”表示命题元变项，即命题的一般性。2概念文字中另一个重要思想便是真值函项的思想。他指出“假如一个简单的或复杂的符号出现在一个表达式的一个或多个地方，如果我们设想一个符号在它出现的一个或多个地方可以用另一个符号替换(每一次是同一个)，那么在这样的替换之下自身没有显现变化的一部分表达式称为函项，可替换的部分称项的变目”他用 y(G)表达变项为一的真值函项，用 y(G
25、、D)表示变项为二的真值函项。著作中对真值函项的性质有诸多论述，这里不再赘述。3传统逻辑认为，所有命题和判断都是主谓句式，这样的处理使量词作用受到限制，弗雷格将命题或判断用主词短语来表达，从而使它们具有相同的谓词，他认为“”可以作为一切判断共同的谓词符号；他在处理命题时引入量词概念，辖域概念并将全称命题变成具有共同谓词格式的蕴涵式，将特称命题变成具有共同谓词格式的合取式，并引入了约束变项概念。为研究一阶谓词推演打下基础。4在对全称特称命题分析后，他又用形式语言去分析复合命题。例如，他用“ ”符号表达假言条件句，用“G”表示命题的否定即负命题；用“ ”表示析取命题。用“ ”表示假言条件句时，他区
26、分了 D 是前件，G 是后件，并对四种真假可能性进行讨论，即 1.D 肯定，G 肯定；2.D 肯定，G 否定；3D 否定，G 肯定；4.D 否定，G 否定。他说他的新符号代表这样的命题：第二个可能性不实现而其余三个可能性中每一个都实现。并且他指出：“ ”和“如果那么”并非完全等同，这里，弗雷格提出了实质蕴涵的思想。5.概念文字中弗雷格对与菲罗条件句相联系的演绎的严格性有强烈兴趣。在此基础上他提出演算系统中的分离规则和代入规则，并试图将一切推理化归成这一形式。尽管弗雷格的有些思想存在一定缺陷，他对整个数理逻辑的贡献是不用置疑的。论数学原理和有关系统中的形式不可判定命题简介On Formal Un
27、decidable PropositionsPM 一是俄国人米洛诺夫一九三二年校勘公布的。藏文本也有两个，一个是宋代时根据玄奘法师的汉文本翻译的，一个是在元代时由一切智护和称幢祥贤根据在迦湿弥罗国找到的梵文本译的。另外，日本人宇井伯寿把梵文本搜集了一下，又以汉文本作了校订，最后译成了日文。所以，这部论的本子比较多。此书梵文原无“因明”一词，是译者为要表示此论的性质而加上去的。这里对入论内容的介绍采用玄奘的汉译本。入论总共两千多字。全文由两大部分组成。第一部分包括一个颂和长行。这个颂称为初颂。长行之后又有一个颂叫后颂，第二部分仅此后颂。初颂开宗明义，总标纲要，长行依标逐条解释，长行即此论正文。后
28、颂作结。初颂标举了因明研究的范围，其范围大分为二：一悟他，二自悟。这二悟又各开四门，合称八门。悟他门包括能立、能破、似能立、似能破（能立与能破及似），自悟门包括现量、比量、似现量、似比量（现量与比量及似）。八门又称八义。八门从功用上讲分为二悟，因此，二悟又称二益。“八门二益“概括了因明的全部内容。这些内容虽然在陈那的正理门论中也有反映，但入论在其基础上进行了整理、补充、发挥，并以颂文的形式作了简明的概括。长行对八门进行了详细的解释，特别在似能立一门里，依照宗、因、喻、三支整理出三十三过（似宗九过、似因十四过、似喻十过）。本论与门论有两点不同：一是割舍了九句因；二是紧密联系宗、因、喻三支，剖析各类因明过失，把能破与似能破纳入喻三十三过分析之中。入论言简义明，为后人所广泛接受，是学习门论及因明的一部优秀初级读物。
