说谎者悖论

摘要： 说谎者悖论是最古老也最难以应付的悖论之一。本文以塔尔斯基的语言分层理论和克里普克的真值间隙理论为背景和参照点来比较文兰教授所提出的句变元理论解悖方案。文章主要从应对不同类型的说谎者悖论以及其他类似的非语义悖论(尤其是模态说谎者和认知说谎者)的角度出发,总结了句变元理论的两个独特之处。第一它揭示出自指以及真谓词在说谎者悖论中显明但不显著的作用;第二它可以应付大量结构相似的悖论并给出统一的解决方案。文章最后比较了克里普克的有根性概念和文兰的方程有解概念的异同,并提出了一些可以继续探索的相关问题。

摘要： 说谎者悖论是最古老最有影响的一个悖论。关于说谎者悖论,主流的理论着重于对“自我指涉”和“真谓词”的分析。本文指出,自我指涉和真谓词虽然是说谎者悖论的明显的外部特征,却不是问题的要害。问题的要害是说谎者悖论里的一个隐蔽的假设。本文先通过考察悖论与反证法的关系给出一个有助于寻找隐蔽假设的一般原理,然后应用这个原理找出说谎者悖论里的隐蔽的假设,以解答说谎者悖论。提供有力证据的是一个新发现的“三卡悖论”,它证实该原理适用于说谎者悖论。按照这一原理,说谎者悖论与一个布尔方程无解的反证法有相同的假设,即“该方程有解”的假设,也即“存在变元的值满足该方程”的假设,只不过对说谎者悖论来说,这个假设是隐蔽的。于是,解答说谎者悖论的关键就是搞清楚这一假设所说的“变元”“值”“方程”“解”对说谎者悖论来说是什么意思。人们将惊讶这一假设在说谎者悖论里隐藏之深。同样的分析也给出了雅布罗(S.Yablo)悖论的解答。

摘要： 作为说谎者悖论的推广,n-跳跃说谎者悖论是这样一种悖论,其中的语句在关系框架中每隔n个点真值都发生改变。利用布尔悖论的语义封闭性等特性,证明当n大于1时,n-跳跃说谎者悖论不可能通过布尔悖论来进行表达。同时,对任意的n,给出构造一类布尔悖论的方法,使得它们在比n-跳跃说谎者悖论规定稍弱的意义下,满足所谓的弱n-跳跃说谎者悖论的规定。这部分地解决了n-跳跃说谎者悖论的可定义性问题。

摘要： 美国哲学家孔斯对逻辑学家盖夫曼提出的语义悖论进行了理性化诠释,并把盖夫曼悖论当作一个关于合理性的难题,盖夫曼悖论与博弈论悖论的相似性使得孔斯追求一种共通的逻辑形式,并对这种逻辑形式的合理性进行分析,从博弈论中的连锁店悖论和囚徒困境悖论出发,探究主体选择的合理性,继而探索盖夫曼孔斯悖论深层的合理性价值,即所有的合理性选择都是有条件的,正如所有的真都是有前提的一样。

摘要： 美国哲学家孔斯对逻辑学家盖夫曼提出的语义悖论进行了理性化诠释,并把盖夫曼悖论当作一个关于合理性的难题,盖夫曼悖论与博弈论悖论的相似性使得孔斯追求一种共通的逻辑形式,并对这种逻辑形式的合理性进行分析,从博弈论中的连锁店悖论和囚徒困境悖论出发,探究主体选择的合理性,继而探索盖夫曼孔斯悖论深层的合理性价值,即所有的合理性选择都是有条件的,正如所有的真都是有前提的一样.

摘要： "哲人的高贵谎言"出自柏拉图的《国家篇》(又译《理想国》),认为哲人作为统治者时需要以"高贵的谎言"维持城邦的稳定。施特劳斯基于柏拉图的言说,"重新发现"了作为古典政治哲学的教诲与言说的"显白与隐微结合"的方法,这种方法要求受教诲者或读者通过"字里行间"的阅读来探求哲人的"微言大义"。施特劳斯的主张虽然得到部分学者的认同,但是"哲人的谎言"这一论题实际上是存在较大争议的。概言之,有基于语言哲学上的"说谎者悖论"所提出的逻辑上的指控,以及基于实践哲学上的对于"哲人说谎"的理由的拷问。本文认为,若不能化解"说谎者悖论"的逻辑困境,那么哲人就会陷入"不明智"的践言冲突;若不对"哲人说谎"这一行为进行实践理由上的证立,那么哲人就是"虚伪"的。本文的任务就在于削弱"说谎者悖论"对"哲人谎言"的影响,同时对于"哲人说谎"这一实践的理由进行找寻和证立。

摘要： 2020年12月13日—16日,导演郭熙志携纪录片《渡口编年》,在南京大学文学院进行了为期4天的放映活动,来自长江南岸的陌生诗篇闯进了因疫情而暂时封闭的校园。几户人家20多年的时光被浓缩成摄影机里的1000多个小时,经过6年的剪辑,漫长的记忆又被制作成11.5小时的影片。相当宏大的体量里,作者与作品的关系屡次引发讨论,它们大都指向私纪录片(Self-documentary)创作的一个特征:创作者自我的隐匿与表达之间存在悖论。

摘要： "我正在说的这句话是谎话."这是一句看似很普通的话,而从数学的角度来判断,这就是一句很不普通的话.假设这句话是真的,根据其语义,可得它为假.若假设这句话为假,其语义又恰好"是其所是",可得它为真,总之,无论如何选择假设,你都会陷入对也不是、错也不是的困境.这种让人陷入自相矛盾怪圈中的问题,在数学里被叫做悖论.上面提到的悖论被通称为"说谎者悖论",由公元前四世纪的古希腊哲学家欧布里德提出,曾困扰了无数的数学家和逻辑学家.

摘要： 蒯因的说谎者,因为看起来没有经典说谎者当中的那种自我指称,对那种把说谎者悖论归咎于无意义或者非法的自我指称的解决方案提出了严峻挑战。但是,蒯因本人和后来为数不多的评论者大多并没有对此给予足够的关注。通过跨越语形和语义的分析,发现蒯因的说谎者也有可以归咎的自我指称形式,只不过它不是经典说谎者当中的明确形式,而是另外一种经常遇到却从未留意的隐含形式。

摘要： 蒯因的说谎者,因为看起来没有经典说谎者当中的那种自我指称,对那种把说谎者悖论归咎于无意义或者非法的自我指称的解决方案提出了严峻挑战。但是,蒯因本人和后来为数不多的评论者大多并没有对此给予足够的关注。通过跨越语形和语义的分析,发现蒯因的说谎者也有可以归咎的自我指称形式,只不过它不是经典说谎者当中的明确形式,而是另外一种经常遇到却从未留意的隐含形式。

摘要： 在与数学基础相关的一系列悖论疑难中，说谎者悖论往往被赋予一种特殊意义，成为发展现代数理逻辑的思想基础。但是，无论是Russell还是Tarski为其构造的解释都不恰当。说谎者悖论和所有悖论一样，没有任何神奇的地方，仍然最终归咎于相关思维逻辑的不当和错误。

摘要： 在与数学基础相关的一系列悖论疑难中,说谎者悖论往往被赋予一种特殊意义,成为发展现代数理逻辑的思想基础。但是,无论是Russell还是Tarski为其构造的解释都不恰当。说谎者悖论和所有悖论一样,没有任何神奇的地方,仍然最终归咎于相关思维逻辑的不当和错误。

摘要： 我们给出说谎者悖论的一种新分析，利用关系语义建立了说谎者语句的语义解释。我们证明了,说谎者语句在某关系框架上不蕴涵矛盾，当且仅当该框架不含奇循环。由此，在下述意义上建立了说谎者语句不说谎的系统改系统恰好为无奇循环的框架类刻画。

摘要： 本发明涉及一种说谎状态实时识别修正系统，包括语音输入模块、样本分类模块、语意识别模块、说谎状态识别模块、语音字典、标识模块、修正模块和输出模块；所述语音输入模块用于采集语音信号；所述样本分类模块通讯连接在语音输入模块上；所述语意识别模块通讯连接在样本分类模块上；所述说谎状态识别模块通讯连接在样本分类模块上；所述语音字典通讯连接在语意识别模块和说谎状态识别模块之间；所述标识模块分别通讯连接在语意识别模块和说谎状态识别模块上；所述修正模块分别通讯连接在标识模块和语音字典上；所述输出模块通讯连接在修正模块上，其能够识别和标识话语的可信度等级，并修正及产生新的问题，实效性强，获取的信息准确。

摘要： 本发明涉及一种基于面试中微表情的说谎检测方法，首先模型以皱眉、抬眉毛、抿嘴、嘟嘴、歪头五种表情进行训练，对每一类表情数据打上标签；接着输入脸部微表情的图像到预训练好的以VGG16作为骨干的SSD网络中，让图片经过卷积神经网络提取特征，并生成特征图；然后对每个特征图都执行卷积操作来评估默认边界框，对每个边界框预测偏移量和分类概率；接着将不同特征图获得的边界框结合起来，执行非极大值抑制的方法过滤一部分重叠或者不正确的边框，生成最终的边界框集合；最后对检测结果用分类器分类。本发明同时使用高层次和低层次的视觉特征，与人类相比，在预测欺骗方面明显更好；比人类的肉眼的判断不仅速度更快，技术精准度更高。

摘要： 本发明涉及一种说谎状态实时识别修正系统，包括语音输入模块、样本分类模块、语意识别模块、说谎状态识别模块、语音字典、标识模块、修正模块和输出模块；所述语音输入模块用于采集语音信号；所述样本分类模块通讯连接在语音输入模块上；所述语意识别模块通讯连接在样本分类模块上；所述说谎状态识别模块通讯连接在样本分类模块上；所述语音字典通讯连接在语意识别模块和说谎状态识别模块之间；所述标识模块分别通讯连接在语意识别模块和说谎状态识别模块上；所述修正模块分别通讯连接在标识模块和语音字典上；所述输出模块通讯连接在修正模块上，其能够识别和标识话语的可信度等级，并修正及产生新的问题，实效性强，获取的信息准确。

摘要： 本发明公开了一种基于布雷斯悖论效应的电力系统可靠性与经济性建模方法，包括影响电力系统可靠性的弃风能量带来的损失，还有整个输电建设中的收益和成本来进行评估，通过输电容量的改变整体评估了电网的可靠性和经济性，最终找到最优输电容量，使得供电需求、收益、投资成本和电网的稳定运行达到平衡。

摘要： 本发明公开了一种基于光学模型的晶状体悖论分析方法，包括：获取老花眼的人眼参数；根据正常人眼的晶状体模型结合所获取的老花眼人眼参数，得到初始老花眼光学模型，并以老花眼的屈光度和成像质量为目标，将晶状体的光学参数中面型和折射率设为变量，以建立老花眼光学模型；根据所建立的老花眼光学模型，分析晶状体的光学参数中面型和折射率分别随年龄的变化情况，并完成对晶状体悖论进行解释分析。本发明以正常的人眼模型为基础，结合老花眼的屈光度以及实际测得的老花眼的有关数据，对晶状体悖论进行解释分析，能够分析晶状体的悖论，做到快速建模和分析。

摘要： 本实用新型公开了一种用于教学的数学悖论视觉演示装置，包括面板、和演示圆盘，演示圆盘包括内旋转盘、外固定环，所述内旋转盘、外固定环的中心点重合，演示圆盘上发散型的设置有若干标识件，相邻的标识件之间所成的角度相同，标识件包括第一标识件和第二标识件，第一标识件和第二标识件数量相差一，标识件依次由尾端部、标识部和头端部组成，第一标识件的标识部为空白标识，第二标识件的标识部为填充标识，其中一标识件仅有头端部位于外固定环，且与外固定环的内边缘相切，采用上述技术方案，两种状态下的第一标识件和第二标识件的数量各不相同，在通过反复操作的情况下，发现其中变化的细节，最终认识到该现象产生的原因，并对其认识更加深刻。