10. 论没有格式的模态命题

代物依赖于另一个指代物”；此外，“所以，一个指代物不是一个指代物”，所以“一个指代物被假定”是不可能的。但是，这里隐含着这是一个指代物。所以，“一个指代物被假定”是不可能的。同样，由于有以下结果，即“上帝自身表现出一种值得称赞的行为；所以，一种值得称赞的行为只由上帝表现；结果，它不是由做出它的人的意志表现的，结果，它不是一个值得称赞的行为”，因而“上帝自身表现出一种值得称赞的行为”是不可能的。

    然而，尽管如此，下面的命题却是真的，除非有某种逻辑或语法原因使它们不能这样：“一个指代物可能是由这个词假定的”、“一个指代物可能是与这个词结合在一起的”、“一种值得称赞的行为可能只是由上帝表现的”。因为借助这些命题只是断定，在一个命题中，如果谓项谓述一个指示代词，而这个指示代词指主项指代的东西，那么这个命题就是可能的————而且这是真的。这是因为，在“一个指代物可能被假定”这个命题中，“指代物”这个主项指代这种人性，因为这种人性由于不依赖于或不要求另一种人性的支持，因此现在真是一个指代物。这样，“指代物”真指代这种性质，正如如果苏格拉底是白的，那么“一个白东西在跑”中的“白东西”就真指代苏格拉底一样。但是，如果那种人性现在被指谓，那么“这是由一个神圣指代物表现的”就是一个可能的命题。因此，正像“一个白东西可能是黑的”是真的一样，“一个指代物可能被假定”也是真的。因为“这是黑的”，如果指某种“白东西”所指代的东西，就是可能的，然而“一个白东西是黑的”却是不可能的。

    同样，在相同的意义上，所有下面这样的命题都是真的：“一个人是可能被假定的”，“一个由一个有创造力的动因所引起的东西可能是仅由上帝引起的”，“一个被苏格拉底和柏拉图看见的东西可能是只被苏格拉底看见的”，等等。然而下面的命题是不可能的：“一个人是被假定的”，“一个由一个有创造力的动因所引起的东西是仅由上帝引起的”，“一个被苏格拉底和柏拉图看见的东西是只被苏格拉底看见”，等等。

    其次应该注意，具有这样模式的命题与其单称命题相联系，而且方式与非模态命题与其单称命题相联系的方式完全一样。所以，这样一个全称命题不可能是真的或必然的或或然的，除非其单称命题各个是真的或必然的或或然的。

    与此相似，尽管非模态命题的单称命题各个是可能的，但是一个非模态命题却可以是不可能的————这在下面的情况下是显然的：“它们二者都是真的”，这里指两个矛盾的或然命题————同样，有时候，尽管很少见，一个模态形式的全称命题可以是不可能的，而其各个单称命题是可能的。这在下面的情况下是显然的：“这二者是必然真的”，这里指“苏格拉底过去是在Ａ中”和“苏格拉底过去不是在Ａ中”这两个命题。这里说的这个全称命题是不可能的，然而，各个单称命题却是可能的。因为“‘苏格拉底过去是在Ａ中’是必然真的”是可能的。而且另一个命题也是可能的。

    以上论述也应该被理解为适用于其他模态命题，例如，“每个人被你知道是动物”。因为为了使这个命题是真的，要求类似于下面的命题各个是真的：“‘这是一个动物，并且那是一个动物’被你知道”，如此等等。所以，严格地说，“每个人被你知道是动物”是假的，因为“每个人并非被你知道是动物”。对于其他许多命题也是如此。