重庆理工大学学报(社会科学版)
重慶理工大學學報(社會科學版)
중경리공대학학보(사회과학판)
JOURNAL OF CHONGQING INSTITUTE OF TECHNOLOGY
2014年
10期
21-24
,共4页
(T)型等值式%真的%紧缩论
(T)型等值式%真的%緊縮論
(T)형등치식%진적%긴축론
equivalence of the form(T)%true%deflation
塔尔斯基在阐述关于“真”的语义学定义时,提出了著名的(T)型等值式:X 是真的,当且仅当 P。其中,P 为任意语句,X 则为该语句的名称。典型的例子如,“雪是白的”是真的,当且仅当雪是白的。(T)型等值式的提出,偏离了真之符合论的初衷,给真之紧缩论提供了重要的资源。然而,需要指出的是,( T)型等值式把指向事实的语句泛化为一般的语句形式,通过对(T)型等值式两边严格的语义分析,(T)型等值式并非等值。
塔爾斯基在闡述關于“真”的語義學定義時,提齣瞭著名的(T)型等值式:X 是真的,噹且僅噹 P。其中,P 為任意語句,X 則為該語句的名稱。典型的例子如,“雪是白的”是真的,噹且僅噹雪是白的。(T)型等值式的提齣,偏離瞭真之符閤論的初衷,給真之緊縮論提供瞭重要的資源。然而,需要指齣的是,( T)型等值式把指嚮事實的語句汎化為一般的語句形式,通過對(T)型等值式兩邊嚴格的語義分析,(T)型等值式併非等值。
탑이사기재천술관우“진”적어의학정의시,제출료저명적(T)형등치식:X 시진적,당차부당 P。기중,P 위임의어구,X 칙위해어구적명칭。전형적례자여,“설시백적”시진적,당차부당설시백적。(T)형등치식적제출,편리료진지부합론적초충,급진지긴축론제공료중요적자원。연이,수요지출적시,( T)형등치식파지향사실적어구범화위일반적어구형식,통과대(T)형등치식량변엄격적어의분석,(T)형등치식병비등치。
When discussing the semantics definition of truth,Tarski put forward the well-known e-quivalence of the form(T):X is true,if and only if P,in which P stands for any sentence,and X stands for the name of the sentence. The typical example is that“snow is white”is true,if and only if snow is white. The equivalence of the form(T)deviated from the correspondence theory of truth, and provided an important resource to the deflation of truth. However,it needs to be pointed out that in the equivalence of the form(T)P which stands for any sentence and refers to fact is generalized as a common sentence form,and the equivalence of the form(T)is not equivalent after strict semantic analyzed.