如何将弗雷格系统从罗素反悖中解放出来
综合数学
2007-05-23 v2 逻辑
摘要
本文依据定义理论论述数学中恰当定义的条件，围绕可消除性与非创造性标准展开。作为一种定义，罗素反悖违反了可消除性标准（Behmann, 1931; Bochvar, 1943）。本文遵循非创造性标准的路径，发展了对 Comprehension 范式的新分析，并据此证明尽管弗雷格自述，罗素反悖的论证在《算术基本定律》中并不成立。根据基本法则（III），属于自身不属于自身的类的类是一个由函数定义的类，而该函数不能以其自身的值课程作为参数。换言之，属于自身不属于自身的类的类的各成员与该类本身并不相同。
引用
@article{arxiv.0705.0901,
title = {How to release Frege's system from Russell's antinomy},
author = {Paola Cattabriga},
journal= {arXiv preprint arXiv:0705.0901},
year = {2007}
}
备注
11 pages, for more information see http://it.geocities.com/paola_cattabriga/