检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
机构地区:[1]南开大学哲学院,天津300350
出 处:《天津大学学报(社会科学版)》2017年第2期146-151,共6页Journal of Tianjin University:Social Sciences
基 金:国家社会科学基金资助项目(12BZX059)
摘 要:哈尔巴赫(Volker Halbach)、霍斯顿(Leon Horsten)作为研究公理化真理论的领军人物,多年来一直致力于公理化真理论体系内部各分支理论的研究。近期他们以理论整体为着眼点对公理化真理论进行完善,包括加强公理化真理论与语义真理论的联系,并注重对真理论的规范进行探讨与整合,这些工作都是对理论整体的巩固。而辛德勒(Thomas Schindler)、赫克(Richard G.Heck)、尼克莱(Carlo Nicolai)作为研究公理化真理论的新生代力量,最近则是从理论局部进行创新。这些拓展性的工作包括引进博弈论语义学丰富公理化真理论的语义解释,构造包含"有根基的(grounded)"和"真的"两个谓词的新系统,尝试以三层语言的组合真理论克服不保守性现象。但在尝试解离(disentangled)语法之后,保守性与紧缩论之间的矛盾依然存在,从而迫使萨林斯克(Cezary Cie'sliński)等学者重新审视保守性要求与紧缩论教条的合理性。As the leaders, Volker Halbach and Leon Horsten et al committed themselves to studying the branches of axio-matic theories of truth for many years. Recently, they are from the point of the whole theory to complete the axiomatic theo-ries of truth, including strengthening the relation between the theories of axiomatic truth and semantic truth and paying more attention to discuss and integrate the rules of truth theory. All of these consolidate the axiomatic theories of truth in general. While, as the representative of Genozoic, Thomas Schindler, Richard G. Heck and Carlo Nicolai et al innovate partly on the basis of existing theoretical system, including introducing the semantic theory of game to enrich the semantic interpreta-tions of axiomatic truth and formulating a new system which has grounded and truth two predicates, attempting to overcome the non conservative phenomenon by a compositional theory of truth which formed in tri-levels language. After disentangling syntax, however, the fact that the conflicts of conservativity and deflationism still be there forces Gezary Gie? linski et al to re-examine the rationality of conservativity require and deflatonsim doctrine.
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:216.73.216.117