Tarskian and Kripkean truth

被引：9
|
作者：
Halbach, V
机构：
来源：
JOURNAL OF PHILOSOPHICAL LOGIC | 1997年 / 26卷 / 01期
关键词：
Point Model; Expressive Power; Partial Truth; Fixed Point Model; Minimal Fixed Point;
D O I：
10.1023/A:1017977304199
中图分类号：
B81 [逻辑学（论理学）];
学科分类号：
010104 ; 010105 ;
摘要：
A theory of the transfinite Tarskian hierarchy of languages is outlined and compared to a notion of partial truth by Kripke. It is shown that the hierarchy can be embedded into Kripke’s minimal fixed point model. From this results on the expressive power of both approaches are obtained.
引用
收藏
页码：69 / 80
页数：12
相关论文
共 50 条
12345