新弗雷格主义相关论文
弗雷格被称为数理逻辑的创始人和分析哲学的奠基人,但他本人主要从事的工作是逻辑主义,即把算术还原为逻辑,从而通过逻辑的分析性......
弗雷格《算术的基本规律》中二阶逻辑理论FL是不一致的,在语法上可以推演出罗素悖论,在语义上,矛盾于康托尔定理,进而是不可满足的......
