ダウンロード数: 1002
このアイテムのファイル:
ファイル | 記述 | サイズ | フォーマット | |
---|---|---|---|---|
phs_9_1.pdf | 324.96 kB | Adobe PDF | 見る/開く |
完全メタデータレコード
DCフィールド | 値 | 言語 |
---|---|---|
dc.contributor.author | 矢田部, 俊介 | ja |
dc.contributor.alternative | YATABE, Shunsuke | en |
dc.date.accessioned | 2015-04-15T01:12:09Z | - |
dc.date.available | 2015-04-15T01:12:09Z | - |
dc.date.issued | 2015-03-31 | - |
dc.identifier.issn | 1883-9177 | - |
dc.identifier.uri | http://hdl.handle.net/2433/197253 | - |
dc.description.abstract | Truth theories like the Friedman-Sheard's truth theory (FS) have two rules, T-in rule and T-out 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 infinite-length. 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. | en |
dc.format.mimetype | application/pdf | - |
dc.language.iso | jpn | - |
dc.publisher | 京都大学文学部科学哲学科学史研究室 | ja |
dc.publisher.alternative | Department of Philosophy and History of Science Faculty of Letters, Kyoto University | en |
dc.subject.ndc | 401 | - |
dc.title | <一般論文>真理概念は論理結合子となりうるか--真理理論とハーモニー-- | ja |
dc.title.alternative | <Regular Articles>Is truth a logical connective?: A truth theory and the harmony | en |
dc.type | departmental bulletin paper | - |
dc.type.niitype | Departmental Bulletin Paper | - |
dc.identifier.ncid | AA12164361 | - |
dc.identifier.jtitle | 科学哲学科学史研究 | ja |
dc.identifier.volume | 9 | - |
dc.identifier.spage | 1 | - |
dc.identifier.epage | 32 | - |
dc.textversion | publisher | - |
dc.sortkey | 02 | - |
dc.identifier.selfDOI | 10.14989/197253 | - |
dcterms.accessRights | open access | - |
dc.identifier.pissn | 1883-9177 | - |
dc.identifier.jtitle-alternative | PHS Studies | en |
出現コレクション: | 第9号 |
このリポジトリに保管されているアイテムはすべて著作権により保護されています。