时间：2024-01-15 15:14:07
论文关键词 法律逻辑学 形式逻辑 非形式逻辑
在我国,法律逻辑的研究开始于80年代初期,起步较晚,而且国内学者对国外法律逻辑的研究状况也了解较少。在我国法律逻辑研究的初期阶段,法律逻辑学的主要研究方向是如何把形式逻辑的知识应用到法律当中,法律逻辑的任务在于把形式逻辑的一般原理运用于法学和法律工作中。但随着研究的深入以及学科理论的发展,不少学者认识到把法律逻辑限制在形式逻辑的框架下,不仅阻碍了这一学科的发展,也没能使这一学科发挥出其应有的作用。因此,国内的法律逻辑学教材多呈现出两种趋势,一种是以形式逻辑为框架穿插法律案例,以形式逻辑的推论来解决法律案例中的逻辑问题;另一种是不局限于形式逻辑,而是采用了更多的非形式逻辑的方法来解决法律实践中遇到的难题。在这样的背景下,便产生了法律逻辑学的研究方向的转向。有的学者更多的是从法律的角度出发,把法律思维分为立法和司法两个领域,司法领域中所涉及的推论分为事实推理、法律推理和判决推理。也有的学者更多的是从逻辑学角度出发,认为法律逻辑学研究的主要趋向应该是非形式逻辑的方向。本人认为法律逻辑学是法学和逻辑学的交叉学科,它既是法学的一个分支,又是逻辑学的一个分支,它运用的是逻辑工具,它需要解决的则是法律领域的问题,因此法律逻辑学有着它固有的逻辑基础——形式逻辑,但仅有形式逻辑明显不足以支撑起法律逻辑学的大厦,法律实践中遇到的问题很多还要留给非形式逻辑去解决。
一、形式逻辑与法律逻辑学
法律推理是指运用“情境思维”的方法或“个别化的方法”来解读或解释法律,从已知或假定的法律语境出发判断出法律意思或含义的推论,是一个在法律语境中对法律进行判断或推断的过程。法律推理旨在为案件确定一个可以适用的法律规则即上位法律规范,为判决确立一个法律理由或法律依据即裁判大前提。形式逻辑可以为法律逻辑学提供一定的理论基础,这是毋庸置疑的,运用形式逻辑的方法来解决法律逻辑问题的案例在法律逻辑学教科书中也屡见不鲜:
侦查机关通过一番调查,初步判断:
被害者的上级(B)、妻子(M)、秘书(G)中至少有一人是凶手,但他们不全是凶手。
仅当谋杀发生在办公室里(A),上级才是凶手;如果谋杀不发生在办公室里,秘书不是凶手。
假如使用毒药(C)那么除非妻子是凶手,上级才是凶手;但妻子不是凶手。
毒药被使用了,而且谋杀未发生在办公室里。
问:侦查员的这些判断都是真实的吗?
解决这一问题首先需要把四个命题用形式化的方法表示出来,然后运用自然推理系统PN进行推理,推理过程中如果得出了相互矛盾的结果则说明这些判断不都是真实的,如果得出的结果没有相互矛盾,则证明这些判断都是真实的。这是运用形式逻辑来解决刑事案件的典型例子。从这个例子可以看出,形式逻辑是研究推理的,是一种证明的逻辑,传统法律逻辑运用的是传统逻辑即形式逻辑,可见它解决的是法律推理问题。所谓推理是指由一个推论的序列组成的推论链,其中一个推论的结论是下一个推论的前提;所谓推论是指一组命题,其中一个命题是结论,其他命题是前提;而一个推理序列则组成了论证,其中一个推理的结论充当了下一个推理的前提。可以说,一个论证包含了多个推理,一个推理包含了多个推论。形式逻辑虽然解决了法律推理问题,但是未能解决法律论证问题。
另外,法律推理理论的研究大致有两个方向,一是法律的形式推导,二是法律的实质推导。法律的形式推导是指基于法律的形式理性或逻辑理性进行的法律推理,是基于法律规范的逻辑性质或逻辑关系进行的法律推理。法律的形式推导的结果是法律规范的逻辑后承,是对法律规范进行逻辑判断的结果,是对法律规范进行“形式计算”或“概念计算”的结果。如果要进行法律形式推导,则必定是建立在法律规范含义明确清晰,案件事实确凿清楚,案件所适用的法律规范是确定无疑义的情况下的,这样一来就可以根据法律规范本身的逻辑特性,按照相应的逻辑规则进行推理,这种推理可以运用形式逻辑的的方法,但是这种法律形式推理只适用于较为简易的案件判决。从这里可以看出,形式逻辑确实可以为法律逻辑学提供一定的理论基础。
虽然形式逻辑可以为法律逻辑学的研究提供一定的方法,但是仅仅有形式逻辑时无法满足法律逻辑学发展的需要的。众所周知,能够进入诉讼程序的案件往往不是那么容易就被确认的,控辩双方经常会在法律规范的模糊意义下摆出自己的道理,控辩双方对于案件事实的描述也往往大相径庭,在这种情况下,法官则需要运用法律的实质推导来处理案件。法律的实质推导是指基于实践理性或目的理性以及价值理性进行的法律推理。它是基于法律意图或目的、法律的价值取向、社会效用或社会效益、社会公平正义观念等实质内容对法律展开的推论。在法律出现空隙,法律规范含混不清,相互抵触,“合法”与“合理”相悖的困境等问题上,法律实质推理作出了法律形式推理无法给出的回答。
形式逻辑也有传统和现代之分,传统形式逻辑主要是指亚里士多德三段论理论和斯多葛命题逻辑为主体的形式逻辑,现代形式逻辑主要是指皮尔士、弗雷格、罗素、希尔伯特等人发展起来的数理逻辑或符号逻辑。从形式逻辑本身性质来看,它自身的一些特点决定了它无法完全满足法律逻辑学发展的需要。
首先,我们知道形式逻辑主要研究的是演绎推理的有效性问题,如果想要得到真实可靠的结论,则需两个条件:前提真实并且形式有效,而形式逻辑关心的则是人工语言论证和逻辑系统的有效性,它对前提是否真实则关注不够。一个论证的形式是有效的并不能保证前提是真的。“形式逻辑对论证的评价是从真前提开始,但如何判定前提的真假,这已经超出形式逻辑所讨论的范围。”
其次,在法律事务中遇到的问题往往不像上述例子中那么简单,某些不确定的因素总是包含在法律论证的大、小前提(即法律规范和案件事实)当中,在由前提到结论的推论中,不是单纯的形式逻辑的推演活动,因而这样的推论不可能是像书本例题中的那种简单形式逻辑的操作。作为法律论证大前提的法律规范是基于自然语言的产物,因此难免会受到自然语言多义性、模糊性的影响,导致法官、律师在运用法律规范的过程中产生困扰。
在实际操作中,作为法律推论小前提的案件事实并不总是清晰地摆在人们面前,法官、律师也总是面对不完整的案件事实而进行推理、推论,而形式逻辑所进行的演绎推理必然是在前提充分的条件下进行的,它关注的更多是程序化的论证及人工语言的论证。从这点来看,用形式逻辑来进行法 律推论显然是力不从心的。
再次,形式逻辑所研究的命题都是事实命题,是有真值的对象,形式逻辑对事实命题做出的非此即彼的评价是形式逻辑二值性的充分体现。但是在法律文本中有较多的命题并非事实命题,而是如“外国人入境,应当向出入境边防检查机关交验本人的护照或者其他国际旅行证件、签证或者其他入境许可证明,履行规定的手续,经查验准许,方可入境。(中华人民共和国出境入境管理法第二十四条)”这一类的规范命题或价值命题,这类命题的性质无所谓真假,它们也不充当演绎推理的前提和结论,这类命题显然已经超出了形式逻辑的研究范围。形式逻辑并不专门以法律领域中的推理与论证为对象,没有涵盖法律思维领域里的全部推理与论证。
第四,《牛津法律大辞典》指出:“法律推理是对法律命题的一般逻辑推理”,包括演绎推理、归纳推理和类比推理。法律思维中涉及了大量的归纳推理、类比推理、语境推理等,这些都属于非演绎推理的范畴,而形式逻辑对非演绎推理的研究十分粗糙,无法满足法律思维的实践,因此形式逻辑无法有效地评价、规范全部法律思维。
二、法律逻辑学的研究方向——非形式逻辑
非形式逻辑兴起于上个世纪60年代,到目前为止,它还没有一个完全统一公认的概念,现任《非形式逻辑》杂志主编拉尔夫·约翰逊(RalphH.Johnson)和安东尼·布莱尔(J.AnthonyBlair)提出:“非形式逻辑是逻辑的一个分支,其任务是讲述日常生活中分析、解释、评价、批评和论证建构的非形式标准、尺度和程序”。这个定义被认为是当今流行的定义。从这个定义中可以看出,非形式逻辑的研究对象是日常生活的语言,也就是自然语言,这一点恰恰迎合了法律逻辑学以自然语言为文本的的特性。
非形式逻辑之所以是“非形式的”,这主要是因为它不依赖于形式演绎逻辑的主要分析工具——逻辑形式的概念,也不依赖于形式演绎逻辑的主要评价功能——有效性。非形式逻辑在这方面与形式逻辑形成了良好的互补,形式逻辑研究论证主要是基于语义的研究,即真假命题之间的关系研究;而非形式逻辑研究论证主要是基于语用的研究,即从语境和论证目的角度进行研究,正是这一点成为了法律逻辑学与非形式逻辑的完美联姻。在法律逻辑学中,与法律形式推导对应的是法律实质推导,法律实质推导是指基于实践理性或目的理性以及价值理性进行的法律推理,是基于法律意图或目的、法律的价值取向、社会效用或社会利益、社会公平正义观念等实质内容之间的关系对法律展开的推论,可分为法律的目的推导和价值推导。法律实质推导是基于目的蕴涵和价值蕴涵,而不是基于形式蕴涵,因此它应当有不同于法律形式推导的框架,而非形式逻辑从语境和论证目的角度进行研究就为法律实质推导提供了工具。
人工智能主要研究用人工方法模拟和扩展人的智能，最终实现机器智能。人工智能研究与人的思维研究密切相关。逻辑学始终是人工智能研究中的基础科学问题，它为人工智能研究提供了根本观点与方法。
1 人工智能学科的诞生
12世纪末13世纪初，西班牙罗门·卢乐提出制造可解决各种问题的通用逻辑机。17世纪，英国培根在《新工具》中提出了归纳法。随后本文由收集整理，德国莱布尼兹做出了四则运算的手摇计算器，并提出了“通用符号”和“推理计算”的思想。19世纪，英国布尔创立了布尔代数，奠定了现代形式逻辑研究的基础。德国弗雷格完善了命题逻辑，创建了一阶谓词演算系统。20世纪，哥德尔对一阶谓词完全性定理与n 形式系统的不完全性定理进行了证明。在此基础上，克林对一般递归函数理论作了深入的研究，建立了演算理论。英国图灵建立了描述算法的机械性思维过程，提出了理想计算机模型（即图灵机） ，创立了自动机理论。这些都为1945年匈牙利冯·诺依曼提出存储程序的思想和建立通用电子数字计算机的冯·诺依曼型体系结构，以及1946年美国的莫克利和埃克特成功研制世界上第一台通用电子数学计算机eniac做出了开拓性的贡献。
以上经典数理逻辑的理论成果，为1956年人工智能学科的诞生奠定了坚实的逻辑基础。
现代逻辑发展动力主要来自于数学中的公理化运动。20世纪逻辑研究严重数学化，发展出来的逻辑被恰当地称为“数理逻辑”，它增强了逻辑研究的深度，使逻辑学的发展继古希腊逻辑、欧洲中世纪逻辑之后进入第三个高峰期，并且对整个现代科学特别是数学、哲学、语言学和计算机科学产生了非常重要的影响。
2 逻辑学的发展
2.1逻辑学的大体分类
逻辑学是一门研究思维形式及思维规律的科学。 从17世纪德国数学家、哲学家莱布尼兹（g. leibniz）提出数理逻辑以来，随着人工智能的一步步发展的需求，各种各样的逻辑也随之产生。逻辑学大体上可分为经典逻辑、非经典逻辑和现代逻辑。经典逻辑与模态逻辑都是二值逻辑。多值逻辑，是具有多个命题真值的逻辑，是向模糊逻辑的逼近。模糊逻辑是处理具有模糊性命题的逻辑。概率逻辑是研究基于逻辑的概率推理。
2.2 泛逻辑的基本原理
当今人工智能深入发展遇到的一个重大难题就是专家经验知识和常识的推理。现代逻辑迫切需要有一个统一可靠的，关于不精确推理的逻辑学作为它们进一步研究信息不完全情况下推理的基础理论，进而形成一种能包容一切逻辑形态和推理模式的，灵活的，开放的，自适应的逻辑学，这便是柔性逻辑学。而泛逻辑学就是研究刚性逻辑学（也即数理逻辑）和柔性逻辑学共同规律的逻辑学。
泛逻辑是从高层研究一切逻辑的一般规律，建立能包容一切逻辑形态和推理模式，并能根据需要自由伸缩变化的柔性逻辑学，刚性逻辑学将作为一个最小的内核存在其中，这就是提出泛逻辑的根本原因，也是泛逻辑的最终历史使命。
3 逻辑学在人工智能学科的研究方面的应用
逻辑方法是人工智能研究中的主要形式化工具，逻辑学的研究成果不但为人工智能学科的诞生奠定了理论基础，而且它们还作为重要的成分被应用于人工智能系统中。
3.1 经典逻辑的应用
人工智能诞生后的20年间是逻辑推理占统治地位的时期。1963年，纽厄尔、西蒙等人编制的“逻辑理论机”数学定理证明程序（lt）。在此基础之上，纽厄尔和西蒙编制了通用问题求解程序（gps），开拓了人工智能“问题求解”的一大领域。经典数理逻辑只是数学化的形式逻辑，只能满足人工智能的部分需要。
3.2 非经典逻辑的应用
（1）不确定性的推理研究
人工智能发展了用数值的方法表示和处理不确定的信息，即给系统中每个语句或公式赋一个数值，用来表示语句的不确定性或确定性。比较具有代表性的有：1976年杜达提出的主观贝叶斯模型， 1978年查德提出的可能性模型， 1984年邦迪提出的发生率计算模型，以及假设推理、定性推理和证据空间理论等经验性模型。
归纳逻辑是关于或然性推理的逻辑。在人工智能中，可把归纳看成是从个别到一般的推理。借助这种归纳方法和运用类比的方法，计算机就可以通过新、老问题的相似性，从相应的知识库中调用有关知识来处理新问题。
（2）不完全信息的推理研究
常识推理是一种非单调逻辑，即人们基于不完全的信息推出某些结论，当人们得到更完全的信息后，可以改变甚至收回原来的结论。非单调逻辑可处理信息不充分情况下的推理。20世纪80年代，赖特的缺省逻辑、麦卡锡的限定逻辑、麦克德莫特和多伊尔建立的nml非单调逻辑推理系统、摩尔的自认知逻辑都是具有开创性的非单调逻辑系统。常识推理也是一种可能出错的不精确的推理，即容错推理。
此外，多值逻辑和模糊逻辑也已经被引入到人工智能中来处理模糊性和不完全性信息的推理。多值逻辑的三个典型系统是克林、卢卡西维兹和波克万的三值逻辑系统。模糊逻辑的研究始于20世纪20年代卢卡西维兹的研究。1972年，扎德提出了模糊推理的关系合成原则，现有的绝大多数模糊推理方法都是关系合成规则的变形或扩充。
4 人工智能——当代逻辑发展的动力
现代逻辑创始于19世纪末叶和20世纪早期，其发展动力主要来自于数学中的公理化运动。21世纪逻辑发展的主要动力来自哪里？笔者认为，计算机科学和人工智能将至少是21世纪早期逻辑学发展的主要动力源泉，并将由此决定21世纪逻辑学的另一幅面貌。由于人工智能要模拟人的智能，它的难点不在于人脑所进行的各种必然性推理，而是最能体现人的智能特征的能动性、创造性思维，这种思维活动中包括学习、抉择、尝试、修正、推理诸因素。例如，选择性地搜集相关的经验证据，在不充分信息的基础上做出尝试性的判断或抉择，不断根据环境反馈调整、修正自己的行为，由此达到实践的成功。于是，逻辑学将不得不比较全面地研究人的思维活动，并着重研究人的思维中最能体现其能动性特征的各种不确定性推理，由此发展出的逻辑理论也将具有更强的可应用性。
5 结语
关键词 人工智能 经典逻辑 非经典逻辑
中图分类号： TP273 文献标识码：A
人工智能主要研究用人工方法模拟和扩展人的智能，最终实现机器智能。人工智能研究与人的思维研究密切相关。逻辑学始终是人工智能研究中的基础科学问题，它为人工智能研究提供了根本观点与方法。
1 人工智能学科的诞生
12世纪末13世纪初，西班牙罗门・卢乐提出制造可解决各种问题的通用逻辑机。17世纪，英国培根在《新工具》中提出了归纳法。随后，德国莱布尼兹做出了四则运算的手摇计算器，并提出了“通用符号”和“推理计算”的思想。19世纪，英国布尔创立了布尔代数，奠定了现代形式逻辑研究的基础。德国弗雷格完善了命题逻辑，创建了一阶谓词演算系统。20世纪，哥德尔对一阶谓词完全性定理与N 形式系统的不完全性定理进行了证明。在此基础上，克林对一般递归函数理论作了深入的研究，建立了演算理论。英国图灵建立了描述算法的机械性思维过程，提出了理想计算机模型（即图灵机） ，创立了自动机理论。这些都为1945年匈牙利冯・诺依曼提出存储程序的思想和建立通用电子数字计算机的冯・诺依曼型体系结构，以及1946年美国的莫克利和埃克特成功研制世界上第一台通用电子数学计算机ENIAC做出了开拓性的贡献。
以上经典数理逻辑的理论成果，为1956年人工智能学科的诞生奠定了坚实的逻辑基础。
现代逻辑发展动力主要来自于数学中的公理化运动。20世纪逻辑研究严重数学化，发展出来的逻辑被恰当地称为“数理逻辑”，它增强了逻辑研究的深度，使逻辑学的发展继古希腊逻辑、欧洲中世纪逻辑之后进入第三个高峰期，并且对整个现代科学特别是数学、哲学、语言学和计算机科学产生了非常重要的影响。
2 逻辑学的发展
2.1逻辑学的大体分类
逻辑学是一门研究思维形式及思维规律的科学。 从17世纪德国数学家、哲学家莱布尼兹（G. Leibniz）提出数理逻辑以来，随着人工智能的一步步发展的需求，各种各样的逻辑也随之产生。逻辑学大体上可分为经典逻辑、非经典逻辑和现代逻辑。经典逻辑与模态逻辑都是二值逻辑。多值逻辑，是具有多个命题真值的逻辑，是向模糊逻辑的逼近。模糊逻辑是处理具有模糊性命题的逻辑。概率逻辑是研究基于逻辑的概率推理。
2.2 泛逻辑的基本原理
当今人工智能深入发展遇到的一个重大难题就是专家经验知识和常识的推理。现代逻辑迫切需要有一个统一可靠的，关于不精确推理的逻辑学作为它们进一步研究信息不完全情况下推理的基础理论，进而形成一种能包容一切逻辑形态和推理模式的，灵活的，开放的，自适应的逻辑学，这便是柔性逻辑学。而泛逻辑学就是研究刚性逻辑学（也即数理逻辑）和柔性逻辑学共同规律的逻辑学。
泛逻辑是从高层研究一切逻辑的一般规律，建立能包容一切逻辑形态和推理模式，并能根据需要自由伸缩变化的柔性逻辑学，刚性逻辑学将作为一个最小的内核存在其中，这就是提出泛逻辑的根本原因，也是泛逻辑的最终历史使命。
3 逻辑学在人工智能学科的研究方面的应用
逻辑方法是人工智能研究中的主要形式化工具，逻辑学的研究成果不但为人工智能学科的诞生奠定了理论基础，而且它们还作为重要的成分被应用于人工智能系统中。
3.1 经典逻辑的应用
人工智能诞生后的20年间是逻辑推理占统治地位的时期。1963年，纽厄尔、西蒙等人编制的“逻辑理论机”数学定理证明程序（LT）。在此基础之上，纽厄尔和西蒙编制了通用问题求解程序（GPS），开拓了人工智能“问题求解”的一大领域。经典数理逻辑只是数学化的形式逻辑，只能满足人工智能的部分需要。
3.2 非经典逻辑的应用
（1）不确定性的推理研究
人工智能发展了用数值的方法表示和处理不确定的信息，即给系统中每个语句或公式赋一个数值，用来表示语句的不确定性或确定性。比较具有代表性的有：1976年杜达提出的主观贝叶斯模型， 1978年查德提出的可能性模型， 1984年邦迪提出的发生率计算模型，以及假设推理、定性推理和证据空间理论等经验性模型。
归纳逻辑是关于或然性推理的逻辑。在人工智能中，可把归纳看成是从个别到一般的推理。借助这种归纳方法和运用类比的方法，计算机就可以通过新、老问题的相似性，从相应的知识库中调用有关知识来处理新问题。
（2）不完全信息的推理研究
常识推理是一种非单调逻辑，即人们基于不完全的信息推出某些结论，当人们得到更完全的信息后，可以改变甚至收回原来的结论。非单调逻辑可处理信息不充分情况下的推理。20世纪80年代，赖特的缺省逻辑、麦卡锡的限定逻辑、麦克德莫特和多伊尔建立的NML非单调逻辑推理系统、摩尔的自认知逻辑都是具有开创性的非单调逻辑系统。常识推理也是一种可能出错的不精确的推理，即容错推理。
此外，多值逻辑和模糊逻辑也已经被引入到人工智能中来处理模糊性和不完全性信息的推理。多值逻辑的三个典型系统是克林、卢卡西维兹和波克万的三值逻辑系统。模糊逻辑的研究始于20世纪20年代卢卡西维兹的研究。1972年，扎德提出了模糊推理的关系合成原则，现有的绝大多数模糊推理方法都是关系合成规则的变形或扩充。
4 人工智能――当代逻辑发展的动力
现代逻辑创始于19世纪末叶和20世纪早期，其发展动力主要来自于数学中的公理化运动。21世纪逻辑发展的主要动力来自哪里？笔者认为，计算机科学和人工智能将至少是21世纪早期逻辑学发展的主要动力源泉，并将由此决定21世纪逻辑学的另一幅面貌。由于人工智能要模拟人的智能，它的难点不在于人脑所进行的各种必然性推理，而是最能体现人的智能特征的能动性、创造性思维，这种思维活动中包括学习、抉择、尝试、修正、推理诸因素。例如，选择性地搜集相关的经验证据，在不充分信息的基础上做出尝试性的判断或抉择，不断根据环境反馈调整、修正自己的行为，由此达到实践的成功。于是，逻辑学将不得不比较全面地研究人的思维活动，并着重研究人的思维中最能体现其能动性特征的各种不确定性推理，由此发展出的逻辑理论也将具有更强的可应用性。
5 结语
人工智能的产生与发展和逻辑学的发展密不可分。
一方面我们试图找到一个包容一切逻辑的泛逻辑，使得形成一个完美统一的逻辑基础；另一方面，我们还要不断地争论、更新、补充新的逻辑。如果二者能够有机地结合，将推动人工智能进入一个新的阶段。概率逻辑大都是基于二值逻辑的，目前许多专家和学者又在基于其他逻辑的基础上研究概率推理，使得逻辑学尽可能满足人工智能发展的各方面的需要。就目前来说，一个新的泛逻辑理论的发展和完善需要一个比较长的时期，那何不将“百花齐放”与“一统天下”并行进行，各自发挥其优点，为人工智能的发展做出贡献。目前，许多制约人工智能发展的因素仍有待于解决，技术上的突破，还有赖于逻辑学研究上的突破。在对人工智能的研究中，我们只有重视逻辑学，努力学习与运用并不断深入挖掘其基本内容，拓宽其研究领域，才能更好地促进人工智能学科的发展。
参考文献
[1] 何华灿，何智涛. 从逻辑学观点看人工智能学科的发展. 科学出版社，2006.
[2] 熊立文. 人工智能、哲学与逻辑. 中山大学学报，2003.
[3] 陈波. 从人工智能看当代逻辑学的发展. 中山大学学报论丛，2000. 2.
[4] 中国科学技术大学等编著，马克思主义哲学概论：安徽人民出版社1981，265-272.
[5] 王永庆，人工智能原理与方法：西安交通大学出版社（西安）2003，18-50.
一王延直(1872－1947)，字穆若，号仲肃，又号剑秋，贵州贵阳人，留日学者，清末庚子辛丑并科举人，中国近代引进和传播西方逻辑科学的先驱之一，其逻辑学代表著作《普通应用论理学》［1］(以下简称“王著”)突出地代表了西方逻辑系统输入成熟阶段所达到的水平，在中国近代逻辑史上具有重要地位。“王著”写于1905－1912年，历时七载，于中华民国元年七月(1912年7月)由云南印刷局印刷，贵阳论理学社发行。1981年由云南逻辑学者黄恒蛟先生在旧书摊上发现，随即被带到当时正在昆明召开的云南省逻辑学会成立大会上。应邀参加大会的贵州省哲学学会逻辑组副组长张同生先生(后曾任贵州大学副校长、贵州省社会科学院院长)将该书借回贵阳复印了几份，之后，贵阳师院政教系(现贵州师范大学政经系)按原样制作成油印本数百份供研究参考，即今之所见《普通应用论理学》。
二“王著”重现受到了学术关注，其学术价值也得到了学界的认可。
首先是对于“王著”的学术地位的关注。有学者认为，“王著”是“云贵地区近代逻辑教学和研究的一个缩影”，“对研究我国近代逻辑史及逻辑学在云贵地区的介绍和传播等问题具有一定的参考和研究价值”［2］43－49;也有学者认为，“王延直是一位热心宣传、推进逻辑科学在我国传播发展的实干家”［3］15－20，“王著”等著作的问世，“标志着我国对西方逻辑的系统输入已进入成熟阶段”［4］81－82;还有学者指出，“王著”是“中国最早的国人自己纂著的几部逻辑著作之一”［5］14－21;“象《普通应用论理学》这样从1905年就由中国人自己纂著的逻辑著作，在那个时期，不仅在云贵地区罕见，就是在全国也是屈指可数的”［6］42－43;王延直等学者“亲自动手写作逻辑著作，这标志着中国逻辑进入了一个新的阶段”［7］6－9;国家“六五”计划重点项目《中国逻辑史·近代卷》对“王著”作了长达4页，近3000字的评价，提出:“特别是《普通应用论理学》，突出地代表了西方逻辑系统输入成熟阶段所达到的水平。”［8］
1999年底，北京隆重出版《中国学术百年》丛书，其中的《逻辑学百年》一书多次提及并高度评价“王著”，特别指出:“严复等人译著的问世及严复、王国维、王延直等亲自讲演或授课，受到学界、思想界热烈欢迎，‘一时风靡，学者闻所未闻，吾国政治之根柢名学理论者，自此始也’”［9］。因此有学者提出，“王著”是“继《穆勒名学》出版之后，可以跟严复翻译的《名学浅说》、王国维翻译的《辨学》相提并论的逻辑学著作”［10］58－60。其次是对于“王著”纂著的时代背景的讨论。
有学者认为，“王延直先生是受强烈的民族使命和社会责任感的驱使，来完成这部书的”［11］16－20;也有学者指出，“王著”的写作目的是“开发民智，促进中国的革新自强”［6］42－43;还有学者认为，“王著”所体现的思想，基本上属于当时“科学救国”或者“教育救国”一类的基本思想［2］43－49。
再次是关于“王著”内容的研究。《中国逻辑史·近代卷》特别提出:“王著”一是“内容丰富，演绎归纳并重”;二是“注重历史沿革，明确肯定中国名辩、印度因明、希腊亚氏逻辑为世界三大源流”;三是“逻辑术语好记易懂，已趋稳定”;四是“理论系统，强调应用”［8］。也有学者认为，“王著”“内容全面、融贯中西”［12］75－78，“简明扼要、眉目清楚、行文流畅、好读易懂”［4］81－82，更为重要的是，她“包含了深邃的逻辑思想”［12］75－78。
综观已有研究，“王著”的学术价值尤其是其史料价值受到一定程度的关注。学界同行的真知灼见具有十分重要的学术启迪，但仍存在以下不足:其一，在研究视角上，已有研究大多局限于逻辑基本理论的分析，缺乏从逻辑哲学层面的考察;其二，在研究内容上，已有研究均没有关于王延直逻辑源流思想、逻辑客体思想、逻辑归纳思想以及逻辑演绎思想等重要的逻辑问题的系统研究。因此，立足于逻辑哲学的视角，深入挖掘“王著”所包含的深刻的逻辑思想及其理论体系，仍然是一个亟待开拓的具有重要意义的全新课题。
笔者认为，“王著”不仅具有学界所认同的史料价值，更重要的是，她包含了深刻的逻辑哲学思想，许多思想即使在今天看来，仍具有重要的学术启迪。
三就内容而言，“王著”并未涉及现代逻辑理论，这似乎意味着该书未涉及逻辑哲学问题。因为，一般认为:“严格意义上的逻辑哲学是一门新兴的哲学学科，它是现代逻辑与现代哲学相互渗透，相互作用的产物。它的产生有两个历史前提:一是数理逻辑的创立以及后来多种逻辑分支、多个逻辑系统的同时并存，一是现代西方哲学所发生的‘语言学转向’。因此，逻辑哲学的历史并不长。”［13］1
若按此理解，当然也不存在“王著”所包含的逻辑哲学思想。然而，对“逻辑哲学”也可以广义地理解，即不论现代逻辑还是传统逻辑，都存在由逻辑本身所包含或提出的一系列哲学问题，以哲学的眼界来探讨、解释和回答这些问题的理论，就属于广义的逻辑哲学的范围。
尽管“王著”未曾涉及现代逻辑的内容，但其讨论的大大小小诸多问题，在而后数十年间一直是逻辑哲学关注的重大理论问题。而这些问题大多都是在现代逻辑发展和演变的过程中才引起人们关注的，如逻辑的源流及中国古代有无逻辑的问题、逻辑的研究对象问题、逻辑科学的学科地位问题以及归纳与演绎问题，等等。
关于逻辑源流问题，涉及到中国古代有无逻辑这一重要问题。对于这一问题，“王著”明确肯定世界逻辑的三大源流:“古代文明诸国，莫不有论理学之萌芽。其中最著名者三:曰中国，曰印度，曰希腊是也。”［1］9
从而有力地驳斥了西方学者所谓“中国古代无逻辑”论。但是，“王著”并非完全认可中国古代各家各派的逻辑理论，认为孔子、荀子而后无人继起;至于惠施、邓析、尹文、公孙龙等，无非诡辩派耳;韩墨诸家之文章、苏张诸家之辩论，纯属偶合，决非由逻辑法则得出。“王著”指出:“孔子首创正名之说”，“荀子蹱之”，“于是有大共之说。即今之所谓归纳也。有大别之说，即今之所谓演绎也。”“惜乎荀子而后无人继起而光大之。”“若夫惠施邓析尹文公孙龙辈，无非徒逞诡辩，取快一时。”“韩墨诸家之文章，苏张诸家之辨(辩)论，证以论理法则，合者也颇多，然此不过偶然之符合，决非皆由论理法则而出者。”［1］9－10这种认为孔子、荀子而外无逻辑的观点，难免是对古代一大批逻辑家的逻辑学说及其贡献的抹杀，恐难为今之逻辑史研究家们所接受。至于惠施、邓析、尹文、公孙龙之理论是否诡辩，迄今仍在争论。
关于逻辑的研究对象，逻辑学界给出不同的回答，至今仍未达成一致。但归结起来，逻辑的研究对象大致可分为三类:思维(自弗雷格［G．Fre-ge］以降，改称推理或推理形式有效性)、语言和客观世界。“王著”开篇指出:“论理学者说明思考之法则之科学也。”“语云:有物有则。宇宙间现象，虽千变万化，然皆必循一定之规律，此一定之规律，即法则也。”法则有二:“天然的”和“人为的”。“天然的法则，凡属实物，皆不能不遵循;至人为的法则，不过行于知识发达之人类间而已。例如伦理法、文典、美学的规范等，皆人为的法则也。思考之法则，亦人为法则之一种。”“思考之法则虽属人为之法则，然与任意所设定之规律不同，必以天然的法则为其基础。”［1］7－8显然，“王著”所谓“思考之法则”乃“以天然法则为基础的人为法则”。因此，关于逻辑研究对象，“王著”具有明显的逻辑客观世界说倾向;在认识论上，“王著”纂著者属于唯物主义反映论者。
关于逻辑科学的学科地位问题，“王著”赞同西方学者所倡“论理学为科学中之科学”之观点，指出这“足以表示论理学范围之广大”。值得一提的是，“王著”从语源学的角度，论证了逻辑学与各科学之间的关系。如生物学:西语称为生物论理学Biology;动物学:西语称为动物论理学Zoology;昆虫学:西语称为昆虫论理学Entomology;生理学:西语称为生理论理学Physiology;地质学:西语称为地质论理学Geology;植物学:西语称为植物论理学Phytology;矿物学:西语称为矿物论理学Miner-alogy;心理学:西语称为精神论理学Phychology，等等。“可知，多种科学皆不能离乎论理学”，“欲深究各科学，自不可不先究论理学”［1］12－13。从语源学角度考察逻辑学的学科地位，不仅让人耳目一新，而且使人们在理解上更加直观清晰。
关于归纳问题，在逻辑哲学上主要探讨归纳推理是否能得出必然性结论，如果不能，其合理性何在?如果归纳推理的合理性不能得到辩护，将影响归纳逻辑的合理性;如果归纳逻辑的合理性不能得到辩护，“归纳逻辑就没有牢靠的哲学基础，这样的话，归纳逻辑学家就一刻也不得安宁”［14］12。关于归纳推理的合理性问题，“王著”不得不寻求哲学上的假定，指出:“归纳推理之基础不外二大原理，一曰因果律，一曰自然齐一律。”［1］99“王著”认为，一切现象必有原因，一切原因必有结果。此原理谓之因果律。“此律系吾人当思考时自然不能不发生之假定也:例如由果推因，因虽未见，在吾人不以为无因，此时之所谓因自是假定的”，故“因果律又称为先天的原理”。因此，“必有因果律而后归纳法始能应用于实际也。”关于“自然齐一律”，“王著”曰:“时无论古今，地无论东西，一切生灭起伏于自然界之现象，其性质其活动有不期其同而同者。此原理谓之自然齐一律。”“王著”关于自然齐一律的论述，已相当接近马克思主义的自然观了，在“五·四”之前能够认同这些观念，是很不容易的。由于此律“系吾人由经验视察之结果所得之原理”，故其“又称后天的原理”。此律具有“举一反三之妙用”。因此，“必有自然齐一律而后归纳法始能应用于实际也”。
可见，“王著”认为，因果律和自然齐一律共同构成了归纳推理的基础。不仅如此，“王著”还在“附识”中指出:“因果律”比之演绎法中之原理正与充足理由律之原理相同;“自然齐一律”不但为归纳推理之基础，且为“演绎推理之根本原理，盖此律即演绎论理中所谓同一律之变相也”。尽管“王著”对“因果律”和“自然齐一律”寄予厚望，但此二律终究只是哲学上的假定，因此，归纳推理的合理性仍待辩护。
【英文摘要】Philosophical logic is a polysemant in contemporary logical literature.We believe it's a non-classical logic with philoso-phical purport or cause.Its rise aroses a lot of theoretical problems.This essay expounds the limits of classical logic，non-monotony and deduction，logical mathematicalization and depart-mentalization，the ownership of inductive logic，etc.
【关键词】经典逻辑/非经典逻辑/演绎性/数学化/部门化/哲学逻辑classical logic/non-classical logic/deduction/mathematicalization/departmentalization/philosophical logic
【正文】
哲学逻辑的崛起引发一系列理论问题。我们仅就其中几个提出一些不成熟的看法。
一、经典逻辑和非经典逻辑的界限
在这里经典逻辑是指标准的一阶谓词演算(CQC)，它的语义学是模型论。随着非经典逻辑分支不断出现，使得我们对经典逻辑和非经逻辑的界限的认识逐步加深。就目前情况看，经典逻辑具有下述特征：二值性、外延性、存在性、单调性、陈述性和协调性。
传统的主流观点：每个命题（语句）或是真的或是假的。这条被称做克吕西波(Chrysippus)原则一直被大多数逻辑学家所恪守。20年代初卢卡西维茨(J.Lukasiwicz)建立三值逻辑系统，从而打破了二值性原则的一统天下，出现了多值逻辑、部分逻辑（偏逻辑）等一系列非二值型的逻辑。
经典逻辑是外延逻辑。外延性逻辑具有下述特点：第一，这种逻辑认为每个表达式（词项、语句）的外延就是它们的意义。每个个体词都指称解释域中的个体；而语句的外延是它们的真值。第二，每个复合表达式的值是由组成它的各部分表达式的值所决定，也就是说，复合表达式的意义是其各部分表达式意义的函项，第三，同一性替换规则和等值置换定理在外延关系推理中成立。也是在20年代初，刘易士(C.I.Lewis)在构造严格蕴涵系统时，引入初始模态概念“相容性”（或“可能性”），并进一步构建模态系统S1-S5。从而引发一系列非外延型的逻辑系统出现，如模态逻辑、时态逻辑、道义逻辑和认知逻辑等等出现。
从弗雷格始，经典逻辑系统的语义学中，总是假定一个非空的解释域，要求个体词项解释域是非空的。这就是说，经典逻辑对量词的解释中隐含着“存在假设”，在60年代被命名为“自由逻辑”的非存型的逻辑出现了。自由逻辑的重要任务就在于：(1)把经典逻辑中隐含的存在假设变明显；(2)区分开逻辑中的两种情况：一种与存在假设有关的推理，另一种与它无关。
在经典逻辑范围内，由已知事实的集合推出结论，永远不会被进一步推演所否定，即无论增加多少新信息作前提，也不会废除原来的结论。这就是说经典逻辑推理具有单调性。然而于70年代末，里特(R.Reiter)提出缺省(Default)推理系统，于是一系列非单调逻辑出现。
经典逻辑总是从真假角度研究命题间关系。因而只考察陈述句间关系的逻辑，像祈使句、疑问句、感叹句就被排斥在逻辑学直接研究之外。自50年代始，命令句逻辑、疑问句逻辑相继出现。于是，非陈述型的逻辑存在已成事实。
经典逻辑中有这样两条定理：（p∧q）（矛盾律）和p∧pq（司各特律），前者表明：在一个系统内禁不协调的命题作为论题，后者说的是：由矛盾可推出一切命题。也就是说，如果一个系统是不协调的，那么一切命题都是它的定理。这样的系统是不足道的(trivial)。柯斯塔(M.C.A.da Costa)于1958年构造逻辑系统Cn（1〈n≤ω）。矛盾律和司各特律在该系统中不普遍有效，而其他最重要模式和推理规则得以保留。这就开创了非经典逻辑一个新方向弗协调逻辑。
综上所述非经典逻辑诸分支从不同方面突破经典逻辑某些原则。于是，我们可以以上面六种特征作为划分经典逻辑与非经典逻辑的根据。凡是不具有上述六种性质之一的逻辑系统均属非经典逻辑范畴。
二、非单调性与演绎性
通常这样来刻画演绎：相对于语句集合Γ，对于任一语句S，满足下述条件的其最后语句为S的有穷序列是S由Γ演绎的：序列中每个语句或者是公理，或者是Г的元素，或者根据推理规则由前面的语句获得的。它的一个同义词是导出(derivation)。演绎是相对于系统的概念，说一个公式（或语句）是演绎的只是相对于一不定的公理和推理规则的具体系统而言的。演绎概念是证明概念的概括。一个证明是语句这样的有穷序列：它的每个语句或是公理或是根据推理规则由前面的语句得出的。在序列中最后一个语句是定理。
现在我们考察单调逻辑中演绎情况。令W是一阶逻辑公式的集合，D为缺省推理的可数集，cons(D)为D中缺省的后承的集合。我们来建立公式Φ的缺省证明概念：首先我们必须确定从WUcons(D[，0])。导出Φ这种性质的缺省集合D[，0]。为确保在D[，0]中缺省的适用性，我们须确定缺省集合D[，1]，致使能从WUcons(D[，1])中得出在D[，0]中缺省的所有必须的预备条件。我们从这种方式操作直至某一空的D[，K]。这意谓着从W得出在D[，K-1]中的必须的预备条件。然后我们确定一个证明，只是我们不陷入矛盾，即是W必须跟包括在证明中的所有缺省后承的集合相一致。例如，给定缺省理论：
T=(｛p｝，｛δ[，1]=p:r/r，δ[，2]=r:ps/pS｝)
(｛δ[，2]｝)，｛δ[，1]｝，Φ是S在T中的缺省证明。
形式地说，Φ在正规缺省理论T=(W，D)中的一个缺省证明是满足下述条件的D的子集合的有穷序列(D[，0]，D[，1]，…D[，K])：
（i）Φ从WUcons(D[，0])得出。
（ii）对于所有i〈K，从Wucona(D[，i+1])得出缺省的所有预备条件。
（iii）D[，K]=Φ。
（iV）WUcons(U[，i]D[，i])是一致的。
由上面可以看出缺省推理中的证明是与通常的演绎证明是不同的，前者比后者要宽广些。
附图
由此可见，缺省逻辑中的推出关系比经典逻辑中的要宽。因而相应扩大了“演绎性”概念的外延。于是可把演绎性分为：强演绎性和弱演绎性。后者是随着作为前提的信息逐步完善，而导出的结论逐步逼近真的结论。
三、逻辑的数学化和部门化。
正如有人所指出的那样，“逻辑学在智力图谱中占有战略地位，它联结着数学、语言学、哲学和计算机科学不同学科。”[2]作为构建各学科系统的元科学手段的逻辑与各门科学联系越来越密切。它在当展中，表现出两个重要特征：数学化和部门化。
逻辑学日益数学化，这表现为：(1)逻辑采取更多的数学方法，因而技术性程度越来越高。一些逻辑问题（如系统特征问题）的解决需要复杂的证明技术和数学技巧。(2)它更侧重于数学形式化的问题。其实数学化的本质是抽象化、理想化和泛化（普遍化）。这对像逻辑这样的形式科学显然是非常重要的，近一个世纪逻辑迅速发展就证明了这一点。逻辑方法论的数学化在本世纪下半叶正在加速。这给予逻辑的一些重要结论以复杂的结构和深入的处理，使逻辑变得更精确更丰富。但是，由于逻辑中数学专门化已定型并且限定了它自己，所以逻辑需向其他领域扩张，拓宽其研究领域就势所必然。
逻辑向其他学科领域的延伸并吸收营养，于是出现了各种部门逻辑，如认知逻辑、道义逻辑、量子逻辑等等。我们把逻辑学这种延伸和部门逻辑出现称做逻辑部门化。
哲学逻辑就是逻辑部门化的产物，它是方面逻辑或部门逻辑。众所周知，经典逻辑演算的理论、方法和运算技术具有高度的概括性，它适用于一切领域、一切语言所表达的演绎推理形式。所以，它具有普遍性，是一般的逻辑。有人认为一阶演算完全性定理表明“采用现代数学方法和数学语言来刻画的全体‘演绎推理规律’恰好就是人们在思维中所用的演绎推理规律的全体，不多也不少！”[3]。表达一阶逻辑规律的公式是普通有效的，即是这些公式在任何一种解释中都是真的。而哲学逻辑各分支只是研究某一方面或领域的演绎推理规律，表达这些规律的公式只是在一定条件下在某一领域是有效的，即是它们在具有某种条件解释下是真的。例如，模态公式(D)PP，(T) PP，(B) PP，(4) PP，(E) PP，分别在串行的、自反的、对称的、传递的、欧几里得的模型中有效。而动态逻辑的一些规律只适用于像计算程序那样的由一种状态过渡到另一种状态转换的动态关系。
部门逻辑另一种含义是为某一特定领域提供逻辑工具。例如，当人们找出描述一个微观物理系统在某一时刻的可观察属性的命题的一般形式。对其进行运算时，发现一些经典逻辑规律失效，如分配律对这里定义的合取、析取运算不成立。于是人们构造一种能够描述微观物理世界新的逻辑系统，这就是量子逻辑。
四、哲学逻辑划界问题
哲学逻辑形形色色并且难于表征。在现代逻辑文献中，“哲学逻辑”是个多义词。它的涵义主要的有三种：它的第一种涵义是指关于现代逻辑中一些重要概念和论题的理论研究。例如，对于名称（词项）、摹状词、量词、模态词、命题、分析性、真理、意义、指涉、命题态度、悖论、存在乃至索引等概念及与它们相关的论题的理论研究以及利用形式逻辑工具处理逻辑和语言的逻辑结构的哲学争论。它的第二种涵义是指非经典逻辑中一个学科群体，它包括模态逻辑、多值逻辑等等众多逻辑分支。它的第三种涵义是兼指上述两种涵义的“哲学逻辑”。
我们认为，第一种涵义上的“哲学逻辑”不是研究推理有效式意义上的逻辑，而是逻辑哲学。我们赞成在第二种涵义上使用“哲学逻辑”一词。于是可以给出下述定义：哲学逻辑是具有哲学旨趣或涉及哲学事业的非经典逻辑，在这里应对“哲学”做广义的理解。哲学逻辑不仅与传统哲学中的概念和论题有直接或间接联系。而且也涉及各门科学中具有方法论性质的问题和其他元科学问题。
在我们看来，“归纳”和“演绎”一样，是传统哲学所关注的重要哲学概念，而且也是现代一些哲学家所争议的问题之一。同时归纳逻辑方法的启发作用在认知过程中不可低估，归纳的一些方法和技术同样是一些学科的元科学因素，是发现真理构建学科系统不可少的。因此，它应属于哲学逻辑。《哲学逻辑杂志》亦把它列入哲学逻辑诸分支之首。
问题在于，归纳推理的复杂性，对它的形式刻画和找出能行程序遇到不易克服的困难，致使其成果与演绎推理所获得成果相比，显得不那么丰硕。然而，由于人工智能等技术上的需要，推动着更多的人研究归纳推理，总会有一天，归纳逻辑也像演绎逻辑那样用形式方法来处理。
参考文献
[1]Antoniou，G.:1997，Nonmontonic Reasoning，The MIT Press，Cambridge，Masschusetts.
劳伦斯·a·博兰是美论文联盟国著名的经济学方法论家,《批判的经济学方法论》是他最具代表性的一部著作。博兰认为,批判具有十分重要的地位,科学的特点在于它强调批判,科学家非常欢迎批判,阻挠批判是非科学行为。在博兰的这部著作别强调批判,不仅书名有批判二字,而且书中很多章节的标题中也都有批判二字。在批判的过程中，逻辑的方法得以运用，但是其中的逻辑不一定都是正确的，这就需要加以批判，使其朝正确的方向前进。可见，逻辑的地位也是比较重要的。
一、概念理解
1、经济学方法论
它是应用逻辑的一个分支，“经济学方法论”这一名称的提出与二十世纪80年代的经济学方法论研究高潮相关,在那个黄金岁月里,经济学方法论学者们同样争论着我们今天所关注的问题,那就是,何谓经济学方法论。一个普遍流行的、且被马克·布劳格等著名经济学方法论学者所支持的观点是,“经济学方法论仅仅应该被理解为应用于经济学的科学哲学” 。而科学哲学有时也被称为科学方法论。于是人们把“应用于经济学的科学哲学（或者说应用于经济学的科学方法论）”简称为经济学方法论。这便是“经济学方法论”这一名称的由来。了解了经济学方法论的含义以后，有助于我们了解逻辑在其中的地位，也有利于我们对经济学中的逻辑与社会学中的逻辑进行比较。
2、逻辑
逻辑是人的一种抽象思维，是人通过概念、判断、推理和论证来理解和区分客观世界的思维过程。亚里士多德认为，逻辑乃是对真实的和有成效的论据的原理的研究，在研究时就需要找到既真实又有成效的逻辑论据。
要使论据合乎逻辑的唯一条件就是前提或假设的真实性与结论的真实性联系起来，必须要一致。如果你的论据是符合逻辑的，则要求你的结论也是真实的。
3、归纳法和演绎法
归纳法又称归纳推理，有时也叫归纳逻辑，是从个别性知识引出一般性知识的推理，是由已知真的前提，引出可能真的结论。
而演绎法是从普遍性结论或一般性事理推导出个别性结论的逻辑方法。它与归纳法正好是一个相反的过程。
4、归真推理法和归谬推理法
归真推理法是从假设到结论、向前“传递”真实性。它是一种根据假设命题的推理方式，按照该方式，如果前提被证实，则结论亦将被证实。例如，如果a是真实的，b将是真实的；但a是真实的；所以，b是真实的。
而归谬推理法是从结论到一项或多项假设、向后“传递”不真实性。在这两种推理的过程中，传递不是凭空的，假设和结论之间需要有一定的逻辑的存在，否则就是空谈。
二、归纳法、演绎法和归真推理法以及归谬推理法的异同
归纳与演绎是社会学研究中的逻辑与方法。归纳是从观察出发，通过资料的收集和分析，得到经验概括，然后通过对资料进行解释，归纳出理论与问题。而演绎是从理论出发，提出假设、猜想和推理得出研究假设，通过对假设操作化得出观察的结果。这两种方法是一个相反的过程。相同之处在于特殊情况下，理论和观察的结果可能是一致的。
而不同之处在于：归纳法认为只有经验知识才是原始的真正知识,科学知识和科学理论都是靠归纳法从观察的结果中得出的；演绎法则否认经验知识是科学知识的基础,因而也否认归纳方法和归纳逻辑,主张通过逻辑演绎从已有的知识推断出新的知识,把演绎推理作为获取知识、建立理论的唯一手段。这种争论也必然波及经济学领域,并一直伴随着它的产生和发展。
归真推理法和归谬推理法在经济学方法论中比较常用，这两种方法强调一个传递的过程，前提是假设和结论具有一致性。例如，归真推理法中的假设必须是真实的，而归谬推理法中的结论是不真实的。在传递的过程中，假设和结论之间要有一定的逻辑性，否则就是错误的，容易引起别人的怀疑和批判。
归纳法、演绎法以及归真推理法和归谬推理法这四种逻辑之间也有异同之处：归纳法和归真推理法也有相同之处：都有一个真实的前提，得出的结论也是真实的。不同之处在于：归纳法的结论是通过观察得出，而归真推理法是通过向前传递得到的。而演绎法和归谬推理法也有异同，相同之处在于都是从结论出发，得出前提；而不同之处在于演绎法中的结论是真实的，通过概念操作化，得出观察的结果，而归谬推理法中的结论是不真实的，在向后传递后，得出的假设也是不真实的。
可见，在逻辑学中，这四种方法不是截然分开，相互联系的。有时候在分析问题时，需要其中任意两种逻辑方法，而在特殊情况下，四种方法全部都能用得上，这需要具体问题具体分析而定。
举个例子来说：研究者在进行研究时，如果需要一种理论来支持自己的研究而又没有现成的理论可
转贴于论文联盟
以用时，这时，研究者就需要通论文联盟过对现实社会生活的观察来进行概括进而得到自己需要的理论，但是，这种理论是否正确和真实，还需要对该理论进行研究假设，在观察中得出理论的真实性。在这个例子中，运用了归纳法和演绎法的结合，归真推理法也有所体现。可见，这几种逻辑方法不是截然分开，是相互联系着的。
三、对这四种逻辑方法的思考
看过《批判的经济学方法论》之后，在经济学方法论史上，大多数经济学家的争论都集中在归纳方法和演绎方法孰优孰劣的问题上。虽然逻辑学产生很久了，但归纳与演绎问题的争论却是在培根创立他的“真正归纳法”之后，培根是归纳逻辑的奠基人，他认为，逻辑应该成为科学发明的工具，把逻辑和科学方法结合起来，创立了归纳逻辑，这对于后人研究方法论提供了新的视角，同时也引发了归纳与演绎各自作用和地位的争论，甚至产生了两个极端的派别：归纳主义和演绎主义。
经过长时间的争论，许多经济学家越来越认识到两种极端观点的错误,体会到在经济学研究中纯粹的归纳法和纯粹的演绎法都是不可能的，需要把两种方法结合起来，这样，在进行经济学方面的研究时，才能够比较顺利的进行。我的思考如下：
1、归纳法和演绎法的结合运用
在进行社会学研究时，归纳法和演绎法用的非常普遍，特别是在进行理论研究和经验研究。但是，在研究的过程中，运用这两种逻辑方法时也有不足之处，在《批判的经济学方法论》这本书有这样一个例子“豪斯曼认为的“好理论”并不是指“真实的理论”，因为他告诉我们，我们现在完全不能决定什么是真实性。因此，对他来说，关键问题是由明显不真实的假定构成的理论如何得到解释。在这个过程中，他利用了演绎—推理法则的模型，他必须不间断地关注“规律”或“规律性”的假设，也就是说演绎—推理的模型不能达到许多经济模型建立者所声称的真正目的。”转贴于论文联盟
这说明了演绎逻辑在运用的过程中，有时很难让人满意。这就需要研究者在运用的时候能够结合其它逻辑方法，单一的逻辑方法是不能达到研究的目的的，影响研究的进度，甚至研究因此中断。
另外，德国学派论文联盟的另一个温和代表瓦格纳也认为：“关于方法争论的真正解决,不是在演绎或归纳之间作出选择,而是承认演绎和归纳。……如果可能,两种方法应该结合起来应用。”
所以，归纳法和演绎法在研究的过程中是需要结合起来的，它们是互相渗透、互为条件、不可分割的。正像廖士祥所说的：“归纳法借助分析和演绎，汇集有关各类材料，整理它们，并从中推出一般原理和规律。然后演绎法一时又起着主要作用，它把这些原理彼此联系起来，从中暂时求出新的更广泛的原理和规律，然后再让归纳法主要分担搜集、选择和整理这些材料工作，以便检验和证实这个新规律。”
2、归真推理法和归谬推理法的运用
在经济学方法论中，这两种逻辑方法是比较常见的。经济学中的研究的逻辑性是非常强的，每一步都需要严密的逻辑才行。归真推理法是从假设到结论向前传递真实性，其中每一步都要前后的真实性是一致的。而归谬推理法是从结论到假设向后传递不真实性，这当中之间的逻辑性也是需要一致的。否则，就会前后就会出现矛盾，给人以批判的机会，有可能引起研究界的激烈争论。
在进行经济学研究时，这两种逻辑方法有时可以使用一种就行，特殊情况下，两种逻辑方法的结合使用，会使研究更有说服力一些。
四、结论与小结
逻辑方法在社会学和经济学方法论的研究中，是必不可少的。在运用它们进行分析的时候，研究者需要先思考一下应该运用哪种逻辑比较合适、恰当，这样研究的时候才能得心应手，不容易出差错。
数学一门逻辑思维能力很强的基础学科！对数学知识的理解、掌握及运用是学习数学的核心！也就是说：我们对数学知识的理解是根本；掌握数学知识是条件；而运用数学知识来解决相关实际问题是关键！那么，在小学数学的教育教学中，如何培养小学生初步的掌握逐步渐进的逻辑思维推理的能力呢？
首先，逻辑思维是借助于概念、判定、推理等思维形式所进行的一项思考活动，是一种有条件、有步骤、有根据、渐进式的思维方式方法，也是小学生学习数学与运用数学的能力的核心。因此，在小学数学课堂教学中引导小学生有条件、有步骤、有根据、渐进式的思维方式尤为重要！比如，在教学一年级“人民币的认识”时，对元、角单位概念的教学，我预设这样一个情景：一个天气炎热的中午，小明到学校的小卖部买一个冰激凌：已知每个冰激凌五角钱，小明给售货员阿姨一元钱！售货员阿姨给小明找回多少钱？通过这样一个简单的生活经验，学生自然的得出：一元就是两个五角！（1元=5角+5角）两个5角就是10角！10角就是1元！从而引出1元等于10角的概念（1元=10角）！这样有条件、有步骤、有根据、渐进式的思维方式就是逻辑思维推理！是顺藤摸瓜的清晰脉络教学方法！这种顺向的思维模式不仅易于学生的理解、易于识记！而且有助于培养小学生循序渐进的严谨思维程序！
其次，逻辑思维能力是指正确、合理思考的能力。即对事物进行观察、比较、分析、综合、抽象、概括、判断、推理的能力，采用科学的逻辑思维方法，准确而有条理地表达自己思维过程的能力。它与形象思维能力截然不同。逻辑思维能力不仅是学好数学必须具备的能力，也是学好其他学科的前提基础及处理日常生活问题所必须具备的知识能力。是对知识的理解、掌握到运用的升华！是分析问题、解决问题的根本因素！
然而，数学知识是用数量关系、包括空间形式来反映客观世界的一门学科，其逻辑性很强、很严密。那么，如何培养小学生采用科学的逻辑思维方法准确而有条理地表达自己思维过程的能力呢？教学中教师应做到：一是要重视对学生思维过程的组织；二是要重视对学生思维能力的培养；三是要重视对学生寻求正确思维方向的训练；四是要重视对学生良好思维品质的培养。根据思维是人脑的机能、特性和产物，是人脑对于客观事物的间接地、概括地反映。以及思维推理的不同，我们将逻辑思维分为直接推理和间接推理！也就是我们常说的顺向思维和逆向思维！即顺向思维方式是以问题的某一条件与某一答案的联系为基础进行的，即在思维时直接利用已有的条件，通过概括和推理得出正确结论，其方向只集中于某一个方面，对问题只寻求一种正确答案；逆向思维与顺向性思维方法相反，逆向性思维是从问题出发，寻求与问题相关联的条件，将只从一个方面起作用的单向联想，变为从两个方面起作用的双向联想的思维方法。但无论是顺向思维推理还是逆向思维推理都应遵循：
一、逻辑思维能力的学科特点
我们不但要培养学生对所学的内容进行初步的比较、分析、综合、抽象、概括、对简单的问题进行判断、推理。同时还要注意思维的敏捷和灵活的运用。数学教学是数学思维活动的教学，而不仅是数学活动的结果，即数学知识的教学，数学教育的任务是形成那些具有数学思维特点的智力活动结构。数学的这些特点和数学教学的任务，使得数学教学在培养学生逻辑思维能力方面，较之其它学科占有更重要的地位。同时，培养学生初步的逻辑思维能力，数学教材具有优越的条件，数学本身具有抽象性、严密性和应用的广泛性等特征。数学教师在数学课堂教育教学中应肩负着引导、培养、深化学生对逻辑思维推理理念认识的重大责任。
二、逻辑思维的导向性特点
在教育教学中逻辑思维具有多向性。一般来说，逻辑思维具有：顺向性、逆向性、横向性及散向性。培养学生逻辑思维的能力，不仅要使学生认识思维的方向性，更要指导学生寻求正确思维方向的科学方法。同时，培养学生思维能力既要求教师为学生提供丰富的感性材料，又要求教师对大量的感性材料进行精心设计和巧妙安排，从而使学生顺利实现由感知思维向抽象思维这一逻辑思维推理的转化。比如：在教学中如何求圆的面积？引导学生如何把圆转化成长方形或正方形，从而得出：长方形的长等于圆周长的一半（лr），长方形的宽等于圆的半径（r），自然推出圆的面积公式：S=лr X r=лr2； 又如求圆柱的表面积公式：引导学生得出圆柱的表面积就是一个侧面积加上两个底面积！即用公式表示：S=2лrh+2лr2；这样根据逻辑思维推理中的顺向性思维得出的导向公式概念，并不是意味着是问题解决的升华！我们还应在教育教学中积极组织和引导学生逻辑思维推理能力中的散向性思维！在寻求正确思维方向的科学方法的同时，延伸归纳推出：S=2лr X（h+r）。这样不仅培养了学生的化归整理的原则，在某种程度，某种意义上达到了化难解易的导向目的！
三、逻辑思维灵活运用的特点
有了逻辑思维推理的学科特点与逻辑思维推理的导向性原则，并不等于就能解决逻辑思维较难的问题，仅就逻辑思维推理而言，技巧何其重要！俗话说：熟能生巧！多年来的数学教育教学实践及有针对的对学生练习训练的经验告诉我：学生解题多了，方法就灵活了、无限了！知识基础越坚实，知识面就越广，就越能发挥自己的解题思维的想象力。当然并不意味着知识面越多，想象力越丰富。而是需要养成从多角度认识事物的习惯，灵活、全面地认识事物的内部与外部之间、某事物同他事物之间的多种多样的联系与区别，才能拓展自己的逻辑思维推理的想象力。这对逻辑思维推理能力的提高是有着十分重要的意义。也是灵活运用数学知识与解决数学相关实际问题的保证。
总之，在教育教学中对小学生逻辑思维推理能力的培养也不是一成不变的！其方法多样、灵活！我们在教学中应注意对学生逻辑思维过程的组织、正确的逻辑思维方向的训练及对学生良好逻辑思维品质的培养！并进一步的深化逻辑思维能力的学科特点、以及逻辑思维推理的导向性特点和注重日常学习生活中逻辑思维推理的灵活运用的特点！有条件、有步骤、有根据的对小学生渐进式的逻辑思维推理能力的促进。多角度、多渠道、多方向的组织和引导学生的逻辑思维推理。使小学生各方面的逻辑思维推理的能力得以不断的提高和深化是教育教学走向成功的奠基。
关键词：法律思维 法学教育 法律逻辑学 教学方法
法律逻辑学没有探讨法律的逻辑（此处的逻辑意指客观事物发生、发展变化的规律），但它告诉我们批判性地分析法律的逻辑（此处的逻辑意指思维规律、规则和方法，主要是推理和论证的规则与方法）。后一种逻辑理性地看待前一种逻辑的现有观点，思考其未来走向。在法律教育和学习中，法律逻辑不但是基础，是工具，而且更是目的。这正如台湾著名的民法学家王泽鉴先生所言：“学习法律，简单言之，就在培养论证及推理的能力”。
当前，法学教育困惑于怎样提高学生的法律思维能力，法律逻辑学教学困惑于怎样对学生进行有效的法律思维训练。对此，本文结合讲授法律逻辑学的体会，总结一些法律逻辑学的教学方法，就教于同仁。
一、强调逻辑自律意识，引导学生重视逻辑思维
人从2岁左右就开始逻辑思维，在成长的过程中，逻辑思维能力不断提高，但是逻辑自律意识淡薄却是大家的通病。有一些人，我们不能说他逻辑思维能力欠缺，但在写论文、教材、专著中，在讲话、演讲、辩论中，在处理一些重要问题时，却犯了一些不该犯的简单错误。例如：《中国法学》、《法学研究》中的两篇文章。
《中国法学》2002年第2期《社会危害性理论之辩正》第167页：“根据通说，犯罪的本质在于它是具有社会危害性的行为，简单地说，犯罪是危害社会的行为。显然，它是一个全称判断，即所有危害社会的行为都是犯罪。于是，反对者很快反驳”这里，作者明显在偷换论题，从“犯罪是危害社会的行为”推不出“所有危害社会的行为都是犯罪”，只能推出“有的危害社会的行为是犯罪”（全称肯定判断不能简单换位，只能限制换位）。
《法学研究》2004年第1期《证据法学的理论基础》第109页：“客观真实论者一方面声称‘实践是检验真理的惟一标准’，另一方面又将刑事诉讼定义为认识活动与实践活动的同一，这样一来，在诉讼中，所谓的‘实践是检验真理的惟一标准’这一命题可以替换为‘认识是检验真理的惟一标准’。而所谓真理无非是符合客观实际的一种认识，因此，上述命题可以进一步替换为‘认识是检验认识的惟一标准’。”作者在这里混淆了概念，将辨证思维中的“同一”理解为普通思维中的“同一”，依此作推理，结论肯定不正确。“认识活动与实践活动的同一”指的是辨证思维中的“同一”，是你中有我，我中有你，相互依存的同一，而不是普通思维中你就是我，我就是你的同一。
当然，讲到这里，老师还要告诉学生：出现逻辑错误只是作者和编辑缺乏逻辑自律意识的结果，核心期刊还是核心期刊，法学专家还是专家，我们不能因此而否定全部（作者的文章还是有创新之处，这个例子还可以用来讲解思维形式与思维内容的关系等），需要注意的是，核心期刊的编辑、专家尚且出现这样的错误，我们更应该培养和提高自己的逻辑自律意识，把自发的逻辑思维转变为自觉的逻辑思维。这是学习法律逻辑学的第一个目的。
二、用法律逻辑学理论思考，引导学生提高法律思维能力
法律思维由法律思维形式和法律思维内容组成，法律思维形式和法律思维内容相互依存，但又具有相对独立性。法学专业课讲授法律思维内容，法律逻辑学讲授法律思维形式，各有侧重，但在培养和提高法科大学生的法律思维能力，对学生进行法律思维训练时，法律思维形式和法律思维内容彼此相依，形式离不开内容，内容也离不开形式。法律逻辑学教学中融入法律思维内容，法学专业课讲授时注意法律思维形式、方法和规律，将会大大提高学生的法律思维能力，实现法学教育的目标。举两个例子：
在法律逻辑课堂上，我让学生把“合法行为”、“违法行为”、“行为”、“犯罪行为”四个概念之间的关系用欧拉图表示出来，大部分学生把行为划分为合法行为和违法行为，在违法行为中划分出犯罪行为。他们认为，一种行为，要么合法，要么违法，为什么？他们说“不违法的就是合法”，“法不禁止即自由”嘛！且不说这样给合法下定义不合逻辑规则，也先不提合法的定义到底应该是什么，就举个例子，一个人坐在座位上，另一个人上来打他一下，不重，也不轻，违法吗？不违法。合法吗？没法回答，说是说不是似乎都有问题，但你肯定不能说这种行为合法。还有更多的例子，不违法的并不能说合法。“合法行为”、“违法行为”、“行为”、“犯罪行为”四个概念之间的关系用欧拉图应该这样表示：先将行为划分为法律调整的行为和法律不调整的行为，然后，再将法律调整的行为分为合法行为和违法行为，违法行为中有一部分是犯罪行为。想一想，“法不禁止即自由”是多好的一个借口啊，法不禁止的就是自由的，但逻辑理性告诉我们，不是所有时候都这样。
在和学生一起聆听的一次学术报告中，一位教授将“有法可依，有法必依，执法必严，违法必究”修改为“科学立法，依法行政，司法公正，执法公平”。目的是希望“依法治国”落到“依法治官”、“依法治权”上，而不是“依法治民”。但是如果要“依法治官”、“依法治权”，那么，凡是官和权都要依法而治。行政是权，我们呼吁依法行政，司法也是权，为什么不说依法司法呢？是现在我国的司法已经依法了，还是司法需要凌驾于法律之上，还是司法依不依法并不重要，至少不如行政依法重要，只要公正就可以了？而什么是公正？司法官说了算吗？这是从逻辑三段论推理想到的质疑。当时，正好讲到三段论推理，学生感触非常深刻。
以上说明尽管法律逻辑学没有探讨法律的逻辑（此处的逻辑意指客观事物发生、发展变化的规律），但它告诉我们批判性地分析法律的逻辑（此处的逻辑意指思维规律、规则和方法，主要是推理和论证的规则与方法）。后一种逻辑理性地看待前一种逻辑的现有观点，思考其未来走向。
三、从法律逻辑学的角度分析案件，让学生产生学习期望
“案件分析是指对案件事实进行分解、条理剖析，并提出应如何适用实体和程序法律意见的活动。”案件分析是法学专业教育中一种重要的教学方法。案件分析在于揭示案件中的法律理由，包括事实根据、法律依据和二者在法律上的逻辑结合。事实和法律都是由概念组成命题，由命题进一步组成推理，以此来论证法律理由。所以，案件分析也可以从概念、命题和推理入手。
例如，某地方法院判决的婚姻关系上的违约金案。原告和被告结婚时订立书面的婚姻合同，上面约定了违约金条款：任何一方有第三者构成违约，应当支付违约金25万元给对方。现在被告违约，原告起诉请求违约金。法院审理本案，遇到的难题是：本案是婚姻案件，应当适用婚姻法，但婚姻法上没有违约金制度。违约金是合同法上的制度，而合同法第二条第二款明文规定：婚姻关系不适用合同法。
怎样解决这一难题？从法律逻辑学的角度讲，合同和婚姻，一是财产法上的行为，一是身份法上的行为。但两者均属于法律行为，法律行为是其属概念。法律行为与合同、婚姻两个概念之间是属种关系。因此，法官可以适用关于法律行为生效的规则，具体说就是：其一，意思表示真实；其二，内容不违反法律强制性规定；其三，内容不违反公序良俗。审理本案的法官认为，本案婚姻关系上的违约金条款，是双方的真实意思表示，现行法对此并无强制性规定，并不违反"公序良俗"，因此认定该违约金条款有效，并据以作出判决：责令被告向原告支付25万元违约金。
四、提问式教学，使学生学会思考
提问式教学法，又称苏格拉底式教学方法，是老师不断向学生提出问题，务求达到学生被穷追猛问，难以招架的地步。其目的是促使学生思考，通常不会问问题的人，也就不会发现问题，不会提出问题。因此，要在不断的提出问题的过程中，促使学生不仅会回答问题，更主要的是会注意问题、发现问题、并以适当的方式提出问题。
有人说，律师的作用就是重新组合案件事实，寻找法律理由，维护当事人的利益。而怎样在复杂的案件事实中找到突破点？借鉴mba逻辑考试的方式，针对一个案件，请学生总结各方当事人的可能观点及证据，思考怎样支持、加强、反驳、削弱某一方的论证，怎样解释、评价某一方的观点和论证。同学之间可以假设案情，展开辩论。
在个案分析中，不断提问的方式可以启发学生的思路，鼓励学生们积极思索，互相反馈信息，并与教师沟通，在提问、反问、自问自答、互问互答中，探求解决问题、难题的路径与方法。
五、适当课堂辩论，引用典故事例，设计课堂游戏，激发学生听课的兴趣
逻辑学是在“辩”的基础上产生和发展的。我国古代，逻辑学也称为“辩学”。“诉讼”的目的就是找到法律理由，说服别人，维护自身利益。故辩论对于学好法律逻辑学而言，不失为一个行之有效的方法和手段。辩论的题目可以是学生生活、学习中的热门话题。辩论要求语言流畅，有的放矢，持之有故，言之成理，以理服人，分正反两方进行。如“法学教育应侧重于理论（实践）”等。这是一大部分大三学生所困惑的问题，大一、大二学习了一些专业知识，大三开始思考未来发展时，发现所学的理论与实践之间有差别，而又不知道怎样解决。辩论的过程中，我发现，他们自己可以解决这个问题。这是辩论的一个作用。此外，辩论中，学生的思维过程展现出来了，逻辑问题也出来了。如：概念的内涵外延不明确，机械类比、循环论证、诉诸无知等等。往往是当局者迷，旁观者清，也往往是知其然而不知其所以然。老师可以提醒学生注意，引发学生学习的积极性和主动性。
法律逻辑学是一门研究法律思维的形式、规律和方法的工具性学科，学好它对于我们的法律学习、司法实践大有裨益；同时，它又是一门交叉学科，高度抽象的逻辑学学科溶入具体的法学学科，概念多、规则多、符号多、公式多，法科学生学起来有一定难度。鉴于课程的抽象性和应用性，有必要设计一些课堂游戏，活跃课堂气氛，深化学生对知识的理解和应用。例如，为强化学生对等值命题的理解和运用，在课堂上用10—15分钟做“换一句话说”的小游戏：第一排学生写一个命题，后几排学生换一句话说，然后在传回来，前排学生评价是否等值；讲到法律规范逻辑时，为了引起学生对“应当”、“允许”等规范词的重视，请学生们课后研读法律条文，寻找三个相关法律条文，编造“两个事实与一个谎言”，上课时，请其他同学判断那一个是谎言；讲法律概念时，请学生用三个词语编一段故事；讲推理时，做“谁是作案者”、“故事接龙”的推理游戏等。
六、既讲普通逻辑学的知识，又讲辩证逻辑学的知识，寻找法律的生命
对思维形式和思维规律可以从不同的视角加以研究，因而逻辑学本身是一个庞大而又多层次的学科体系，如今人们通常把逻辑学分为普通逻辑、辩证逻辑。普通逻辑形成最早，它侧重于静态地研究思维形式的逻辑结构及逻辑规律，研究单向的思维；辩证逻辑研究动态的思维，研究多向的思维；恩格斯说“普通逻辑和辩证逻辑就象初等数学和高等数学的关系”。辩证逻辑思维时针对某一方面的论述同样要遵守普通逻辑思维的形式和规律。在通常情况下，对于简单案件，人们使用普通逻辑思维就可以了，但对于复杂案件，必须使用辩证逻辑思维才可以维护法律的正义。毕竟，人类已经进入辩证逻辑思维时期。
从某种意义上讲，法律、道德、经济、政治是统一的，经济效益有国家、集体、个人之分，有近期、中期、长远之分；道德上善与恶的标准、政治上利与弊的权衡也因出发点的不同而有差异；谈到法律，当它确定时，我们以合法性为标准进行法律思维，当它不确定时，我们怎么进行法律思维呢？而什么是合法？为什么法律如此规定呢？答案是，以当时的政治、经济、道德为标准所制定。所以，当我们讲用法律来思维时，我们仍然要考虑到政治、经济、道德的因素，当法律确定时，是立法者考虑；当法律不确定时，是司法者考虑。这样，法律就是活的法律，而不是死的法律；合法性仅仅是法律思维的重心，而不是法律思维的唯一前提。
因此，既要讲普通逻辑的知识，又要讲一些辨证逻辑的知识。这是一个不能回避的问题。必须告诉学生，形式推理重要，但仅有形式推理是不够的，在形式推理解决不了的地方，需要使用辨证推理。这样，学生分析案例发现逻辑知识并不能简单地应用时，就不容易产生“法律的正义是个变数”等消极看法。
法律离不开逻辑，法律的长足发展要求每一个法律人思考逻辑、应用逻辑，寻找法律的逻辑。法律逻辑学还是一个不成熟的学科，它的成熟需要逻辑学者和法学学者的共同努力，这也是法律发展的要求。
[参考文献]
[1]秦玉彬.我国当前法学教育困境探微.dffy.com，2004-2-26 20:45:34
[2]林吉.法律思维学导论.[m]山东人民出版社，2000年8月版
[3]王泽鉴.《法律思维与民法事例》.[m]中国政法大学出版社，2001年版
关键词:认识逻辑;思想政治教育;意义
中图分类号:G41 文献标识码:A 文章编号:1005-5312(2010)19-0164-01
一、初探渊源
认知逻辑关心知识和信念概念,并源于哲学中对这些概念进行逻辑分析而发展起来的。认知逻辑也被译作认识逻辑,是认识论逻辑的重要组成部分。通常人们认为认识论逻辑包括问答逻辑、假设与支持逻辑、信息逻辑、归纳逻辑以及本文要介绍的认知逻辑,而认知逻辑则又包括断定逻辑、知道逻辑、信念逻辑、自知逻辑等。而思想政治教育作为一种社会实践活动,运用逻辑学相关知识来适应新形势、研究新情况、解决新问题、总结新经验、揭示新规律的思想政治教育,对不同阶段的思想政治教育工作提供一些新的思路,有利于我们所力图探索、建设的现代思想政治教育。
二、研究现状
(一)国内对认知逻辑的研究
认知逻辑是认识论逻辑的组成部分,在逻辑学思想中占据着一定的地位,应该受到重视,也应该进行深入研究。80年代前后,马希文教授在美国斯坦福大学曾与麦卡锡(J.McCarthy)合作从事过有关认知逻辑的研究,用认知逻辑的思想设计了对话解题系统KP―O。在认识逻辑研究方面,鞠实儿采用逻辑分析与心理实验相结合的方法,研究经典自我欺骗的问题,取得了一定的研究成果。通过一系列研究展示了逻辑分析和心理实验相结合的方法在认知领域研究中的优势,为以后研究提供了很好的认知逻辑的研究范例。周北海在《多主体认知逻辑》中运用广义模态逻辑和多值逻辑两种方法对多主体认知逻辑进行研究,并从理论基础上对多主体认知逻辑作全面系统的研究。周昌乐《认知逻辑导论》的项目中认为认知逻辑可作认识逻辑,主要是研究知识和信念的形式化问题的逻辑分支。并认为认知逻辑是人工智能专家和计算机科学家所“发现”的核心工具之一。
(二)国外对认知逻辑研究
国外在20世纪40年代就对认知逻辑有了专门的研究,1947年卡尔纳在《意义与必然》讨论中带有相信和断定认知模态词的语句。这可能是最早的认知逻辑的研究。1948年,波兰逻辑学家耶西发表的“多值逻辑与内涵项的形式”论文中提出了关于信念逻辑的7条公理,信念逻辑也成为认知逻辑研究的重要内容,并对认知逻辑的发展提供了有力的指导作用。1972年霍丘特发表的《认知逻辑可能吗?》中提出了认知逻辑是否存在的问题,并对其作了相关的阐述。再早几年葛提尔发表短文《有掂的其实信念就是知识吗?》中又对认知论知识和信念的关系作了详细的论述,这对于认识逻辑的发展提供了概念性的补助。2006年荷兰逻辑学家J. 范・本特姆发表《认知逻辑与认识论之研究现状况》中认为认知逻辑则是作为对认识论的一个贡献或者说至少是一种工具而产生的。并利用可能世界的域定义上面的公式的模型论语义提供了一种外延思考方法,从而可以考虑在给定情形下主体知道或者相信什么。
三、应用意义
(一)理论意义
认知逻辑试图通过逻辑演算的方法来研究有关知道、相信、断定、认为、怀疑等这些认知问题的一门逻辑,对于认知逻辑的研究而言,逻辑学家主要关心的是与认知概念有关的一些模态词的逻辑性质以及在此模态词之上所形成的命题之间的逻辑关系。特别地,认知逻辑将研究各种有关知识和信念等认知模态词所形成的认知命题,这对于思想政治教育具有一定的指导作用。认知逻辑与推理密切相关,而信念逻辑又与量化归纳推理有着必然的联系,因此认知逻辑对思想政治教育各种推理技术具有重要的推动作用。
(二)实践意义
逻辑学是研究人类思维形式及其规律的科学,在历史发展的进程,对各门其它具体科学的创立与发展都起到了不可忽视的重要作用。可以说,一切具体科学都不可能脱离逻辑所划定的内容范围,都需要概念、判断、推理,思想政治教育也不例外。对于认知逻辑的总体而言,它主要处理有关断定、知道、相信、认为、怀疑、理解、意识等认知概念的逻辑问题。认知逻辑将研究各种有关知识和信念等认知词所形成的认知命题。在日常生活中,知识和信念起着重要的作用,我们大多数的所作所为都是我们知道或相信的事情。当我们为了用某种特殊方法来编程实现需要说明行为的主体时,就会广泛涉及到知识的表示和推理。要提高思想政治教育质量,增强思想政治教育的逻辑力量,除遵循思维规律、正确运用思维形式之外,还必须善于运用各种逻辑思维方法。逻辑学在本质上可以称得上是一种思维方法论,把认知逻辑思维运用于思想政治教育的活动别思想政治教育语言中,会极大地提高思想政治教育的感染力和可信度。
关键词：Peirce；科学家；逻辑学家；科学；指号学；化学概念
CharlesSandersPeirce（1839-1914），其一生曾作为“一个美国人的悲剧”〔1〕，现在已经越来越多地被认为是他那个时代、也是美国至今产生的最有创造性、最具多才多艺的伟大思想家。他广博的研究涉及非常不同的知识领域：天文学、物理学、度量衡学、测地学、数学、逻辑学、哲学、科学理论和科学史、指号学、语言学、经济计量学和实验心理学等等。而且这里的许多领域，Peirce在不同程度上被视为倡导者、先驱甚至是“鼻祖”。Russell早就做出评价：“毫无疑问，他是十九世纪末叶最有创见的伟人之一，当然是美国前所未有的最伟大的思想家。”〔2〕而当代在世哲学家H.Putnam称他为“所有美国哲学家中高耸的巨人”〔3〕。
虽然Peirce的思想具有极为广阔的视野，但当今学者所公认、Peirce本人也承认的他的两个主要研究领域却是科学和逻辑学。科学和逻辑学是Peirce毕生付出精力最多的两个领域，也是他在大学毕业后决定他一生将做什么时曾犹豫不决的两种选择。但在其学术兴趣上它们是他的孪生子，二者在理论联系上常常是融为一体，成为Peirce最倾心关注的焦点。而且，作为科学家和逻辑学家的经验是Peirce整个哲学系统构建的基础与出发点，是贯穿他一生思想发展变化的重要影响因素。实际上，科学和逻辑学的共同追求正是Peirce为自己所界定的生活目标。把握他的这一显著特征，我们可考察作为科学家的Peirce与作为逻辑学家的Peirce之间的某些联系。
1科学家职业、逻辑学家志向
从实际从事职业来看，Peirce是位科学家，包括化学家、大地测量员、物理学家、天文学家、工程师、发明家、实验心理学家等等；同时这也是他谋生的门路，是他最早获得学术名声的领域。
成为一名科学家，Peirce具有非常优越的条件；同时这也是他的亲戚朋友尤其是父亲所期望的。Peirce出生于具有良好科学氛围的家庭，特别是其父亲BenjaminPeirce是哈佛大学天文学和数学Perkins教授，也是当时美国最有影响的数学家。Peirce从小由其父亲教授数学、物理学和天文学等学科；其聪颖智慧深得父亲欣赏。而Peirce本人也深受父亲影响，尤其是在父亲1880年去世之后，他极想遵照父亲遗愿而继承父亲的事业，从此专注于科学研究。
在Peirce十几岁时，他已经在家中建立了私人化学实验室，并写出了《化学史》；其叔叔去世后，他又继承了他叔叔的化学和医学图书馆。1859年从哈佛大学毕业后，他父亲安排他在美国海岸测量局（后来改名为海岸和地质测量局）野地考察队作为临时助手学习锻炼了一年；而同时他私下跟随哈佛动物学家LouisAgassiz学习分类学方法。1862年进入哈佛的Lawrence科学研究所，并于1863年毕业获得化学理学士。其间于1861年他再次进入海岸测量局，但这次是作为长期助手；1884年10月至1885年2月主管度量衡办公室；1867年父亲成为海岸地质测量局的第三任主管，Peirce于同年7月1日由助手(Aide)提为副手（Assistant），职位仅次于主管；他的这一职位上一直持续到1891年12月31日，时间达24年半之久。从1872年11月开始，他又负责钟摆实验；在1873—1886年间他在欧洲、美国以及其他地方的站点进行钟摆实验。晚年（1896年直到1902年）主要为圣劳伦斯能量公司做顾问化学工程师。
同时，Peirce在1867年被安排在气象台从事观测工作，并于1869年被任命为副手。他曾是一次日环食和两次日全食现象的观测者，还负责使用气象台新获得的天体光度计。1871年其父亲获得国会授权进行横跨大陆的地质测量，Peirce由此又成了职业的大地测量员和度量衡学家。
Peirce生前虽只出版过一本科学方面的书（《光测研究》(1878)），为《theNation》杂志撰写的短评、书评现多收集在由Ketner和Cook编辑出版的《ContributionstotheNation》中；但他在海岸地测局和哈佛气象台的诸多贡献已经为他（也为这两机构）在很年轻时就赢得了国际（特别是在欧洲）声誉（Peirce1870年、1875年、1877年、1880年和1883年先后五次接受测量局任务到欧洲考察，同欧洲的许多科学家建立了联系，并极力主张扩大科学界的国际联系）。Peirce于1867年成为美国文理学院的常驻会员，1877被选为国家科学院的成员，1880年被选为伦敦数学学会成员，1881年被选进入美国科学进步协会。而且值得一提的是，现在Peirce已被认为是采用光波长来测定米制长的先驱。
然而，尽管他原本可以很好地专职于科学职业，并有广阔的前景；并且事实上，他也是由化学进入了各种各样的科学部门，并投入了极大的兴趣和精力，成为美国当时杰出的科学家。但与逻辑学相比，它们只是他生命的第二焦点。
从理想志向来看，Peirce视逻辑学为其天职。早年在父亲指导下学习《纯粹理性批判》时就认为康德的失败主要在于其“平庸的逻辑”，要超越康德体系，必须发展一种崭新的逻辑。他声称在12岁时已经除了逻辑别无其他追求；甚至在生活潦倒、疾病缠身的困境中他依然坚持这一工作。他建有自己的私人逻辑史图书馆，他是近代以来少有的精通古代和中世纪逻辑的一位逻辑学家。他自己说，他是自中世纪以来唯一全身心贡献于逻辑学的人，并声称他是终生的逻辑推理学习者。1906年他在美国《WHO’SWHO》中把自己命名为一名逻辑学家，这在当时是绝无仅有的现象。晚年在Milford的Arisbe，他形容自己为田园逻辑学家、逻辑学隐士。与具有美好前程的科学职业相比，Peirce之所以热中于当时不可能成为谋生手段的逻辑学，更多的是出于对自己既定学术目标的追求：要发展一种有前途的逻辑。他对于逻辑的执著和热情，使得他在逻辑学上的贡献并不亚于科学。
年仅二十几岁时，Peirce就开始在哈佛和Lowell学院作关于逻辑学的演讲；从1879年直到1884年，在保持海岸地质测量局职位的同时，他作为JohnsHopkins大学（美国历史上第一所研究生学院）的兼职逻辑学讲师（这是他一生唯一一次获得的大学职位），并在这期间出版了他第二本书（也是最后一本）《逻辑研究》(1883年，Pei
rce主编)。这本书在当时的美国乃至整个欧洲都有较大影响。在1901年，他为Baldwin的《哲学心理学辞典》撰写了大部分的逻辑学词条。
虽然Peirce只有短暂的学院生活来传播他的逻辑理论，但在他那个时代，Peirce已经是一位国际性人物。在五次访问欧洲期间，虽然他是作为科学家去考察，但不仅碰到了许多著名科学家，也会见了当时知名的数学家与逻辑学家，包括DeMorgan、McColl、Jevons、Clifford、Spencer等，还与Cantor、Kempe、Jourdain、Victoria夫人等保持着通信关系。1877年英国数学家和哲学家W.K.Clifford评价“CharlesPeirce...是最伟大的在世逻辑学家，是自Aristotle以来已经为这一学科增加实质内容的第二个人，那另一个是GeorgeBoole，《思维规律》的作者。”〔4〕
而在今天，Peirce学者不断发掘出的Peirce的逻辑尤其是现代逻辑贡献更是值得重视。一般认为，他早期主要是作为一名布尔主义者（Boolean）从事代数逻辑方面的研究，而晚年他的贡献主要集中于图表逻辑方面，主要包括存在图表系统和价分析法。1870年Peirce的“描述一种关系逻辑记法，源于对Boole逻辑演算的扩充”是现代逻辑史上最重要的著作之一，因为它第一次试图把Boole逻辑代数扩充到关系逻辑，并在历史上第一次引入（比Frege的Begriffschrift早两年）多元关系逻辑的句法。在1883年之前他已经发展了量化逻辑的完全的句法，与直到1910年才出现的标准的Russell-Whitehed句法仅仅在特殊符号上有点不同。
在对于数理逻辑贡献的广泛性和独创性方面，Peirce几乎是无与伦比。与逻辑主义学派的Frege相比，Peirce的特殊贡献不在定理证明方面上，而更多的是在新颖的逻辑句法系统和基本逻辑概念的精制化发展上。他创造了十多个包括二维句法系统在内的不同逻辑句法系统。把实质条件句算子（在他那里的形式为“—<”）引入了逻辑学，比Shaffer早40年发展了Shaffer竖并仅仅基于这一算子发展了一完全的逻辑系统。还独立地系统采用了真值表方法和归谬赋值法，过早地意识到Skolem前束范式的技术。在JohnsHopkins大学教书期间，Peirce开始研究四色图猜想并发展了逻辑和拓扑学特别是拓扑图论之间的广泛联系。
我们看到，Peirce不仅是有着突出贡献的科学家，同时也是著名的逻辑学家。然而在二者关系上，首要的一点是：他承认自己热爱科学，但坦言对于科学的研究只是为了他的逻辑；因为逻辑的研究需要从各种特殊科学（还有数学）的实际推理方法中概括出一般的逻辑推理方法，而决不是仅仅从逻辑书籍或讲课中背诵、记忆和解题；多样化的科学研究正是为了逻辑之全面概括，由它们获得的材料形成了逻辑学的基础和工具。实际上，这种前后的“从属关系”最突出地表现在他晚年常常是以作为科学家的收入来维持从事逻辑学研究的时间。
2逻辑学作为科学
虽然上文表明逻辑学家Peirce与科学家Peirce之间有近乎目的与手段间的主从关系，但事实上并非如此简单，它们还有更为深刻的一层关系，那就是：逻辑学也是科学。很显然，这是Peirce长期的实验室经历已经使得他以科学的方法处理所有问题（他有时的确称自己为“实验室哲学家”）包括逻辑学了。
我们首先看，科学在Peirce那里意味着什么？Peirce看到大多数人包括科学界之外的人都习惯于把科学视为特殊种类的（主要是指系统化的）知识，而他更愿意像古希腊人那样把科学作为认知的方法，但他强调这种方法一定要是科学探究（inquiry）的方法。知识开始于怀疑，为了寻求确定的信念我们必须要解决（settle）怀疑，一般解决怀疑的方法主要有情感方法（求助于自己的感觉倾向）、信忠团体的方法（选择那些最适合其社会团体的那一信念）和尊重的方法（求助于自己对于某特别个人或机构的尊重之感情）等；但这些方法本质上都是自我中心的非客观的方法，它们往往只通过怀疑者自己的行为、意愿来选择信念，缺乏足够的证据。而真正客观的方法只有科学探究的方法，在这种方法指引之下，探究者从经验出发基于科学共同体(community)的合作去寻求真理（TRUTH）或实在（Reality），这也正是科学活动；最终的真理性认识可能并不是由某一实际的探究者所发现，但只要是遵循这种方法、运用先前的结果，最后都必定会一致达到真理的。这正是Peirce在《通俗科学月刊》上发表的两篇经典性论文《信念的确定》和《如何使我们的观念清楚明白》中所阐述的实用主义（与后来James版本的实用主义有很大不同）方法相一致的，事实上如Peirce所指出的，实用主义不是什么世界观，本质上是一种方法，一种科学探究的方法。而与此同时，我们看到，Peirce把逻辑学视为设计研究方法的艺术，是方法之方法，它告诉我们如何进行才能形成一个实验计划；逻辑就是对于解决怀疑的客观方法的研究，是对于达到真理之方式的研究，其目的就是要帮助我们成为“科学人”。现代科学之优于古代之处也正在于一个好的逻辑，健全的逻辑理论在实践上能缩短我们获知真理的等待时间，使得预定结果加速到来。
但是我们发现，他在思想更为成熟的阶段是把逻辑学的科学属性放置于指号学（Semiotics或更多的是Semieotics）的语境中来考察的，虽然这种处理与以上把逻辑学视为科学方法之研究存在着根本上的一致性。
Peirce不止一次指出，在最广泛的意义上的逻辑学就是指号学或关于指号的理论，仅仅是指号学的另一个名字。〔5〕它包括三个部门：批判逻辑学（CriticalLogic），或狭义上的逻辑学，是指号指称其对象的一般条件的理论，也即我们一般所谓逻辑学；理论语法（SpeculativeGrammar），是指号具有有意义特征的一般条件的学说；理论修辞（SpeculativeRhetoric），又叫方法论（methodeutic），是指号指称其解释项的一般条件的学说。〔6〕这种划分可能受中世纪大学三学科：语法、辩证法（或逻辑学）和修辞的课程设置的影响，指号学在某种程度上可视为对于中世纪后期所理解的逻辑的现代化版本。而我们在此需要强调的是，Peirce把指号学视为经验科学、观察科学。推理就是对于指号的操作，观察在其中发挥着重要作用；指号学同其它经验科学的不同在于它们实验操作对象不一样，在于其它科学的目的仅仅是发现“实际上是什么”而逻辑科学要探明“必定是什么”。但既然是经验科学，根据经验学习的科学人进行逻辑推理所得到的结论就是可错的即准必然的（事实上，任何逻辑必然都只是相对于特定
推理前提而产生必然的特定结论）。
更进一步，Peirce把狭义上的逻辑学(logicexact)分成假设逻辑（abductivelogic）、演绎逻辑和归纳逻辑三部分。显然这比传统逻辑上演绎（必然的）、归纳（可能的）二分的做法多出了内容。Peirce得出这样的结论是对于Aristotle三段论基本格研究的结果，他认为Barbara集中表现了演绎推理的本质，而作为特殊的演绎三段论Baroco（把Barbara中结论的否定作前提、小前提的否定作结论）和Bocardo（把Barbara中的结论的否定作前提、大前提的否定作结论），如果把它们的结论考虑为或然性的，则分别相应于假设推理(abductivereasoning)和归纳推理。但更重要的是，Peirce在此显示出了逻辑学与科学的最合理的紧密联系。在他看来，演绎逻辑也即数学的逻辑，而假设逻辑和归纳逻辑主要就是科学的逻辑。在演绎逻辑已经得到普遍承认的情况下，他终生的愿望就是要把归纳和假设（Abduction）同演绎一起坚固地和永久地确立在逻辑概念之中。在科学探究过程中，假设、演绎和归纳先后组成了三个不同阶段的科学方法，它们的共同作用使得科学探究能自我修正。
Peirce把假设放在首位，作为科学探究程序的第一步，目的在于发现和形成假说。假设是为解释违反规律（或习惯）的意外事实而产生假说的过程，它能产生新信息，Peirce把它视为所有科学研究甚至是所有普通人的活动的中心。但这种假设并没有提供安全可靠的结论，假说必须要经过检验。于是，还需要演绎来解释（explicate）和演示（demonstrate）假说即得出预言；再后由归纳回归到经验，旨在通过观察被演绎出的结果是否成立来证实或否证那些假说，即决定假说的可信赖度。在这连续的三种推理形式中，假设是从意外事实（surprisingfacts）推到对事实的可能性解释，演绎是从假说前提推到相应结论，归纳则是从实例到一般化概括。经过这样的科学探究，我们在科学共同体中将能不断接近真理。
3逻辑学中的化学概念移植
为更具体地论述Peirce的科学研究与逻辑学研究之间的紧密联系，我们在此可谈到Peirce对科学中的许多概念向逻辑学研究的成功应用，这突出表现在化学上。因为化学是Peirce的大学专业，也是他进入整个经验科学的入口。
逻辑学作为一门特殊的学科领域，事实上从近代以来，就从数学（包括代数和几何）理论那里找到了非常有力的发展动力和理论技术。我们在此谈到的化学概念应用作为整个自然科学概念推广中的一例其实也是Peirce为发展逻辑学而提出的。
首先，Peirce晚年极为倾心的存在图表逻辑构想正是基于化学图表原理（可能还有拓扑学方法的启发）。存在图表是Peirce在其指号学背景下对Euler图和Venn图的重大发展，具有极强的表现力。其在自然、直观、易操作上要远胜于代数方法（包括标准的Peano-Russell记法），因为我们心灵的思想过程被同构地展现在推理者面前，对于图表的操作代替了在化学（和物理）实验中对于实物的操作。化学家把这样的实验描述为向自然（Nature）的质疑，而现在逻辑学家对于图表的实验就是向所关涉逻辑关系之本性（Nature）的置疑。〔7〕
第二个例子，现代逻辑（可能从《数学原理》开始）中的一对基本概念:命题和命题函项（或有时称为闭语句和开语句）原本就是来自化学中的“饱和”（Saturation或Gesättigkeit）和“未饱和”概念。Peirce用黑点或短线来代替语句中的“指示代词”（即逻辑中的自变元），得到形如“——大于——”、“A大于——”这样的形式，它们分别被称为关系述位（relativerhema）（区别于像系词一样的关系词项）和非关系述位，也即他那里的谓词（谓词是几元的取决于我们到底如何选择去分析命题）。他指出，述位不是命题，并坦言“述位在某种程度上与带有未饱和键（unsaturatedbonds）的化学原子或化学基极为相似。”〔8〕然而不无意外，我们发现同时期欧洲大陆的Frege也正在独立地从化学概念得到逻辑研究的灵感。他把诸如“……的父亲”的函项记号称为“未饱和的”或“不完全的”表达式，以与专有名词相区别。〔9〕超级秘书网
另外一个例子是Peirce提出的价分析（ValencyAnalysis）法。正如名字所显示出的，它同化学中的化合价概念密切相关，Peirce所使用的词语Valency直接源于化学中的术语Valence即化合价。价分析是Peirce在图表化逻辑思想指引下于存在图表（ExistentialGraphs）之外创设的另一种二维表现法。其中，显然他是把思想中概念的组合与“化学离子”的组合相比拟，如他采用类似“——”这样的结构表示带有“开放端（looseend）”(即黑点后面的横线)的实体，即谓词；这就是化学中离子结构的简单变形。由于它们的开放端导致的“不稳定”（正像离子本身不稳定一样），开放端之间就可能连接起来形成共同“键”（bond）。如“——”同“——”可形成“——”样式的新结构〔10〕。正是利用这样的离子组键技术，Peirce成功证明了其著名的化归论题，即对于三元以上关系都可化归到三元和三元以下的关系，但一元、二元和三元关系却不能化归。这一论题是他哲学思想体系中所坚持的三分法原则的逻辑证明。
综观Peirce的科学家经历和逻辑学家志向，Peirce把逻辑学视为对于各种科学推理方法的概括，同时又把逻辑学理论指导、应用于科学研究过程。二者紧密相连，互为作用。而更为突出的，他的逻辑贡献大都可追溯到其多样化的科学研究，他的逻辑独创往往也是其科学研究经验的启发性建议。笔者以为，研究Peirce的这些方面，我们至少可得出以下启示：逻辑学应从数学和科学推理实践中概括推理的一般本质；逻辑学家应尽可能学习、掌握科学（传统逻辑就因为没有这样做而失败，科学家非逻辑学家或逻辑学家非科学家都不能胜任于对科学推理的分析工作），因为拓宽自己的科学研究领域必将能加强逻辑学家对于逻辑科学的贡献能力；同时科学家要想更为一般地把握住推理方法也应了解逻辑学，但是前者在当前学术界值得特别注意。当前处于被冷落地位的逻辑学要想摆脱这种局面，必须加快发展自己；而经验科学（不再仅仅是数学）必能使得逻辑学发展获得新的生命力，这已经是被现代逻辑的发展史（特别是初创时期）所证实的。
参考文献：
〔1〕库克.现代数学史〔M〕.呼和浩特：内蒙古人民出版社，1982年.61.
〔2〕罗素.西方的智慧〔M〕.北京：商务印书馆，1999年.276.
〔3〕HilaryPutnam.PeircetheLogician〔J〕.HistoriaMathematica,9（1982）.292.
关键词： peirce；科学家；逻辑学家；科学；指号学；化学概念
charles sanders peirce（1839-1914），其一生曾作为“一个美国人的悲剧”〔1〕，现在已经越来越多地被认为是他那个 时代 、也是美国至今产生的最有创造性、最具多才多艺的伟大思想家。他广博的研究涉及非常不同的知识领域：天文学、物 理学 、度量衡学、测地学、数学、逻辑学、 哲学 、科学 理论 和科学史、指号学、语言学、 经济 计量学和实验心理学等等。而且这里的许多领域，peirce在不同程度上被视为倡导者、先驱甚至是“鼻祖”。russell早就做出评价：“毫无疑问，他是十九世纪末叶最有创见的伟人之一，当然是美国前所未有的最伟大的思想家。”〔2〕而当代在世哲学家h.putnam称他为“所有美国哲学家中高耸的巨人”〔3〕。
虽然peirce的思想具有极为广阔的视野，但当今学者所公认、peirce本人也承认的他的两个主要研究领域却是科学和逻辑学。科学和逻辑学是peirce毕生付出精力最多的两个领域，也是他在大学毕业后决定他一生将做什么时曾犹豫不决的两种选择。但在其学术兴趣上它们是他的孪生子，二者在理论联系上常常是融为一体，成为peirce最倾心关注的焦点。而且，作为科学家和逻辑学家的经验是peirce整个哲学系统构建的基础与出发点，是贯穿他一生思想 发展 变化的重要 影响 因素。实际上，科学和逻辑学的共同追求正是peirce为自己所界定的生活目标。把握他的这一显著特征，我们可考察作为科学家的peirce与作为逻辑学家的peirce之间的某些联系。
1 科学家职业、逻辑学家志向
从实际从事职业来看，peirce是位科学家，包括化学家、大地测量员、物理学家、天文学家、工程师、发明家、实验心理学家等等；同时这也是他谋生的门路，是他最早获得学术名声的领域。
成为一名科学家，peirce具有非常优越的条件；同时这也是他的亲戚朋友尤其是父亲所期望的。peirce出生于具有良好科学氛围的家庭，特别是其父亲benjamin peirce是哈佛大学天文学和数学perkins教授，也是当时美国最有影响的数学家。peirce从小由其父亲教授数学、物理学和天文学等学科；其聪颖智慧深得父亲欣赏。而peirce本人也深受父亲影响，尤其是在父亲1880年去世之后，他极想遵照父亲遗愿而继承父亲的事业，从此专注于科学研究。
在peirce十几岁时，他已经在家中建立了私人化学实验室，并写出了《化学史》；其叔叔去世后，他又继承了他叔叔的化学和医学图书馆。1859年从哈佛大学毕业后，他父亲安排他在美国海岸测量局（后来改名为海岸和地质测量局）野地考察队作为临时助手 学习 锻炼了一年；而同时他私下跟随哈佛动物学家louis agassiz学习分类学 方法 。1862年进入哈佛的lawrence科学研究所，并于1863年毕业获得化学理学士。其间于1861年他再次进入海岸测量局，但这次是作为长期助手；1884年10月至1885年2月主管度量衡办公室；1867年父亲成为海岸地质测量局的第三任主管，peirce于同年7月1日由助手(aide)提为副手（assistant），职位仅次于主管；他的这一职位上一直持续到1891年12月31日，时间达24年半之久。从1872年11月开始，他又负责钟摆实验；在1873—1886年间他在欧洲、美国以及其他地方的站点进行钟摆实验。晚年（1896年直到1902年）主要为圣劳伦斯能量公司做顾问化学工程师。
同时，peirce在1867年被安排在气象台从事观测工作，并于1869年被任命为副手。他曾是一次日环食和两次日全食现象的观测者，还负责使用气象台新获得的天体光度计。1871年其父亲获得国会授权进行横跨大陆的地质测量，peirce由此又成了职业的大地测量员和度量衡学家。
peirce 生前虽只出版过一本科学方面的书（《光测研究》(1878)），为《the nation》杂志撰写的短评、书评现多收集在由ketner和cook编辑出版的《contributions to the nation》中；但他在海岸地测局和哈佛气象台的诸多贡献已经为他（也为这两机构）在很年轻时就赢得了国际（特别是在欧洲）声誉（peirce1870年、1875年、1877年、1880年和1883年先后五次接受测量局任务到欧洲考察，同欧洲的许多科学家建立了联系，并极力主张扩大科学界的国际联系）。peirce于1867年成为美国文理学院的常驻会员，1877被选为国家科学院的成员，1880年被选为伦敦数学学会成员，1881年被选进入美国科学进步协会。而且值得一提的是，现在peirce已被认为是采用光波长来测定米制长的先驱。
然而，尽管他原本可以很好地专职于科学职业，并有广阔的前景；并且事实上，他也是由化学进入了各种各样的科学部门，并投入了极大的兴趣和精力，成为美国当时杰出的科学家。但与逻辑学相比，它们只是他生命的第二焦点。
从理想志向来看，peirce视逻辑学为其天职。早年在父亲指导下学习《纯粹理性批判》时就认为康德的失败主要在于其“平庸的逻辑”，要超越康德体系，必须发展一种崭新的逻辑。他声称在12岁时已经除了逻辑别无其他追求；甚至在生活潦倒、疾病缠身的困境中他依然坚持这一工作。他建有自己的私人逻辑史图书馆，他是近代以来少有的精通古代和中世纪逻辑的一位逻辑学家。他自己说，他是自中世纪以来唯一全身心贡献于逻辑学的人，并声称他是终生的逻辑推理学习者。1906年他在美国《who’s who》中把自己命名为一名逻辑学家，这在当时是绝无仅有的现象。晚年在milford的arisbe，他形容自己为田园逻辑学家、逻辑学隐士。与具有美好前程的科学职业相比，peirce之所以热中于当时不可能成为谋生手段的逻辑学，更多的是出于对自己既定学术目标的追求：要发展一种有前途的逻辑。他对于逻辑的执著和热情，使得他在逻辑学上的贡献并不亚于科学。
年仅二十几岁时，peirce就开始在哈佛和lowell学院作关于逻辑学的演讲；从1879年直到1884年，在保持海岸地质测量局职位的同时，他作为johns hopkins大学（美国 历史 上第一所研究生学院）的兼职逻辑学讲师（这是他一生唯一一次获得的大学职位），并在这期间出版了他第二本书（也是最后一本）《逻辑研究》(1883年，pei
rce主编)。这本书在当时的美国乃至整个欧洲都有较大影响。在1901年，他为baldwin的《哲学心理学辞典》撰写了大部分的逻辑学词条。
虽然peirce只有短暂的学院生活来传播他的逻辑理论，但在他那个时代，peirce已经是一位国际性人物。在五次访问欧洲期间，虽然他是作为科学家去考察，但不仅碰到了许多著名科学家，也会见了当时知名的数学家与逻辑学家，包括de morgan、mccoll、jevons、clifford、spencer等，还与cantor、 kempe、jourdain、victoria夫人等保持着通信关系。1877年英国数学家和哲学家w. k. clifford评价“charles peirce. . .是最伟大的在世逻辑学家，是自aristotle以来已经为这一学科增加实质 内容 的第二个人，那另一个是george boole，《思维 规律 》的作者。”〔4〕
而在今天，peirce学者不断发掘出的peirce的逻辑尤其是 现代 逻辑贡献更是值得重视。一般认为，他早期主要是作为一名布尔主义者（boolean）从事代数逻辑方面的研究，而晚年他的贡献主要集中于图表逻辑方面，主要包括存在图表系统和价 分析 法。1870年peirce的“描述一种关系逻辑记法，源于对boole逻辑演算的扩充”是现代逻辑史上最重要的著作之一，因为它第一次试图把boole逻辑代数扩充到关系逻辑，并在历史上第一次引入（比frege的 begriffschrift 早两年）多元关系逻辑的句法。在1883年之前他已经发展了量化逻辑的完全的句法，与直到1910年才出现的标准的russell-whitehed句法仅仅在特殊符号上有点不同。
在对于数理逻辑贡献的广泛性和独创性方面，peirce 几乎是无与伦比。与逻辑主义学派的frege相比，peirce的特殊贡献不在定理证明方面上，而更多的是在新颖的逻辑句法系统和基本逻辑概念的精制化发展上。他创造了十多个包括二维句法系统在内的不同逻辑句法系统。把实质条件句算子（在他那里的形式为“—<”）引入了逻辑学，比shaffer早40年发展了shaffer竖并仅仅基于这一算子发展了一完全的逻辑系统。还独立地系统采用了真值表方法和归谬赋值法，过早地意识到skolem前束范式的技术。在johns hopkins 大学教书期间，peirce开始研究四色图猜想并发展了逻辑和拓扑学特别是拓扑图论之间的广泛联系。
我们看到，peirce不仅是有着突出贡献的科学家，同时也是著名的逻辑学家。然而在二者关系上，首要的一点是：他承认自己热爱科学，但坦言对于科学的研究只是为了他的逻辑；因为逻辑的研究需要从各种特殊科学（还有数学）的实际推理方法中概括出一般的逻辑推理方法，而决不是仅仅从逻辑书籍或讲课中背诵、记忆和解题；多样化的科学研究正是为了逻辑之全面概括，由它们获得的材料形成了逻辑学的基础和工具。实际上，这种前后的“从属关系”最突出地表现在他晚年常常是以作为科学家的收入来维持从事逻辑学研究的时间。
2 逻辑学作为 科学
虽然上文表明逻辑学家peirce与科学家peirce之间有近乎目的与手段间的主从关系，但事实上并非如此简单，它们还有更为深刻的一层关系，那就是：逻辑学也是科学。很显然，这是peirce长期的实验室经历已经使得他以科学的 方法 处理所有 问题 （他有时的确称自己为“实验室 哲学 家”）包括逻辑学了。
我们首先看，科学在peirce那里意味着什么？peirce看到大多数人包括科学界之外的人都习惯于把科学视为特殊种类的（主要是指系统化的）知识，而他更愿意像古希腊人那样把科学作为认知的方法，但他强调这种方法一定要是科学探究（inquiry）的方法。知识开始于怀疑，为了寻求确定的信念我们必须要解决（settle）怀疑，一般解决怀疑的方法主要有情感方法（求助于自己的感觉倾向）、信忠团体的方法（选择那些最适合其 社会 团体的那一信念）和尊重的方法（求助于自己对于某特别个人或机构的尊重之感情）等；但这些方法本质上都是自我中心的非客观的方法，它们往往只通过怀疑者自己的行为、意愿来选择信念，缺乏足够的证据。而真正客观的方法只有科学探究的方法，在这种方法指引之下，探究者从经验出发基于科学共同体(community)的合作去寻求真理（truth）或实在（reality），这也正是科学活动；最终的真理性认识可能并不是由某一实际的探究者所发现，但只要是遵循这种方法、运用先前的结果，最后都必定会一致达到真理的。这正是peirce在《通俗科学月刊》上发表的两篇经典性论文《信念的确定》和《如何使我们的观念清楚明白》中所阐述的实用主义（与后来james版本的实用主义有很大不同）方法相一致的，事实上如peirce所指出的，实用主义不是什么世界观，本质上是一种方法，一种科学探究的方法。而与此同时，我们看到，peirce把逻辑学视为设计 研究 方法的 艺术 ，是方法之方法，它告诉我们如何进行才能形成一个实验计划；逻辑就是对于解决怀疑的客观方法的研究，是对于达到真理之方式的研究，其目的就是要帮助我们成为“科学人”。 现代 科学之优于古代之处也正在于一个好的逻辑，健全的逻辑 理论 在实践上能缩短我们获知真理的等待时间，使得预定结果加速到来。
但是我们发现，他在思想更为成熟的阶段是把逻辑学的科学属性放置于指号学（semiotics或更多的是semieotics）的语境中来考察的，虽然这种处理与以上把逻辑学视为科学方法之研究存在着根本上的一致性。
peirce不止一次指出，在最广泛的意义上的逻辑学就是指号学或关于指号的理论，仅仅是指号学的另一个名字。〔5〕它包括三个部门：批判逻辑学（ critical logic），或狭义上的逻辑学，是指号指称其对象的一般条件的理论，也即我们一般所谓逻辑学；理论语法（speculative grammar），是指号具有有意义特征的一般条件的学说；理论修辞（speculative rhetoric），又叫方法论（methodeutic），是指号指称其解释项的一般条件的学说。〔6〕这种划分可能受中世纪大学三学科：语法、辩证法（或逻辑学）和修辞的课程设置的 影响 ，指号学在某种程度上可视为对于中世纪后期所理解的逻辑的现代化版本。而我们在此需要强调的是，peirce把指号学视为经验科学、观察科学。推理就是对于指号的操作，观察在其中发挥着重要作用；指号学同其它经验科学的不同在于它们实验操作对象不一样，在于其它科学的目的仅仅是发现“实际上是什么”而逻辑科学要探明“必定是什么”。但既然是经验科学，根据经验 学习 的科学人进行逻辑推理所得到的结论就是可错的即准必然的（事实上，任何逻辑必然都只是相对于特定
推理前提而产生必然的特定结论）。
更进一步，peirce把狭义上的逻辑学(logic exact)分成假设逻辑（abductive logic）、演绎逻辑和归纳逻辑三部分。显然这比传统逻辑上演绎（必然的）、归纳（可能的）二分的做法多出了 内容 。peirce得出这样的结论是对于aristotle三段论基本格研究的结果，他认为barbara集中表现了演绎推理的本质，而作为特殊的演绎三段论baroco（把barbara中结论的否定作前提、小前提的否定作结论）和bocardo（把barbara中的结论的否定作前提、大前提的否定作结论），如果把它们的结论考虑为或然性的，则分别相应于假设推理(abductive reasoning)和归纳推理。但更重要的是，peirce在此显示出了逻辑学与科学的最合理的紧密联系。在他看来，演绎逻辑也即数学的逻辑，而假设逻辑和归纳逻辑主要就是科学的逻辑。在演绎逻辑已经得到普遍承认的情况下，他终生的愿望就是要把归纳和假设（abduction）同演绎一起坚固地和永久地确立在逻辑概念之中。在科学探究过程中，假设、演绎和归纳先后组成了三个不同阶段的科学方法，它们的共同作用使得科学探究能自我修正。
peirce把假设放在首位，作为科学探究程序的第一步，目的在于发现和形成假说。假设是为解释违反 规律 （或习惯）的意外事实而产生假说的过程，它能产生新信息，peirce把它视为所有科学研究甚至是所有普通人的活动的中心。但这种假设并没有提供安全可靠的结论，假说必须要经过检验。于是，还需要演绎来解释（explicate）和演示（demonstrate）假说即得出预言；再后由归纳回归到经验，旨在通过观察被演绎出的结果是否成立来证实或否证那些假说，即决定假说的可信赖度。在这连续的三种推理形式中，假设是从意外事实（surprising facts）推到对事实的可能性解释，演绎是从假说前提推到相应结论，归纳则是从实例到一般化概括。经过这样的科学探究，我们在科学共同体中将能不断接近真理。
3 逻辑学中的化学概念移植
为更具体地论述peirce的科学研究与逻辑学研究之间的紧密联系，我们在此可谈到peirce对科学中的许多概念向逻辑学研究的成功 应用 ，这突出表现在化学上。因为化学是peirce的大学专业，也是他进入整个经验科学的入口。
逻辑学作为一门特殊的学科领域，事实上从近代以来，就从数学（包括代数和几何）理论那里找到了非常有力的 发展 动力和理论技术。我们在此谈到的化学概念应用作为整个 自然 科学概念推广中的一例其实也是peirce为发展逻辑学而提出的。
首先，peirce晚年极为倾心的存在图表逻辑构想正是基于化学图表原理（可能还有拓扑学方法的启发）。存在图表是peirce在其指号学背景下对euler图和venn图的重大发展，具有极强的表现力。其在自然、直观、易操作上要远胜于代数方法（包括标准的peano-russell记法），因为我们心灵的思想过程被同构地展现在推理者面前，对于图表的操作代替了在化学（和物理）实验中对于实物的操作。化学家把这样的实验描述为向自然（nature）的质疑，而现在逻辑学家对于图表的实验就是向所关涉逻辑关系之本性（nature）的置疑。〔7〕
第二个例子，现代逻辑（可能从《数学原理》开始）中的一对基本概念:命题和命题函项（或有时称为闭语句和开语句）原本就是来自化学中的“饱和”（saturation或gesättigkeit）和“未饱和”概念。peirce用黑点或短线来代替语句中的“指示代词”（即逻辑中的自变元），得到形如“——大于——”、“a大于——”这样的形式，它们分别被称为关系述位（relative rhema）（区别于像系词一样的关系词项）和非关系述位，也即他那里的谓词（谓词是几元的取决于我们到底如何选择去 分析 命题）。他指出，述位不是命题，并坦言“述位在某种程度上与带有未饱和键（unsaturated bonds）的化学原子或化学基极为相似。”〔8〕然而不无意外，我们发现同时期欧洲大陆的frege也正在独立地从化学概念得到逻辑研究的灵感。他把诸如“……的父亲”的函项记号称为“未饱和的”或“不完全的”表达式，以与专有名词相区别。〔9〕
另外一个例子是peirce提出的价分析（valency analysis）法。正如名字所显示出的，它同化学中的化合价概念密切相关，peirce所使用的词语valency直接源于化学中的术语valence即化合价。价分析是peirce在图表化逻辑思想指引下于存在图表（existential graphs）之外创设的另一种二维表现法。其中，显然他是把思想中概念的组合与“化学离子”的组合相比拟，如他采用类似“——”这样的结构表示带有“开放端（loose end）”(即黑点后面的横线)的实体，即谓词；这就是化学中离子结构的简单变形。由于它们的开放端导致的“不稳定”（正像离子本身不稳定一样），开放端之间就可能连接起来形成共同“键”（bond）。如 “—— ”同“ ——”可形成“——”样式的新结构〔10〕。正是利用这样的离子组键技术，peirce成功证明了其著名的化归论题，即对于三元以上关系都可化归到三元和三元以下的关系，但一元、二元和三元关系却不能化归。这一论题是他哲学思想体系中所坚持的三分法原则的逻辑证明。
综观peirce的科学家经历和逻辑学家志向，peirce把逻辑学视为对于各种科学推理方法的概括，同时又把逻辑学理论指导、应用于科学研究过程。二者紧密相连，互为作用。而更为突出的，他的逻辑贡献大都可追溯到其多样化的科学研究，他的逻辑独创往往也是其科学研究经验的启发性建议。笔者以为，研究peirce的这些方面，我们至少可得出以下启示：逻辑学应从数学和科学推理实践中概括推理的一般本质；逻辑学家应尽可能学习、掌握科学（传统逻辑就因为没有这样做而失败，科学家非逻辑学家或逻辑学家非科学家都不能胜任于对科学推理的分析工作），因为拓宽自己的科学研究领域必将能加强逻辑学家对于逻辑科学的贡献能力；同时科学家要想更为一般地把握住推理方法也应了解逻辑学，但是前者在当前学术界值得特别注意。当前处于被冷落地位的逻辑学要想摆脱这种局面，必须加快发展自己；而经验科学（不再仅仅是数学）必能使得逻辑学发展获得新的生命力，这已经是被现代逻辑的发展史（特别是初创时期）所证实的。
参考 文献 ：
〔1〕库克. 现代数学史〔m〕.呼和浩特：内蒙古人民出版社，1982年. 61.
〔2〕罗素. 西方的智慧〔m〕.北京：商务印书馆，1999年. 276.
〔3〕hilary putnam. peirce the logician〔j〕.historia mathematica , 9（1982）. 292.
〔4〕max fisch. the decisive year and its early consequences〔m〕. writings of charles s. peirce: a chronological edition(vol.2). bloomington, indiana. indiana university press. 1984. introduction.
〔5〕〔6〕〔7〕〔8〕charles sanders peirce. collected papers of c. s. peirce (vol.1-8)〔c〕.cambridge, massachusetts. harvard university press. 1931-58. 2.227，2.93，4.530，3.421.（按照peirce文献的通常标注法，这里如“2.227”的记法，小圆点前面的数字为卷数，后面的数字为节数）
〔9〕威廉·涅尔，玛莎·涅尔. 逻辑学的发展〔m〕.北京：商务印书馆，1985年.624.
〔10〕robert burch. valental aspects of peircean algebraic logic〔j〕, computers math. applic, vol.23, no.6-9, 1992. 665-677.
peirce：the scientist and logician
关键词： Peirce；科学家；逻辑学家；科学；指号学；化学概念
中图分类号：B81-095 文献标识码：A
虽然Peirce的思想具有极为广阔的视野，但当今学者所公认、Peirce本人也承认的他的两个主要研究领域却是科学和逻辑学。科学和逻辑学是Peirce毕生付出精力最多的两个领域，也是他在大学毕业后决定他一生将做什么时曾犹豫不决的两种选择。但在其学术兴趣上它们是他的孪生子，二者在理论联系上常常是融为一体，成为Peirce最倾心关注的焦点。而且，作为科学家和逻辑学家的经验是Peirce整个哲学系统构建的基础与出发点，是贯穿他一生思想发展变化的重要影响因素。实际上，科学和逻辑学的共同追求正是Peirce为自己所界定的生活目标。把握他的这一显著特征，我们可考察作为科学家的Peirce与作为逻辑学家的Peirce之间的某些联系。
1 科学家职业、逻辑学家志向
从实际从事职业来看，Peirce是位科学家，包括化学家、大地测量员、物理学家、天文学家、工程师、发明家、实验心理学家等等；同时这也是他谋生的门路，是他最早获得学术名声的领域。
成为一名科学家，Peirce具有非常优越的条件；同时这也是他的亲戚朋友尤其是父亲所期望的。Peirce出生于具有良好科学氛围的家庭，特别是其父亲Benjamin Peirce是哈佛大学天文学和数学Perkins教授，也是当时美国最有影响的数学家。Peirce从小由其父亲教授数学、物理学和天文学等学科；其聪颖智慧深得父亲欣赏。而Peirce本人也深受父亲影响，尤其是在父亲1880年去世之后，他极想遵照父亲遗愿而继承父亲的事业，从此专注于科学研究。
同时，Peirce在1867年被安排在气象台从事观测工作，并于1869年被任命为副手。他曾是一次日环食和两次日全食现象的观测者，还负责使用气象台新获得的天体光度计。1871年其父亲获得国会授权进行横跨大陆的地质测量，Peirce由此又成了职业的大地测量员和度量衡学家。
Peirce 生前虽只出版过一本科学方面的书（《光测研究》(1878)），为《the Nation》杂志撰写的短评、书评现多收集在由Ketner和Cook编辑出版的《Contributions to the Nation》中；但他在海岸地测局和哈佛气象台的诸多贡献已经为他（也为这两机构）在很年轻时就赢得了国际（特别是在欧洲）声誉（Peirce1870年、1875年、1877年、1880年和1883年先后五次接受测量局任务到欧洲考察，同欧洲的许多科学家建立了联系，并极力主张扩大科学界的国际联系）。Peirce于1867年成为美国文理学院的常驻会员，1877被选为国家科学院的成员，1880年被选为伦敦数学学会成员，1881年被选进入美国科学进步协会。而且值得一提的是，现在Peirce已被认为是采用光波长来测定米制长的先驱。
然而，尽管他原本可以很好地专职于科学职业，并有广阔的前景；并且事实上，他也是由化学进入了各种各样的科学部门，并投入了极大的兴趣和精力，成为美国当时杰出的科学家。但与逻辑学相比，它们只是他生命的第二焦点。
从理想志向来看，Peirce视逻辑学为其天职。早年在父亲指导下学习《纯粹理性批判》时就认为康德的失败主要在于其“平庸的逻辑”，要超越康德体系，必须发展一种崭新的逻辑。他声称在12岁时已经除了逻辑别无其他追求；甚至在生活潦倒、疾病缠身的困境中他依然坚持这一工作。他建有自己的私人逻辑史图书馆，他是近代以来少有的精通古代和中世纪逻辑的一位逻辑学家。他自己说，他是自中世纪以来唯一全身心贡献于逻辑学的人，并声称他是终生的逻辑推理学习者。1906年他在美国《WHO’S WHO》中把自己命名为一名逻辑学家，这在当时是绝无仅有的现象。晚年在Milford的Arisbe，他形容自己为田园逻辑学家、逻辑学隐士。与具有美好前程的科学职业相比，Peirce之所以热中于当时不可能成为谋生手段的逻辑学，更多的是出于对自己既定学术目标的追求：要发展一种有前途的逻辑。他对于逻辑的执著和热情，使得他在逻辑学上的贡献并不亚于科学。
年仅二十几岁时，Peirce就开始在哈佛和Lowell学院作关于逻辑学的演讲；从1879年直到1884年，在保持海岸地质测量局职位的同时，他作为Johns Hopkins大学（美国历史上第一所研究生学院）的兼职逻辑学讲师（这是他一生唯一一次获得的大学职位），并在这期间出版了他第二本书（也是最后一本）《逻辑研究》(1883年，Peirce主编)。这本书在当时的美国乃至整个欧洲都有较大影响。在1901年，他为Baldwin的《哲学心理学辞典》撰写了大部分的逻辑学词条。
虽然Peirce只有短暂的学院生活来传播他的逻辑理论，但在他那个时代，Peirce已经是一位国际性人物。在五次访问欧洲期间，虽然他是作为科学家去考察，但不仅碰到了许多著名科学家，也会见了当时知名的数学家与逻辑学家，包括De Morgan、McColl、Jevons、Clifford、Spencer等，还与Cantor、 Kempe、Jourdain、Victoria夫人等保持着通信关系。1877年英国数学家和哲学家W. K. Clifford评价“Charles Peirce. . .是最伟大的在世逻辑学家，是自Aristotle以来已经为这一学科增加实质内容的第二个人，那另一个是George Boole，《思维规律》的作者。”〔4〕
而在今天，Peirce学者不断发掘出的Peirce的逻辑尤其是现代逻辑贡献更是值得重视。一般认为，他早期主要是作为一名布尔主义者（Boolean）从事代数逻辑方面的研究，而晚年他的贡献主要集中于图表逻辑方面，主要包括存在图表系统和价分析法。1870年Peirce的“描述一种关系逻辑记法，源于对Boole逻辑演算的扩充”是现代逻辑史上最重要的著作之一，因为它第一次试图把Boole逻辑代数扩充到关系逻辑，并在历史上第一次引入（比Frege的 Begriffschrift 早两年）多元关系逻辑的句法。在1883年之前他已经发展了量化逻辑的完全的句法，与直到1910年才出现的标准的Russell-Whiteh句法仅仅在特殊符号上有点不同。
在对于数理逻辑贡献的广泛性和独创性方面，Peirce 几乎是无与伦比。与逻辑主义学派的Frege相比，Peirce的特殊贡献不在定理证明方面上，而更多的是在新颖的逻辑句法系统和基本逻辑概念的精制化发展上。他创造了十多个包括二维句法系统在内的不同逻辑句法系统。把实质条件句算子（在他那里的形式为“—<”）引入了逻辑学，比Shaffer早40年发展了Shaffer竖并仅仅基于这一算子发展了一完全的逻辑系统。还独立地系统采用了真值表方法和归谬赋值法，过早地意识到Skolem前束范式的技术。在Johns Hopkins 大学教书期间，Peirce开始研究四色图猜想并发展了逻辑和拓扑学特别是拓扑图论之间的广泛联系。
我们看到，Peirce不仅是有着突出贡献的科学家，同时也是著名的逻辑学家。然而在二者关系上，首要的一点是：他承认自己热爱科学，但坦言对于科学的研究只是为了他的逻辑；因为逻辑的研究需要从各种特殊科学（还有数学）的实际推理方法中概括出一般的逻辑推理方法，而决不是仅仅从逻辑书籍或讲课中背诵、记忆和解题；多样化的科学研究正是为了逻辑之全面概括，由它们获得的材料形成了逻辑学的基础和工具。实际上，这种前后的“从属关系”最突出地表现在他晚年常常是以作为科学家的收入来维持从事逻辑学研究的时间。
2 逻辑学作为科学
虽然上文表明逻辑学家Peirce与科学家Peirce之间有近乎目的与手段间的主从关系，但事实上并非如此简单，它们还有更为深刻的一层关系，那就是：逻辑学也是科学。很显然，这是Peirce长期的实验室经历已经使得他以科学的方法处理所有问题（他有时的确称自己为“实验室哲学家”）包括逻辑学了。
我们首先看，科学在Peirce那里意味着什么？Peirce看到大多数人包括科学界之外的人都习惯于把科学视为特殊种类的（主要是指系统化的）知识，而他更愿意像古希腊人那样把科学作为认知的方法，但他强调这种方法一定要是科学探究（inquiry）的方法。知识开始于怀疑，为了寻求确定的信念我们必须要解决（settle）怀疑，一般解决怀疑的方法主要有情感方法（求助于自己的感觉倾向）、信忠团体的方法（选择那些最适合其社会团体的那一信念）和尊重的方法（求助于自己对于某特别个人或机构的尊重之感情）等；但这些方法本质上都是自我中心的非客观的方法，它们往往只通过怀疑者自己的行为、意愿来选择信念，缺乏足够的证据。而真正客观的方法只有科学探究的方法，在这种方法指引之下，探究者从经验出发基于科学共同体(community)的合作去寻求真理（TRUTH）或实在（Reality），这也正是科学活动；最终的真理性认识可能并不是由某一实际的探究者所发现，但只要是遵循这种方法、运用先前的结果，最后都必定会一致达到真理的。这正是Peirce在《通俗科学月刊》上发表的两篇经典性论文《信念的确定》和《如何使我们的观念清楚明白》中所阐述的实用主义（与后来James版本的实用主义有很大不同）方法相一致的，事实上?鏟eirce所指出的，实用主义不是什么世界观，本质上是一种方法，一种科学探究的方法。而与此同时，我们看到，Peirce把逻辑学视为设计研究方法的艺术，是方法之方法，它告诉我们如何进行才能形成一个实验计划；逻辑就是对于解决怀疑的客观方法的研究，是对于达到真理之方式的研究，其目的就是要帮助我们成为“科学人”。现代科学之优于古代之处也正在于一个好的逻辑，健全的逻辑理论在实践上能缩短我们获知真理的等待时间，使得预定结果加速到来。
但是我们发现，他在思想更为成熟的阶段是把逻辑学的科学属性放置于指号学（Semiotics或更多的是Semieotics）的语境中来考察的，虽然这种处理与以上把逻辑学视为科学方法之研究存在着根本上的一致性。
Peirce不止一次指出，在最广泛的意义上的逻辑学就是指号学或关于指号的理论，仅仅是指号学的另一个名字。〔5〕它包括三个部门：批判逻辑学（ Critical Logic），或狭义上的逻辑学，是指号指称其对象的一般条件的理论，也即我们一般所谓逻辑学；理论语法（Speculative Grammar），是指号具有有意义特征的一般条件的学说；理论修辞（Speculative Rhetoric），又叫方法论（methodeutic），是指号指称其解释项的一般条件的学说。〔6〕这种划分可能受中世纪大学三学科：语法、辩证法（或逻辑学）和修辞的课程设置的影响，指号学在某种程度上可视为对于中世纪后期所理解的逻辑的现代化版本。而我们在此枰康鞯氖牵琍eirce把指号学视为经验科学、观察科学。推理就是对于指号的操作，观察在其中发挥着重要作用；指号学同其它经验科学的不同在于它们实验操作对象不一样，在于其它科学的目的仅仅是发现“实际上是什么”而逻辑科学要探明“必定是什么”。但既然是经验科学，根据经验学习的科学人进行逻辑推理所得到的结论就是可错的即准必然的（事实上，任何逻辑必然都只是相对于特定推理前提而产生必然的特定结论）。
