现代西方悖论研究  

作　　者：翟杰全 谷振涓 

出　　处：《哲学动态》1990年第6期19-23,共5页Philosophical Trends

摘　　要：为了实现把数学还原为逻辑这一逻辑主义的基本纲领,弗雷格发明了一种表意文字,并用这种文字建立了一个表达逻辑规律和推理规律的初步自足的公理系统和一个高阶的逻辑系统,借助于这两个公理系统、他用一些基本的逻辑概念严格定义了自然数,并且建立了自然数的基本性质。然而就在他的工作即将完成之际,英国逻辑学家罗素却发现,在弗雷格的公理系统中,依靠“概括原则”可以推出“不属于自身的集合的集合”的悖论。这就是著名的罗素悖论。其实“罗素悖论”并不是首次在数学中发现的悖论。早在1895年弗雷格就在自己的集合论中发现了一个悖论。1899年康托也发现了一个更简单、更基本的集合论悖论,即著名的“康托悖论”。在此之后,人们又发现了一些其他悖论。随着越来越多的悖论的发现。

关 键 词：集合论悖论 塔尔斯基 罗素悖论 公理系统 语义悖论 真理论 对象语言 形式化语言 元语言 自然数 

分 类 号：B0[哲学宗教—哲学理论]