公理化真与说谎者悖论

来源 :哲学研究 | 被引量 : 0次 | 上传用户:chaizw
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
公理化真理论把真看作一个原始谓词,并用一组公理和规则给出真谓词的意义,真首先是语形概念。在公理化真理论的标准模型中,一个定理可解释为真。因此模型真和语形真在概念上需要作出区分。通过不同的技术手段大部分公理化真理论都能较好地处理悖论,但DT和KF系统同时证明"说谎者语句λ"与"λ不是真的",此时语形真和模型真产生了冲突。莫德林和费弗曼等国外学者从哲学解释或技术上对此进行的辩护都存在不足之处,本文通过从语义视角入手建立起一种真对应关系后指出,这一受到质疑的结论既不应归结为形式技术问题,不是一个意外的推论,也不必从其他哲学角度进行辩护,问题是由克里普克语义真理论自身在处理强化说谎者悖论时失效所导致的。KF系统两种真的冲突,反而以形式方法揭示了当内、外逻辑不一致时,真理论所具有的性质。
其他文献
目的:观察尼古丁及卡巴胆碱对谷氨酸诱导的小胶质细胞增殖的影响.方法:培养的小胶质细胞系,加入不同浓度的尼古丁、卡巴胆碱及谷氨酸,用MTT方法检测细胞活性,观察对小胶质细胞数量
在当前时代,美术教学有了较大的改变和发展,它对培养学生创新意识与创造能力无疑有着其他学科不可取代的优势。这些优势不仅体现在作品的构思与技巧的独特上,还可以表现在学
通过60Co-γ射线作为辐射源进行紫花苜蓿种子的辐射,筛选出适应湘中丘陵区气候的紫花苜蓿新品种,提高湘中丘陵区紫花苜蓿的抗逆性,解决湘中丘陵区生猪养殖业中饲料不足的问题,降
采用多年田间试验研究的方法,分析水稻+鸭生物互作与水稻单作两个生产模式下对水稻生长、产量及稻米品质的影响。试验表明:稻+鸭生物互作模式,不影响水稻田间生物学性状和产
我科于2006年4月4日收治了一例席汉氏综合征围手术期并发垂体危象及阿斯综合征的患者,经抢救康复出院。现将护理体会报道如下。1病例介绍患者,女,53岁。20多年前产后出现闭经、
学界对笛卡尔的真理理论还没有形成决定性的共识和系统性的见解,这篇文章旨在澄清该理论:(1)首先区分两种笛卡尔的"真/假"概念:在判断中的形式性真/假和观念的质料性真/假;(2
随着科学技术的迅猛发展和大量信息的快速传播,社会意识形态的多样性和复杂性也越发凸显,社会的各种矛盾、冲突和危机也逐渐反映到高校这片土地上。高校作为高等教育的重要阵
1 临床资料 群体性亚硝酸盐中毒22(男12,女10)例,年龄17-65(平均34.3)岁,均为一食品加工厂工人,2004—10—24中午在食堂就餐后10—60min发病,均表现为体温和血压偏低,立即调动抢救小组’
采用文献资料法、专家访谈法等研究方法对美、英两国职业运动员工会的历史发展与相关法律法规的建构过程进行了梳理,认为职业运动员工会基本职能包括:谈判职能、维权职能、服