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

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

理想照进现实——许三多悖论，人人都做许三多？

《士兵突击》的导演康洪雷说：“我不喜欢那句‘不想当将军的士兵不是好士兵’。是当士兵的料，我们就当一辈子士兵；是当将军的料，你就当将军。我们总想把自己当成主官，仿佛这就是一个最高境界。其实中国传统不是这样的。”这是当百度与康洪雷对话问道，假如许三多退伍进入社会的时候，会不会不能适应新的环境时康洪雷的回答。     

文化认同悖论及对兵团文化发展的影响

文化认同本质上是一种价值选择与体认。“兵团人”以“爱国奉献”作为自己的价值选择在形成高度文化认同的同时，也创造了独特的兵团文化。在文化全球化发展的今天，经济对文化发展的影响日益显著。在区域经济与文化发展日益不平衡的背景下，兵团人对兵团文化的认同正面临着挑战。理性客观分析“兵团人”在文化认同上所面临的挑战，既有助于兵团文化的进一步发展，也有利于为兵团经济社会的发展提供持久的精神动力。     

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

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

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

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

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

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

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

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

增长型失业形成原因及解决途径

转轨时期我国城镇失业的一个显著特征 ,就是经济增长伴随着失业规模的不断扩大。这种悖论的出现 ,是由劳动力市场的分割、国有企业的“内部人控制”、投资结构偏差等因素引起的。只有解决好这些问题 ,才能真正实现经济增长与消除失业的双重目标。     

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

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