【SEP】斯坦尼斯瓦夫·莱希涅夫斯基（四） (3-3)

《本体论》中的基本句子模块是“Aεb”形式的单数包含，这一事实误导了一些评论者，使他们以为莱希涅夫斯基放弃了弗雷格谓词作为功能应用的概念，转而回到了中世纪的“双名”（two-name）谓词论。事实上，除了时态问题之外，莱希涅夫斯基对这种奇异句子的真假条件的解释——即如果且只有当主语表示一个单一的对象，而谓语表示一个或多个对象（这是其中之一）时，这些句子才是真的——与中世纪唯名论者威廉·奥卡姆的解释几乎完全相同。然而，无论奥卡姆是否是双名论者，莱希涅夫斯基绝对不是。单数句子的一般形式与任何二元谓词的形式相同，即f(ab)，或者用莱希涅夫斯基的符号表示，即f{ab}。单数包含不是同义共词：它是一个特殊的二元谓词。选择它作为基元谓词是可以理解的，但不是必须的。莱希涅夫斯基知道，除了“ε”之外，其他谓词也可以作为基元谓词，莱热夫斯基（Lejewski）后来也强调了这一点。

莱希涅夫斯基最古老的体系“整分论”的发展最为丰富多彩。1927-30年，关于作为数学基础一部分的整分论的系列文章引发了可能基元的变化。在严厉抨击了怀特海和罗素在《原理》中的使用/提及混淆以及标准集合论之后，他回溯了其1916年论文的形式发展，并在一个长长的脚注中指出了与怀特海事件理论的相似之处，他还批评了怀特海事件理论的形式发展。然后，他总结了截至1920年的发展，继续介绍了1916年未发表的其他结果，使定理数量达到198条。接下来的章节从“部分”的角度对公理化进行了整理，并说明“成分”（ingredient）可以被视为原始的。定理发展到264，“外部”被证明是一个可能的基元。最后一节讨论了“Aεb”形式的奇异命题，并说明了如何理解关于变化事物的命题。以“1830年的华沙比1930年的华沙小”为例，莱希涅夫斯基建议将“1830年的华沙”和“1930年的华沙”视为他称之为“华沙从其存在之初到结束”的时间上更长的对象的时间片断。通过这种方式，他将普通语言中“是”的多种用法纳入了他的本体论的分析范围。这种对普通对象的四维理解如今已司空见惯，但在当时却十分罕见。在莱希涅夫斯基的成熟著作中，很少有类似早年哲学逻辑的论述。否则，在不讨论形式系统和证明定理时，他的散文讨论往往是对他人言论的无理批评，尤其是对标准集合论支持者的批评。

数学联邦政治世界观提示您：看后求收藏（同人小说网http://tongren.me），接着再看更方便。