What truth depends on

被引:69
作者
Leitgeb, H [1 ]
机构
[1] Salzburg Univ, Dept Philosophy, A-5020 Salzburg, Austria
关键词
dependence; self-referentiality; supervenience; truth; ungroundedness;
D O I
10.1007/s10992-004-3758-3
中图分类号
B81 [逻辑学(论理学)];
学科分类号
010104 ; 010105 ;
摘要
What kinds of sentences with truth predicate may be inserted plausibly and consistently into the T-scheme? We state an answer in terms of dependence: those sentences which depend directly or indirectly on non-semantic states of affairs (only). In order to make this precise we introduce a theory of dependence according to which a sentence phi is said to depend on a set Phi of sentences iff the truth value of phi supervenes on the presence or absence of the sentences of Phi in/from the extension of the truth predicate. Both phi and the members of Phi are allowed to contain the truth predicate. On that basis we are able define notions such as ungroundedness or self-referentiality within a classical semantics, and we can show that there is an adequate definition of truth for the class of sentences which depend on non-semantic states of affairs.
引用
收藏
页码:155 / 192
页数:38
相关论文
共 32 条
[1]   LOGIC PROGRAMMING AND NEGATION - A SURVEY [J].
APT, KR ;
BOL, RN .
JOURNAL OF LOGIC PROGRAMMING, 1994, 20 (1-3) :9-71
[2]   Is Yablo's paradox non-circular? (Liar paradox) [J].
Beall, JC .
ANALYSIS, 2001, 61 (03) :176-187
[3]  
BOLANDER T, 2003, ANALYSIS
[4]   THE TRUTH IS NEVER SIMPLE [J].
BURGESS, JP .
JOURNAL OF SYMBOLIC LOGIC, 1986, 51 (03) :663-681
[5]   A THEORY OF FORMAL TRUTH ARITHMETICALLY EQUIVALENT TO ID1 [J].
CANTINI, A .
JOURNAL OF SYMBOLIC LOGIC, 1990, 55 (01) :244-259
[6]  
CHAPUIS A, 1993, THESIS INDIANA U
[7]  
COOK RT, 2002, IN PRESS LOGICA YB
[8]  
Davidson Donald., 1970, Experience and Theory, P79, DOI DOI 10.1093/0199246270.003.0011
[9]   POINTERS TO TRUTH [J].
GAIFMAN, H .
JOURNAL OF PHILOSOPHY, 1992, 89 (05) :223-261
[10]  
Gaifman H., 2000, CIRCULARITY DEFINITI, P79