【摘 要】
：
当把塔斯基对真概念提出的T-模式拓展到有向图上,塔斯基定理成立与否取决于归谬过程中使用的悖论及有向图的特征。本文证明了在使用说谎者悖论证明塔斯基定理时,在并且仅在有
【基金项目】
：
广东省优秀青年创新人才培育项目（育苗工程项目 编号：WYM08064）, 教育部人文社会科学重点研究基地重大项目（批准号：07JJD720045）
论文部分内容阅读
当把塔斯基对真概念提出的T-模式拓展到有向图上,塔斯基定理成立与否取决于归谬过程中使用的悖论及有向图的特征。本文证明了在使用说谎者悖论证明塔斯基定理时,在并且仅在有向图中含有奇循环时,说谎者悖论才会导致矛盾;在使用佐丹卡片悖论证明塔斯基定理时,在并且仅在有向图中含有高度不能被4整除的循环时,佐丹卡片悖论才会导致矛盾,这表明当T-模式拓展到有向图时,哥德尔关于＂认识论悖论＂应用于不完全性证明的思想能够被非平庸地类推于真之不可定义性的证明中。
其他文献
对当前电力系统电压控制的设备及运行进行了比较全面的总结，指出了各种控制设备的优缺点及适用范围，并结合灵活交流输电技术(FACTS技术）的发展而出现的新型FACTS设备，提出了设备
嘉陵江流域蕴藏着大量的特细砂，在嘉陵江流域修建的水工建筑均采用低砂率、低用水量、低陷度、高粉煤灰掺量和掺高效减水剂的方法配制水工特细砂大体积混凝土。本文结合嘉陵江
气候变化与人为活动引起的高寒草地退化对草地土壤生态系统产生了重要影响。迄今对高寒沙化草地土壤的物理、化学和生物学特性研究较多,而对土壤微生物特性的关注较少,特别是
近年来,由于合成皮革技术的日渐进步,人工合成皮革质量提高,产品日新月异。这不仅符合全球保护动物运动的潮流,以其大量代替天然动物皮革,而且应用越来越广泛,成为现代服饰业
据电子行业信息:今年一季度落地式组合音响市场销量猛增,较去年同期增长100%以上。专家们认为:组合音响将从台式向“落地式”转移,形成鲜明的市场“流行色”,其走俏主因是:
黑白电视机最怕无节制地反复开关,这是因为每开一次,显象管灯丝就过热—次,从而降低使用寿命。彩色电视机最怕磁场干扰,因为带有磁场性的物体距彩电过近或在荧光屏前移动,会
据英国专家进行市场调查的结果表明,全球没有一个国家能避免假货的灾难。每年全世界用于打击假货的费用高达万亿美元,商品的生产厂家也因假冒商品付出了沉重的代价。英国同样
湖北省襄阳亚细亚商场在激烈的市场竞争中,宁愿自已承担风险,敢于为消费者负责,率先在全市推出“四无风险”购物法,让顾客直接检验商场的商品价格,商品质量和服务质量,赢得了
OK库是一个开源数据库，被用于支持广义SAT问题领域的研究和发展，该库可从下述网址获得：http：//www．ok—sat—library．org．。本文中我们讨论了这个数据库的发展历史、开发动机和组成
助听器对于耳背的老年人无疑是一个非常有用的物件。助听器实际上是一个微型的扩音器,通过它可以帮助某些耳聋患者弥补听力的损失。助听器分为声传导型和骨传导型两类。目前,