计算机应用 | 古代文学 | 市场营销 | 生命科学 | 交通物流 | 财务管理 | 历史学 | 毕业 | 哲学 | 政治 | 财税 | 经济 | 金融 | 审计 | 法学 | 护理学 | 国际经济与贸易
计算机软件 | 新闻传播 | 电子商务 | 土木工程 | 临床医学 | 旅游管理 | 建筑学 | 文学 | 化学 | 数学 | 物理 | 地理 | 理工 | 生命 | 文化 | 企业管理 | 电子信息工程
计算机网络 | 语言文学 | 信息安全 | 工程力学 | 工商管理 | 经济管理 | 计算机 | 机电 | 材料 | 医学 | 药学 | 会计 | 硕士 | 法律 | MBA
现当代文学 | 英美文学 | 通讯工程 | 网络工程 | 行政管理 | 公共管理 | 自动化 | 艺术 | 音乐 | 舞蹈 | 美术 | 本科 | 教育 | 英语 |

科学家与逻辑学家分析(3)

2016-04-22 01:01
导读:仅仅是指号学的另一个名字。〔5〕它包括三个部门:批判逻辑学( Critical Logic),或狭义上的逻辑学,是指号指称其对象的一般条件的理论,也即我们一
仅仅是指号学的另一个名字。〔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也正在独立地从化学概念得到逻辑研究的灵感。他把诸如“……的父亲”的函项记号称为“未饱和的”或“不完全的”表达式,

上一篇:哲学对形而上学的相关分析 下一篇:没有了