两全其美网校城

 找回密码
 注册
查看: 1722|回复: 0

当代逻辑的新领域--制约逻辑

[复制链接]
泡沫绿茶 发表于 2010-4-16 15:00:45 | 显示全部楼层 |阅读模式
(传统逻辑与现代逻辑的有机结合)

  二千三百年前,古希腊的伟大思想家亚里士多德(Aristotelés 前384 — 前 322年)以《工具论》创立了传统形式逻辑,为逻辑发展史树起了第一座丰碑。从19世纪中叶到20世纪初,经过英国数学家布尔、德国数学家弗雷格、英国哲学家、数学家罗索等人接连不断的努力,吸收莱布尼兹的成果,建立了后来作为电子计算机理论基础的“正统数理逻辑”的观代公理系统,这是逻辑学发展史上的第二座里程碑。

  1968年,中国形式逻辑研究会理事、北京开关厂工程师林邦谨创立了一门新的逻辑学说 —— 制约逻辑,向前两座丰碑提出了挑战。1978年,在我国逻辑学界元老沈有鼎教授的举荐下,经华裔美籍逻辑学家王浩教授推荐,林邦谨在美国数学会刊物《文摘》上发表论文《制约逻辑简介》。1985年12月,林邦谨的专著《制约逻辑》在国内正式出版。制约逻辑独树一帜,震动了逻辑学界,引起了国内外学者的关注。

  制约逻辑是传统的形式逻辑与正统数理逻辑(现代逻辑)有机结合的产物,它运用现代逻辑提供的严格精密的数学方法,去构造一个能确切地体现传统形式逻辑的深刻正确的主导思想的非正统的逻辑制约系统。林邦谨认为,传统形式逻辑密切结合人类普通思维和自然语言实际,把从已知进入未知的推理格式作为自己的主要研究对象,坚持贯彻不许循环论证,这是它的深刻而正确的主导思想。但它对十些极简单的推理却不能从理论上加;以分析,演算技术也十分简陋、陈旧,远不能满足现代的需要。正统数理逻辑系统地采用了现代数学方法,论证严谨,演算精密,但它却舍弃了推理格式中起决定作用的非数学的逻辑含义这一精髓,将其处理成真值函数、个体 — 真值函数关系,因而远离了传统形式逻辑的主导思想。林邦谨木胆地综合融汇了上述两种逻辑的优点而摈弃二者之缺陷,创造出自外于传统两家的新逻辑体系 ——制约逻辑学说,即继承形式逻辑的正确主导思想和有效的推理格式,并采用数理逻辑所提供的数学方法来处理科学研究和社会生活中的各种逻辑问题。它是久盛不衰的传统形式逻辑的现代发展。

  制约逻辑学说指出,制约关系就是刻划清楚后的充分条件关系。制约关系事实上构成了传统形式逻辑中可据以进行不循环论证的推理格式的理论核心:推理式的前后件之间必定满足普遍有效的制约关系,而在前件或后件中也必定出现制约关系。制约逻辑体系由语义学、语构学、语用学三者组成。制约逻辑语义学研究客观世界的逻辑结构和逻辑规律,而以其中的客观的制约关系和有关制约关系的客观的逻辑规律为主要研究对象。制约逻辑语构学研究刻划客观的逻辑结构和规律的表意的人工符号的机械的排列结构和变形规则。制约逻辑语用学研究在指谓同一的原则下符号语言与自然语言的互相翻译。总的说来,制约逻辑所研究的领域是:观实世界对象域上的个体、集、一元或多元函数、一元:或多元关系、关系间的直值函数关系、关系间的充分条件 ( 即制约 ) 关系,和上述种种关系的客观规律,以及它们在意识中的反映 —— 概念 ( 词 ) 、命题和推理。其中,制约 ( 充分条件 ) 关系为研究核心。

  林邦谨在深入分析人类普通的逻辑思维实际的基础上,运用数理逻辑的演算技巧,提出了命题演算 Cm 系统和名词演算 Cn 系统。 Cm 中的“制约”命题夕 p → q 跟 p 和 q 的真假共有七种, p → q 也获得三真四假的纪录。这,点与莱维斯 (Lewis) 的严格蕴涵一致。但 Cm 跟莱维斯的模态系统是有区别的。 Cm 系统有以下主要特征: (1) 在 Cm 中,所谓“必然”,并非某二命题的性质,而只能是两个命题间的联系。 p → q 表示 p 和 q 之间有某种 " 必然 "联系。 (2) 除了为一般模态系统所避免的象 p → (q → p) 等著各的蕴涵怪论以外, Cm 还避免了象 T p → q 这一类最难避免因而为一般模态系统所容纳的蕴涵怪论。 (3) 跟一般模态系统不同, Cn有象 [p → (q → r)] → [q → (p → r)] 这一类公式。 (4) 相当于在一般形式逻辑书中列出的传统命题逻辑推理式的定理它都具有。 (5) 没有象 T (pVq)—>q 这一类公式。 (6) 凡是在传统形式逻辑中看起来好像是用了相当于被 Cm排除了的二值系统中的定理的地方, Cm 都有很好的处理方法。 在Cm系统的基础之上建立的 Cn系统,只是扩充形式语言(引八个体变元、函数词和谓词),而不用量词。这样不仅在技巧上可避免拿有量词的形式系统所不可避免的许多麻烦,使演算的进程原则上是命题演算,而且更接近于普通逻辑思维实际。同时, Cn系统将对解决判定问题提供明朗的前景。

  林邦谨在演绎推理问题上提出了两个独立性,具有逻辑性质“ 可独立于前后件的真假确定不会是前真而后假”的制约式定理称为第一独立性。具有逻辑性质“可在无需确定后件为真的情况下确定前件为真”的推理式定理称为第二独立性。“两个独立性”是为在论证中出现的推理式所必具的确保论证不循环的逻辑精髓。这是深刻的逻辑理论观点。国内外一些专家学者认为制约逻辑在学术和科学实践等方面有重大的意义: (1) 它可以分析、处理一系列逻辑史上迄今争论不休、久悬末决的难题。对命题的真假对错、主词存在、宾词周延和演绎推理能否推出新知,已证明的结论是否已证实,以及在数学史上引起第三次数学危机的悖论等问题,都可能给出确定的解决。 (2) 以它为逻辑基础建立的初等数论的形式系统 N ,当 Cn 。的判定问题一经解决,就可能为最终解决哥德巴赫猜想提供新的思路。这种数论系统还可能满足相容性和完全性 ( 与哥德尔不完全定理正好相反 ) . (3) 制约逻辑形式化公理系统,为计算机语言创造了符号语言体系。以它作为计算机科学的逻辑理论基础,可为研究、设计新兰代的内涵智能机;软件可靠性确认、程序正确性证明等方面提供新的途径。 (4) 以它来分析科学理论和科学创造中的逻辑机制,可使科学工作者掌握有效而实用的科学方法。

  国际逻辑学界和计算机学界对制约逻辑理论非常敏感。当林邦谨的简短论文《制约逻辑简介》在美国刚发表不久,联邦德国和加拿大的大学就积极组织专家研究班进行翻译和讨论,他们认为林邦谨“构造的这种逻辑体系是重要的,因为这种逻辑与计算机,科学,特别是‘判定程序'关系密切”。美国数学会秘书长利弗库博士推荐《制约逻辑》英文摘要给下届国。际逻辑讨论会。第八届。国际逻辑讨论会第一副主席、奥地利兰兹堡大学教授瓦因加特纳博士正式邀请林邦谨参加 1987 年在莫斯科举行的国际逻辑学术会议,并将作专题发言。在国内,林邦谨的制约逻辑现已引起学术界注意,国家科委于 1986 年在清华大学组织了高层次研讨班对制约逻辑进行剖析、探讨。

  对《制约逻辑》的批评也是较尖锐、激烈的(郭世铭、董亦农:评《制约逻辑》中的几个形式系统,《自然辩证法通讯》 1987, No.3)。他们认为制约逻辑的 Cm 系统与二十几年前国外发表的相干逻辑的命题演算 R 系统形式等价,而 R 是不可判定的,那么 Cn 系统亦就是不可判定的 ( 林邦谨认为Cm 和 Cn 是可判定的)。即使假若 Cn可判定, Cn 的判定方法用到数论系统Ⅳ上去也无济于事, 因为一阶数论是不能有穷公理化的,因此要想在 Cn 基础上构造一个满足完全性的初等数论的形式系统N来解决哥德巴赫猜想等问题,是完全不可能的。 Cm 没有语义学,更无语义可靠性和完全性。 Cn 无法定义“必然”、“可能”这类概念。 Cn 没有实用价值,不可能证明任何一个有意义的必然命题和可能命题。N系统既不一致,也无足够的表达能力,当然也不可能完全,而且没有可判的公理集。N系统无法定义“整数”、“素数”、“减”之类的基本数论概念,无法表示象歌德巴赫猜想这类的命题。因此,N系统是一个罕见的百病缠身的系统。

  那么,制约逻辑何处为真理,何处是谬误;对它的学术性地位将怎样做成历史性的评价;究竟会有多大作为;是不是逻辑学上的一次革命;它能否经受得住社会实践的考验;相信时间终将会给予我们确切的答案。

  普通逻辑学 《普通逻辑学》是一门关于思维的基本形式、思维方法及其发展规律的科学。通过学习此课程,使学生系统地理解和掌握普通逻辑学的基本概念、基本原理和推演技巧,提高思维的准确性和敏捷性,增强语言的表达能力和论辩能力,以及初步具有运用逻辑知识解决实际问题的能力,并为进一步学习其他专业知识提供必要的逻辑工具。
您需要登录后才可以回帖 登录 | 注册

本版积分规则

 

 

 

Baidu
中华会计网校 新东方网络课堂 中华会计网校会计继续教育 新东方网校 环球网校 中公网校

小黑屋|手机版|关于我们|两全其美网校城 ( 京ICP备05068258-34 )

GMT+8, 2024-5-1 07:59

Powered by Discuz! X3.4

Copyright © 2001-2021, Tencent Cloud.

快速回复 返回顶部 返回列表