关于哥德尔不完全性定理评介中的两个问题及其哲学涵义浅析——兼评杨熙龄同志的几篇数理逻辑评介文章

近一年多来,《国外社会科学》杂志发表了杨熙龄同志的几篇数理逻辑评介文章(以下简称"龄文").龄文主要作了一阶逻辑和理论某些内容的评介工作;很大篇幅是围绕哥德尔不完全性定理展开的.本文仅就其中存在的两个问题作讨论,并对关于这两个问题的哲学涵义说几句个人的不同看法.     

哥德尔定理和灵感的互补机制

以哥德尔定理为探窥器,指向灵感的具体机制,是鉴于两方面的谋虑:其一,古今中外灵感理论的现状迫使我们在方法论上开辟新的“操作面”,其二,哥德尔定理的深层哲学蕴藏可能助于这一开辟。 当代灵感理论鸟瞰 灵感问题自钱学森教授首倡建立“灵感学”以来,人们开始重新闻入这一块哲学和心理学的“禁区”。有一位首批闻入者曾说,古今中外的灵感理论,基本上可分为三种,即 “神赐论”、“不可知论”(“天才论” )以及“客观描述论”,后者至今还停于某种感性的客观的描述阶段,其中,“最有特色”的是弗洛伊德开创的精神分析学派,它用潜意识来解释灵感…     

哥德尔对哲学的贡献

1931年,有一位二十五岁的奥地利数理逻辑学家发表了一篇论文:《论〈数学原理〉及其相关系统的形式不可判定命题》。这篇长仅二十余页的论文,证明了“不完全性定理”,它以罗素·怀德海《数学原理》一类系统为鹄的,一箭射中了这种“公理化形式系统”的要害。     

利奥塔的悖谬逻辑

同后现代哲学主张“差异性”思维一样 ,利奥塔提出一种“悖谬逻辑”。他主要从如下三方面做出论证 :一是引用哥德尔的“不完备性定理” ,二是从反决定论、反操作性概念方面进行 ,三是来自对语言游戏的异质本质的断定 ,并把它与批判哈贝马斯的“共训”论结合起来 ,这种“悖谬逻辑”以“规则的异质标准”和“对歧见的探求”为视点 ,其基本内容包括对“开放体系的研究 ,局部决定论 ,反方法论”等等。     

从赵介佑事件看民进党"黑社会化"问题

今年4月10日,有台媒揭露,台北黑社会组织"北联帮"骨干杨志豪因与同门赵介佑结冤,率小弟到赵介佑父亲赵映光担任理事长的"北投妈祖文化协会"连开3枪示威.杨逃亡19天后,乘保时捷轿车到北投分局投案,现场有13名小弟撑伞护送,宛如走星光大道.杨志豪到案后,揭发赵介佑吸毒、黑吃黑贩毒、毒死小弟等罪行,随后赵介佑被收监.     

平等概念的法理思考

平等是法学上的基本范畴,然而平等又是个歧义丛生的概念.文中选择了"平等是一项权利吗"、"平等在法律上的性质究竟如何"、"公法与私法上的平等是否等同"、"实体法与程序法上的平等内涵是否一致"等四个问题.对之加以法理上的追问.平等不是一项权利,它只是法律上的一种价值、原则,表征着人们在国家和社会生活中的地位.同时,公法与私法的平等在要求上存在差异,而实体法与程序法则分别从"人"与"角色"上来体现平等的要求.     

基于"假定"前提下的概念语言合法性证明——《论意义和所指》的逻辑分析

弗雷格在其《论意义和所指》一文中关于"相等"概念的问题在段首提出了疑问,进而引出"意义"和"所指"这两个基本的概念范畴,而在对这两个基本概念的演绎过程中,作者又分别针对句子语词和句子本身做了不同层面上的分析,进而就"相等"这一抽象概念在"意义"和"所指"这两个不同层面上进行了逻辑上的明确阐述。而文中提到的"句子语词"和"句子本身"也同样是建立以这一系列关系为纽带的基础之上的。那么这个分析也就在所谓的"语词"和"句子"之间展开。     

有限理性的反思与西方企业理论方法论

"理性经济人"作为一种基本行为假设并非基于不言自明的公理,新古典经济理论以此作为其理论之逻辑基础和出发点是存在着固有缺陷的.由于完全理性假设过分严格,因而提出有限理性成为理论发展的某种必然.自西蒙之后,西方现代企业理论声称有限理性是一个必要的和不可或缺的行为假设,但实际情况并非如此.分析表明,在西方现代企业理论中,有限理性乃是一个既非必要又不恰当的假设.只是一个修辞上的设置,目的在于为经济分析中提出更为核心观点(比如契约的不完全性观点),同时又要避开一些棘手问题而提供的一种便利.这里存在着一个方法论问题,即有限理性与西方现代企业理论之间并不具有自洽性.     

法律解释中的数学思维

法律与数学存在相似之处.裁判者是否能援用数学证明的方法,在疑难案件中发现或设定一条辅助定理.可旁证法律解释最终能否获得"真的"或普适意义上的客观性.通过个案分析表明,数学证明中的病例排除法、例外排除法、辅助定理整合法对评判裁判者的解释是有启发的.但由于数学命题与规范命题的差异,以及法律解释自身的特殊性,数学思维在解释中的"运用",终究只是一个表象、一种修辞.     

对中国共产党作为一个特殊认识主体的考察

毛泽东在《关于人的认识问题》一文中,将"阶级"明确界定为一个"认识主体".中国共产党作为一个"自为的阶级"的代表,遵循着统一的认识原则,形成了有效的认识方法,并始终站在无产阶级的立场上来认识一切问题,使自身形成为一个特殊的认识主体.百年来,中国共产党对社会主义本质等一系列重大问题作出了科学回答,取得了社会主义革命、建设和改革的伟大胜利.新时代,中国共产党将继续以自我革命的精神,不断提升认识自觉,强化自身的认识主体功能,带领中国人民夺取新时代中国特色社会主义伟大胜利.     

同岑异苔:陆游、杨万里诗坛地位考索

本文通过对陆游、杨万里诗坛地位的考索,以觇知南宋诗风趋向;从诗学观念、统绪意识、政治影响、子嗣绍继等方面探讨陆、杨不同地位之成因;复就陆、杨往还文字揭示其真实关系.本文认为杨万里具有强烈的"统绪"意识,专精锐意于变革创新,诗风易于效法,在当时的影响力较陆游为巨;陆游则"统绪"意识淡薄,萦心系怀于家国时事,诗歌抒写恢复之志,效法者少,加以仕途蹭蹬,故未能转移风会,是一位"孤独"的诗人.     

杨安泽:50年后,又有华人要竞选美国总统

正他的团队打出竞选口号,发布竞选宣传影片,上线竞选网站。他的新书《向普通人发起的战争》也已正式上架。"理想主义者"杨安泽,这位顶着"美国历史上第二位华人总统候选人"头衔的年轻企业家,正走在竞选美国总统的路上。我要竞选美国总统"我是杨安泽,我要竞选美国总统。"2月10日,一张陌生的亚洲面孔出现在《纽约时报》周末版的封面,引来人们的好奇和关注。谁是杨安泽?他为什么要竞选美国总统?在杨安泽登上《纽约时报》周末版封面的同     

辽宁为你骄傲

当"神舟"五号宇航员杨利伟走出飞船的瞬间被定格为历史的时候,他以自己的英俊、平实、沉稳、果敢和无畏赢得了世界的注目,让中国人为之自豪,更让辽宁人感到骄傲,因为杨利伟是辽宁绥中人.     

“无矛盾原理”和辩证法

"一个幽灵,科学辩证法的幽灵,在西方心理学中徘徊.科学世界的支架正在动摇;改造它的时刻临近了."这是美国心理学家C. F·里格尔最近在他的《人类发展的辩证法》一文中提出的《辩证法心理学宣言》的第一句话.     

"浙江天省"史实考

1.两广的江浙移民--"客家人"是拜上帝会发动金田起义之母.2.太平军奇袭杭州,回救天京,彻底瓦解清江南大营,并进而创建"浙江天省",此为太平天国军事史上辉煌的一页.3.去年萧山发现的所谓"东王杨秀清衣冠琢",实为天国后期四大支柱之一的辅王杨辅清的衣冠琢.     

"休谟问题"的原貌及实质

休谟提出了很多新问题,后来被不同领域的思想家高度关注的并被称为"休谟问题"的可能是一个、两个或三个.我们根据"休谟问题"的性质不同列举出四个:"因果问题"属于认识论问题;"归纳问题"属于逻辑学问题;"是"与"应该"的关系问题属于语言学问题;事实与价值的关系问题属于存在论(或本体论)问题.事实上,认识论、逻辑学、语言学和存在论是互为一体的.孤立谈论任何"某论"都是无效的.休谟在其<人性论>中探讨的四个"休谟问题"的实质只有一个:人类理性以什么样的思维方式、用什么样的语言形式来把握什么样的对象世界的问题,即一个古老的哲学基本问题--思维、语言和存在之间的关系问题.     

协调博弈的摆动均衡：企业核心层关系的一个分析

一、问题的提出 本文的关注对象是企业。 在理论领域,企业是由合约组织形成的,合约是不完全的,不完全 的合约为企业运行带来很多不确定性,一些关注这一问题的企业理论, 探讨了弥补合约不完全性的途径:例如关系合同理论,通过将"关系"引 入合约来考察合约的运行;剩余控制权理论则试图通过明确剩余权利 的归属,使得合约得以完全,等等。但是合约真的能由此变完全吗? 在现实领域,以雇佣合约为例,通过在FD公司长时间地参与观     

湖州市心理咨询师协会全面助力青少年心理服务体系建设

为帮助孩子们适应"双减"政策下的教育环境,更好地关注青少年的心理健康,补充小学心理教师资源的不足,日前,浙江省湖州市心理咨询师协会(以下简称协会)的咨询师杨老师来到南浔实验小学,为同学们带来了一堂生动有趣的心理减压课.     

墨子和密尔的经济伦理观之比较研究

墨子和密尔的经济伦理观是近代经济科学有关原则和定理的先行思想,他们所倡导的"重利贵义论"存在许多相似之处又各具特色。对二者经济思想的比较研究,不仅可以展示不同民族所面临的相同或相近的经济问题,在某种程度上也为反思中西方经济伦理问题提供了一个崭新视角。     

A Formal System for the Illocutionary Force and Its Applications in Al

本文以John R.塞尔和D.范德维克关于语用逻辑的研究工作为基础,构造了命题的语用逻辑的形式公理系统PF,证明了PF的三类定理:关于语用行为的定理、关于条件的语用行为的定理以及关于语用力量的定理。作者还构造了PF的语义模型,给出了系统的语义解释,并证明了系统的可靠性、一致性和完全性。本文以语用逻辑的方法,分析了人工智能语言PROLOC的语法和语义,以及语用逻辑在学习策略中的应用。最后讨论了语用逻辑的形式化和语言逻辑在认知科学中的应用等问题。作者的工作是继乔姆斯基的形式语法学、蒙太格的形式语义学之后,对语用学的基础理论语用逻辑的形式化研究所做的尝试。