
<一般論文>真理概念は論理結合子となりうるか真理理論とハーモニー<一般論文>真理概念は論理結合子となりうるか真理理論とハーモニーAA12164361 <Regular Articles>Is truth a logical connective?: A truth theory and the harmony 
"/矢田部, 俊介/"矢田部, 俊介
9pp.1

32 , 20150331 , 京都大学文学部科学哲学科学史研究室
ISSN:18839177
NCID:AA12164361
Description
Truth theories like the FriedmanSheard's truth theory (FS) have two rules, Tin rule and Tout rule, about introduction and elimination of the truth predicate. They look like the introduction rule and the elimination rule of a logical connective. From the proof theoretic semantics viewpoint, one might think that the truth predicate is a logical connective which is governed by these two rules. From this proof theoretic semantics viewpoint, the nature of truth is like deflationist's nature of truth. Additionally one of the most important things is that the truth predicate does not disturb the traceability of the argument from the premises to a conclusion. However, a crucial problem has been known: any criteria to be a logical connective, known as a "harmony" of the introduction rule and the elimination rule, are not satisfied because of the ωinconsistency of FS. Such ωinconsistency is caused by the fact that the truth predicate enables us to define paradoxical formulae of seemingly infinitelength. These formulae can be regarded as coinductive objects in terms of computer science. The reason of the failure of the harmony is that these criteria are defined not for coinductively defined paradoxical formulae but for inductively defined formulae. In this paper, we examine how we can extend the criteria for harmony for coinductive formulae.
FullText
http://repository.kulib.kyotou.ac.jp/dspace/bitstream/2433/197253/1/phs_9_1.pdf