从因特网看当前国外逻辑研究的现状与发展，本文主要内容关键词为：因特网论文,逻辑论文,现状论文,国外论文，此文献不代表本站观点，内容供学术参考，文章仅供参考阅读下载。
中图分类号：TP393;B819
文献标识码：A
文章编号：1008—2921（2000）01—0058—04
随着因特网的普及与发展，为了在世界范围内交换学术研究的信息，当今国外众多国家的大学、科研机构、学术研究团体甚至个人纷纷在因特网上建立自己的网页，利用Web发布学术研究成果， 使得因特网上的学术研究资源不仅丰富多彩，而且每日都在快速增长、随时更新。利用因特网上的信息资源，不仅可以快速地了解到当前在世界范围内某一学科研究的概况，也可以与同行学者进行实时的、交互式的信息交流，共同探讨感兴趣的学术问题。
逻辑专题研究是因特网上众多的研究课题中的一个。逻辑研究的信息或存放于各大学哲学系网页上（如北欧挪威奥斯陆大学哲学系网页、波兰Bialystok大学网页、美国印地安大学网页等）， 或存放于某一学术研究团体的网页上（如由英格兰和威尔士的慈善团体注册的主页——英国逻辑会话，由国际性学术组织符号逻辑协会主办的主页，由国际性职业的从事科学、语言和认识论研究的科学家组成的基础科学、语言和认识协会主页等），或是由个人发布的逻辑研究主页（John Cowan发布的研究成果——人造语言），或存放在讨论有关逻辑问题的新闻组的信件之中。
获取这些信息的方法可以直接通过链接某一大学、研究团体、个人的网址接入，但更便捷的方法是利用我国现有的搜索引擎 （ 搜狐在线http://www.sohoo.com.cn、新浪http://www.sina.com.cn、 ）通过关键字进行索引查找。这些搜索引擎提供了世界范围内十几个可供参考的逻辑专题研究的网址。如：由挪威奥斯陆大学哲学系主办的《北欧哲学逻辑杂志》；由波兰逻辑、哲学科学协会主办的有关世界范围内以逻辑为主题进行研究的数据库《逻辑库》（通过这个逻辑库可以链接五十几个国外的逻辑主页）；介绍荷兰逻辑研究机构与研究活动情况的《荷兰逻辑》；由Johns Hopkins 大学虚拟工程学／科学实验室主办的《虚拟实验室》（提供了一种全交互式实验软件）；《模糊逻辑文库》（存放了从模糊逻辑入门到专家系统的一系列学术研究成果）；《模糊逻辑与模糊系统》（存放的是有关模糊逻辑知识性的介绍）；《美国印第安大学纯逻辑与应用逻辑项目》（介绍了该大学逻辑教学及研究的情况）；由John Cowan提供的个人网页《一个完全的Lajban语言—逻辑语言的语法》；美国Brigham Young 大学计算机科学系的《应用逻辑实验室》；阿姆斯特丹大学主办的《逻辑、语言与计算机研究所》；等等。
因特网上的逻辑资源包括：
1.各大学逻辑教学及研究的情况。如：逻辑教学的主要方向；学者个人的研究方向、研究项目；著名逻辑学者的演讲稿；大学各学期开办的逻辑课程安排；初级逻辑教程书；暑期逻辑专题研讨会的题目、时间；学校主办的各种逻辑专题研讨会的论文集；等等。
2.针对某个学术问题而设的专题讨论网页。如《一个全球性的交谈》是为研究道德规范和遗传学而设的，网页设有一个电子交谈界面，它有10个专门进行这类研究的学者在交谈中回答提问者的问题。它不但能够立即解答人们提出的问题，还可以对这种交谈进行评论。
3.提供了可以进行电子商务的，以逻辑为主题的电子书籍图书馆、书店、出版社、出版商。
4.以在线链接的方式提供了世界各地的各种逻辑研究学会、团体的社会活动信息、成员信息。如：符号逻辑协会；澳大利亚逻辑研究组织；基础科学、语言和认识协会；英国逻辑会话；英国哲学科学协会；范畴理论协会；等等。这些网页介绍这些团体发展的历史与现状，介绍了在这个研究范围内学者的工作情况，以及这个协会历年来编辑出版的电子杂志、业务通讯，发布了各种学术研讨会会议信息等。
5.专题研究。如在丘奇主页上可以下载丘奇的照片、亲笔文件、个人信件、书籍原稿等资料。中世纪逻辑主页上存放了许多杂志和著作中关于12世纪逻辑研究的文章。因特网上这类网页有许多，如：为有兴趣研究摹状逻辑的人提供的主页；FAQ模糊逻辑主页； 科学哲学社会主页；中世纪逻辑与哲学主页；与集理论有关的《新基础》主页；莱布尼兹奖学金主页；等等。
6.因特网上有一些专门进行电子教学课程的网页，它存放了某一方面的逻辑学习课程、参考书目，为对这一方面知识感兴趣的人提供了学习方便。如：《线性逻辑》主页则主要用于介绍线性逻辑，为研究与教学线性逻辑的人提供参考书目、教学课程；《逻辑》主页则是一个介绍逻辑基础知识的网页，它主要介绍的内容有语言与逻辑、定义与内涵、命题范畴、演绎范畴、日常语言中的三段论、证明的有效性与无效性、量化理论、因果关系的推理、解释与或然性等逻辑术语。
7.逻辑软件。为了用计算机进行逻辑的辅助教学，因特网上有很多的交互式的逻辑软件。这些软件可以为研究某一逻辑问题的人提供学习或验证系统的方便。如：可检验符号逻辑的计算机软件《Bertrand》；检验古典逻辑与多值逻辑的计算机软件《Christian gottschall'sgateway to logic》；为验证多值逻辑的《计算逻辑》；检验一阶命题演算、一阶谓词演算系统论证有效性的计算机软件《The Logic Daemon》；等等。
8.逻辑专题新闻组的讨论内容。新闻组是利用因特网上新闻组的功能，使那些对某个逻辑问题产生兴趣的人能够在新闻组中互相提出问题，并进行讨论、解答而提供一种实时的信息交流。因特网上存放了这些讨论的所有信息，供用户参考。这些讨论所涉及的问题不仅面广，也常处于世界研究的前沿。
9.因特网上有许多的个人网页，这些网页通常存放着某个人自己的研究成果，它们或是一组论文、或是一个逻辑软件、或是一本书。
纵观因特网上的逻辑资源，可以看到，当前国外的逻辑研究呈现出三个明显的特点和态势。
第一，逻辑研究在继续开拓纯逻辑研究领域的同时，不断扩大应用逻辑的研究范围，使逻辑成为多学科研究的必备基础知识。
近几十年来，逻辑知识的研究与普及以它前所未有的速度在纯逻辑、应用逻辑的研究领域中发展。国外很多大学在设置课程时，认为古典一阶逻辑演算系统的知识是研究许多其它学科的理论基础。因此，在学科的课程设置上，学校将逻辑课的学习作为基础课、必修课。如美国印第安大学的课程设置中，计算机科学、语言学、数学、生物学、历史科学和物理学的学生，逻辑课的学分是学生具备毕业资格的必修学分。这些大学为这些学科的学生提供了与其相适应的逻辑基础课、必修课和专业课。基础课要求学生掌握的逻辑知识有一阶逻辑的语法与语义，推理系统，一阶逻辑的完全性和不可判定等。必修课设置的则是逻辑学的某些子学科，如计算理论、模型理论、集合理论和可靠性理论等。专业课是一个可以根据学生所学专业的需要进行选择的课程，包括形式语义、数学的哲学基础、逻辑哲学、语义学、程序设计语言基础、复杂理论等课程。之所以出现这种现象是因为“从传统意义上说，逻辑是一个为哲学和数学进行训练的基础学科，它可以训练学生掌握逻辑方法，提高提出问题、解决问题的能力。而现在更多地发现了逻辑在一般的信息科学，特别是计算机科学和认识论领域中的重大的应用作用。”（选自美国印第安大学网页上逻辑课程设置介绍网页）
数理逻辑知识的普及与各学科研究的需要大大地推动了纯逻辑理论研究的深入发展和应用逻辑的快速发展。从因特网的逻辑资源看，当前纯逻辑研究的专题很多，如北欧奥斯陆大学哲学系编辑的1999年《哲学逻辑杂志》中的论文《谓词逻辑的替代方法》、《从选择公理到选择序列》、《最简单的丢番图表达中的问题》、《司寇伦在谓词逻辑中的替代方法》；英国逻辑会话协会1999年1 月召开有关有限模型理论和集合理论的讨论会，《新基础》网页提供了与集合理论有关的信息和资源等。因特网上也提供了众多应用逻辑研究的信息，如从波兰Bialystok 大学网页上，可以看出这个大学逻辑研究主要以三个方面为主，即：运用自动推论的方法研究包括在技术项目和理论研究中的逻辑内容；在理论与应用的题目下研究形式推理与普通推理之间的关系；也探讨在认知领域、时间领域中的逻辑问题。波兰教授Kazimicrz 研究的类似拓扑逻辑模型的一致性课题，也有研究语言逻辑（如理论模型与语义模型理论）、直觉逻辑（不可判定性的认识论和反现实的直觉）等学科的信息等。
这种趋势的出现是与逻辑自身发展和众多学科对逻辑知识的需要紧密相联的。一千多年以来，以亚里士多德为代表的普通逻辑以人们日常活动中的思维推理过程为研究对象，描述了正确思维的规律与规则。但由于这种研究方法具有明显的局限性，即它不能深入到语句内部精细地描述思维的对象，也不能将思维对象作为系统进行研究，从而导致普通逻辑应用范围的狭隘。但是，自本世纪30年代以来，以一阶逻辑为代表的数理逻辑迅速发展，开辟了一种全新的研究方法：用数学的方法，深入语句内部，精确描述语句的要素，揭示语句的真值。由于它构造公理系统的方法是一种基本的引介客体系统的方法，因此成为所有科学理论严格系统化的必由之路。它不仅能使人们从总体上研究某一理论以及它与未加公理化的朴素理论之间的关系，也可以用于理论性的探索性研究，即假定性地给出一些公理，看看由此可得出什么样的定理和系统结果，借以考察那些假定性的公理以及整个公理系统的真理性和理论意义。正因为数理逻辑研究方法的先进，它很快成为很多学科研究的工具，同时也促进了逻辑学的发展。
第二，逻辑研究与计算机科学的联系日益紧密，为逻辑研究而设计的应用软件的技术日益成熟，逻辑研究为计算机等高新技术领域发展提供了理论基础。
由于以数理逻辑为代表的现代逻辑自身的严密性，使得它的演算很快地能够用计算机代替。从20世纪80年代初到90年代的十几年中，国外很多从事逻辑与计算机研究的机构与学者纷纷将精力放在了逻辑与计算机相结合的课题上。这种研究归属于两个方向，一是将现有的逻辑演算计算机化，二是利用逻辑工具解决计算机科学、认知科学中的问题。如波兰Bialystok大学1980年到1990 年间研究的重点是计算机进行辅助的逻辑教学，使用形式化和机械化的方法研究哲学、技术问题。波兰教授Anna创造了一个逻辑算法的系统，其运算规则类似甘苓所设置的方法，并发明了能够运用计算机进行辅助运算的逻辑结构。Dariusez献身于用数据库方法管理时态逻辑的研究，等等。
经过多年众多科学人员的研究与探索，现在因特网上的逻辑软件比比皆是，所涉及的逻辑内容也较广泛。如：《Christian gottschall'sgateway to logic》网页提供了一种可对古典命题逻辑和多值逻辑命题进行论证检查、论证建立的逻辑软件，这个软件是通过用户提供给服务器的列表方法、 字母表、 波兰符号、 真值表进行工作的。The LogicDaemon网页是一个交互式的逻辑软件，只要用户将自己的一阶逻辑的演算输入到计算机中，系统就进入一个矢列式的证明，并验证演算的有效性。网页Macingosh是一个符号逻辑软件。 这个软件以布朗克和威斯顿的教科书《演绎逻辑》中“树的一致性”的方法，使用一个可分解的实例性的规则系统，解决了一阶符号逻辑系统中陈述句的一致性、有效性和等值性问题。它可依据用户给出的简单陈述句，检查这个句子的逻辑真与逻辑假，并根据简单句的真值函项产生真值表；等等。
与此同时，国外众多大学在计算机科学中大量运用逻辑运算的方法力图解决计算机的数学计算问题、在认知领域中应用逻辑方法描述人类认识过程等。如Brigham Young 大学的《应用逻辑实验室》就是一个归属于计算机系的研究室。它主要从事于用数理逻辑、数学的方法解决问题的可靠性的研究， 如建造抽象的硬件构成模型、 检验计算机系统和WWW技术，为下一代计算机的发展提供理论依据。波兰学者Roman从事用计算机做辅助工具进行数学形式化应用的研究，发表了运用计算机进行辅助研究的逻辑结构与方法的多篇论文。
逻辑研究与计算机科学出现相互融合的趋势，是因为计算机运算的基本问题是数学运算问题。当前世界上通用的计算机是应用的二值运算的方法。而人们在描述客体世界的时候，常常面对的并非仅仅是“对与错”、“真与假”的二值选择，更多的是要借助多值逻辑对事物进行量与质的精确描述，因而作为模拟人脑思维的工具——计算机，在处理速度更快、存储信息更多的前提下，急切地需要解决从二值运算向多值运算的突破，使计算机不仅成为知道“干什么”，也知道“怎样干”的智能型工具。从根本上说，这种技术上的突破，其起点依赖于逻辑科学的突破。因此，今后几十年内随着科学技术的发展，计算机与逻辑相结合的课题将成为科学研究的热点，现代逻辑理论越来越会成为人们必备的基础知识。
第三，以各国本民族语言为研究对象的语言逻辑成为研究的热点。
由于人们的思维依靠语言表达，研究语言则可以对计算机科学和人工智能领域内关于自然语言理解的研究具有重要的指导意义，因此，在因特网上，语言逻辑的研究课题也是当前科学研究中的一个热点。它不仅出现在以“逻辑”为关键词的索引中，也大量地出现在“计算机”、“语言”等关键词索引中。如仅在搜狐搜索引擎中以“蒙太格逻辑”为关键词的索引就有1519条，以“语法逻辑”为关系词的索引有5324条，使人感到语言逻辑的研究正在形成一个多学科关注、多科学研究的态势。这一态势可以通过因特网上的索引链接某一学院的课题研究网页、某一研究团体的研究网页看到。在美国、英国、波兰、荷兰、澳大利亚各大学的网页上，针对本国语言进行逻辑研究的课题是各个大学哲学系必备的研究课题之一，在大学课程设置上，语义学、内涵逻辑是重要的选修课。美国麻州大学、斯坦福大学、俄亥俄州立大学、加利福尼亚大学都是语言逻辑研究的中心。近年来各国学者运用MG研究的方法对英语、德语、俄语、法语等自然语言进行了广泛的研究，并取得了很多的学术研究成果。如：波兰教授Halina研究用描述的方法定义波兰自然语言的语形结构，研究逻辑和语言关系的历史，用数学方法研究自然语言与形式语言之间互相作用的关系。
纵观国外逻辑研究的现状，比较我国逻辑研究的现状，使我们深深地感到我们与国外同行存在的差距。虽然经过我国科学人员近几十年的不断努力，我国逻辑研究水平得到了长足的发展，但与国外相比，我国的逻辑研究工作还存在一个相对滞后的状况，如现代逻辑知识不普及，实用逻辑的研究规模小，尤其是在计算机与逻辑相结合的学科中研究人员与研究成果太少等。随着国家加强基础学科建设政策的落实，相信在下一世纪我国的学者将能够很快地缩短这一差距，进入世界逻辑研究的先进行列。
收稿日期：1999—10—07
标签：关系逻辑论文;