“三卡悖论”与“说谎者”——解读文兰院士的《解一个古老的悖论》

依据常理,导致"说谎者悖论"的"本语句为假"无论如何算得上是一个句子,因而,文兰院士的说法——"不存在任何句自己说自己为假"似乎有悖常识。然而,这种"自己说自己为假"的"语句"毕竟不是命题(亦即不是非真即假的单义句),而只不过是多义句。正因为如此,所谓"说谎者悖论"纯属源于语言误解之逻辑误用,根本不合逻辑。事实上,我们只消将文兰院士所谓的"句"解读为"命题",将其上述说法解读为"不存在任何命题自己说自己为假",该说法也就不再有悖常识,而易于为人们所接受了。     

哥德尔自指命题与悖论

"可证"的算子用法与谓词用法是严格区分概念层次的结果。"可证"的算子用法是从命题外部来理解"可证"的,而它的谓词用法则是从命题内部来理解的。哥德尔自指命题是否导致悖论,关键在于如何理解"可证"概念。如果把"可证"理解为语句算子,那么哥德尔自指命题就不会导致悖论。否则,如果把它理解为谓词,那么哥德尔自指命题就会导致悖论。     

旋转体面积与体积的悖论和物质模型

任何科学理论都只能建立在理想物质模型之上,考察并且讨论"油漆匠悖论"可以看到在理想模型与科学实践中存在不可解决的矛盾,通过进一步的数学推演发现旋转体面积与体积之间的矛盾具有普遍性,即理想模型与实践的悖论.其中原因既有模型本身的不完善因素,也有对模型类型的混淆所造成的.从建立新物质模型的角度出发,着手寻找原有模型的缺陷,从而解决一些尚未解决的悖论."油漆匠悖论"问题中,计算油漆涂层的厚度,涉及到的物质模型应该是物质存在最小单位——分子的非连续的物质模型;而数学上微积分的物质模型则是连续的无限可分的,正是对这两种模型的混淆才造成该悖论,并通过建立新模型合理解释了该问题.从中引出认识:建立在理想物质模型上的科学理论都会遇到不可解决的问题,而任何科学理论都只能建立在理想物质模型之上,因此科学理论是无止境的、必然进化的和可追逐的.     

评雅布罗的“非自涉悖论”及其消解——略论自涉、矛盾、连续体、矛盾定义谬误

批判并消解雅布罗"非自涉"悖论,比较"自涉"与"月亮圆非自涉"悖论,讨论"矛盾"与"连续体",指出塔斯基犯"矛盾定义"谬误,评析皮亚斯的"不当排斥"、赫兹博格"过分自贬"、西蒙斯的"特异点",以及普利斯特的几个论点。     

"阿基里斯"悖论探析

将芝诺"阿基里斯"悖论与龟兔赛跑的故事相联系,以亚里士多德和黑格尔对芝诺的反驳为引子,给出了代数和极限方法的证明;指出应避免为抽象而抽象、混淆实际步骤和虚拟步骤、混淆步骤无限和时间无限以及不将经验方法与推理方法相结合等错误;指出了芝诺"阿基里斯"悖论的本质.     

为弗雷格的语句指称为真值的观点而辩

文章在综述弗雷格涵义和指称理论基本内容的基础上,首先从理论产生的哲学背景和逻辑悖论的角度对其语句指称为真值的观点进行辩护,而后又结合弗雷格关于涵义和指称的定义,对专名和语句的指称空类现象提出一些个人见解。     

析克里普克解悖方案

克里普克《真理论纲要》一文批评了塔斯基的经典解悖方案,提出了解决悖论的新方案,在语义悖论乃至整个悖论研究中产生了重要影响。通过剖析克里普克解悖方案的3个核心概念——"真值间隙"、"有根性"、"固定点",有助于我们深入探讨悖论语句的特点。通过与塔斯基经典方案的比较,可以发现克里普克解悖方案在技术上和直观上的优点。     

《周易》中"在+L"、"于+L"、"自+L"结构功能考察

周易》中"在 L"、"于 L"、"自 L"格式,都表示主语动作行为的处所,是处所功能的承担者.文章对三种格式进行了考察分析,认为"在"虚化较"于"、"自"为迟,虚化后与"于"有共时重叠使用的时期;"在"、"于"、"自"都不能脱离处所词而存在,是名词性非宾语的标记.     

浅析弗吉尼亚·伍尔夫作品中的"房间"隐喻悖论

本文以前人研究为成果,同时致力于挖掘伍尔夫作品中"房间"隐喻的深层蕴涵,试图从另一视角丰富伍尔夫的"房间"隐喻:悖论性。通过深入分析作者文本,本文指出伍尔夫作品中的"房间"具有悖论性:既是牢笼,又是圣所。同时,本文也探讨了其作品中"房间"隐喻的悖论性成因。     

"细读方法"对语句"花园路径现象"的指明作用

"花园路径现象(GDP)"非局部歧义.花园路径现象在语素、词汇、句子、语篇层面普遍存在."细读三知识"体现内在隐能,"细读三能力"反映外在显能,内外结合、显隐搭配形成"细读原则"(MCR).只有围绕语义中心,满足认知、结构、功能条件,符合充分性、普遍性、结合性、能释性要求,才能正确解读语句层面的花园路径现象.     

说谎者悖论的排除和哥德尔定理的质疑

说谎者悖论是一个佯悖。它之所以被称为悖论,是因为推理者混淆了思维的层次,构造了自指代命题并进行代换才导致矛盾。把"自指代命题"从"自指命题"中区分出来,指出前者违反同一律,作代换还可能违反矛盾律,主张禁止使用自指代命题。还指出哥德尔所构造的自指代命题存在矛盾的双重标准,它的证法采用了双重标准,是错误的。哥德尔定理的结论中的"不可判定"命题,现在有3种不同的错误解释:是非不可分辨的命题(三值)、是非可分辨(二值)但不确定的命题、是非都不可证的任意命题,它们都不是哥德尔的证法所支持的结论。还指出它不会导致"真理丧失说"和"数学丧失了确定性",但还应充分肯定哥德尔的历史功绩。     

"沉默"悖论与"话轮"本质

通过批评"话轮沉默"这一悖论,分析了话轮的言语性特质以及话轮对言语性特质的超越性,提出并论证了话轮的动作性的本质,在此基础上展望了当前语境下话轮研究面临的新的历史机遇和挑战.     

《柳文指要》对"陈言务去"的批评

"陈言务去"语出韩愈,有两层含义:一是指去掉人们用腻了的陈词滥调;二是指摈除人云亦云的庸俗之见.在《柳文指要》中,章士钊对"惟陈言之务去"的观点严重质疑,甚至持否定态度,认为这是个伪命题.章士钊告诉人们,作文大可不必理会"陈言务去",受其束缚,只要做到"文惟其当",即能直抒胸臆,辞达其意则可,管它模仿不模仿、陈言不陈言...     

形容词"大"的级差性与主观化表达

根据形容词义项级差性的有无,把形容词义项分为量级和非量级两种.量级义项是指该形容词义项有级差性,不仅具有对称性,而且还能受到程度副词的修饰.其主要修饰具有空间义的原型性名词,"大"的意义所指往往是比较实在的,修饰名词具有限制性的语法意义,体现出区别性的交际功能.非量级义项是指该形容词义项没有级差性,一般不具有对称性,而且也不能受到程度副词的修饰.其意义已经虚化,修饰名词具有描写性的语法意义,体现出主观化的表达功能.     

非自渐近非扩张型映象具误差的Reich-Takahashi粘滞迭代逼近

在具一致Gateaux可微范数的Banach空间中研究非自渐近非扩张型映象具有误差的Reich-Takahashi粘滞迭代序列的收敛性,在没有任何有界条件下,建立了具误差的Reich-Takahashi粘滞迭代序列的强收敛于非自渐近非扩张型映象的不动点定理.     

"在家"与"在场"的生态书写 ——论刘慈欣《三体》中的女性形象

《三体》在人物形象的塑造中,赋予了女性应对生态危机的隐喻书写.在自然和生命秩序中,女性处于守成和家园的地位.女性由稳定的"在家"走向漂泊的"在场",隐喻了生态危机的多重性和严重性.小说中人类生存由女性选择,女性关于"在家"和"在场"的抉择悖论体现了各自的规定性.依存"在场"的生命本性,坚守"在家"的约束、爱与责任."在...     

基于一阶逻辑的非一致性关系数据管理

对于给定的约束,数据库可能是非一致的.为了获得一致性结果,基于一阶逻辑,提出非一致性关系数据管理框架,研究多种合取查询类型对应的连接图及其连接的充分性,分析一致性查询应答的计算复杂度.在查询连接类型是键-键、非键-键或不充分的键-键,且查询对应的连接图是非环的情况下,一致性查询应答的计算在多项式时间内是可解的.针对大量实际的易处理合取查询,给出查询重写算法获得可重写的查询.算法首先判断初始查询是否为可重写,再基于连接图进行递归计算构造一致性识别语句,然后,与初始查询合取产生一个新的一阶重写查询,用于计算一致性结果.对于非环的自连接查询,由于递归重写算法不能剔除非一致性元组,因此,采用初始查询获取了用于剔除违反键约束的非一致性元组的语句.     

"否则"的形式语义

作为汉语中的一个二元连接词,"否则"实际上有3个主目,其中的一个被省略掉了.这种省略是依赖于语境的,确切地说,其主要与"否则"之前的子句的主连接词有关.在某些情况下,这种省略是歧义的.基于更新语义框架,本文为"否则"构造一种动态语义.在这个语义中,语句的意义是语义堆上的更新函项,"否则"是更新函项上的二元运算.这种处理方式能够成功捕捉这种省略对于语境的依赖.     

"专升本"模式是教育改革的成功实践与探索

目前,我国高等师范专科教育以培养初中教师为根本任务,高等职业技术人才培养规格主要也定位在 专科层次.一个人上了专科就不能再读本科,除非参加成人教育.这种教育模式使一部分有上进心想接受 本科教育的专科生感到失望,尤其是那些因为当年高考一时失误而与本科擦肩而过的专科生.因此,催生 "专升本"教育模式成为专科学生的共同愿望.我省自上世纪90年代以来,随着教育改革的不断深入和社 会、经济发展对人才学历层次要求的提高,对"专升本"递进教育模式进行了全面的探索与实践,取得了非 常成功的经验,产生了非常好的校园激励效应和社会影响.本文仅就中期选拔高专优秀在校学生转入本科 层次继续学习的意义,即"专升本"这一教育模式谈谈体会.     

SQL类查询语句的基本结构及其到关系代数表达式的转换

本文分析了SQL类查询语句的基本结构,指出任何一个嵌套结构的SQL类语句都可以由四种基本嵌套类型组成.在分析基础上,提出了将SQL类查询语句转换成关系代数表达式的算法.