1. R·卡尔纳普(1931)。应制夷、朱水林译。《数学的逻辑主义基础》。选自《数学哲学》,P·贝纳塞拉夫、H·普特南编,47至60页。
2. 这里所说的“存在”并不是逻辑主义明确反对的“存在”;比如罗素就曾说过,数学只处理存在的“可能性”。在我们的语境下,与其说逻辑主义反对的是“存在”本身,不如说他们反对的是泊拉图主义所说的存在,毕竟逻辑结构也可以算是一种存在-对象,就算它在数学本体论中的具体地位尚不明确。我们正是在这个意义下讨论“存在”。
3. 此处的重点为我所加。
数学联邦政治世界观提示您:看后求收藏(同人小说网http://tongren.me),接着再看更方便。