首页 | 本学科首页   官方微博 | 高级检索  
     检索      

塔尔斯基(T)型等值式成立吗?
引用本文:蒋正峰.塔尔斯基(T)型等值式成立吗?[J].重庆工商大学学报(自然科学版),2014(10).
作者姓名:蒋正峰
作者单位:华南农业大学思政部;
基金项目:广东省优长学科、特色学科建设专项资助课题“现代逻辑背景下的真理论研究”(2013YCTS10)
摘    要:塔尔斯基在阐述关于"真"的语义学定义时,提出了著名的(T)型等值式:X是真的,当且仅当P。其中,P为任意语句,X则为该语句的名称。典型的例子如,"雪是白的"是真的,当且仅当雪是白的。(T)型等值式的提出,偏离了真之符合论的初衷,给真之紧缩论提供了重要的资源。然而,需要指出的是,(T)型等值式把指向事实的语句泛化为一般的语句形式,通过对(T)型等值式两边严格的语义分析,(T)型等值式并非等值。

关 键 词:(T)型等值式  真的  紧缩论
本文献已被 CNKI 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号