“悖论”研究二题

<正>悖论定义的比较<正>西方权威“悖论”定义认为:如果某一理论的公理和推理原则看上去合理,但从中却证明了两个相互矛盾的命题,或者证明了这样一个复合命题,它表现为两个互相矛盾命题的等价式,那么,这个理论就包含了一个悖论.     

试评黄展骥的悖论观

<正>香港学者黄展骥先生,从事悖论研究已二十余年,造诣笃深.近年来,承蒙黄先生厚爱,将其发表的有关悖论的著述,悉数寄笔者.细心研读后获益匪浅,在这里,不揣浅陋,试对黄先生的悖论观略作评析,以求正于黄先生及其他同道.     

“墨磨人”悖论的消解——与杨熙龄、苏东坡商榷

<正>杨熙龄教授的《奇异的循环——逻辑悖论探析》是我国第一本悖论专著(辽宁人民出版社于1986年12月初版,于1987年6月第2次印刷,印数共4万4千本).杨先生以黑格尔辩证哲学的观点来评析“悖论”,跟我以分析哲学和形式逻辑的观点来评析“悖论”,刚好“针锋相对”,是我的“大论敌”.虽然我对杨书持有许多异议,本文只能摘要引述其中的片段(见147~149页)来点商榷;但是,我却十分敬佩和尊崇     

求解布尔不可满足子式的消解悖论算法

求解布尔不可满足子式在超大规模集成电路设计与验证领域都具有非常重要的理论与应用价值,帮助EDA工具迅速定位错误与不一致。针对求解不可满足子式的非完全方法,提出了消解悖论与悖论解析树的概念,在此基础上提出一种启发式局部搜索算法。该算法根据公式的消解规则,采用局部搜索过程直接构造证明不可满足性的悖论解析树,而后递归搜索得到不可满足子式;算法中融合了布尔推理技术、动态剪枝方法及蕴含消除方法以提高搜索效率。基于随机测试集进行了实验对比,结果表明提出的算法优于同类算法。     

悖论是一种客观存在

<正> 悖论到底是必须排除的错误,还是无法排除的一种客观存在?我认为这是值得探讨的一个问题。 如果我们把研究对象及其发展的规律性,称为一种客观存在。(注:正如参考文献(1)P253所指出的,认识的客体,作为一个系统,是自然客体,社会客体和精神客体的有机统一。其中,精神客体,是指我们把人们作为工作对象的意识等当成认识与改造的对象。这时,这种客观存在的精神,也就成为客体。这种“物化”了的精神,是精神客体的主要形式。);则悖论不以人们主观意识为转移,它是一种客观存在。     

反证法的历史沿革

反证法是数学中常用的一种证明方法。由于逻辑学中也存在同样的相关概念 ,所以分清反证法、归谬法以及反驳和证明之间的细微差别和联系 ,是很有必要的 ,并指出反证法不但是最重要的证明方法 ,而且同其它的证明方法一样也是进行科学积累和发现的源泉。     

再谈语义悖论的解析——答黄展骥先生

悖论研究迄今并未取得根本性的突破。集合论悖论和语义悖论既有共性又各有特点。黄展骥先生认为可以通过指出悖论犯“复合命题”错误 ,或不信它不说它就可以消解的说法过于简单。解决悖论的两个关键问题是 :一是要解释为什么“混层”和“自涉”不一定产生矛盾 ;二是要避免语言层次的无限升高或后退。应该突破这两个问题而大大推进悖论的研究     

泛系相对论与供求因缘悖憾(一)——悖论的泛系研究

泛系理论是一种侧重泛系或者广泛联系的一种多层网络型的跨学科新研究 ,探索数理·逻辑·科学思维、系统思维、哲理·辩证思维、美学·诗化思维的某些结合 (联四维 )。泛系理论专门开发了网联不同领域多种专题的泛系相对论、供求因缘悖感分析与泛系悖论。本文论述有关的理法与释例 ,包括数理工医文社史哲许多相对性、悖论与供求因缘悖憾的泛系理悟 ,可以简化强化为 :“泛系悖论 =泛系相对论 +泛系供求论”。具体内容涉及 :泛系理论框架 784e ,泛系相对论·泛系辩证·泛系悖论的 8题 16模式百例 2 9说。     

矛盾与悖论——略评皮亚斯、维特根斯坦等学者的观点

在西方20世纪30年代之前,“悖论”曾掀起过第一次研究热潮;70年代以来又掀起第二次研究热潮。我国十年来也渐渐掀起研究热潮。既然,几乎经过整个20世纪的努力都无法消解强化说谎者悖论(P),很自然地,不少时哲便转而求助黑格尔的“真矛盾”。     

“矛盾与悖论”研究的大进展——答荒冰教授

近 2 0年来 ,我国有众多专家、学者对“矛盾与悖论”进行了专题研究 ,并在相互切磋与争论之中使研究内容拓宽加深。本刊上期刊载了荒冰教授《再谈语义悖论的解析———答黄展骥教授》一文对黄先生提出的“‘复合命题’谬误来消解两千多年来极困难的强化谎者悖论”等等观点持有非议。本期刊载“悖论”研究知名学者黄展骥先生的《“矛盾与悖论”研究的大进展———答荒冰教授》一文 ,对荒先生所提问要作些澄清与答复 ,并从中进一步阐明自己的观点。我们本着“问题愈争愈清 ,真理越辩越明”的精神 ,欢迎致力于“矛盾与悖论”研究的专家、学者参加讨论 ,以推动“矛盾与悖论”研究的深入与发展     

泛系相对论与供求因缘悖憾(二)──悖论的泛系研究

泛系理论是一种侧重泛系或者广泛联系的一种多层网络型的跨学科新研究,探索数理·逻辑·科学思维、系统思维、哲理·辩证思维、美学·诗化思维的某些结合（联四维）。泛系理论专门开发了网联不同领域多种专题的泛系相对论、供求因缘悖感分析与泛系悖论。本文论述有关的理法与释例,包括数理工医文社史哲许多相对性、悖论与供求因缘悖憾的泛系理悟,可以简化强化为：“泛系悖论＝泛系相对论＋泛系供求论”。具体内容涉及：泛系理论框架７８４ｅ,泛系相对论·泛系辩证·泛系悖论的８题１６模式百例２９说。     

博弈悖论与信息熵

随着经济全球化的不断深入,信息经济越来越突现出其重要作用,管理决策的信息化指数也越来越高,决策分析过程中的信息价值成分也越来越大。文章就博弈中的信息问题提出了博弈悖论,继而介绍了信息熵理论和博弈中的信息价值分析。     

新军事变革问题的几个悖论

随着信息技术等高技术的迅猛发展和广泛应用,世界范围内的一场新军事变革正悄然兴起。为了在这场变革浪潮中争得有利地位,中国军队也将积极推进有中国特色的军事变革。在思考如何推行这场变革的时候,我们可能会遇到一些理论难题,有些甚至是以悖论的形式出现。常理:军事变革是军队内部事务悖论:军事变革也是国家的大事军事变革是一个军事问题,自然是军队应该操心的事;但改革又涉及政治、经济、文化的全局,无疑也是国家的大事。军事变革需要走“内涵式”发展的路子,但仅靠内部挖潜是远远不够的,必须     

略评卡哈尼的“语义悖论”——“矛盾被证”与“复合命题”

“说谎者”悖论早在两千多年前提出 ,被誉为“悖论的老祖父”。可是 ,直至 2 0世纪的今天 ,东、西方都认为未能彻底妥善把它消解。罗素公开承认搅到精疲力尽而仍然失败。普利斯特看到大家绝望时 ,于 1 979年提出“悖论逻辑”系统 ,以接受悖论引致的矛盾 ,作为消解悖论的办法。形式派和本文认为他实在是对这个悖论投降屈服。“破天荒”地 ,本文认为仅用普通逻辑学和谬误学 ,便可以把“原始、标准、强化”说谎者悖论简易地消解     

基于ECEF坐标转换的AEWS数据配准算法

数据配准是多传感器数据融合的先期处理过程.基于地心地固坐标系(ECEF)研究了预警机系统(AEWS)与地面雷达数据处理中心的数据配准问题.首先给出AEWS与地面雷达数据处理中心数据配准几何坐标转换算法;然后利用卡尔曼滤波实时估计出预警机对地面雷达数据处理中心的系统偏差,从而实时对预警机系统(AEWS)进行配准,计算机仿真结果证明了该算法的正确性和有效性.     

量子悖论的世纪之争——观控相对论的历史背景与理论探索

从量子悖论的新视角 ,对 2 0世纪两大科学革命的代表人物爱因斯坦与玻尔及其门生长达 60余年的争论 ,作了本质性的探索 :即将这一争论在世纪末中国科学哲学界的投射和升华作了理论的总结 ,概括为观控相对论———统一了西方自然科学与人文科学的三大前沿理论 :微观世界的互补原理、宇观世界的人择原理、宏观世界的反身性原理。由此引出中国传统文化的类比逻辑 (负的方法 ) ,是否能消解悖论而作为解释物质发展过程的另一种思维方式并与其对立的因果性思维方式相互补 ,这种东西方文化深层次的协调也许正是 2 1世纪发展现代科学的一条正确途径     

准陶瓷Cf/SiC复合材料的制备

采用热重-差热(TG-DTA)、红外(IR)等分析测试手段,研究了聚碳硅烷(PCS)的裂解及化学转化过程,从理论上验证了先驱体聚碳硅烷(PCS)600℃裂解产物的准陶瓷特性.先驱体聚碳硅烷在600℃呈现一种半有机、半无机状态,其产物具有准陶瓷的特征,在大约750℃出现无机化转变高峰,固称其为准陶瓷.以碳布、准三维编织体、三维编织体为增强体,采用先驱体浸渍裂解(PIP)工艺在600℃制备了碳纤维增强碳化硅(Cf/SiC)准陶瓷基复合材料.结果表明,以三维编织体增强的准陶瓷Cf/SiC复合材料获得了较理想的结构、性能,所制备3D-Cf/SiC复合材料密度仅有1.27g/cm3,弯曲强度达到193.69MPa,室温拉伸强度为197.69MPa,600℃拉伸强度为167.33MPa.复合材料断口形貌分析表明,在低温600℃制备的准陶瓷Cf/SiC复合材料呈现明显的韧性断裂特征.     

某式手枪枪管断裂失效分析

某式手枪枪管在组装前的高压试验中不断出现断裂.断口呈脆性特征,靠近内表面裂源部分(脆性断裂区)呈沿晶断裂形态,并发现有腐蚀产物,中间过渡区(裂纹扩展区)呈准解理 韧窝 沿晶形态,接近外表面部分(瞬断区)呈准解理 韧窝形态.分析结果显示断裂主要是应力腐蚀裂纹导致.枪管变形后的校正造成内表面有残余应力,为应力腐蚀提供了应力条件;除锈使用了酸洗工艺,为应力腐蚀提供了腐蚀条件.采取相应措施后,彻底避免了同样失效的发生.     

基于点云配准的室内移动机器人6自由度位姿估计

针对移动机器人在室内环境下难以获取GPS定位信息,仅靠自身惯导不能得到精确位姿的问题,提出了一种基于RGB-D传感器获取三维环境点云,对连续点云提取特征并进行配准的移动机器人6自由度位姿估计方法.首先通过RGB-D传感器获取环境深度图像,根据特征提取算法提取点云特征;然后以特征点为配准点,运用随机一致性采样(RANdom SAmple Consensus,RANSAC)算法对点云进行初配准,剔除部分错误匹配点,获得初始变换矩阵;最后采用改进的迭代最近点(Iterative Closet Point,ICP)算法进行精配准,获得点云间的最终变换矩阵,实现位姿估计.实验结果表明:该方法有效地提高了大规模点云配准效率,得到了较精确的位姿估计信息.     

套利与记账单位的关系

通常说一策略是套利策略,是指其初始资产为0,而最后的资产以正概率严格大于0,也就是无中生有。如果只是看净收益是否严格大于0还不能判断该策略是否是套利策略。当策略的初始资产不是0时,如何判断该策略是否是套利策略?将就套利给出另一种定义,并证明一策略是否为套利策略只要判断其折准净收益是否以正概率严格大于0。给出了原市场和不同折准市场下无套利数学表达式的等价形式,并给出了在选择不同的记账单位作折准及对策略的不同要求(如:可取,折准可取,折准可取等)时无套利的数学表达式的等价形式。