共查询到20条相似文献，搜索用时 484 毫秒
1.
熊明 《中山大学学报论丛》2010,3(1)
当把塔斯基对真概念提出的T-模式拓展到有向图上,塔斯基定理成立与否取决于归谬过程中使用的悖论及有向图的特征.本文证明了在使用说谎者悖论证明塔斯基定理时,在并且仅在有向图中含有奇循环时,说谎者悖论才会导致矛盾;在使用佐丹卡片悖论证明塔斯基定理时,在并且仅在有向图中含有高度不能被4整除的循环时,佐丹卡片悖论才会导致矛盾,这表明当T-模式拓展到有向图时,哥德尔关于"认识论悖论"应用于不完全性证明的思想能够被非平庸地类推于真之不可定义性的证明中. 相似文献
2.
《科学技术哲学研究》2015,(1)
戴维森从塔斯基的Tx模式出发,得出一种基于经验的"真"理论,即由经验证据确立Tx语句的真实性,进而得出关于彻底解释的意义理论。戴维森的"真"理论不仅改变了塔斯基理论的逻辑性质,而且把塔斯基从意义到真的研究方向倒转过来,变成从真到意义的研究进路。戴维森从塔斯基那里真正继承的是"真"的初始概念,而塔斯基却误把Tx模式当作真之定义。 相似文献
3.
陈晓平 《科学技术哲学研究》2014,(2):1-8
塔斯基提出的作为真之定义的T模式,引发了关于"真"的收缩论和膨胀论的争论。文章提出另一种真之定义即T'模式,作为对T模式的补充,从而改进了塔斯基的语言层次论,并将真之收缩论和膨胀论统一起来。在普特南的"内在实在论"的基础上,文章对"存在"和"事实"加以界定,对"内在符合论"给以澄清,并阐明真之实用论和真之融贯论的作用及其关系,从而将真之符合论、实用论和融贯论以及收缩论和膨胀论统一起来。 相似文献
4.
真的概念在哲学、逻辑学研究中有着十分重要的地位.塔斯基从语义学的角度对真进行了定义:对象语言O中一个闭语句是真的,当且仅当它被所有的序列所满足.对这一定义进行具体解读,分析塔斯基真理理论所提出的“真”定义的实质适当性条件和形式正确性条件,然后分析塔斯基定义‘真’的具体步骤. 相似文献
5.
黄展骥 《合肥教育学院学报》2005,22(4):56-60
塔斯基宣判“自然（日常）语言”死刑，是因为他发现它内含“矛盾被证”。塔斯基误把自己犯的“矛盾定义”谬误“迁怒”、“归罪”于语言本身，所以塔斯基的“层级论”应被抛弃；哥德尔和塔斯基两者的理论“相通”，自然也会受到质疑。 相似文献
6.
朱建平 《华侨大学学报(哲学社会科学版)》2014,(2):56-70
塔斯基关于真的语义学定义和逻辑后承的里程碑式的著作是对现代语义学研究最重要的贡献。塔斯基用满足和归纳的方式给出的真的递归定义,循序渐进的句法定义,语义模型的概念,逻辑真和逻辑后承的概念等一系列理论和方法构成了当代语义学理论的核心部分。诸如模型论语义学、可能世界语义学、戴维森的意义理论、蒙太格的内涵语义学,甚至作为生成语法的分支的逻辑形式(LF)等无一不体现或者渗透着塔斯基原理和思想。 相似文献
7.
假句(包括矛盾句)存在于语言里是合法合理的."层级"论将存有"矛盾被证"的自然语言宣判"死刑",是把人(语言使用者)的逻辑犯规归罪于语言本身,而解悖方案回归自然语言实际是对塔斯基"层级"论宣判死刑.随着研究的深入发展,逻辑悖论研究的重心自然而然转移到了"语义悖论"上来.塔斯基对"谎者"悖论的解释,以"本语句"指称或界定"本语句假",犯了"矛盾定义"的谬误,而哥德尔的理论也因跟塔斯基理论的内在联系,也可能引起我们的疑问. 相似文献
8.
知识理论与真之理论紧密联系在一起,康德的先验逻辑关于知识说了很多,关于真却说得很少。康德的真之理论既不能简单地认为是符合论,也不能简单地划归于融贯论。引入当代逻辑哲学成果,从真之定义、形式和质料标准、真之载体等方面分析先验逻辑中真之观念,可以对康德的真之观念作一种实用论的解读。准确把握康德的真之理论,既可以促进对先验哲学的理解,又可以促进对逻辑哲学中真之理论的研究。 相似文献
9.
《科学技术哲学研究》2015,(2)
戴维森纲领旨在提供一种自然语言的外延性意义理论而诉诸的约定-T模式,面临外延性和语义解释性之间的冲突而蕴涵异常的T-语句。这一问题因受到福斯特等人的批评而称为"福斯特问题"。戴维森力图诉诸语义组合性结构和典范证明、经受反事实条件检验和彻底解释中的宽容原则排除异常的T-语句,以捍卫其原则性理论立场。然而,戴维森做出的这番努力因缺乏足够的说服力并未消除其理论面临的这一难题。这表明,跨越真之概念的语言层次的做法和建立一种严格非循环性语义论的目标是不可取的,戴维森纲领勾画的理想蓝图难以成真。 相似文献
10.
王文方 《中山大学学报论丛》2008,1(1)
塔斯基(Tarski)于1933年发表了他著名的真理定义,并相信该定义能够为其物理论的哲学立场服务;但费尔德(Field)批评说,塔斯基实际上所给出的真理定义并没能成功地达成这个目标.不过,费尔德同时也认为,一个部分奠基在塔斯基真理定义之上、并且是物理论者可以接受的化约性真理理论并非不可能.费尔德对于塔斯基真理定义的这些批评,在哲学家中曾经引起了许多意见不一的反应.本文的目的是想回答在这些讨论当中曾经被提出过的三个问题.首先,塔斯基实际上所给出的真理定义是不是一个物理论者可以接受的化约性定义?其次,费尔德所设想的那种可被物理论者所接受的化约性真理理论是否可能成功?最后,如果塔斯基实际上所给出的定义并不能符合物理论的化约目标,那么,一个物理论者是否便应该据此去反对塔斯基的真理定义?本文的最终结论是:这三个问题的正确答案都是否定的. 相似文献
11.
根据文[1]中严格下凸函数的定义，将文[2]和文[3]中的有关凸函数常用的不等式进行了归纳，总结成三个定理和八个推论，这些定理和性质前后联贯，一气呵成。文中的不等式不论在理论证明还是实际应用中都有很重要意义。 相似文献
12.
对威廉·詹姆斯的真理学说的考察,可以证明实用主义并非相对主义,并澄清人们对实用主义的种种误解。通过逐一分析、讨论并反驳"有用即真理"、"真理等于证实过程"、"仅有辩护,并无真理"等对詹姆斯真理论的质疑,可以证明实用主义一方面从新的旨趣出发重塑哲学形态,另一方面则在新的形态中竭力维护科学的严格性,捍卫真理,坚守理性的边界。詹姆斯的真理论正是这种尝试的产物,用一种新的理论范式抗拒相对主义和怀疑主义。 相似文献
13.
作为多元主义真理论的主要代表,功能主义真理论主张真是一种功能性质,能够被不同论域的低阶性质显现。因此,真既是"一"又是"多"。低阶性质与真之间是反对称的显现关系,前者显现后者,后者内在于前者。可以看出,显现是功能主义真理论的重要概念,显现关系是真之"一"与"多"之间的桥梁;然而,显现关系也遭到了质疑。 相似文献
14.
哥德尔定理让我们看到数学演绎推理的局限性.但是,数学本身又能通过推理论证自己的局限,这就显示了数学的力量.存在着在形式推理范围内不可证明的真命题,其实也没有什么不得了的.人类对事物规律的认识是不断深入、逐步推进的,在形式系统内不可证的命题,也许可以在系统之外——在更大的系统之内求证.比方说,如果我们知道哥德巴赫猜想在现在的算术系统里是不能被证明也不能 相似文献
15.
彭媚娟 《中山大学学报论丛》2010,3(2)
弗雷格运用逻辑分析的方法,提出了自己独特的"真"之思想,形成了关于"真"的完整理论.在他看来,"真"不具有实体属性,不存在与客体在存在方式或存在状况的符合与对应,"真"只用来表达断定句形式中的断定力.当"5是素数"这个句子带有断定力时,真也就被表达出来,它与"5是素数是真的"表达了同样的内容.另外,他将"真"作为初始概念,认为真是不可定义的.如果对"真"进行定义,将走入"定义的循环".因为要知道什么是"真",就需要论证表象与现实的一致性,而二者的一致又依赖于"真"的定义.这种思路与做法必将导致循环定义,故弗雷格认为"真"是不可定义的.基于以上两点的分析,他再次对符合论提出批评.他认为,如果符合论对"真"的理解是正确的话,那么结论是"事实比真更为基本,应该在事实的基础上定义真",但这显然是错误的,因为我们总是通过真来确定事实,而不是通过事实来确定真.我们似乎可以在弗雷格思想中找到收缩论的雏型,因为他关于"真"的认识与收缩论在很大程度上是一致的.收缩论最重要的观点在于说"P是真的"和说"P"有相同的涵义,谓词"是真的"是多余的."真"本身是可收缩的,不带有实体性质.于是,我们可把弗雷格作为表达真之收缩观点的第一位哲学家,虽然他并不是坚定的收缩论者. 相似文献
16.
《圆周角定理及推论的证明》投影片的设计与制作刘华《圆周角定理及推论的证明》,是初中几何《圆周角》一节的内容。圆周角的概念、圆周角定理及三个推论是本节的重点。要求学生明确圆周角的概念,理解定理证明的思路（特别是为什么分三种情况讨论,这里首次运用了分类归... 相似文献
17.
本篇是<评塔斯基的'层级论'>(<河池师专学报>2003年第4期)一文的姊妹篇,如果上篇通过解悖方案回归自然语言宣判了塔斯基"层级论"的死刑,并使哥德尔的理论也跟着引起我们疑问,那么本篇在两大理论权威之后,略评西方9位专家如何堕进说谎者悖论研究的大误区,也就迎刃而解了. 相似文献
18.
栾春秀 《数学学习与研究(教研版)》2015,(2):98
圆内接四边形教学,本人原先的教学设计是引导学生复习圆周角定理及其两个推论,做几道运用圆周角定理及其推论的题目,然后画出一个圆内接四边形,直接给出圆内接四边形的定义,让学生探究圆内接四边形性质,最后应用性质解决问题.按照"复习——定义——定理猜想——证明——应用"的设计模式展开教学.在实际操作时,上课初,先复习旧知,"上节课我们学习了圆周角定理及其两个推论,请同学回答圆周角定理的内容 相似文献
19.
几何题千变万化,全无定法,这似乎已成为两千年来人们的共识。五十年代,塔斯基证明一切初等几何及代数命题均可判定,即有一统一方法加以解决。这使人们吃了一惊,但塔斯基方法极繁,即使在高速计算机上也难于用它证明几个稍难的几何定理。到了七十 相似文献