对像“a相信p”、“a怀疑p”之类的命题的分析，产生了逻辑上极其重要的两个问题。总体说来，在这些章中，我对逻辑论题保持了沉默；但是在目前的这方面，它们是不可避免的。因此，在我们能够回到我们的主题以前，进入逻辑领域进行一次短暂的远足是必要的。
这两个逻辑问题是与命题态度相联系而产生的，它们是外延性问题与原子性问题。在这些问题中，前一个问题近来的逻辑学家已经作过很多的讨论，而后一个问题几乎完全被忽略了。
在陈述“外延性论题”——卡尔纳普就是如此称呼该论题的——以前，有必要说说真值函项理论和类的理论。 [1] 真值函项理论是数理逻辑中最基本的部分；它涉及我们能够通过“或者”和“并非”去谈论的关于命题的一切东西。因而，“p并且q”是“并非p或者并非q”的否定。在p和q之间，允许我们在给定p的情况下去推断q的那种最一般关系是“并非p或者q”。或者，假设你所想要的是在给定了p和q的情况下能使你推断出r的最一般关系，那么这种关系将是“并非p或者并非q或者r”。排中律是“p或者并非p”；矛盾律是“p并且并非p”的否定。两个命题被说成是“等值的”，当它们都是真的或者都是假的时，也就是说，当我们拥有“或者p并且q，或者并非p并且并非q”时。两个等值的命题被说成拥有相同的“真值”。
如果不从“并非p”和“p 或者q”开始，那么我们可以从一个单个的未加定义的函项“p和q并非都真”开始。我们用“p｜q”来指称这个函项，并且称其为析舍函项。显然，“p｜p”等值于“并非p”，这是因为，假如p和p并非都真，那么p不是真的，并且反过来也是这样。还有：“p或者q”等值于“并非p并且并非q并非都真”，即等值于“p｜p并且q｜q并非都真”，或者说等值于“（p｜p）｜（q｜q）”。因而，“或者”和“并非”能够通过析舍函项来定义。因此，可以通过“或者”和“并非”加以定义的一切事物，都能通过析舍函项加以定义。
显而易见，并且容易证明，给定了任何一个通过析舍从其他命题中逐步构造出来的命题，其真值仅仅依赖于成分命题的真值。这个结论来自于如下事实：如果p是假的，并且如果q也是假的，那么“p和q并非都真”是真的；如果p和q都真，那么它是假的。只要p和q的真值没有改变，它们可能是什么样的命题是不相干的。具有这种特点的函项被称为“真值函项”。在演绎理论中所需要的所有函项都是真值函项。
外延性原则的第一部分说的是：所有命题函项都是真值函项，也就是说，如果任意给定一个陈述，并且它包含一个命题p作为自身的一部分，那么，若我们用与p有相同真值的任何其他命题q来代替p的话，则该陈述的真值并不改变。我们将会考察外延性原则第一部分的真或假。
现在我来讨论“命题函项”。一个“命题函项”就是一个表达式，它包含一个或多个未确定的成分x，y，……，并且假如我们确定这些成分是什么，那么其结果就是一个命题。因而，“x是一个人”是一个命题函项，因为假如你选定了x的一个值，那么其结果就是一个命题：假如你规定x是苏格拉底或者柏拉图，它就是一个真的命题；而假如你规定x是刻耳柏洛斯 [2] 或者珀加索斯 [3] ，它就是一个假的命题。使它为真的那些值构成了关于人的类。每个命题函项都决定了一个类，也就是使其为真的变项的那些值所组成的类。
两个命题函项被说成是“形式上等值的”，假如对于变项的每一个可能的值来说，作为结果的命题都是等值的。因而，“x是一个人”与“x是一个无毛两足动物”是形式上等值的；“x是一个偶素数”与“x是8的一个实立方根”也是这样。当两个命题函项在形式上等值时，它们就决定了同一个类。
谓词等同于带有一个变项的命题函项，二元关系等同于带有两个变项的命题函项，三元关系等同于带有三个变项的命题函项，等等。当我说“人是有死的”时，那意味着“对于x的所有可能的值来说，假如x是人，那么x是有死的”。显然，假如人是有死的，那么无毛两足动物也是这样；同样显然的是，假如有n个人，那么就有n个无毛两足动物。这些命题说明了这个事实，即假如两个命题函项是形式上等值的，那么就有许许多多的陈述，当它们对于其中一个函项是真的时，它们对于另一个也是真的。外延性原则的第二部分说，情况总是如此，也就是说，在关于一个命题函项的任何陈述中，任何形式上等值的命题函项都可以取代该命题函项，同时却不改变那个陈述的真值。
卡尔纳普以一种或多或少弱化了的形式陈述“外延性原则”。这种弱化了的形式，经过稍微的简化之后，可以阐述如下：有可能构造一种语言，任何语言中的任何陈述都可以翻译成这种语言，并且它具有下述两种特性：（1）假如一个命题p是一个较大的命题q的一部分，那么当我们用具有相同真值的任何命题替换p时，q的真值不会改变；（2）假如一个命题函项出现在一个命题中，那么当代之以任何形式上等值的命题函项（即一个对于变项的同样的值来说为真的命题函项）时，该命题的真值不会改变。
卡尔纳普的改进并非是把这个原则陈述为在任何语言中都必定为真的一个原则，而是把它陈述为在某种可能的语言中为真的原则，并且其他语言中的所有陈述都可以翻译成这种可能的语言。
这个原则所断言的两种特性中的第一种意味着：（例如）任何一个“苏格拉底是有死的”作为其一部分的真的陈述将依然是真的，假如我们代之以“安格尔西是一个岛屿”；并且，任何一个“荷马 [4] 是爱尔兰人”作为其一部分的真的命题（例如“假如荷马是爱尔兰人，那么我将吃掉我的帽子”）将依然是真的，假如我们代之以“布赖恩·博鲁 [5] 是希腊人”。第二种特性意味着：假定由人所构成的类事实上等同于由无毛两足动物所构成的类，那么不管语词“人”出现在什么地方，我们都能代之以“无毛两足动物”，同时却不会影响所说的东西的真或假。
显而易见，外延性论题并不适用于断言命题态度的命题。假如a相信p，并且p是真的，那么并不能得出a相信所有真的命题；假如p是假的，也不能得出a相信所有假的命题。还有，a可能相信存在着不是人的无毛两足动物，同时却不会相信存在着不是人的人。因此，坚持外延性论题的那些人必须找到处理命题态度的某种方式。因为几种理由，人们努力坚持这个论题：从技术上说，它在数理逻辑中是非常方便的；它显然适用于数学家们想要作出的那类陈述；同时，对于坚持既是形而上学体系，而且甚至也是在卡尔纳普所接受的语言学的意义上的物理主义和行为主义来说，它也是必要的。然而，在这些理由中，没有一种理由提供了某种根据以假定该论题是真的。已经提出的用以假定该论题为真的根据不久将得到考察。
原子性论题由维特根斯坦陈述如下（《逻辑哲学论》，2.0201）：“每一个关于复合物的陈述，都可以分析为一个关于它们的诸构成部分的陈述，而且可以分析为完全描述了这些复合物的那些命题。”这个论题对于命题态度之分析的相关性是显而易见的。因为在“a相信p”中，p是复合的；因此，假如维特根斯坦的原则是真的，那么似乎作为关于复合物p的一个陈述“a相信p”，必须分析为关于p的那些部分的一个陈述和描述p的诸命题。以一种不太精确的方式来表述，这意味着作为单一体的p并未进入“a相信p”，而仅仅是其各个组成部分进入了这个命题。
原子性论题有一种技术的形式，而且对于逻辑学而言，知道它在这种形式中是否为真是重要的。在我们能够陈述这种技术的原则以前，某些初步的解释是必要的。
我们看到，对象语言包含某些专名、谓词、二元关系、三元关系，等等。任何一种n元关系都可以和任何n个专名（它们无须都是不同的）相结合，以形成一个命题。假设n1，n2，n3，……是专名，p1，p2，p3，……是谓词，r1，r2，r3，……是二元关系，s1，s2，s3，……是三元关系，等等。那么p1（n1）代表“n1拥有谓词p1”；r1（n1，n2）代表“n1与n2拥有关系r1”；s1（n1，n2，n3）代表“n1，n2，n3（按照此顺序）处于关系s1之中”，如此等等。以这种方式获得的所有命题都被称为“原子命题”。
现在，让我们取任何两个原子命题p和q，并且通过析舍把它们合并起来，以得到p｜q。如此获得的这个命题，与原子命题一起，为我们提供了一个扩大了的命题的全体。假如我们通过析舍把这种扩大了的全体中的任何两个结合起来，那么我们又将得到一个更大的全体。让我们以这种方式无限地进行下去。我们称如此获得的这整组命题为“分子命题”，因为这或多或少是通过原子结合为分子的那种方式将原子命题结合为分子命题的。
由于现在只是通过析舍运算获得分子命题集，我们引入一种新的构造命题的运算；这种新的运算被称为“概括”。以任意一个包含某种成分a的原子命题或分子命题为例，并让我们将其称为øa。用b来替换a所得到的同一个命题将被称为øb，并且假如a被替换为c，它将被称为øc。让我们不用一个确定的项而用一个变项x来替换a，那么我们将因而获得一个命题函项øx。可能会出现这样的情况，即这对x的所有可能的值来说都是真的；还有可能会出现这样的情况，即这对x的至少一个值来说是真的。断言这两种情况为真的命题是两个新的命题。假如它们包含一个作为常项的成分b，那么我们能够把概括方法再转而应用于b，并如此进行下去，直到没有任何常项被保留下来。比如说，以“假如苏格拉底是人，并且所有人都是有死的，那么苏格拉底是有死的”为例。这不是一个逻辑命题，因为它提到了苏格拉底、人和有死的，而逻辑命题是不提及任何具体事物的。它也不是一个分子命题，因为它包含了语词“所有”。它处于从分子命题向逻辑命题的过渡之中。后者是：“不管x，α和β可能是什么，假如x拥有谓词α，并且每一个拥有谓词α的事物都拥有谓词β，那么x拥有谓词β。”
为了更详细地说明所涉及的概括过程，让我们考虑下述陈述：“或者苏格拉底是人但并非有死的，或者苏格拉底不是人，或者苏格拉底是有死的。”这是一个逻辑上必然的分子命题。现在，当一个命题对于苏格拉底是真的时，它对于某个人也是真的。因此，假如在“苏格拉底”首次出现时，我们用“某个人”代替“苏格拉底”，那么上述陈述依然是真的。（我们可以对“苏格拉底”其余两次出现中的每一次进行替换，对它的任何两次出现进行替换，或者对它的所有这三次出现进行替换；但是，唯有第一次出现才适合于我们当前的目的。）我们因而作出下述命题：“有某个人，并且他具有这样的特性：或者他是人但并非有死的，或者苏格拉底不是人，或者苏格拉底是有死的。”（我们碰巧知道所说的这个人是苏格拉底，但是我们忽略这一点。）现在，我们以一种稍微不同的方式来划分这个命题，并说“某个人是人但并非有死的，或者苏格拉底不是人，或者苏格拉底是有死的”。这里，我们有了三种选择；因此，第一种将是假的，其余两种中的一种一定是真的。现在假如“某个人是人但并非有死的”是假的，那么“所有人都是有死的”是真的。因而，我们作出了“假如所有人都是有死的，那么或者苏格拉底不是人，或者苏格拉底是有死的”，并且它等值于“假如所有人都是有死的，那么若苏格拉底是人则苏格拉底是有死的”。我们是从我们的原来的分子命题出发，并通过使用一次这样的步骤即用“某个人”来代替“苏格拉底”而达到这一点的；这里所说的步骤是逻辑的过程，而且通过这种步骤，只要a具有某种特性α，我们就推断“某物拥有特性α”。
迄今为止，我们构造的新的命题是先前那些命题的逻辑结果。然而，从这点出发，我们关心的是构造另外一类命题的过程，而这类另外的命题并非是它们获自其中的那些命题的逻辑结果。我们最后的陈述仍然包含三个“常项”，即“苏格拉底”、“人”和“有死的”。通过用x替换苏格拉底，用α替换人，用β替换有死的，并断言就变项的所有的值而言的结果，我们把这种概括过程应用于这三个常项中的每一个。我们因而获得了“对于x，α和β的所有的值来说，假如所有的α都是β，并且x是一个α，那么x是一个β”。这是一个逻辑命题，而我们原来的命题是它的一个实例。但是，现在令我感兴趣的地方并非在于我们已经作出了一个真的命题，而只是我们已经作出了一个命题。
从分子命题中构造不同程度的一般性的命题所依据的原则有如下述：
设ø（a1，a2，a3……p1，p2，p3……r1，r2，r3……）是一个分子命题，并且它包含专名a1，a2，a3……，谓词p1，p2，p3……，二元关系r1，r2，r3……，如此等等。所有这些都被称为所说的这个命题的“成分”。这些成分中的任意一个或多个都可以用一个变项来替换，并且所断言的结果就是关于该变项的某个值或所有值的。这为我们提供了一个由全都是从原来的分子命题中构造出来（不是从它演绎出来）的一般命题所组成的大的集合。可以拿“苏格拉底是聪明的”当作一个非常简单的例子。根据上述的过程，这将导致下述十个命题：
某个事物是聪明的；
每个事物都是聪明的；
苏格拉底拥有某个谓词；
苏格拉底拥有所有谓词；
某个事物拥有某个谓词；
一切事物拥有某个谓词；
存在着一切事物都拥有的某个谓词；
某个事物拥有所有谓词；
每个谓词都属于某个事物；
每个事物都拥有一切谓词。
这种或者代以一个变项的某个值或者代以一个变项的所有值的过程被称为“概括”。将这个术语限定于关于所有值的情况并不是合适的。 我以前说过，原子性原则的这种技术形式断言：所有命题要么是原子的，要么是分子的，要么是分子命题的概括；或者，至少人们能够构造出一种具有这种特点的语言，并且任何一个陈述都可以翻译成该语言。假如维特根斯坦的原子性原则是真的，这必定也是真的；但是，反过来并不成立。我很快就要解释，该原则的一种不太全面并且容易辩护的形式同样会导致这种技术形式。正是在其技术形式上，这个原则在逻辑中才是重要的。我想，维特根斯坦自己现在会接受所说的这种修改，因为我知道他不再相信原子命题。我们在以前的一章中看到，逻辑上有用的东西是原子形式，并且被修改过的原则允许用它们来代替原来的原子命题——在这些命题中，每个词都代表某种没有复杂性的事物被认为是必要的。
对维特根斯坦的论题进行弱化会使其看起来更合理。这种弱化如下所述。一个名称n可能事实上就是一个复合物的名称，但是其自身不可能拥有任何逻辑的复杂性，即拥有某些作为符号的部分。所有实际出现的名称都是这样的。恺撒是复杂的；但是“恺撒”在逻辑上是简单的，也就是说，其任何部分都不是符号。我们或许认为，维特根斯坦的论题不会应用于一切事实上是复杂的事物，而只能应用于被复合名称所命名了的事物。例如，尽管“恺撒”是简单的，但是“恺撒之死”是复杂的。我们将用“每一个使其所描述的复合物的复杂性显而易见的陈述”来代替出现于维特根斯坦的阐述的开端处的短语“每一个关于复合物的陈述”。如果不进行这样的弱化，那么每当我们提及事实上是复杂的某种事物，但是我们又并不知道它是复杂的，或者说无论如何我们不知道如何对其进行分析时，就会出现麻烦。这种弱化就对付了这种麻烦。
甚至在这种弱化的形式中，这个原则也禁止p作为一个单一体出现在“a相信p”中，因为一个命题一定具有显而易见的复杂性，除了在那些异常的情况即在其中有像笨人难过的桥 [6] 这类专名的情况下；而且即便那样，当我们用这个命题替换其名称时，我们也只作出了在“a相信p”中被断言的东西。
假如或者坚持外延性原则或者坚持原子性原则，那么有必要在“a相信p”中的“p”和一个诸如“p或者q”这类普通的真值函项中的“p”之间作出区分。假如这两者是等同的，那么就不可能构造一种纯粹外延的逻辑，并且也许不可能坚持卡尔纳普所说的物理主义。维特根斯坦首次尝试了对这两个p进行区分（《逻辑哲学论》，5.54以下）。他说：
“在一般的命题形式中，命题只是作为诸真值运算的基础才出现在一个命题中。
“乍一看，一个命题好像也可以通过不同的方式出现在另一个命题中。
“在某些心理学的命题形式中，情况尤其是这样。比如，‘a认为p是实际情况’，或者‘a认为p’，等等。
“这里，从表面上看，似乎命题p与对象a处于某种关系之中。
“（并且在现代认识论［罗素、穆尔等等］中，这些命题都是这样被设想的。）
“但是，很清楚，‘a相信p’、‘a认为p’、‘a说p’，都是‘“p”说p’这样的形式：在这里，我们并不拥有一个事实与一个对象之间的配置，而是经由其诸对象的配置而来的诸事实之间的一种配置。
“这表明，不存在现代肤浅的心理学所构想的灵魂——主体等等——这样的事物。”
在《数学原理》第二版（第1卷附录c）中，我接受了维特根斯坦的观点。卡尔纳普在《世界的逻辑构造》中也接受了他的观点。在《语言的逻辑句法》中，卡尔纳普作了轻微的改变：他说，内涵的语言与外延的语言都是可能的，并且我们必须只说一种内涵的语言中的每一个陈述都能翻译成一种外延的语言。甚至这一点，他也不认为是确定的，尽管他认为这是可能的。然而，关于命题态度这个问题，他重复了维特根斯坦所说的话。他说，照此情况，“查理说（或者认为）a”是内涵的，但是能够翻译成“查理说（或者认为）‘a’”。这里，我们被告知：“假设‘a’成为某个句子的缩写（而非名称）。”我们也被告知，句子的名称是通过加引号形成的。所有这一切并没有为出现在《逻辑哲学论》中的东西增添了什么内容。
我怀疑，这种观点能否——即便它是真的——依据维特根斯坦的理由而得到主张。因此，我打算辩论性地考察维特根斯坦的论证。
刚才引自维特根斯坦的这段文字的要旨是：“‘a相信p’、‘a认为p’、‘a说p’，属于‘“p”说p’这种形式。”让我们试图清晰地陈述这种观点。
一般说来，当一个词出现在一个句子中时，我们并不是在说这个词，而是在说它所意指的东西；当我们希望说这个词的时候，我们把它放在引号里。因而，“‘苏格拉底’是苏格拉底的名称”这个句子并不是重言式；当你被介绍给你从未听说过的一个人时，你就知道了这种类型的一个命题。当“苏格拉底”这个词未被放在引号中时，你是在说这个人，而非在说这个词。现在，同样地，当我们断言一个命题时，我们就认为，我们并未说出关于这些词的某种东西，而是说出了关于这些语词之所指的某种东西；而且，假如我们要说出任何关于这些词的某种东西，我们必须将它们置于引号中。但是，在命题和单个的语词之间有一种差别。单个的语词，至少像对象词这样的语词，拥有一种外在于语言的意义；但是命题，由于可以是假的，一定与对象之间具有某种不太直接的关系，除了当它们表达知觉时。因而，“p””和p”之间的区别并非像“苏格拉底”和苏格拉底之间的区别那样简单。
在这种讨论中，重要的区别并不在于“p”和p”之间，而在于p”所表达的东西与p”所指示的东西之间的区别。这种区别并不限于命题；就对象词的情况而言，也存在这种区别。假如我惊呼“火！”那么我就表达了自己的状态，并指示了一种不同于我的状态的现象。单个的语词是一个完整的句子。这是对象词的特权，而其他语词只能成为句子的一部分。我认为，用作完整的感叹句是对象词的主要用途，而将其用作一个更大的句子的一部分只是从这种用法中派生的。正是作为句子，对象词才拥有表达与指示这两个方面。
有含义的与无意义的语词串之间的区别，迫使我们认识到一个有含义的句子拥有一种非语言的特性，即“含义”。这种特性是更加主观的东西，它与真或假没有关系。我们可以把一个句子的含义等同于它所表达的东西，即说话者的一种状态。这样的一种状态可以称为一种“相信”行为，假如这个句子是陈述性的。能用同一个句子加以表达的两种相信行为，被说成是同一个信念的实例。
因而，从刚才所说的话中可以断定，一个句子有三种而非两种出现方式。
首先，我们可能关心实际的语词；这指的是那种使用了引号的适当的场合。例如，我们可以断言恺撒说过“jacta est alea” [7] 。一个不懂拉丁语的人可以知道恺撒说过这样的话；他并不必然知道恺撒所意指的东西。因而，“jacta est alea”这些词在这里只是作为语词而出现的，并不拥有意义。
其次，我们可能关心句子所表达的，而不关心它所指示的东西。假如我们断言恺撒说过木已成舟，那么这种情况就出现了。这里，“木已成舟”这些词出现时是有含义的。恺撒没有使用这些词，而是使用了表达同一种状态的拉丁词。假如我们断言恺撒说过“the die is cast” [8] ，那么我们的断言就是假的，因为这意味着他说过英语。因而，当我们说“恺撒说过木已成舟”时，“木已成舟”这些词的含义而非所指才是相关的，因为事实上是否木已成舟完全是不相干的。
再次，我们可能不仅关心一个语句所表达的东西，而且关心它所指示的东西。我可能会说：“恺撒确实说过，木已成舟。”这里，当我说“木已成舟”时，我作出了一个断言。并且，假如这个句子指示了某种东西，这个断言就是真的；假如它什么也没有指示，它就是假的。在每一个完整的陈述句中，被指示的东西是相关的；但是在从句中，可能只有被表达的东西才是相关的。这尤其出现在关于“a相信p”的情况中。
我们现在能够确定我们将如何看待维特根斯坦的观点，即“a相信p”属于“‘p’说p”这样的形式；或者不如说，我们能够确定我们应该说“a相信p”还是说“a相信‘p’”。让我们用“b热”这个句子来替换“p”。当我们说a相信b热时，我们是在说（大体说来）a处于一种状态之中，并且该状态将导致他说出——假如他说的话——“b热”或者某种具有同样含义的东西。我们并不是在说这些词在a的心灵中。他可能是一个法国人；这个人会说“b a chaud” [9] ，假如他说的话。事实上，关于“b热”这些词，我们什么也没有说，而只是在说它们所意指的东西。因此，不应该有引号，并且我们应该说“a相信p”。
我们应该说“p是真的”还是“‘p’是真的”呢？
通常假定我们应该说后者，但是我认为这种假定是错误的。
考虑一下“b热是真的”。
这断言了一种由相信行为所组成的类与一个事件之间的一种复杂的关系。它意味着：任何处于某类状态［即由“b热”这些词所表达的那些状态］之一的人都与某个事件之间［即视情况而定的b热或者b不热］具有某种关系。
这里，“b热”这些词只进入了并非作为语词的这个短句的含义。因此，我们应该说“p是真的”。
我再说一次，这个问题的困难来自于这个事实，即句子以及某些词具有两种非文字的用途：（a）用来指示对象；（b）用来表达心灵状态。当不作为指示而出现时，语词可以不作为语词并通过其意义而出现：当它们仅仅作为表达而出现时，这种情况就发生了。不同于对象词的单个语词仅仅表达而不指示。这就是它们不同于对象词并且也不可能是完整的句子的原因。
以上所述清楚地表明，“p”可以通过两种不同的非文字的方式出现：（a）通过指示和表达都与之相关的方式；（b）通过只有表达才与之相关的方式。当这个句子独自地作为一个断言出现时，我们拥有（a）；当我们说“a相信p”时，我们拥有（b），因为我们正在断言的现象可以在不提及p的真或假的情况下得到完全的描述。但是，当我们断言“p或者q”或者任何其他的真值函项时，我们拥有（a）。
假如上述分析是正确的，那么外延性原则适用于所有的p的指示与之相关的p的出现，但是不适用于那些唯有表达才与之相关的p的出现；也就是说，它适用于（a），而不适用于（b）。我认为，这个说法是一种同义反复。假如我没有弄错的话，那么在其一般形式上外延性原则必须被抛弃。
n.道尔凯先生告诉我，在“a相信b热”（a believe that b is hot）中，语词“b热［这个事实］”（that b is hot），当作为一个完整的句子时，描述了“b热”（b is hot）所表达的东西。这种看法是具有吸引力的，并且可能是正确的。根据这种观点，语词“b热［这个事实］”事实上并不适用于b，而是描述a的状态。这种情况类似于在其中我说“a闻到了玫瑰花的味道”的情况。这里，玫瑰花仅仅起到了描述a的状态的作用；我可以给这种味道一个名称，比如说s，并说“a闻到了s”。类似地，我可以（在理论上）用描述正在相信b热的那些人的身心状态的语词来代替“b热［这个事实］”。这种观点使得在“p”和“p［这个事实］”（that p）之间作出鲜明的区分成为必要的。每当事实上是p出现时，我们可以保留外延性原则；但是，当确实是“p［这个事实］”出现时，这个原则之所以不适用，是因为“p”事实上并未出现。
现在我们必须考虑原子性原则。现在，我将不是一般地对其加以考虑，而仅仅联系像“a相信p”这样的句子来考虑。在其一般形式上，它需要对分析方法加以考虑，并需要考虑这样的问题，即代表复合物的专名在理论上是否可以省略；我打算把这些留到以后再作考虑。目前，我只希望考虑，在一种适当的语言中，像“a相信p”这样的句子能否在原子的、分子的以及本章前面所解释的概括的语句层内得到表达。
这个问题就是：我们能够对“a相信p”作出解释，以便p并不作为一个从属的复合物出现吗？
让我们再次用“b热”代表“p”。在靠近前面的一章中，我们承认，说a相信这一点就等于说他处于许多可描述的状态之一，并且所有那些状态都有某种共同的东西。这样的状态之一，就是a在其中说出“b热”的状态。但是，没有理由设想，当a相信b热时，必然会有某些语词呈现于a。
说“a说出‘b热！’”就是断言出现在a的言语器官中的一系列运动。这纯粹是一种物理的现象，它可以在不引进任何从属的复合物的情况下得到完全的描述。看来，作为相信b热的a的每一种其他状态，也可以通过类似的方式得到描述。然而，依然存在这样的问题：所有这些状态拥有什么共同的东西呢？
我认为，它们共同拥有的东西仅仅是因果的。然而，这是一个困难的问题，并且我认为这是一个我们无须加以精确回答的问题。依我看，任何一种确实可能正确的回答都不会与这样的结论相抵触：“a相信p”能够——至少当p是一个像“b热”这样的简单句时——在不引入一个从属的复合物的情况下加以分析。假如p是一个像“所有人都是有死的”这样的一般语句，这个问题会更加困难。因此，我现在满足于这一结论：迄今为止，我们没有发现有效的反对原子性原则的论证。
因此，我们得到了这些结论：（1）当加以严格解释时，对像“a相信p”这样的句子的分析并未表明外延性原则是假的；（2）同样的分析并未证明原子性原则是假的，但是也没有充分证明它是真的。
* * *
[1] 在下文中，我将以一种在某种程度上更加基本的形式重复第十三章第三节已经说过的某些事情。
[2] 刻耳柏洛斯是希腊神话中的一只猛犬，守卫着冥府入口处，有三个头。——译注
[3] 珀加索斯是希腊神话中的长有双翼的飞马。——译注
[4] 荷马是古希腊吟游盲诗人。——译注
[5] 布赖恩·博鲁是历史上的爱尔兰国王。——译注
[6] “笨人难过的桥”（pons asironum），是指欧几里得《几何原本》第一卷中的第五命题：“等腰三角形底角相等。”这是初学者或者说“笨人”一时难以理解的定理，又称“驴桥”。——译注
[7] “jacta est alea”是拉丁文，意思是“木已成舟”。这是古罗马政治家、军事家恺撒在越过罗宾肯河时所说的一句话。罗宾肯河是古意大利与恺撒的高卢行省之间的边界。恺撒说这句话意在表达这样的事实：他已越过此河开始进军罗马，并陷入帝王争霸，再也没有回头的可能了。——译注
[8] “the die is cast”为英文，意思是“木已成舟”。——译注
[9] “b a chaud”为法文，意思是“b热”。——译注
