Item Type |
Article |
ID |
|
Preview |
Image |
|
Caption |
|
|
Full text |
AN00150430-00000083-0001.pdf
Type |
:application/pdf |
Download
|
Size |
:1.4 MB
|
Last updated |
:Sep 30, 2010 |
Downloads |
: 1323 |
Total downloads since Sep 30, 2010 : 1323
|
|
Release Date |
|
Title |
Title |
パラドックスから真理の理論へ
|
Kana |
パラドックス カラ シンリ ノ リロン エ
|
Romanization |
Paradokkusu kara shinri no riron e
|
|
Other Title |
Title |
From paradoxes to a theory of truth
|
Kana |
|
Romanization |
|
|
Creator |
Name |
西脇, 与作
|
Kana |
ニシワキ, ヨサク
|
Romanization |
Nishiwaki, Yosaku
|
Affiliation |
慶應義塾大学文学部
|
Affiliation (Translated) |
|
Role |
|
Link |
|
|
Edition |
|
Place |
|
Publisher |
Name |
三田哲學會
|
Kana |
ミタ テツガクカイ
|
Romanization |
Mita tetsugakukai
|
|
Date |
Issued (from:yyyy) |
1986
|
Issued (to:yyyy) |
|
Created (yyyy-mm-dd) |
|
Updated (yyyy-mm-dd) |
|
Captured (yyyy-mm-dd) |
|
|
Physical description |
|
Source Title |
Name |
哲學
|
Name (Translated) |
|
Volume |
|
Issue |
83
|
Year |
1986
|
Month |
11
|
Start page |
1
|
End page |
31
|
|
ISSN |
|
ISBN |
|
DOI |
|
URI |
|
JaLCDOI |
|
NII Article ID |
|
Ichushi ID |
|
Other ID |
|
Doctoral dissertation |
Dissertation Number |
|
Date of granted |
|
Degree name |
|
Degree grantor |
|
|
Abstract |
In the fourth century BC our ancestors found the so called reflexive paradoxes. And all through the time these paradoxes have embarrassed our rational thinking persistently. The Liar paradox, among them, and Russell's paradox, a late comer, have had the crucial role when we think over the concept of truth and the foundation of modern mathematics. As a matter of fact, Russell's paradox was the first step to modify set theory and to construct several axiomatic set theories, despite his type theory could not get a honor of the theory of foundation. As to the Liar paradox, Tarski taught us convincingly that we were not able to represent 'true in a language L' in L. Here we will pay attention on these two papadoxes and find their common logical structures. And then by using them, we will try to construct a theory of truth, by which we mean a way of defining the predicate 'true (false)'. Our main interest is how to define 'true in a language L' in L. However, what we will find is that we have to restrict Convention (T) to avoid the inconsistency of our system like the limitation of the abstraction principle in the case of Russell's paradox. Moreover, the restricted Convention (T) forces us to use 'true' and 'false' strangely. This means that we are still very far from possessing the true theory of truth. However, we suppose our step here in this paper is certainly one step toward the theory.
|
|
Table of contents |
1. はじめに
2. 問題
2.1. Russellのパラドックス
2.2. Grellingのパラドックス
2.3. Liar(嘘つき)
3. LiarとRussellのパラドックスの共通性
3.1. Liar
3.2. Russellのパラドックス
4. パラドックスの解決法とその影響
5. いくつかの原理
5.1. Feferman
5.2. van Fraassen
5.3. Herzberger
6. モデル論的構成から論理システムへ
6.1. モデルの構成
6.2. 論理システムの構成
7. 再度二つのパラドックスの共通性について
|
|
Keyword |
|
NDC |
|
Note |
|
Language |
|
Type of resource |
|
Genre |
|
Text version |
|
Related DOI |
|
Access conditions |
|
Last modified date |
|
Creation date |
|
Registerd by |
|
History |
|
Index |
|
Related to |
|