我国科学逻辑研究的开拓与创新之路.pdfVIP

第28卷。第6期 科学技术哲学研究 V01．28No．6 in ofScienceand Studies 2011年12月 Philosophy Technology Dec．，2011 我国科学逻辑研究的开拓与创新之路 张建军 (南京大学哲学系／现代逻辑与逻辑应用研究所，南京210093) 摘要：“科学逻辑”是当代应用逻辑学科群的重要分支学科。我国科学逻辑的系统性研究肇始于上世纪五 六十年代的逻辑问题大讨论，80年代初得以全面启动。我国科学逻辑研究的突出特点是，在其全面启动之初，即确 立了在逻辑主叉与历史主义之间维持必要的张力、探索逻辑与历史在科学发现、检验与发展中的对立互补机理的 研究纲领，并取得了一系列与国际学界发展趋势相合拍的重要成果；近年则将研究重心逐步转移到在科学主义与 人文主义之间维持必要的张力、探索科学与人文在科学活动中之互动的逻辑机制上来，并呈现出跨学科发展的良 好局面。 关键词：科学逻辑；科学方法论；应用逻辑 中图分类号：N02 文献标识码：A 文章编号：1674—7062(2011)06—0017—04 “科学逻辑”是当代逻辑学科体系中的一个重 肇端于亚里士多德的《工具论》中的《后分析篇》①， 要成员，在当代逻辑研究逐步形成的基础逻辑、应用 在20世纪中后叶逐步确立为应用逻辑的重要分支 of 逻辑与逻辑应用互动发展的全景格局中，属于当代 学科。“科学逻辑”(LogicScience②)是卡尔纳普 “应用逻辑”学科群中一个相对成熟且发挥了多方 首先使用的一个学科称谓，用以指谓演绎逻辑与归 面功能的领域‘1|。从历史渊源上看，科学逻辑研究 纳逻辑在科学理论结构中的作用机理研究。这种定 【收稿日期】201l—09一05 【作者简介】 张建军(1963一)，男，河北沧州人，南京大学哲学系教授、博士生导师，研究方向为现代逻辑与逻辑哲学。 ①《工具论》之《前分析篇》是逻辑学诞生的标志，《后分析篇》则是第一个系统的科学逻辑文本，其中建立了历史上第一个以 归纳一演绎程序为中介、以观察和解释性原理为两翼的逻辑应用方法论体系。由于其主要的科学背景是几何学，其核心 是演绎科学方法论，但亚里士多德对逻辑在整个科学探索中的作用机理的诉求显然具有高度的自觉。当代以形式系统为 对象的证明论(元数学)和模型论可以看做演绎科学方法论的现代化(证明论和模型论作为当代演绎科学方法论的核心， 也可视为广义科学逻辑的组成部分)，而当代科学逻辑可以视为亚里士多德全面探讨科学研究中的逻辑应用方法论之诉 求的当代后裔。 ofscience与scientific ⑦需要注意的是，应把logic logic区别开来，后者曾被一些学者用来指谓现代数理逻辑(现已基本不 of 用)。遵循卡尔纳普的用法，“logicof”这个词组已被越来越多的学者用来指谓当代应用逻辑学科，如logiccognition of of (mind)(认知(心智)逻辑)，logicargumentation(论辩逻辑)，logicgame(博弈逻辑)等。这些学科的共同特征是：面向 特定领域系统探究逻辑因素在该领域的作用机理，以及逻辑因素与非逻辑因素的相互作用机理，以把握方法论“模式” (pattern)为研究核心，旨在形成关于该领域的逻辑应用方法论。在这个学科群中，“认知(心智)逻辑”具有“中心”地位。 因为其他应用逻辑学科均需使用其“推理模式”研究所获得的成果，在科学逻辑研究中尤其如此。“应用逻辑”(即plied logic)的这种用法，应与它的另一种传统用法相区别。在西方学界该