|
|||||
|
|
| 悖论,类型论以及解救悖论的其它方法(续) | |
| 引用本文： | S.F.Barker,王学海,桂起权.悖论,类型论以及解救悖论的其它方法(续)[J].思维与智慧,1987(6). |
| 作者姓名： | S.F.Barker 王学海 桂起权 |
| 摘 要： | 罗素的观点看来是主张,类型论提供了避免一切悖论的方法,此外类型论在本质上还是这种方法的理论基础。让我们依次来考虑这两点。晚近的作者在所谓“语义悖论”和集合论悖论之间作出了区分,而罗素没有这样做。埃匹曼尼德悖论被称为语义悖论,因为它在本质上涉及到真的概念(谎话是不真的);并且“真”被称作一种语义关系,因为它是 |
| 本文献已被 CNKI 等数据库收录！ | |