时间：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 结语
【关键词】 逻辑 逻辑方法 中医
任何一种理论要正确反映客观事物，并将反映的内容准确地表述出来，就必须使思维遵循一定的逻辑规律。中医理论之所以能在一定程度上正确地反映自然、人体和疾病的本质和规律，就是因为中医思维遵循了一定的逻辑规律。虽然中医没有明确提出逻辑的概念，但却一直在不自觉地运用着逻辑的思维方法，遍及中医理论体系、中医经典著作以及中医教学等各个方面。因关于逻辑方法的研究尚处于起步阶段，故笔者搜集近十年文献，作一综述，以期对广大中医工作者的学习和研究提供思路。
1 中医理论体系中逻辑方法的应用
吴永贵等［1］认为中医学科学发现和理论构建的逻辑方法，既有通过归纳法发现一般原理，建立理论体系，也有通过类比、想象、提出假设、逐步验证而形成理论；认为中医学逻辑方法的基本特征是：①多向性和多面性一体的特征；②辨证思维的特征。任秀玲［2］认为古医家运用中国先秦逻辑的“应因之术”建构了中医理论体系。“应之道”指导中医学认识和发现生命运动的客观规律，构筑了生理之应、病理之应和天人之应的理论框架。同时作者认为“应因之术”是以客观事物的实(实体)与形(形象、征迹)为基础，提出的解决名实如何一致、相符的逻辑方法。
刘喆［3］认为类比推理方法贯穿于经络学说的形成过程及其应用。认为脉、经、络的提出，是以类比法为依据的。在经络生理方面，类比推理方法被用于说明阐释其功能作用。文末作者综合地评价了类比法的应用价值，认为类比法在经络学说的形成和发展中，一方面给予医家们在理论创新上以重要的指导作用，使经络理论的产生、发展和完善获得了形象的基础，促进了它的形成。
另一方面，它又阻碍了经络学说的深入研究，使经络的认识停留于表象。高京宏等［4］通过分析历代医家对体质从现象分类到本质分类的认识过程，从初步的现象分类、进一步的归纳分类和深入的本质分类三方面对中医体质理论中的逻辑思想作了简要论述。
邢玉瑞等［5］认为类比思维是中医学广泛使用的逻辑思维形式，属于中国传统文化的范畴。它与形式逻辑学中的类比法并不完全等同，有其显著的特征与重要的价值。探讨了类比思维的概念、推理形式及特点。认为类比思维是指古人受天人合一理念的影响，在对自然界观察的基础上，将具有相似或相同特征(即象)的事物划为类，并在类的基础之上进行比较、推导，确定不同类间的联系，使知识在不同类间迁移的一种思维方式。其在中医理论体系中的运用称为中医类比思维；类比思维的基本形式分为比类、类推、比附3种；类比思维具有横向运动和联想性的特点。同时还论述了类比思维在建构藏象、经络理论，推论经脉气血运行与多少，阐述脏腑功能及阳气生理等方面的作用。孙雨来［6］认为中医对于治则、治法的确定，多是利用类比思维，取法自然之理，推入医学之中，成为医学之治则、治法。王志红［7］认为以五行为主线的类比法是中医学的主要逻辑方法之一。在五行类比的逻辑式中，其结构是：特殊-(五行)-特殊，五行是中介，借此中介过渡，才完成了由此及彼的类比推理。此外，中医学结合具体的医学理论及诊疗经验，借用五行相生、相克、相乘、相侮的理论类比说明人体的生理、病理，指导诊断及治疗，在这些类比的逻辑应用中，都是以五行作为中介而展开的。周唯［8］认为以辨证论治为主的中医诊疗活动是一种科学的、理性的实践活动，逻辑思维是其中普遍存在的思维现象。论述了逻辑思维方法的应用及特点。章新亮［9］认为中医作为传统医学，虽然是通过象形思维来认识事物，但同时中医之象注入了逻辑思维，由象而进入理性分析。即中医认识人体的方法是象形的逻辑思维方法。文中从3个方面进行阐述：①物象以形和意构造逻辑思维；②形和意相结合的辨证思维逻辑；③中医象形观的逻辑形式，其中分为归比逻辑和推理逻辑。卓同年等［10］认为中医历代以来之所以能够进行正确的诊断和施治，除了依据长期的经验效果之外，善于运用成熟的逻辑方法也是一个重要的原因。中医在长期的临床实践中，积极吸收了东西方各类逻辑思想并不断运用这些逻辑来指导临床实践的整个过程，逐渐形成了有自己特色的逻辑形态。从本质上说，中医的这些逻辑思想和方法是一种蕴含在各种具体问题之中的应用逻辑，是发展中医学的重要思维工具。鲁兆麟等［11］通过对近代名老中医医案的总结，指出其中运用的一般逻辑思维方法为分析、综合、归纳和演绎。临床中分析与综合常结合使用，归纳与演绎也常互用互补。
2 《伤寒论》中逻辑方法的应用
陈宝明［12］认为《伤寒论》之所以能确立祖国医学完整的辨证论治体系，成为历代医家所推祟的不朽之作，正是由于张仲景掌握和运用了正确的思维逻辑方法，从而揭示了六经病证的内在规律。作者从四个方面进行了论述：①六经辨证的归纳演绎法。②六经辨证的分析综合法。③六经辨证的假说验证法。其中作者将假说验证法分为了病因的假说验证、诊断上的假说验证、六经病治疗的假说验证、六经病传变的假说验证以及六经病预后的假说验证五点。④六经病的比较分类法。陈瑞春［13］就《伤寒论》中常用的逻辑方法，如比较、分类、分析、综合、推理等方面做了简单的归纳整理。王历等［14］就《伤寒论》中常用的比较法、推理法、分析和综合法以及归纳法作了初步探讨。其中，比较法分为对举比较法和互参比较法；推理法分为判断推理法、排除推理法以及试探推理法。钟玲［15］认为《伤寒论》通过许多条文具体表述了诊断假说的建立和验证过程。如第56条，就体现了一个诊断假说建立和验证的3个步骤。
3 《金匮要略》中逻辑方法的应用
宋建平［16］认为《金匮要略》中所涉及的科学逻辑思维方法有取类比象、分析与综合、归纳与演绎、抽象与具体等，而且这些逻辑方法在中医学中有着较广泛的运用，并举出《金匮要略》中相应的原文逐条进行了论述。赵力维［17］将《金匮要略》中所运用的比较、分析、综合和归纳等逻辑方法作了简要论述。文中指出《金匮》一书分别从症状、脉象、病机和治疗等方面进行了比较，并举出关于“异病同治”和“同病异治”的原文为例；对于分析和综合的应用，以《虚劳病篇》为例进行了阐述。
4 《内经》中逻辑方法的应用
史新民［18］认为《内经》中的全息逻辑方法（全息思想：局部显现的信息是整体的信息的浓缩），以天人相应为基础，以生命活动的各层次系统为对象，运用阴阳、表里、寒热、虚实、动静、刚柔等范畴形成具有自我修补功能的公理系统，从而克服了用静止的概念把握运动的状态，用抽象的范畴把握具体生命活动的局限。特别是比类取象、司外揣内、比类别异、慧然独悟等方法的运用，极大地提高了中医的思维能力和认识水平，赋予《内经》以无限的生命力。作者从四个方面论述了《内经》全息逻辑方法的特点：①《内经》全息逻辑范畴的具象性；②全息逻辑范畴的对偶性；③全息逻辑的非线性因果思维；④全息逻辑体系的自我修补特点。董尚朴等［19］简要阐述了归纳、演绎、类比以及验证在《内经》中的体现。
5 中医教学中逻辑方法的应用
邢玉瑞［20］从明晰概念、严密推理、辨证思维3个环节探讨了逻辑方法在中医教学中的应用情况：①概念的界定与匡正。中医教材对概念的正确定义重视不够，常有疏漏之处，如中医学两大特点之一的整体观念，《中医基础理论》中没有明确的定义；②推理方法的应用。中医学对阳气的生理功能、节律变化的认识，采用了类比的推理方法，如《素问·生气通天论》言：“阳气者，若天与日。”③辨证逻辑方法的应用。如反佐法是《内经》提出的组方配伍方法之一，是针对方剂的主要治疗作用与部位趋向，配伍一二味性质、作用相反的药物，以达到纠偏克弊，或顺应四时变化，治不违时的目的，具体应用可分为寒热反佐、升降反佐、开合反佐、动静反佐等，反映了中医辨证思维对立统一的特点。
6 小结
通过大量文献的搜集和整理，发现对中医关于逻辑方面的研究还处于起步阶段，而其中逻辑方法的研究更是寥寥。透过此综述可以看出，逻辑方法的研究虽然遍及中医理论体系、中医经典著作以及中医教学等各个方面，但论述多是只言片语，没有系统地进行深入研究；或者只论述了个别逻辑方法，很不全面，存在诸多问题。逻辑学虽然对中医来讲是一个新概念，中医学没有具体讲述逻辑学的知识，然而中医学这个严密而完备的理论体系，却处处体现着逻辑学理念和方法的运用。中医经典著作作为中医的根基和灵魂，逻辑方法的运用更是不可或缺的工具。故加强中医领域内，尤其是经典著作的逻辑方法的研究，已成为新的突破口，同时也为广大中医人提高临床辨证的思维能力，加速自身思维的改造，进行理论创新提供了条件。
参考文献
［1］ 吴永贵，章涤凡.中医学的逻辑方法［J］.云南中医学院学报， 2005， 28(2):3.
［2］ 任秀玲.先秦逻辑的“应因之术”是形成中医理论体系的重要方法［J］.中国医药学报，1998，13(6):15
［3］ 刘 喆.从类比逻辑方法看经络学说的起源与发展［J］.甘肃中医学院学报， 1994，11(2):39.
［4］ 高京宏，龚海洋.中医体质学研究的逻辑思想浅释［J］.中医药学刊， 2005， 23(2):316，335.
［5］ 邢玉瑞.孙雨来类比思维与中医藏象学说的建构［J］.山东中医药大学学报， 2002，26(6):414.
［6］ 孙雨来.类比思维在中医治则治法中的意义［J］.中医药学刊，2003，21(3):370.
［7］ 王志红.五行类比的逻辑结构［J］.云南中医学院学报， 1996，19(4):23.
［8］ 周 唯.辨证论治中的逻辑思维应用举隅［J］.山东中医药大学学报， 2003，27(5):335.
［9］ 章新亮.中医象形观与逻辑思维浅探［J］.湖北中医杂志，2003，25(2):6.
［10］ 卓同年，谷培恒. 论中医临床思维的逻辑方法及其运用［J］.新疆中医药，1999，17(2):1.
［11］ 鲁兆麟，杨蕙芝.近代名老中医临床思维方法，第1版［M］.北京:人民卫生出版社，1997:172.
［12］ 陈宝明.《伤寒论》六经证治思维逻辑方法初探［J］.大同医学专科学校学报， 1999，19（4）:27.
［13］ 陈瑞春.陈瑞春论伤寒，第1版［M］.北京:中国中医药出版社， 1996：28.
［14］ 王 历，周纯杰.《伤寒论》的逻辑方法初探［J］.中医药学报， 1988，16(3) :18.
［15］ 钟 玲.浅谈《伤寒论》中的几个医学逻辑问题［J］.陕西中医学院学报，1991，14(3):21.
［16］ 宋建平.《金匮要略》逻辑方法拾隅［J］.国医论坛， l991，6(6):10.
［17］ 赵力维.《金匮要略》几个逻辑方法举隅［J］.吉林中医药， 1986，6(2):9.
［18］ 史新民.《内经》全息逻辑方法的内涵及其特点［J］.中医药学刊， 2003，21(9):1543.
一王延直(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）。这样不仅培养了学生的化归整理的原则，在某种程度，某种意义上达到了化难解易的导向目的！
三、逻辑思维灵活运用的特点
有了逻辑思维推理的学科特点与逻辑思维推理的导向性原则，并不等于就能解决逻辑思维较难的问题，仅就逻辑思维推理而言，技巧何其重要！俗话说：熟能生巧！多年来的数学教育教学实践及有针对的对学生练习训练的经验告诉我：学生解题多了，方法就灵活了、无限了！知识基础越坚实，知识面就越广，就越能发挥自己的解题思维的想象力。当然并不意味着知识面越多，想象力越丰富。而是需要养成从多角度认识事物的习惯，灵活、全面地认识事物的内部与外部之间、某事物同他事物之间的多种多样的联系与区别，才能拓展自己的逻辑思维推理的想象力。这对逻辑思维推理能力的提高是有着十分重要的意义。也是灵活运用数学知识与解决数学相关实际问题的保证。
总之，在教育教学中对小学生逻辑思维推理能力的培养也不是一成不变的！其方法多样、灵活！我们在教学中应注意对学生逻辑思维过程的组织、正确的逻辑思维方向的训练及对学生良好逻辑思维品质的培养！并进一步的深化逻辑思维能力的学科特点、以及逻辑思维推理的导向性特点和注重日常学习生活中逻辑思维推理的灵活运用的特点！有条件、有步骤、有根据的对小学生渐进式的逻辑思维推理能力的促进。多角度、多渠道、多方向的组织和引导学生的逻辑思维推理。使小学生各方面的逻辑思维推理的能力得以不断的提高和深化是教育教学走向成功的奠基。
关键词：数理逻辑；离散数学；教学方法
中图分类号：G642 文献标识码：B
1引言
离散数学是现代数学的一个重要分支，是计算机科学中基础理论的核心课程。学习离散数学，可培养和提高学生的抽象思维能力和逻辑推理能力，为学生继续学习和工作、参加科学研究打下坚实的数学基础。离散数学中的数理逻辑是用数学方法来研究推理的形式结构和推理规律的数学学科，它与数学的其他分支、计算机学科、人工智能、语言学等学科均有十分密切的联系，并且日益显示出它的重要作用和更加广泛的应用前景。要想很好地使用计算机，就必须学习数理逻辑。
数理逻辑通常是离散数学学习的开始部分，但由于这一部分内容概念抽象、公式定理较多，推理方法灵活等原因，学生学习入门困难，对问题不易入手解决。而对数理逻辑的把握将直接影响到学生对离散数学整个课程的学习，影响到学生计算机思维逻辑的正确形成。如何提高数理逻辑部分内容的教学水平和质量，对学生学习后面的内容具有现实的意义。本文结合作者近年来教学的实际情况，从教学方法以及实践方面进行探讨。
2教学方法探讨
2.1激发兴趣
(1) 引入逻辑小故事激发学习兴趣
在进入新课讲解之前先引入逻辑小故事，激发学生的学习兴趣。比如流传很广的“二难推理”。“古希腊一个国王喜欢杀人，而且他们给每个被杀的人说要是在杀他之前他说真话的话就给他绞刑，要是假话就砍头。终于一天碰到个聪明人说了一句话，不仅没被杀头还让国王和大臣下不了台，你说那个聪明人说的什么。”可让学生首先进入故事角色去思考答案，这样不但能够激发学生的学习兴趣，同时意识到学习逻辑的重要性。
(2) 引用科学家的话激发学习动力
数理逻辑部分内容概念抽象，学生学习困难，常常会产生知难而退的情绪，并且开始意识不到它的重要性。基于此，可以引用著名的计算机软件大师狄克斯特(Dijkstra)曾经说过的“我现在年纪大了，搞了这么多年软件，错误不知犯了多少，现在觉悟了．我想假如我早年在数理逻辑上好好下点功夫的话，我就不会犯这么多的错误。不少东西逻辑学家早就说了，可我不知道。要是我能年轻20岁，我要回去学逻辑。”引用计算机科学家的话来强调数理逻辑的重要性，可以使学习者更加深刻地领悟到这一点，明确学习的目的，激发学习的动力。
也可以引入国家公务员考试题中的部分逻辑题，学生在未学逻辑之前对题目的解答肯定有存在疑问的地方，而这些题目在学完逻辑之后可以得到很好的解决，带着这样问题学习，可以激发学生的学习动力。
2.2明确目的
离散数学是计算机科学与技术专业的核心基础课程，离散数学课程所涉及的概念、方法和理论，大量地应用在数字电路、编译原理、数据结构、操作系统、数据库系统、算法设计与分析、软件工程、人工智能、多媒体技术、计算机网络等专业课程以及信息管理、信号处理、模式识别、数据加密等相关课程中，一些重要实用项目(例如信息技术、战争、经济等等)的理论模型正是离散数学模型，通过离散数学的理论推导、算法设计与分析、编程与软件制作，最后上机付诸实现。它能锻炼学生的概括抽象能力、逻辑思维能力、归纳构造能力，这些能力是一切软硬件计算机科学工作者不可缺少的。离散数学课程所传授的思想和方法广泛地体现在计算机科学技术及相关专业的诸领域，计算机科学中普遍地采用离散数学中的一些基本概念、基本思想、基本方法，使得计算机科学越趋完善与成熟。
2.3突出重点
数理逻辑是离散数学的难点之一。其主要原因是内容比较抽象且方法较独特，加之题型以知识较广的证明题居多。而命题逻辑又是数理逻辑的基础，熟练而灵活地掌握好命题逻辑中推理证明的方法既是学习命题逻辑的重点，又会为进一步学习谓词逻辑打下良好的基础。命题演算在命题逻辑中占有重要的地位，常见的推理方法有真值表法、等值演算法和主范式法，这三者也是解决谓词逻辑推理的基础，所以在讲解时需下大工夫，作为重点来讲解。
2.4强调方法
离散数学与高等数学等其他的连续数学课程有着完全不同的思维方式，整个知识点的描述建立在逻辑的基础之上。可以说离散数学中逻辑的概念贯穿于整个教学中，因此给学生灌输逻辑的思维方式以及描述问题和证明问题的独特方式是十分重要的。在教学中，我们提出了按定义证明方式，从证明问题本身的定义出发，将其分成两部分，定义的前半部分将作为附加已知条件和题目中本身的已知条件一起加以应用，证明问题定义的后半部分。通过这种方法的总结，学生对大多数证明问题感到轻松自如，使学生的逻辑推理能力提升到更高的层次。离散数学不适合搞“题海战术”，它强调的是逻辑性和抽象性，注重概念、方法和应用，所以千万不要在未完全理解某些概念、基本定理之前就匆忙去做习题。
2.5联系生活
在命题逻辑部分，学生最难掌握的是关于条件式的学习，条件式的前件与后件的关系不好把握。根据课本的定义：设给定两个命题P和Q，其条件命题是一个复合命题，记作PQ，读作“如果P,那么Q”或“P蕴含Q”。真值表如下：
学生对条件式真值表中的第二种情况“善意推断”很费解，这时可以举现实中的例子，如“天下雨，马路就会湿”，分别列举真值表对应的四种情况，这样可以提高学生的学习兴趣，帮助学生理解概念。
在对命题符号化时，前件和后件的位置一直是学生难以把握的难点，有些命题的充分和必要条件表达的并不是很明显。
2.6善于总结
数理逻辑部分看似知识点分散，实则联系紧密，如真值表可以判断公式类型、判断公式等值、求主范式、逻辑推理；主范式可以求真值表、判断公式类型、判断公式等值、逻辑推理等。这时可以画图(如下图)来总结，并且每一关系对应着一道相应的例题，使学生可以从整体把握整个数理逻辑需掌握的内容。
3结束语
通过明确数理逻辑学习的重要性以及具体应用，可以使学生明确学习目标，增加学习兴趣，激发学习动力，为学好离散数学树立信息。“好的开端是成功的一半”，通过合理安排教学内容可以做到重点突出、主线贯穿、知识体系完整。通过多种教学方法与教学手段的使用可以加强教学质量。
参考文献
[1] 匡桂娟. 离散数学中数理逻辑教学的探讨[J]. 桂林航天工业高等专科学校学报,2007,(4).
关键词:认识逻辑;思想政治教育;意义
中图分类号: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
一、模糊逻辑的研究对象
欲弄清模糊逻辑的研究对象首先必须得清楚逻辑的研究对象，因为模糊逻辑只不过是在经典逻辑的基础之上发展起来的一门分支学科。只要搞清楚了逻辑的研究对象，那么模糊逻辑的研究对象也就容易理解了。那么到底什么是逻辑的研究对象呢?对这个问题有着各式各样的回答。“关于逻辑的对象，从大的方面说，可以分为以下几种观点：(1)逻辑是研究思维的；(2)逻辑是研究客观世界的；(3)逻辑是研究语言的；(4)逻辑是研究推理形式的有效性的。”这是国内著名的逻辑学学者陈波所作出的归纳。在书中陈波对以上四种观点进行了一一的剖析，指出了各种观点的优劣所在，最后他提出了自己的看法，他认为逻辑的研究对象是推理形式的有效性。这一观点在张清宇主编的《逻辑哲学九章》中李小五撰写的第一章《什么是逻辑》也得到了认可。通俗地说就是：逻辑研究的对象就是推理的正确性。更严格(更带学术性)地说就是：逻辑研究的对象就是推理形式的有效性。
逻辑研究的对象就是推理形式的有效性这一观点得到了大多数学者和专家的认可，我本人对这一观点也无异议。弄清楚了逻辑的研究对象进而就可以进入我所要谈论的问题了，模糊逻辑的研究对象又是什么呢?在这里，我想从如下几个方面来加以讨论：(1)模糊逻辑的产生背景。人类对自然界的认识大致可以划分为两类，一类是精确的现象，它可以用精确的语言来加以描述。例如，2＋2＝4；贵阳市是贵州省的省会；茅台酒是中国的国酒，等等。可以看出这一类现象它们都具有精确的定义和性质。但是，在现实世界中还有一类难以被精确的描述和定义的现象。例如，花溪是个风景优美的地方(究竟何为风景优美呢?)：他的父亲是个高个子(多高为高个子呢?)；张老师是个中年人(中年人被定义为多少岁呢?)，等等。诸如此类的现象数不胜数，与“精确现象”相对应我们称之为“模糊现象”。为了用严谨的科学手段去研究模糊现象、分析模糊性质，模糊数学应运而生。而模糊逻辑就是在模糊数学的基础之上派生出来的分支学科之一。(2)模糊逻辑的研究对象。前面已经提及逻辑的研究对象是推理形式的有效性，而具体到模糊逻辑来说，它的研究对象就是模糊推理的有效性。那么什么又是模糊推理呢?模糊推理和精确推理它们之间有什么区别和联系呢?下面将对这些问题作出讨论。首先，我们来看看什么是模糊推理，与精确推理一样，模糊推理也由概念、判断这些基本的逻辑元素组成，但是模糊推理有自己独特的推理方式。模糊推理所推出的结论并不具有绝对的真假，它的结论只能用隶属度来刻画，例如前例中的张老师是个中年人，这是一个很典型的模糊判断句，在这里我们就不能用传统逻辑中的绝对的真假来刻画中年人这一概念了，比如40岁是中年人为真，难道41岁是中年人就被看做是假的吗?因为在二值逻辑中只有真和假这两种结论。对于二值逻辑中这一无能为力的问题在模糊逻辑中却能轻易的解决，我们用查德表示法来描述这一事例，查德表示法是通过分式的和来表示模糊集合中的所有元素及其隶属度，其中分母代表元素，分子代表隶属度。上例我们可以表示为(A)＝(0.5／张老师)，意思是说张老师是中年人从程度上来说只有0.5。这里就抛开了绝对的真假。但对于模糊的现象也做出了精确的刻画，之所以要对模糊现象精确化主要是为了模糊推理能够在机器上实现。其次，对有效性进行讨论。陈波对推理的有效性进行了比较精辟的归纳，并提出了五点要求，他认为一个推理是否有效最好能够同时满足以下五个条件：(1)保真性。(2)内容相关性。(3)独立性。(4)题材中立性或普遍适用性。(5)简单性。虽然陈波提出了这样一个框架，但是对于任何一种逻辑推理要同时满足如上五个标准几乎是不可能的。这里我只针对模糊逻辑的有效性发表自己的一些浅显看法。在模糊逻辑中通常用到的推理有模糊假言推理和模糊条件推理，其中，模糊假言推理又最具有代表性。模糊假言推理之定义是：已知模糊命题A(大前提)包含模糊命题B。如存在与A不完全相同的模糊命题A1(小前提)，则能推出相应的结论B1.我们把这个推理过程称为模糊假言推理。例如：
(1)若吃的东西营养丰富，则人的身体会好；那么若吃的东西营养比较丰富，则人的身体会怎样?
(2)若中国在清朝晚期很强大，则不会被帝国主义国家欺负；那么若中国在清朝晚期不是很强大，则会不会被帝国主义国家欺负?
由于模糊假言推理的大小前提都是模糊的，所以其结论也是模糊的。这与传统逻辑所要求的精确性是完全不同的，那么应该如何对模糊推理进行精确的描述以使之能够为机器所识别呢?我们可以从人的经验和模糊数学两个方面来加以讨论。
二、模糊逻辑的形而上学问题
我们首先对形而上学做一个大致的了解以便更好地理解后述问题。形而上学可以从狭义和广义上来加以解释，狭义上的形而上学是指对世界本质是什么的探讨，也就是常说的“本体论”；广义上的形而上学除了“本体论”之外还应该包含“认识论”的这一部分，也就是探讨世界是否可知这一问题。在这里仅就狭义上来对模糊逻辑的形而上学问题进行讨论。
(一)逻辑系统的一元论、多元论、工具主义问题
对于是否有一种唯一正确的逻辑系统这个问题，一开始就大致区分出三种反应，这是有益的：
一元论：只有一种正确的逻辑系统；
多元论：正确的逻辑系统不止一种；
工具主义：没有“正确的”逻辑；正确性这一概念是不妥的。
虽然这三种提法都各自有一定的道理，但是从逻辑学目前的发展形式综合来看我认为第一种提法显然是不合适的，也就是说如果我承认了第一种观点，那么模糊逻辑就是～种错误的逻辑，这显然不是我欲讨论的问题。我个人倾向于赞成第二和第三种观点，第二种观点显然我必须赞成，那么对于第三种我重点的讨论一下。逻辑的工具论可以分为激进工具论与温和工具论两种，激进工具论者认为逻辑纯粹是一种为人们服务的工具而己，没有正确与错误的划分，只能看其是否方便实用；而温和工具论者则认为，逻辑有正确与错误之分，凡具有保真性的逻辑就是正确的逻辑；但逻辑的选择则是相对于特定的目的是否方便与充分实用而言的。激进论的观点显然过于绝对，他们对逻辑这门科学的定位是不正确的，温和工具论的观点比起绝对工具论来更能够让人接受。具体到模糊逻辑而言，它是逻辑学这门学科的一个分支学科，其基本的逻辑原理与传统逻辑是大体一致的，它只是对传统逻辑的一些很难解决的问题从模糊的角度来加以解释和论证，它也是一种正确的逻辑，同时它也是一门工具，目前，模糊逻辑已经应用于很多高科技领域，例如，运用模糊逻辑实现对病人的诊断；运用模糊逻辑实现对机器运行的自动控制等等。
(二)对模糊逻辑的定位
对逻辑的分类而言，不同的论者有不同的划分方法。在各种划分方法之中，我本人比较赞成陈波的分类。陈波把逻辑分为：(1)基本逻辑，(2)应用逻辑，(3)广义逻辑三大类。我个人认为在这里模糊逻辑被划分到应用逻辑之列我认为是很恰当的，在模糊逻辑中并无太多的高深理论要大家去研究，而最为重要的是如何把模糊推理应用于具体的实践之中使之转化为科技成果。
可以看出，模糊逻辑是一种正确的逻辑，同时它也是一门工具，模糊逻辑的许多理论对传统的二值逻辑是非常有益的补充。
