“乍一看来，一个命题出现在另一命题中似乎还有一个不同的方法”。
“特别是在心理学的一些命题形式中如‘Ａ认为，ｐ正是如此’，或‘Ａ认ｐ为真’，等等。”
“在这里，从表面上看，好象ｐ这个命题对Ａ这个对象具有一种关系。”
“〔现代认识论里（罗素、穆尔等）的那些命题就被认为是如此的〕。”
“但是很清楚，‘Ａ相信ｐ’、‘Ａ认ｐ为真’、‘Ａ说ｐ’是属于‘ｐ说ｐ’的形式；这里我们并没有事实和对象的对等关系，但是有事实之间由于他们的对象的对等关系而有的一种对等关系。”
“这表明，并没有象当代浅薄的心理学里那种想法的那种东西，如灵魂——主体等”
（《逻辑哲学论》，５。
５４以下）。
维根斯坦的论点是“Ａ相信ｐ”
并不是ｐ的一个函项，而是Ａ用以表示ｐ命题或身体状况的那些字的函项，这种身体状况（不管是什么）构成其相信。他这个人和往常一样，是独断的，他吐露他的意见象沙皇下谕旨一样。但是草野小民对这种办法是难以满意的。我在《对意义与真理的探讨》中
…… 119
８１１第 十 章
（第２６７页以下）对这个问题曾详加检查，但是对得到的结论是有些拿不定的。
原子性原理维根斯坦是用下面的措辞来陈述的：“关于复合的每个陈述可以分析成关于它们的组成部分的一个陈述，并且可以分析成完全描述那些复合的一些命题”
（《逻辑哲学论》，２。
０２０１）。这个原理可以说是相信分析的具体表现。维根斯坦写《逻辑哲学论》的时候，他相信（据我的了解，他后来终归不相信）世界是由许多具有各种性质和关系的简单东西构成的。简单东西的简单性质和简单关系是“原子事实”
，关于它们的断定是“原子命题”。
这个原理的要点是，如果你知道所有的原子事实，并且也知道它们是所有的原子事实，再也没有别的，你就能只用逻辑来推论所有别的真命题，这个原理引起的重要难点也是和“Ａ相信ｐ”
这样一些命题有关，因为，这里ｐ是复杂的，算是一个复合。这种命题的特。
点是，它们包含两个动词，一个是主要的，另一个是附属的。
让我们举一个很简单的例子，比如说：“Ａ相信Ｂ是热的。”
这里“相信”是主要动词，“是”是附属动词。原子原理需要我们设法把这事实表示出来，而不提出“Ｂ是热的”
这个附属的复合来。这个原理我也在《对意义与真理的探讨》中（第２６２页以下）详细讨论过。
关于这两个原理，我所得到的结论是：“（１）如果严格地加以解释，分析象‘Ａ相信ｐ’这样的一些句子，外延原理不能证明是伪的；（２）同是这个分析不能证明原子原理是伪的，但是证明其为真，是不够的”《对意义与真理的探讨》（第２７３页）。
…… 120
维根斯坦的影响９１
对于维根斯坦这两个原理更通常的批评是，没有理由相信简单东西和原子事实。
据我的了解，他后来也终归这样想。
但是讨论这个问题就使我们离开《逻辑哲学论》太远了。在后边的一章里，我还要讲这个问题。
维根斯坦主张，逻辑完全是由重言式所构成。关于这一点，我想他是对的，虽然在我读到他关于这一问题所说的话之前我并不认为如此。还有和这个有关系的一点是非常重要的，就是，所有原子命题是各自独立的。从前以为，一个事实在逻辑上讲可以有赖于另一个事实。只有如果其中的一个事实其实是两个事实放到一起的时候，才是如此。在逻辑上讲，从“Ａ和Ｂ是人”推出的结果是，Ａ是一个人。但是那是因为“Ａ和Ｂ是人”其实是两个命题放到一起的。我们所讨论的这个原理的结果是，在实际世界中为真的那些选择出来的原子事实可以是逻辑所能证明的原子事实的全体，但是，显而易见，关于这一点，原子性原理是必不可少的，而且，如其不为真，我们就不能确信最简单、可能得到的事实有时在逻辑上也许是不相关的。
在《数学原理》的第二版中（１９２５）
，我考虑了维根斯坦的一些学说。
我在一篇新的《导言》里采用了外延性原理，并且在《附录》里考虑了对这个原理显然可非议之处，就全体来说，我断定这些非议是无效的。在这个新版中，我的主要目的是减少《可化归性公理》的使用。如果我们一方面要避免矛盾，另一方面保存平常认为无可争议的所有数学，这个公理（等一会儿我就要加以说明）好象是必需的。但是它是一个可议的公理，因为其为真是可以怀疑的，并且更重要的
…… 121
０２１第 十 章
是因为，如其为真，其为真是属于经验的，不是属于逻辑的。
怀特海和我认识到，这个公理是我们的系统的一个弱点，但是我至少认为它有类乎平行公理，这个平行公理一向被认为是欧几理德几何学的一个弱点。我认为迟早会找出一种方法把这个公理废除掉，同时把难点集中在一点上是一件好事。
在第二版的《数学原理》里，在许多情形中（这个公理原先看来好象是少不了的）
，特别是在所有数学归纳法的使用中，我成功地把这个公理废除了。
我现在必须说明这个公理是说什么，以及为什么它好象是不可缺的。我在前面已经说明过属于一些性质总体的性质和不属于性质总体的性质之间的差异。属于性质总体的性质往往引起麻烦。举例来说，假定你提出来这样的一个定义：“一个典型的英国人就是一个具有多数英国人所具有的性质的人”。
你就会很容易认识到，多数英国人并不具有多数英国人所具有的一切性质。所以，按照你的定义来说，一个典型。。
的英国人就是不典型。麻烦之发生是因为，“典型”这个字的界说是指一切性质。然后其本身被当做是一种性质。因此似乎是，如果正当来说“一切性质”
，你的意思不能是真指“一切性质”
，而只是指“不属于性质总体的一切性质”。正象我在前面说明的那样，我们把这样的性质说成是“断言的”。可化归性公理是说，一个不是断言的性质永远在形式上等于某个断言的性质。
（如果两个性质属于同一组东西，或者说得更确切一些，如果它们的真伪价值对每个主目来说都是一样，这两个性质在形式上就是相等的。）
在第一版的《数学原理》中我们把接受这个公理的理由
…… 122
维根斯坦的影响１２１
说明如下：“可化归性原理是自明的，这是一个难以让人支持的命题。但是，事实上，自明不过是接受一个公理的理由的一部分，绝不是必不可少的。接受一个公理的理由，正和接受任何别的命题一样，永远大部分是归纳性的，也就是说，许多几乎无可怀疑的命题可以从这个公理推演出来，没有同样讲得通的办法使这些命题可以为真，如果这个公理为伪，而且无任何可能是伪的东西能从它推演出来。如果这个公理表面看来是自明的，实际上那就是说，它几乎是无可怀疑的；因为有些东西原被认为是自明的，可是后来知道是伪的。如果这个公理本身几乎是无可怀疑的，那只增加了归纳证据，这种证据是从其结果几乎是无可怀疑这个事实来的，它并不能提供迥然不同的新证据。绝对正确是永远达不到的，所以每个公理和其所有结果总要有若干可疑成分。在形式逻辑里比多数科学里可疑成分为少，但是并不是没有。这从这件事就可以看出来：悖论是来自一些原来不知道需要加以限定的前提。
就可化归性公理来说，对它有利的归纳证据是很强的，因为它所容许的推理和从它引出来的结果都显然是有效的。但是，虽然这个公理竟然为伪象是很不可能，但是绝不是不可能居然发现它是从另外某一个更基本、更明显的公理推演出来的。很可能，使用循环论法原理（这种原理体现在前面讲过的层型中）是使用得过猛了，若是使用得不那么猛，这个公理的必要性也许就可以避免了。可是，这类变动并不使根据前面说明过的原理所断定的任何东西为伪，这类变动只不过为这些同一定理提供更容易得到的证据。因此，好象没有什么根据害怕使用可化归性公理会使我们有错误“
（《导言》，
…… 123
２１第 十 章
第Ⅱ章，第Ⅶ节）。
在第二版里我们说：“显然应该改进的一点是可化归性公理。这个公理只有一个纯乎是实用的理由作为根据：它导致所想望的结果，而无其他结果。但是它不是我们能满意的那类公理。但是，关于这一个问题，还不能说可以得到一个满意的解决。雷昂。崔斯泰克毅然把这个公理废除，而不采取任何代替的东西。从他的研究来看，很清楚，他的这种办法使我们不得不牺牲大量的普通数学。还有一个办法（由于哲学上的理由为维根斯坦所推荐）
，就是假定命题的函项永远是真伪函项，并且一个函项只能通过它的值出现在一个命题中。
象这种看法是有难点的，但是这些难点也许不是不能克服的。
这种看法会有这样的结果，就是，函项的所有函项都是外延性的。它需要我们主张“Ａ相信ｐ”不是ｐ的一个函项。在《逻辑哲学论》里（同上所引处，及第１９至２１页）证明这如何是可能的。我们不准备断定这个学说确是正确的，但是在以下的篇幅中把它的结果弄出来，看来是值得的。看来第一卷中的一切仍然是正确