逻辑学的基本原理
前言：想要写出一篇令人眼前一亮的文章吗？我们特意为您整理了5篇逻辑学的基本原理范文，相信会为您的写作带来帮助，发现更多的写作思路和灵感。
逻辑学的基本原理范文第1篇
Epidemiology and Population Health, Albert
Einstein College of Medicine
Biostatistics and
Epidemiology
A Primer for Health and
Biomedical Professionals
Third Edition
2004, 243pp.
Softcover $ 33.20
ISBN 0-387-40292-6
本书是由美国Albert Einstein医学院流行病学和群体健康系流行病学室Sylvia Wassertheil Smoller教授编著的。第一版于1990年出版，第二版于1995年出版，现为第三版。本书的特点是根据流行病学和统计学的基本框架，使读者理解流行病学与生物统计学的基本原理，理解“为什么做”和“做什么？”学会“如何做、如何解释”。书中的内容都是临床试验和基础研究中最常用的、或是在文献中经常引用的。
全书共分9章。第1章讲述科研方法问题，包括逻辑推理、变异、研究设计、变量的量化、无效假设、假设检验、检验错误的类型、显著性水平等；第2章叙述概率的一些基本概念；第3章介绍常用的统计学检验方法；第4章介绍流行病学的基本概念，包括流行病学的应用、常用指标、流行病学研究类型、偏倚、混杂、交互、多变量分析等；第5章介绍筛检的基本概念；第6章是叙述随机对照临床试验；第7章介绍生活质量的评价，包括量表的结构、可靠性、真实性、敏感性（反应性）以及用量表评价生活质量的局限性；第8章介绍遗传流行病学的基本概念，包括双生子研究、连锁和联系分析、传递不平衡检验等；第9章阐述科研伦理学与统计学的关系。第8、9两章的内容在人类研究中十分重要，是第三版新增加的，是一般流行病学或统计学入门书籍中所没有的。
书后附有9项附录，介绍正文中各种统计学计算的实例，以使读者能够更顺利阅读本书、以及如何实际计算，包括卡方、Z值及t-值的临界值表、Fisher精确检验、几组比较的Kruskal-Wallis非参数检验、相关系数计算、率的年龄调整、比值比的可信性、两个变量的“J”或“U”型关系、量表记分改变的适宜性（敏感性）评价、以及遗传学基本原理和知识。书后还附有参考文献及建议阅读的书目，读者如需了解更深入的、超出本书范围的内容、或涉及高等数学方面的内容，可阅读这些推荐的教科书。书末附有主题索引，便于读者检索。
本书以科学的哲学和逻辑学原理，讨论统计学检验的基本原理，而不是让读者去做具体的统计学检验。全书各章节都是独立的，读者可不按顺序阅读，只阅读感兴趣的部分。本书特别适合那些没有或很少有数学背景的读者，使他们能够读得懂、用得上。
本书内容既简明，又适合范围较广的读者需要，所阐述原理和方法适合多种领域，包括医学、公共卫生、心理学、教育学。本书是一本简明的流行病学与生物统计学教科书，适合从事临床和基础研究的医生、医学专业本科生、研究生，或非医学专业学生参考，也可供程度较高的读者、以及对生物统计学与流行病学的逻辑学和方法学感兴趣的研究人员参阅。
乌正赉，教授
（中国医学科学院基础研究所）
逻辑学的基本原理范文第2篇
关键词：符号逻辑；不完全性；重言式；条件证明；排中律
逻辑学是研究用于区分正确推理与不正确推理的方法和原理的学问，正确推理有很多客观标准，逻辑学研究的宗旨就在发现并塑造这些标准。【1】最早由古希腊学者亚里士多德创建的，用某种缩写来表明自己的观点，符号逻辑则是引进更多的符号，用数学的方法研究关于推理、证明等问题的学科。符号逻辑一方面是评价推论有效性强有力的工具和手段，另一方面作为逻辑推理的工具和手段，它本身就有很多值得研究的论题。
欧文·m·柯匹的19条推论规则的集合被设计成从前提推导出系统化结论。然而，站在它的立场，系统无法到达任何陈述都是真实。这是因为前九条规则明确要求需要首要前提，而后十条规则是等值替换，既假定一个前提替代。欧文·m·柯匹在讨论19个推论规则时候发现在很多特殊的不完全性，他从奥·西蒙教授设定的证明规则发现十九条规则是不完全的，并且通过证明aba （a ·b），他提出一个有效讨论形式，即仅仅用19条推论规则是不能证明它有效性。【2】必须加入条件证明或者间接证明。例如条件证明规则：论证一，如果前提p，假设a我们能够推出b，所以ab；间接证明规则：论证二，如果前提p，假设～c我们能够推出～a∧a，所以c。【3】
假设第一个论证是有效的，让p被作为第二论证的前提，运用条件证明的规则两次，通过条件证明我们可以得出
我们已经表明，间接证明可以通过19个推论规则加上条件证明中推导出来的。
讨论相对关系时，欧文·m·柯匹提出引进附加的前提，但是这个前提必须明确是真的。例如：论证“小明和小方的身高相同，小方和小王的身高相同，因此，小明和小王的身高相同.”为了提供有效的证明，增加相同的身高的传递为前提是很重要的，柯匹教授认为在讨论大量的命题能够假设有相同的论点，大量的听众和读者可以通过不重复众所周知的知识来减少复杂，原来许多平凡的真命题，有时因为复杂不停代入而变的难以理解，听众或读者可能更加期待清晰简单命题提供给自己。很多重言式都是一个平凡的真命题，例如：同一律aa，排中率a∨～a。每个人都能接受这些重言式是真命题。因此，逻辑上不能反对引进它为一个附加的前提用来构建一个真正的证明。引入重言式作为附加的前提并不会影响证明的本身，在大多数情况下，仅仅利用原来19个规则是可以得出结论，但在有很多特殊的论证是不能通过19条规则证明出来，通过引入重言式是一个有用的工具去缩短许多证明
使用同一原则，排中原则，不矛盾原则的能够进一步用于证明是出于逻辑的基本原理。欧文·m·柯匹提出，“我们可以把这三大思想法则看做是支配真值表构造的原理。” 【5】 在构建真值表时我们确实使用这几个原理为指导，作为基本原则，他们是所有有效论证的附加前提，其实重言式是从十九条规则之一中衍生出来。
因此，十九条规则包含这些思想法则，对ab 所以 a （a∧b）的证明是附加重言式规则，附加的重言式是独立于19个规则。根据该论证不能够被19个推论规则的证明，如果这个结论是正确的，那么欧文·m·柯匹展示的不完全的证明必须有一些错误。根据该论证不能够被19个独立规则的证明。但是，如果这里提供的论证都是对的，它是可以的
参考文献
[1]【美】欧文·m·柯匹.卡尔·科恩 逻辑学导论 2007
[2]l·西蒙斯 没有重言式的逻辑.圣母形式逻辑杂志1978
[3]p·j·坎贝尔 对阿姆斯特朗关于科匹一书完全性的问题的解答.圣母形式逻辑杂志1977
逻辑学的基本原理范文第3篇
所谓“驾轻就熟”，就是所例举的教学案例应考虑学生专业背景，这样更能体现“以生为本”的教学理念。比如法学专业的学生所开设的《法律逻辑学》所用案例大多以法庭审理案件为主。对于学文科的学生来说，采用一些成语寓言故事或古典名著片段等穿插在教学过程中来阐述和讲解逻辑知识要点，确实能做到“温故知新”。例如：《公孙龙•迹府》篇：龙与孔穿会赵平原君家。穿曰：“素闻先生高谊，愿为弟子久。但不取先生以白马为非马耳。请去此术，则穿请为弟子。”……“先生修儒术而非仲尼之所取，欲学而使龙去所教，则虽百龙固不能当前矣。”孔穿无以应焉。选取这样一个文言片段，可以在进行分析前让学生先进行白话翻译，随后要求学生做一个换位思考，继而提出问题：假设你是孔穿，面对公孙龙的反驳能够做出怎样的回答或是辩解？接着以公孙龙与孔穿二人的互辩内容提出一系列如下与逻辑相关问题让学生讨论交流：
1.文中“此先教而后师之也；先教而后师之者，悖”，“先教而后师”就一定“悖”吗？“此处的“悖”是什么意义上的“悖”？如果你认为此处“不悖”又作何解释，请给出充足的理由？
2.孔子从仁义的角度把“楚人”与“人”区别而论，实质为概念的概括，即“楚人”可概括为“人”，意思是仁义不应有国界，这就好似墨子所讲的“兼爱”。但是公孙龙的“白马”与“马”二者是从概念的内涵、外延及事物的一般性和特殊性等方面来进行阐述“白马”与“马”的差异，文中公孙龙以此把二者进行类比是否恰当？3.孔子区别“楚人”与“人”，蕴含着“楚人”是“人”，没有得出“楚人非人”的命题。而“白马论”的中心论题就是“白马非马”，公孙龙把二者相提并论是否有偷换命题之嫌?该文言片段的讨论和分析体现了逻辑知识较强的综合运用性，教师在协助学生理清思路的同时，可以让学生运用所学的逻辑知识边思考、边讨论，让学生在分析这些“具体案例”的过程当中，自然而然地运用所学的逻辑知识，在学而思、思而用中达到教学的预定效果。再如，孔子说：“己所不欲，勿施于人”。“己所欲”是“施于人”的什么条件呢？以此名句作为分析“充分条件、必要条件”的案例。寓言故事“郑人买履”所蕴含的“不相容选言命题”可用于分析直言三段论“中项不周延”的逻辑错误，这样的案例不胜枚举。所以，选取案例结合学生专业背景定能让普通逻辑学教学更具亲和力。
二、普通逻辑学教学案例应贴近学生日常生活，遵循“客观生动，浅显易懂”的直观性原则
选取在实际生活当中能听得到、看得见、摸得着，与大学生的生活息息相关的案例更具说服力，毕竟“逻辑来源于生活，生活离不开逻辑”，这种逻辑与生活的关联性体现在生活的方方面面。生活中处处充满了逻辑，能够懂得用严谨的思维和逻辑的眼光观察生活，凸显一种理性的生活态度，会避免自己不犯或少犯逻辑错误，更能拥有一种敏锐的眼光洞察生活中存在的错误和瑕疵。选取生活中一个恰当的案例，把真实生活引入课堂，对逻辑基本原理和概念的理解直观地进行分析和讨论，把真实的生活与知识的运用有机结合起来，从而达到学以致用、用以促学。例如，某品牌牙膏电视广告：“牙好，胃口就好……”，牙好，胃口一定就好吗？“牙好”是“胃口好”的充分条件还是必要条件？再如，集市中一卖桔子摊上摆放着一块写着“大小一个样，越小的越甜”的招牌，某毕业生的就业推荐意见中“是一名优秀的合格大学毕业生”，这些话语显然是存在明显的逻辑错误。以上这些现象所折射出的问题说明人们的思想如果没有“逻辑”这根大梁作为支撑，那么我们的思维就好似朽木支起的“茅草屋”，经不起任何“风雨”的检验和推敲。对于整个社会来说，逻辑思维素质亟待提高也是一个不争的事实。把“逻辑”这一工具植根于我们的头脑当中“用其具”，有助于我们提高工作和学习效率，会给我们的生活带来诸多便利和成效。中国逻辑学泰斗金岳霖先生指出：“正是逻辑能够使我们最容易地生活。……，随着我们探讨未知的未来，逻辑将在生活中起越来越大的作用。”
三、普通逻辑学教学案例应贴近学生兴趣所在，遵循“趣味深刻，简单易学”的可接受原则
“兴趣是最好的老师”，案例具有“趣味性”，是教学取得良好效果的催化剂，所以也有的逻辑学教师提出“趣味逻辑教学法”来提高教学质量。笔者认为结合大学生喜欢浏览网页，喜欢发微博、发微信、QQ签名等兴趣爱好，选取一些所谓的“网络经典语言”作为反面案例，更具吸引力。同时也能一针见血地指出所犯的逻辑错误，起到夯实基础、加深理解的作用。例如“世上有三种人：一是良心被狗吃了的人；二是良心没被狗吃的人；三是良心连狗都不吃的人。”这个例子可以作为一个“划分错误”的典型案例进行分析。不仅违反了“划分标准混乱”的逻辑错误，同时“划分”的“标准混乱”。世界上的人若以“良心有无”作为一个标准划分应为：一是良心被狗吃了的人，二是良心没被狗吃的人。接着又以“良心没被狗吃（良心存在）”再分两种情况：良心好狗不忍心吃，良心坏狗都不吃。当然还有良心不好也不坏的。这个案例还涉及了“划分”这一概念的“逐级划分”、“划分不全”、“统一标准”等知识点。再如“我每天只吃四类食物：早餐、午饭、晚饭和零食。”在这个案例当中，可以运用“概念划分和概括”的知识点进行分析。把“食物”划分为“早餐、午饭、晚饭和零食”是不对的，除了“零食”可以概括为“食物”外，“早餐、午饭及晚饭”不能概括为“食物”，犯了“概括不当”的逻辑错误。我们只能按“进食时间”为标准把“餐类”划分为早餐、中餐和晚餐。通过对简单的两句网言网语进行分析，旨在说明网络语言存在的“逻辑缺失”现象是不可否认的，这种现象的存在不难说明发表类似言论的网络们只图一时之快、一己之乐，没有正视语言运用的规范性，也从一个侧面反映了网络语言失范现象急需“逻辑”这一工具去进行改观。最重要的是通过分析案例和错误解析，使学生拥有一种理性观点看待网络世界，同时起到积极促进规范公共理性环境的重要作用。由此可见，无论是现实生活还是网络世界，“没有逻辑，生活就会十分沉重，以致几乎是不可能的”。
四、普通逻辑学教学案例应贴近学生学习实际，遵循“以提升逻辑素养为主，兼顾提高解题能力为辅”的渐进原则
基于不少应届大学毕业生选择报考国家级、省级公务员的事实，同时基于普通逻辑学教学与社会逻辑学考试培训存在异同的事实，在教学过程中适当融入社会逻辑考试题目作为知识点案例让学生进行思考、运用，这对夯实学生基础知识，提高应用能力将起着重要作用。在提升学生逻辑素养、完成教学目标的同时兼顾提高学生的解题技巧，既能让学生有所学，有所得，有所用，又能让学生免于额外的培训，减轻一定的经济负担。
五、总结
逻辑学的基本原理范文第4篇
关键词：应用；思维；能力；运算
一、算法概念的学习为后续内容学习打下基础的同时，有利于培养学生数学应用意识
为了很好地贯彻新课标的理念，教材中利用学生非常熟悉的例子引出算法，使学生对算法有一定的了解，再通过日常生活中的例子让学生了解算法的实际应用作用，在算法概念的学习中结合分析案例，通过模仿、探索、设计、操作把算法思想渗透和贯穿于其中，使学生能够依据问题的分析形成算法思想，为以后编制程序，用计算机解决数学问题、解决生活中的问题打好基础。
二、算法概念的学习有利于培养学生的理性思维
算法概念的学习其中就蕴含了这样一个原理：对所解决的问题要考虑全局，考虑解决问题的总体关系，而不是只考虑局部。在保证总体的正确性后，再分别设计每一局部，每个局部又是一个需要解决的问题，这个方法是自上而下的，同时也要追求精确。算法思想可以贯穿于整个中学数学学习中，是一个很丰富的层次递进的素材，而算法的具体实现要与信息技术相联系，因此，算法概念的学习有利于培养学生的理性思维。
三、将算法思想落到实处，可提高学生的逻辑思维能力
新课标在课程观念和目标上的一个发展，就是在数学学习和数学教学中更加强调对数学本质的认识和理解。无论基础知识、基本技能、数学应用，都必须牢牢把握这一主线。算法是解题方法的精确描述，将解决具体问题的方法整理成算法的过程是一个条理化、精确化和逻辑化的过程，在算法的概念中更是注重这几个特征的学习。算法具有具体化、程序化、机械化的特点，又有高度抽象性、概括性和精确性，任何一个疏漏或错误都将导致算法失败的特点，有助于培养学生的逻辑思维能力。因此，算法概念的学习中教师只要注重算法定义特征的理解，联系实际结合案例，反复训练引导学生注意将解决具体问题的方法整理成算法的过程是一个条理化、逻辑化和精确化的过程，有利于培养学生的逻辑思维能力。算法体现出的逻辑化特点被有些学者看成是继形式逻辑和数理逻辑之后逻辑学发展的第三个阶段。
逻辑学的基本原理范文第5篇
关键词：莱布尼茨；古典形式逻辑；数理逻辑；内涵逻辑；内在关系说
中图分类号.B81-0文献标识码：A文章编号：1000-5099（2020）02-0001-10
莱布尼茨不仅在西方哲学史上享有崇高的地位，而且在西方逻辑史上也享有崇高的地位。鉴于我国莱布尼茨逻辑思想研究长期存在有“一手文献太少”“缺乏理论系统和理论深度”等弊端，本文将尽可能多地依据有关原始资料，努力从西方逻辑史的维度对莱布尼茨逻辑学的学术成就、历史影响和理论得失做一总体的纲要式的较为系统和较为深入的说明。
一
莱布尼茨既是西方古典形式逻辑的继承者和改革者，又是现代符号逻辑或数理逻辑的开创者和奠基人。鉴于此，笔者对莱布尼茨逻辑学成就的讨论，就从他改革和发展西方古典形式逻辑谈起。
莱布尼茨生活在亚里士多德所开创的古典形式逻辑横遭非议的时代，不仅英国经验论者培根和洛克对亚里士多德的逻辑学进行了非常严厉地批评，而且大陆理性派创始人笛卡尔也极力贬低它，说它对“发现真理”“毫无价值”。在这种情势下，莱布尼茨在继承亚里士多德所开创的古典形式逻辑的基础上对之做了多方面的改革。
莱布尼茨对古典形式逻辑的改革和完善主要表现在下述几个方面：
首先，莱布尼茨在继承亚里士多德词项逻辑思想的基础上提出和阐述了他的主谓词学说，也就是他的“谓词包含在主词之中”的学说。莱布尼茨在《对逻辑演算的两个研究》中明确指出：“每个直言命题都有两个词项”，它们在任何情况下都是“包含”和“被包含”的关系。后来，他在《形而上学谈》中进一步明确指出：“主词的项必定包含其谓词的项。”现代数理逻辑大家罗素不仅将莱布尼茨的主谓词逻辑视为莱布尼茨逻辑学的一项基本原则，还进而将其视为莱布尼茨构建其整个哲学或形而上学的一项基本原则。
其次，莱布尼茨充实和发展了亚里士多德的三段论理论。亚里士多德虽然重视意义理论，却把它的逻辑学的重心放在三段论上，并将发现三段论推理视为自己的一项重要功绩，宣称：“在推理上，我没有找到任何前人的著述。”莱布尼茨虽然称赞亚里士多德的三段论理论是“人类精神最美妙的发现之一”，却还是对之做了充实和发展。亚里士多德把三段论划分为三个格十四个式。后来，他的学生德奥弗拉斯特（公元前371-前286）在第一格中增补了五个后来属于第四格的式。莱布尼茨则证明出三段论四个格二十四个有效式的存在。早在1666年，他就在《论组合术》一文中证明有直言三段论第四格的存在，稍后他又给出了完全正确的二十四个三段论式的表，并且运用亚里士多德的化归程序从第一格的那些式中演绎出第二格和第三格的诸有效式。
第三，莱布尼茨改革和完善了古典形式逻辑的逻辑规律理论。这首先表现为他对同一律的提出、论证和强调。亚里士多德虽然曾对矛盾律和排中律做过比较明确和详尽的阐述，但对同一律的表述则比较含混，至少未明确地将其提升到“律”的高度。莱布尼茨则不仅明确地提出了“同一性原则”的概念，而且将其提升到了“律”的高度，“同一律”之所以被称作“莱布尼茨律”（Leibniz’sLaw），即是谓此。其次表现为莱布尼茨首次提出了充足理由律，并将其规定为思维和推理所依据的一项主要原则。传统逻辑从亚里士多德起，一向推崇矛盾律和排中律，将其视作必然真理或关于本质的真理提供推理的原则或基础，而对关于存在的真理或关于偶然事物的真理则一向不予重视，即使在莱布尼茨时代，多数哲学家，尤其是霍布斯和斯宾诺莎，依然否定偶然事物和偶然真理的存在，莱布尼茨不僅承认偶然事物和偶然真理的存在，而且还在西方逻辑学史上首次提出充足理由律作为偶然事物存在的根据。早在1666年，莱布尼茨就在《论组合术》一文中将充足理由律称作“原初命题”，并把它说成是关于“某物存在”的“偶然命题的基础”。1668年，莱布尼茨首次使用了“充足理由原则”这一概念。1679年，莱布尼茨将其视为“所有人类知识中一条最伟大也最富于成果的一条公理”（intermaximaetfoecundissimacensendumesttotiushumanaecogni-tionis）。1714年，莱布尼茨明确地将充足理由原则称作“事实真理”或“偶然真理”“推理”的一项“大原则”。1716年，莱布尼茨不仅强调了充足理由“这一大原则的坚实性和重要性”，而且还把它说成是“理性的最本质性的主要原则之一”，“推翻这条原则就会推翻整个哲学的最好部分”。
最后，莱布尼茨推动了盖然性逻辑的问世。与亚里士多德比较偏重于证明技术不同，莱布尼茨则更加注重发明技术或发现技术。他认为：“需要有一种新的逻辑，来处理概率问题”。早在1680年，他就曾指出：盖然性问题或概率问题是逻辑学中“最有用的部分”（eettepartiedelaLogiqueutile）。1714年，他在其致布尔盖的一封信中又强调了“后天经验”在解决盖然性问题或概率问题上的重要性。应该说，莱布尼茨的这些努力在盖然性逻辑或概率论的后来发展中是发挥了积极作用的，无论是使概率论成为数学一门独立分支学科的伯努利（1654-1705），还是分析概率论的创始人拉普拉斯（1749-1827）都或多或少地受惠于莱布尼茨。
二
莱布尼茨在逻辑学领域所取得的成就不仅表现为他改革和发展了古典形式逻辑，更重要的还在于他倡导和设计了符号逻辑，成为数理逻辑的开创者和奠基人。
这首先表现在莱布尼茨首次比较系统和深入地探讨了“普遍字符”问题。符号逻辑或数理逻辑与古典形式逻辑最显著的区别就在于一个使用直接代表声音间接代表概念的表音文字，一个则使用直接代表概念或语素的表意符号。因此之故，倡导和设计“普遍字符”不仅成了莱布尼茨符号逻辑设计的一项首要的和基础性的工作，而且在莱布尼茨看来，也是一项可以使他自己“永垂不朽”的伟大“工程”。此前，无论是吕里，还是霍布斯和笛卡尔，都在一定范围内触及了普遍字符问题，但他们的工作不是缺乏理论深度，就是缺乏理论广度和理论系统。莱布尼茨则不同，他从一开始就将普遍字符的讨论奠放到本体论和宇宙论的基础之上。
早在1666年，莱布尼茨在《论组合术》一文中对普遍字符的讨论就不仅从“对上帝存在的推证”入手，而且还广泛涉及“逻辑学”“形而上学”“物理学”（自然哲学）和“实践科学”。其视野之深邃和宽广，可谓前所未有。而他将普遍字符称作组合成作为“整体”的复合概念乃至所有科学的“部分”、简单概念、“原初概念”乃至不可分的“单元”（unitatum）的做法更是将普遍字符“科学之基”和“科学之母”的地位和功能一目了然地昭示出来了。
之后，莱布尼茨在《普遍科学序言》《达致普遍字符》和《人类学说的视域》等论文中对普遍字符做了多方位的考察。例如，在《普遍科学序言》（1677年）一文中，莱布尼茨指出，他构建普遍字符的目标即在于“找到一些字符或符号适合于表达我们的全部思想”，并且使“那些表达我们全部思想的字符…‘构成一种既能够写作也能够言说的新语言”。他还进而断言：这种“新语言”乃“理性最伟大的工具”，“人类心灵的最高成就”。再如，在《达致普遍字符》（约1679年）一文中，莱布尼茨不仅将“普遍字符”直接判定为“普遍语言”（LinguamUniversalem），而且还宣称普遍字符学既涵盖“发现新命题的技术”，又发现“对这些命题进行批判考察的技术”，而创建“人类思想的字母表”乃达致“普遍字符”的第一步。在《人类学说的视域》（1690年之后）一文中，莱布尼茨不仅提出了普遍字符即是“各门科学的整体”的思想，强调“当各个字母或其它字符标示字母表或语言的实际字母时，组合术连同语言研究便产生出密码破译术”，而且甚至还进一步非常自信地强调我们凭借普遍字符便可以“认识一切”。
最后，在《人类理智新论》（1704年）里，针对洛克关于一般真理只有藉语词才能设想和表现的观点，莱布尼茨针锋相对地指出：借“其他标志”也同样能够“设想”和“表现”。他举例说，除西方的表音文字外，中国的表意文字就行。但他认为，他的普遍字符（CaractereUniverse）甚至比中国的表意文字更“通俗”、能“更好地”“设想”和“表现”一般真理或普遍真理。因为这种符号“自身就能表示意义”（desfiguressignifieantes）。
莱布尼茨设计和筹划符号逻辑的第二项重大工程在于他比较系统和深入地讨论了“数学科学”或逻辑演算问题。如前所述，在莱布尼茨之前，笛卡尔就提出了“数学科学”概念，但莱布尼茨不是“照着讲”，而是“接着讲”，他的数学科学在内容上不仅丰富了许多而且也深刻了许多。莱布尼茨的“数学科学”，如他自己所说，不仅有许多“美妙的方法”，而且还有派生这些“美妙方法”的“比数学还要广泛的分析技术”，有它的“形而上学基础”。早在1666年，莱布尼茨就在《论组合术》中强调指出：“数是某种具有最大普遍性的东西，……它正确地属于形而上学”。后来，莱布尼茨在《达致普遍字符》一文中，进一步把“数”说成是“一种形而上学模型”（fidurametaphysiea），把算术说成是“一种宇宙静力学”（StatieaUniversi），强调“在数里面隐藏了最深奥的秘密（maximainnumerismysteria）”。鉴于此，莱布尼茨提出了“按照一种新的方法，创立一种数学一哲学的研究路线”的设想。1678年，莱布尼茨在致契尔恩豪斯的一封信中阐明了他的“数学科学”与普通数学学科或代数学的原则区别。他指出：前者是“一门关于形式的科学或者说是一门关于相似与不相似的科学”，而后者则是“一门关于量（大小）的科学，或者说是一门关于相等和不等的科学”。因此，“数学科学”非但不隶属于代数学，代数学甚至逻辑学本身反而应隶属于前者。
逻辑演算是莱布尼茨数学科学中的一项重要内容。莱布尼茨在《对逻辑演算的两个研究》《逻辑演算研究》和《位置几何学研究》等论文里比较具体深入地探讨了这一问题。
在《对逻辑演算的两个研究》（1679年）一文中，莱布尼茨明确提出了“素数”（primenumber）概念，并开始以代表其因子的素数的乘积来表达复合概念。他举例说：既然人是一个理性的动物，倘若动物的特征数是a，如2，而理性的特征数为r，如3，则人的特征数或h，就将是2x3或6。在该文的第二部分（即“普遍演算样本”）中，莱布尼茨还试图藉对普通命题的经验分析来构设代数逻辑。他以全称肯定命题“a是b，或（所有的）人是动物”，即每一个a都是b的形式为基础，提出并论证了逻辑演算的多项基本原则：如“ab是a，或者（所有的）理性动物是动物。ab是b，或者（所有的）理性动物是理性（的）。”“或者省略掉b，即（所有的）动物是动物”，亦即“a是a”等。
《逻辑演算研究》（1690年）一文對于我们了解莱布尼茨的逻辑演算思想尤其重要。该文内容非常丰富，在其阐述的6个定义、2条公理和24个命题中，不仅提出了“求特征数术”或“字符术”，而且还新提出和阐释了“次级词项”“全异词项”“伴同要素”和“伴同成员”等概念。值得注意的是，莱布尼茨在对其提出的定义和公理的“注释”中，对他的逻辑演算规则的形而上学意义做出了更为深入的说明。例如，在对有关定义的注释中，莱布尼茨不仅从概念的内涵上而且还从概念的外延上阐述了属相与种相的关系，指出：“一个属相的概念存在于一个种相的概念之中，但该种相的个体事物却存在于该属相的个体事物之中”。这里所涉及的内涵逻辑与外延逻辑的关系问题，后文还将论及。
莱布尼茨在《位置几何学研究》（1679年）一文中提出了一种新的“演算类型”，这就是在“代数演算”之外新提出了“位置演算”。莱布尼茨的位置几何学有两条基本原理，这就是“全等关系”和“相似关系”。凭借这两条原理，莱布尼茨赋予位置演算一种形而上学的意义，使几何学由传统的关于量的科学转变成一门“关于质的或形式的科学”。莱布尼茨对此非常自信。他写道：“凭借”位置演算这样一种“普遍的方法”，“我们就能够使代数远远超出韦达和笛卡尔，就像韦达和笛卡尔曾经使代数远远超越古人一样”。
莱布尼茨设计和筹划现代符号逻辑的第三项重大工程在于他提出和阐释了“普遍科学”（lasciencegenerale）概念。他之所以提出“普遍科学”概念，其根本目标在于赋予他的逻辑学和语言哲学一种百科全书乃至形而上学的意蕴。
早在1677年，莱布尼茨就在《普遍科学序言》中提出并阐释了“普遍科学”概念，将其解释成一门帮助我们“获得真正幸福”、获得“心灵宁静”的科学。在莱布尼茨看来，这门科学不仅包含数学、形而上学、伦理学、灵魂学说和神学，而且还包含运动科学、物理学、医学等学科。毫无疑问，我们前面提到的“普遍字符”和“普遍数学”即是其不可或缺的内容。此后，莱布尼茨又将普遍科学区分为“量的普遍科学”和“质的普遍科学”或“形式的普遍科学”。
1679年，莱布尼茨在《奥秘的百科全书导论》一文中不仅将“普遍科学本身”规定为“奥秘的百科全書”的“主题”，而且将普遍科学界定为“那种关于就其本身而言可普遍思想的东西的科学”；此外，莱布尼茨还在将普遍科学的原则区分为“理性原则”和“事实原则”的基础上，将“先验第一原则”“属于后验知识的第一原则”“道德确定性原则”和“物理确定性原则”宣布为普遍科学的“形而上学确定性原则”。
随后，莱布尼茨在《推进科学的规则》（1680年）中，不仅将普遍科学界定成“更高等级的科学”（sciencesuperieure），而且还将其界定成一门“发现的技术”（I’and’inventer）。他强调说，每门科学固然都有它自己的“发现原则”（1esprincippesinvention），但仍然需要同普遍科学所提供的“发现技术”相结合，也就是说，仍然需要得到普遍科学的指导和规范。
莱布尼茨在大约写于17世纪80年代的《论确定性的方法和发现的技术》一文中从两种真理或两种技术的角度阐述了普遍科学的目标或旨趣。他指出：普遍科学不仅蕴含有推理真理和推证技术，尤其蕴含有事实真理和发现技术。他写道：“在所有类型问题上的长期实践和反思伴随着发明和发现的重大成功，已然使我懂得在思想技术方面，也和其他技术领域一样，存在有秘密。而这正是我承诺予以探讨的普遍科学的旨趣。”
至17世纪90年代，莱布尼茨继续探讨和阐述他的“普遍科学”概念。在《论智慧》（约1693年）一文中，莱布尼茨事实上将他的普遍科学称作一种“智慧学”，宣称：“智慧是关于所有科学原理以及应用它们的技术的完满知识。”他进而写道：“所谓原理，我指的是所有的基本真理，通过某种发挥和某种小规模的应用，就足以使我们得出我们所需要的任何结论。”1696年，在其致瓦格纳的一封信中，莱布尼茨一方面将普遍科学说成是一门逻辑学“与之密切相关的学科”，另一方面又使用了“普遍科学或形而上学”（dergemeinlichenWissenschafftoderMetaphhisik）的措辞，径直将普遍科学等同于形而上学。
莱布尼茨设计和筹划符号逻辑的第四项重大工程是他的“分析一综合”方法论。严格地讲，方法论是一个近代才出现的问题。诚然，传统逻辑中也有一些方法论内容，例如亚里士多德就曾论及理性演绎和经验归纳，但阐述得不够明确也不够深入和系统，只是到了近代，随着认识论取代本体论成为哲学的中心问题，方法论才形成一种理论系统，构成哲学（认识论）和逻辑学的一项重要内容。英国经验主义创始人培根首次提出了系统的经验归纳法，即“三表法”，而大陆理性主义的创始人笛卡尔则提出了系统的理性演绎法。但在莱布尼茨看来，培根的经验归纳法是一种“外在的归纳”，带有心理主义的色彩；笛卡尔的理性演绎法虽然看起来冠冕堂皇，却缺乏根基，因为笛卡尔虽然将“清楚明白”的东西规定为他的方法论的起点，他却既没有提供清楚明白的“标准”，也没有提供达到清楚明白东西的“途径”。基于对培根和笛卡尔方法论的反思，莱布尼茨提出了他自己的方法论。莱布尼茨的方法论包含着相反相成的两个基本层面或两个基本阶段：第一个层面或第一个阶段是将概念和判断批判分析成作为其构件的各个部分，第二个层面或第二个阶段是对表象实在的真理的构建性综合。在莱布尼茨看来，所谓分析，就是去发现蕴含在复合概念中的最简单概念和蕴含在特殊原则中的最普遍原则：因此，分析并非培根的“外在的归纳”，而是一种“内在的归纳”，一种从复杂的既定的事实或关系进展到内蕴于它们之中的更为普遍和更为抽象的概念和原则。综合则是构建性的，是由简单的抽象的真理构建出具体的真理。因此，一般来说，与综合相对应的是演绎，从而是一种相加或积聚的过程。如果说分析是一个从复杂到简单、从个别到一般、从具体到抽象的过程的话，综合便是一个从简单到复杂、从一般到个别、从抽象到具体的过程。莱布尼茨的“分析一综合”法或“分析一综合”逻辑所内蕴的就是这样两个相反相成的推理过程。莱布尼茨的普遍字符、普遍数学和普遍科学所运用的无一不是他的“分析一综合”法。
其实，莱布尼茨在《论组合术》中所运用的就是他的“分析一综合”法。莱布尼茨在讨论“组合术”的“预设”时，特别讨论了“部分”（partium）和“整体”（Totum），绝非偶然。因为他的“分析一综合”法所关涉的核心关系就是部分与整体的关系：所谓分析就是从整体到部分，所谓综合就是从部分到整体。在莱布尼茨看来，综合与分析密不可分。莱布尼茨的“组合术”虽然讨论的是“综合法”，但他既然将“组合的基础”说成是“整体本身（以及因此数或总体）能够分解成部分，这些部分可以说是一些更小的整体”，这就表明，莱布尼茨在《论组合术》里既运用了“综合”法，也运用了“分析”法，换言之，他运用了他的“分析一综合”法。
1674年，莱布尼茨在《论普遍性方法》一文中，事实上提出了两种类型的“分析或综合”：一种是“特殊的分析或综合”，另一种是“普遍的分析或综合”。他在这篇论文中倡导的是一种“普遍性的方法”，也就是一种“普遍的分析或综合”，亦即他所谓的“字符学”（“普遍字符学”）。莱布尼茨将这种普遍方法或这门科学归结为下述两点：“第一点，是将若干不同事例还原成单一的程式、规则、方程或结构；第二点，是将各种不同的符号还原成一种和谐，以便普遍地推证或解析许多有关它们的问题或定理。”
在《分析一综合逻辑的形而上学基础》（1676年）一文中，莱布尼茨不仅广泛涉及事物的可能存在与现实存在问题、二元论与一元论问题、虚空或真空问题、时空无限问题、连续体组合的迷宫问题、实无限（无定限）与潜无限问题和心灵不朽问题，而且还广泛涉及复合形式与简单形式问题、主词与形式的关系问题、心灵的反省或自我体验问题、反省与记忆和人的同一性与人格的同一性问题、字符的认识论价值问题以及上帝之为简单形式的主体以及第一理智问题等。尽管该文的一些观点值得斟酌，其表达也不够系统和连贯一致，却足以说明在旅居巴黎期间，莱布尼茨就已经开始从形而上学或本体论的高度或深度来理解和阐释他的分析一综合法了。
在《论普遍综合与分析，或论发现术与判断》（约1679年）一文中针对笛卡尔片面推崇分析法的理论倾向，莱布尼茨特别强调了综合在发现真理方面的特殊功能。他指出：综合使我们“能够发现所出现的各种问题的答案”，而分析则只能“解决各种既定的问题”。由此，他提出了“建立综合更为卓越”（Praestantiusestsynthesimcondere）的口号，断言：“组合或综合是发现一些事物用法或应用的更好的手段。”
三
莱布尼茨逻辑学在西方逻辑史上产生了深广影响。
莱布尼茨对西方古典形式逻辑的影响相当深广。充足理由律和莱布尼茨律（同一律）的流行，即可见一斑。莱布尼茨在盖然性逻辑或概率论领域，如上所述，有开创之功。此外，在三段论的格一式理论领域.莱布尼茨在对四个格的确定、无效式的排除和“三段论”的还原或三段论演绎系统的构建方面发挥了至关重要的作用。在一定意义上，我们可以说，莱布尼茨在莱布尼茨律（同一律）的基础上构建了西方逻辑史上第一个内容广泛、结构严谨的公理化和形式化演绎系统。其对古典形式逻辑的改革之功和发展之功，迄今为止，鲜有出其右者。有人称其为“逻辑史上最伟大的逻辑学家之一”此言不诬也。
莱布尼茨对现代符号逻辑或数理逻辑的影响甚至更为深广。可以说，凡谈论符号逻辑史或数理逻辑史的几乎没有不说到莱布尼茨的.他们不是把莱布尼茨说成是符号逻辑或数理逻辑的“先驱”，就是明确地将其说成符号逻辑或數理逻辑的“创始人”或“奠基人”。德国逻辑学家肖尔兹之所以说莱布尼茨使亚里士多德“开始了新生”，乃是因为在他看来，莱布尼茨“发现了某些本质上全新的东西”.提出了“把逻辑加以数学化的伟大思想”，以至于“人们说起莱布尼茨的名字就好像是谈到日出一样”。
事实上，莱布尼茨的符号逻辑思想或者说他的“字符游戏”不仅哺育了布尔的逻辑代数和弗雷格的逻辑演算，而且还直接哺育了罗素的逻辑演算。众所周知，早年的罗素原本是一个对数学持怀疑立场、对逻辑也并不怎么感兴趣的“羽翼丰满的黑格尔主义者”。但1899年春剑桥大学三一学院意外地安排他代人开设了莱布尼茨哲学课程，使他对莱布尼茨哲学和逻辑学产生了浓厚的兴趣，随后便撰写并于1900年出版了西方哲学史和西方逻辑史上第一部深入阐述莱布尼茨哲学和逻辑学思想的重要著作《对莱布尼茨哲学的平行解释》，吃惊地发现“莱布尼茨哲学大厦的最幽深处”竟是他的“逻辑学”，于是罗素本人对逻辑学产生了浓厚的兴趣，并最终走上了探究数理逻辑的道路。晚年，罗素在回忆自己的学术生涯时，也坦然承认他是在写作《对莱布尼茨哲学的批评性解释》时萌生了新的“看法”“以后”，才“发现了皮亚诺在数理逻辑中的研究”的，才“在1899-1900这两年中”实现了他一生中具有“革命”性质的“改变”的。
尤其值得注意的是：罗素不仅是莱布尼茨的逻辑学思想的发现者和继承者（批判性继承者），而且在一定意义上还可以说是“莱布尼茨逻辑系统”的“完成”者。肖尔兹就曾非常形象地将莱布尼茨的符号逻辑说成是一个未完成的“逻辑系统”，“一些卓越的残篇”，而将罗素与人合著并于1910-1913年出版的《数学原理》视为莱布尼茨逻辑系统的“完成”。而罗素本人也毫不掩饰自己作为莱布尼茨“逻辑系统”的发现者、继承者和完成者的学术身份：一方面他非常难能地坦然承认莱布尼茨“数理逻辑始祖”的地位，断言：莱布尼茨的数理逻辑的研究成果“当初假使发表了，会重要之至；那么，他就会成为数理逻辑的始祖，而这门科学也就比实际上提早一个半世纪问世”：另一方面，他又在事实上将自己说成是促使莱布尼茨逻辑系统“完成”和“梦想成真”的一个“推手”。他写道：“由于数理逻辑的发展，也由于他（指莱布尼茨——引者注）在这一学科及其相近学科的手稿的同时发现，莱布尼茨作为一位哲学家的意义比那个时候（指罗素写作《对莱布尼茨哲学的批评性解释》的1900年——引者注）更其昭然了。……在逻辑学和数学原理领域，他的许多理想已经成真；而且已经最终表明，它们绝不是一种异想天开的幻想。第二版序加
就我国逻辑学界的情况看，事情也同样如此。我国老一辈西方逻辑史家，从王宪钧到张家龙，几乎众口一词地肯定莱布尼茨在数理逻辑史上的奠基地位和创始人地位。王宪钧（1910-1993）不仅宣布莱布尼茨是“数理逻辑的创始人”，而且还断言“现代逻辑的发展可以说是符合和实现了他所设想的精神的”。《西方逻辑史研究》一书的主编江天骥（1915-2006）称莱布尼茨为“数理逻辑的创始人”，断言：在逻辑史上，莱布尼茨与作为“逻辑之父”的亚里士多德和作为“实验科学始祖”的培根，享有同样的“声誉”。《西方逻辑史》一书的主编马玉珂称莱布尼茨是“现代形式逻辑的构设者与初步奠基者”，是“逻辑史上继亚里士多德之后伟大的逻辑学家之一”。《数理逻辑发展史》一书的作者张家龙（1938一）批评了少数西方逻辑史家将莱布尼茨视为数理逻辑“先驱者”和“前史时期”代表人物的做法，强调了莱布尼茨数理逻辑创始人的历史地位，断言：“从现有的资料来看，莱布尼茨关于逻辑的论述足以表明，他是当之无愧的数理逻辑创始人。”
四
莱布尼茨的逻辑学思想，特别是他的符号逻辑思想虽然在西方逻辑史上享有崇高的地位，但也有一些不容否认的缺失。
首先，莱布尼茨的逻辑学，包括他的符号逻辑思想，总的来说，未能超越内涵逻辑的范畴。诚然，莱布尼茨也曾思考过外延逻辑问题。例如，他在《对逻辑演算的两个研究》（1679年）一文中就曾指出，如果从外延逻辑出发，也就是从构成概念的外延维度，即“个体事物”或“普遍概念的例证”出发，我们不仅可以对概念之间的关系得出完全不同的结论，而且还能够由此“推证出所有的逻辑规则”。但莱布尼茨本人之所以不愿意采用“外延逻辑”。其理由在于外延逻辑“考虑的不是概念，而是归入普遍概念的例证”。在莱布尼茨看来，普遍字符科学也好，数学科学和普遍科学也好都“不依赖于个体事物的存在”，都只不过是“普遍概念的组合”而已。但既然任何概念既都有内涵也都有外延，既然“个体事物的存在”是一个人人都能感知得到的不争的事实，则内涵逻辑对个体事物的贬低和排拒，自然遭到了经验主义哲学家和逻辑学家的抵制。波兰逻辑学家卢卡西维茨（1878-1956）就曾说过：亚里士多德所开创、且为莱布尼茨所继承和发展了的内涵逻辑的“最大缺点”就是“单一词项和单称命题在其中没有地位”，可谓一语中的。而在一定意义上，我们可以说，现代数理逻辑正是在由内涵逻辑向外延逻辑转型的基础上产生和发展起来的。现代的数理逻辑理论，如弗雷格（1848-1925）的“量词理论”以及罗素的“摹状词理论”等，说到底都是为了实现现代逻辑的这样一种转型提出来的。一些西方逻辑史家，如波亨斯基（1902-1995），之所以不肯承认莱布尼茨现代数理逻辑的创始人和奠基人地位，与莱布尼茨之拘泥于内涵逻辑也不无关系。
莱布尼茨逻辑学的另一个显著缺陷在于他之拘泥于“内在关系说”。毋庸讳言，莱布尼茨不仅承认关系问题和关系命题，而且还不厌其烦地讨论和阐释了关系命题的主要类型。莱布尼茨认为存在有“两种关系”：其中一种是“比较的”，另一种是“和谐的”。他所谓“比较关系”，指的是那些“关于相合或不相合的”关系，如“相似、相等、不相等，等等”。他所谓“和谐关系”，指的是“包括有某种联结”的关系，如“原因和结果、全体和部分、位置和秩序等等”。问题在于在莱布尼茨看来，无论哪一种关系都不过是心灵的观念或观念的组合，其本身都不具有实在性，而都源于心灵的知觉属性，源于“某种具有理性本质的东西”，归根到底都源于“最高理性”。罗素反驳道：“假定甲和乙是两件事，甲先于乙。我不认为，这意味着甲里有一种东西，使甲（完全不牵涉到乙）具有一种特性，我们若提到乙来表示这种特性，就不正确了。”罗素自己还特别强调说，他正是在对莱布尼茨内在关系说的反思中，“认识到关系问题的重要性”，达到了“关系外在说”和“关系逻辑”的。他写道：“我第一次意识到关系问题的重要性是我研究莱布尼茨的时候。”因为他正是在阅读和研究莱布尼茨的过程中，认识到了内在关系说的症结所在，使他最终从黑格尔思想的枷锁中“解放”了出来，达到他的逻辑思想中“最重要”并且在他“后来的哲学中占优势”的“外在关系说”。罗素还进一步强调说，他在《对莱布尼茨哲学的批评性解释》里就曾讨论过内在关系说，“发现”莱布尼茨、布尔和皮尔士对关系所持的“偏见”“在哲学和数学里发生了不良影响”。在罗素看来，“关系逻辑里重要的东西是与类逻辑不同的东西”，不仅莱布尼茨和布尔，即使皮尔士也未曾注意到这一点。而罗素正是凭借其在对莱布尼茨关系理论的批判性反思中领悟到的“与类逻辑不同的东西”，革新和完善了德摩根（1806-1871）和皮尔士（1839-1914）的关系逻辑，比他们“更严格、更形式、更科学地表达了关系演算”，使数理逻辑“这门年轻的科学由于有了新的工具即抽象的关系理论而丰富起来了”。
在其他方面，莱布尼茨的逻辑思想也有这样那样的缺陷，如在学理结构层面的神学预设以及在其逻辑体系构建进度设计层面的乌托邦倾向等，但无论如何，拘泥于内涵逻辑和内在关系说，都是莱布尼茨逻辑思想的两项比较基本的缺陷。然而，当我们这样说时，我们是就现代数理逻辑的生成和发展而言的，是说不破除莱布尼茨的内涵逻辑和内在关系说，奠基于外延逻辑和外在关系说的现代数理逻辑就不可能顺利产生和发展。但倘若我们换一个视角看问题，倘若我们用长时段的眼光看问题，便会别有一番天地。就莱布尼茨的内涵逻辑来说，既然凡概念都有内涵和外延两个层面，则内涵逻辑就和外延逻辑一样永远不会过时，如果说作为主外延逻辑的现代数理逻辑必须超越传统内涵逻辑才得以建立和发展起来，则内涵逻辑也同样有望在超越现代数理逻辑的外延逻辑的基础上重新建立和构建起来。而这样的内涵逻辑无疑将是莱布尼茨所主张的内涵逻辑的一种“复辟”或“新生”，尽管这样一种“复辟”或“新生”并不是對它的简单重申，而是增添了各色各样的新的合乎时代的内容。毋庸讳言，也许有朝一日，当代的内涵逻辑也会重蹈莱布尼茨内涵逻辑的覆辙，但同样可以相信的是，总有一天，更新形态的内涵逻辑终将再次复辟和新生。由此看来，莱布尼茨所主张的内涵逻辑作为逻辑的一种存在形态，是永远消灭不了的，是永远有其存在依据和逻辑价值的。
对莱布尼茨所主张的内在关系说，也可以作如是观。因为“关系”从来不可能是无缘无故的，关系固然必定涉及两个关系项（两个主体或两个事件）的外在关联，但也必定涉及具有外在关联的两个关系项，必定与这两个关系项的某种性质或属性有一定的关联。因此，内在关系说和外在关系说一样，也具有一定程度的合理性。现代数理逻辑所主张的外在关系说或关系逻辑固然具有片面的真理，但莱布尼茨所主张的内在关系说也同样具有一种片面的真理。因此之故，正如现代数理逻辑在一段时间里可以用它自己的“外在关系说”取代莱布尼茨所主张的“内在关系说”一样，可以预见，他们所主张的“外在关系说”有朝一日终将为一种新的形态的“内在关系说”所取代。从这个意义上，我们可以说莱布尼茨所主张的“内在关系说”也是永远消灭不了的，也同样具有某种永恒的意义。
尤其值得注意的是，莱布尼茨高人一筹的地方在于：即使在其主张内涵逻辑和关系内在说的情况下，他也同时在一定意义上认可外延逻辑和外在关系说。一如前面所指出的，莱布尼茨在《对逻辑演算的两个研究》（1679年）一文中，就曾明确指出：经院派从外延逻辑出发说“金属大于黄金”和他从内涵逻辑出发说“黄金大于金属”，虽然演算方向“相反”，但这两种说法“相互之间却并不矛盾”（donotcontradicteachother）。而他之所以坚持内涵逻辑，无非是他自己因取主张概念优先和概念自足的唯理论立场而无法“执两用中”，调和内涵逻辑和外延逻辑。而这就意味着，西方逻辑的未来发展既不可能只是简单地以外延逻辑取代内涵逻辑，也不可能只是简单地以内涵逻辑取代外延逻辑，而是有望在理性论与经验论相互借鉴和相互吸收的基础上，或是内涵逻辑越来越多地借鉴和吸收外延逻辑，或是外延逻辑越来越多地借鉴和吸收内涵逻辑，正如极端的唯理论和极端的经验论没有出路一样，极端的外延逻辑和极端的内涵逻辑也是如此。倘若事情果真如此，则主内涵逻辑的莱布尼茨对待外延逻辑的这样一种宽容立场无疑为内涵逻辑和外延逻辑的相互借鉴和相互吸收提供某种可能，内蕴了和预示了未来逻辑发展的一种值得期待的美好愿景。
