共查询到20条相似文献，搜索用时 31 毫秒
1.
作为说谎者悖论的推广,n-跳跃说谎者悖论是这样一种悖论,其中的语句在关系框架中每隔n个点真值都发生改变。利用布尔悖论的语义封闭性等特性,证明当n大于1时,n-跳跃说谎者悖论不可能通过布尔悖论来进行表达。同时,对任意的n,给出构造一类布尔悖论的方法,使得它们在比n-跳跃说谎者悖论规定稍弱的意义下,满足所谓的弱n-跳跃说谎者悖论的规定。这部分地解决了n-跳跃说谎者悖论的可定义性问题。 相似文献
2.
马佩 《河南师范大学学报(哲学社会科学版)》1999,(5)
本文共三个部分．第一部分进一步说明说谎者悖论和罗素悖论都是由于混淆了部分与整体的关系才形成的．并指出．“刘文”对这一观点的各种批评都是不能成立的。第二部分从三个方面论证了悖论是一种逻辑矛盾,并对“刘文”否定悖论是逻辑矛盾的全部论据进行了系统的反驳。第三部分指出停论不是辩证矛盾．并指出“刘文”所以认为悖论是辩证矛盾,是由于它既把一切认识都有其客观的辩证法基础和一个辩证命题具体地反映了事物的辩证矛盾相混淆,又把实际上是辩证命题（不是悖论）的所谓“量子悖论”、“伽利略悖论”和悖论相混淆。 相似文献
3.
蒋正峰 《零陵师范高等专科学校学报》2009,(7):78-80
有学者指出：悖论的产生与三个因素有关,即自我指称、否定性概念以及总体或无限。说谎者悖论也不例外。文章通过对说谎者不同情形及解悖方案的考察和分析,认为对说谎者悖论仅从语义角度分析是不够的,还必需考虑到语境情景,并认为之所以产生说谎者悖论与自指的偶循环或“假”之奇循环有关。 相似文献
4.
王建芳 《安徽师范大学学报(人文社会科学版)》2008,36(5)
说谎句"f:f不是真的"中否定词含义的理解和刻画,是说谎者悖论研究中需要特别注意的问题.巴威斯等在说谎者悖论的研究中敏锐地捕捉到了否定与否认的差异,在对比分析有关说谎者悖论的两种不同解决方案(罗素型解释和奥斯汀型解释)的过程中,凸现了否定和否认的区分及其价值:罗素型解释表明说谎者悖论源于否定和否认的混淆,而建立在对说谎者悖论更加精致分析基础上的奥斯汀型解释则指出,否定和否认的混淆仅是说谎者悖论产生的直接原因之一. 相似文献
5.
蒋正峰 《湖南科技学院学报》2009,30(7)
有学者指出：悖论的产生与三个因素有关,即自我指称、否定性概念以及总体或无限。说谎者悖论也不例外。文章通过对说谎者不同情形及解悖方案的考察和分析,认为对说谎者悖论仅从语义角度分析是不够的,还必需考虑到语境情景,并认为之所以产生说谎者悖论与自指的偶循环或“假”之奇循环有关。 相似文献
6.
7.
一类“语义悖论”之消解——作为自我否定句的“语义悖论” 总被引：3，自引：0，他引：3
张铁声 《山西师大学报(社会科学版)》1998,(3)
“语义悖论”困扰人类理性已达两千年之久,迄今尚无定论。本文给出了自我否定句的定义,并进而指出,典型的“语义悖论”——“强化的说谎者悖论”、“格雷林悖论”、“理查德悖论”以及“说谎者悖论”均为自我否定句,从而为统一消解此类“语义悖论”提供了可能 相似文献
8.
宋文淦 《北京师范大学学报(社会科学版)》1987,(6)
<正>说谎者悖论是一个具有逻辑和认识论意义的极古老的悖论，从来为逻辑学者所关注和研究。进入二十世纪，由于陆续发现了许多新的类似的悖论，直接危及经典的逻辑和数学理论的可靠性，这个悖论得到更认真的对待。如今习惯上把这些悖论分为两类：集合论悖论和语义学悖论。说谎者悖论与其他若干悖论一起，由于分别涉及“真”、“假”、“云谓”、“指称”、“定义”等逻辑语义学概念而被归为语义学悖论，它是其中最有代表性的一个。为解决这个悖论，历史上提出了各种各样的理论，本世纪逻辑学家则立足于现代逻辑提出许多解决方案。所有这些努力都促进了逻辑的发展。但是，这个悖论本身（一般地说，语义学悖论）一直没有得到无可争议的解决，至今仍在不断地探索和研究。 相似文献
9.
赵鹏 《毕节师范高等专科学校学报》2014,(4):1-4
说谎者悖论作为古老的逻辑之谜,深深地吸引着众多的逻辑学家、哲学家、语言学家去探究它.一般认为巴威斯等人借助情境语义学对说谎者悖论做出了相对合理的解释.尼科洛夫在模糊逻辑和直觉模糊逻辑中引入巴威斯等人提出的一些定义和结论,从而说明说谎者语句在模糊逻辑和直觉模糊逻辑中不产生悖论. 相似文献
10.
贾国恒 《安徽师范大学学报(人文社会科学版)》2008,36(5)
以奥斯汀式命题观为基础、奥斯汀式阐释为形式,情境语义学解悖方案合乎直觉地解决了以说谎者悖论为首的一批语义悖论.通过对比分析奥斯汀式阐释与罗素式阐释,可以看出,说谎者悖论产生的根源是忽视了情境或情境要素参量.情境语义学解悖方案对语形悖论,包括罗素悖论和合信悖论等也具有推广价值. 相似文献
11.
逻辑--数学悖论是指仅借助于逻辑和数学的符号而得以构造的悖论.从历史发展看,其主要是指布拉里--福蒂(Burali-Forti) 悖论,康托悖论和罗素悖论,它们分别是在1897、1899及1902年提出的.逻辑--数学悖论的出现,明确地表明素朴集合论中包含有逻辑矛盾.解决逻辑--数学悖论,必须对康托的素朴集合论加以限制,特别是必须抛弃前面所提到的概括原则.按策梅罗的研究成果,只须对公理适当地加以选择,就可做到既能使新建立的集合论能成为数学的基础,同时又能确保新的理论不会导致悖论. 相似文献
12.
13.
林邦瑾 《贵阳学院学报(社会科学版)》2005,(2)
思辩逻辑认为逻辑的研究对象是思维或语言;而客体逻辑则主张逻辑科学研究独立于人的认识的客观世界原本具有的客观的逻辑结构和规律。剖析“说谎者悖论”的关键是鉴别“命题”及其“真假”的标准:思辩逻辑认同语言标准;而客体逻辑则坚持客体标准。“说谎者悖论”的真相是:向壁虚构的构造者们不要物证、不顾时空地将几个同音同形然而不同义的语句叠合在一起,从而将语句的“虚”与“真假”根本不同的值纯思辩地混沌杂揉。从实事求是的客体逻辑出发,任何人构造不出任何一个在事实上满足“自我悖反”的“悖论”。 相似文献
14.
吴新民 《绵阳师范高等专科学校学报》2001,(6):21-23
悖谬常见于日常语言中，而悖论则不是一种普遍的语言与思维现象，但在逻辑领域里，罗素悖论及其通俗版本“理发师悖论”却屡见不鲜。本认为，消解“理发师悖论”，既不能希望一个与具体主体无关的形式化系统，也不能采取克服语义悖论的方法，而应结合具体的背景知识，运用形式逻辑来综合探宄，在层层疏析中，理清“理发师悖论”产生的缘由，进而达至消解“理发师悖论”的目的。 相似文献
15.
吴新民 《绵阳师范学院学报》2001,(6)
悖谬常见于日常语言中,而悖论则不是一种普遍的语言与思维现象,但在逻辑领域里,罗素悖论及其通俗版本“理发师悖论”却屡见不鲜。本文认为,消解“理发师悖论”,既不能希望一个与具体主体无关的形式化系统,也不能采取克服语义悖论的方法,而应结合具体的背景知识,运用形式逻辑来综合探究,在层层疏析中,理清“理发师悖论”产生的缘由,进而达至消解“理发师悖论”的目的。 相似文献
16.
沈跃春 《安庆师范学院学报(社会科学版)》2000,(6)
20世纪西方悖论研究是继古希腊和中世纪之后出现的第三次悖论研究的高潮时期 ,可划分为三个阶段 :1 90 1年罗素悖论发现至 30年代末为第一阶段 ,主要以集合论悖论研究为重点 ;4 0年代初至 70年代中叶为第二阶段 ,逐渐转移到以语义悖论研究为重点 ;70年代中叶至 2 0世纪末为第三阶段 ,回归到自然语言 ,在语形、语义、语用的统一中研究悖论问题。现代逻辑在悖论研究中得到了具体应用 ,悖论问题研究促进了现代逻辑的深入发展。 相似文献
17.
1902年,罗素揭示出集合论的一个悖论,这直接触及数学大厦的基础,它使哲学界、逻辑学界和数学界震惊,人们开始对悖论作理性的研究。那么,数学悖论的概念是什么呢？到现在为止,学术界亦无统一准确的定义。但普遍认为：如果某一理论的公理或推理原则看上去是合理的,但在这个理论中却推出了两个相互矛盾的命题,或者证明了这样一个复合命题,它表现为两个相互矛盾的命题等价形式,那么我们就说这个理论中包含一个悖论。 相似文献
18.
洪颖 《和田师范专科学校学报》2006,(2)
按照英国逻辑学家拉姆塞(F.P.Ramsey)的悖论分类,逻辑悖论可以划分为两种不同的类型:集合论—语形悖论和语义悖论。当代的某些悖论研究学者认为,某些语义悖论的背景知识中涉及语用的因素,因此建议从语义悖论中分出另一类悖论——语用悖论。语用悖论的代表是所谓“认知悖论”。认知悖论是挑战人类理性思维和科学发展的难题,研究认知悖论具有十分重要的理论意义和现实意义。 相似文献
19.
本文认为，“说谎者悖论”产生的原因在于我们假设了所有命事实命题，而百假设了古黄二值的普遍有效性，因为即使在多值逻辑和无穷逻辑中，这类悖论仍然无法消解。实际上，命题可分为事实命题与非事实例题。事实命题有对应的事实，因而有真假，非事实命题没有对应的事实，因而是没有真假的。“说谎者悖论”这一类命题就属于非事实命题，没有真假可言，此前证明其为悖论的证明都误用了逻辑。既如此，悖论也就自然而然消解了。 相似文献
20.
《安庆师范学院学报(社会科学版)》1991,(4)
<正> 现代悖论研究产生二十世纪初的西方,它主要是采用现代逻辑作为工具来分析和探讨悖论。如果从1901年“罗素悖论”的发现算起,那么,时至今日西方学术界对悖论的现代研究已有九十年历程。在悖论的现代研究中,国外有许多学者从不同学科和不同角度提出了处理悖论的方法和解决悖论的方案,本文结合于此,对现代悖论研究的进展进行探讨。一、罗素的类型论罗素是现代悖论学说史上第一个指出悖论的重要性并给予认真研究的人,也可以说他是悖论学说现代研究的开拓者和奠基者。1901年春,罗素把康托关于无最大基数的证明经过一番仔细思索之后,发现了一个悖论;1902年他向弗雷格正式提出悖论;1903年在他的《数学的原则》附录B中,提出了类型论的初步设想;1906年,他提出了三种可能解决悖论的方法,即量性限制理论、曲折理论和 相似文献