命题与世界的图象论包含了两层含义: 一是图象的元素与事物之间具有对应关系;二是图象与事实之间具有相同的逻辑形式。由此,在维特根斯坦看来,“图象是实在的一幅模型”,“图象是一事实”,“图象所表现者即是其意义”。

正是因为命题具有相同的结构,才使得我们可以将其形式化,并且可以进行变项替换。那么,图象如何与世界相联系? 在维特根斯坦早期哲学中,这种关系由名称—客体的关系来决定,但是名称如何与客体相联系? 与其说维特根斯坦后期哲学是对前期哲学的反叛,不如说是进一步的深入,在维特根斯坦的语言游戏说中,名称与客体的关系被受一定规则支配的人类活动所确定。在完成这个思想转变之后,维特根斯坦不需要图象论了,取而代之的是语言这种被规则所支配的特征。

辛提卡的博弈论语义学是将博弈的方法引入命题分析,他的研究涉及两个问题,第一个问题就是命题的构成和命题的真假,第二个问题就是如何确定命题的真假。第二个是维特根斯坦后期哲学讨论的一个主要问题,其前期哲学为解决辛提卡的第一个问题提供了思想元素。命题是由概念构成的,而博弈语义学中的概念则直接对应维特根斯坦意义上的存在。值得注意的是,维特根斯坦的存在是与事实相对应的存在,是以现实世界为界限的,所以辛提卡用他的可能世界改造了维特根斯坦的客体。在辛提卡看来,很多情况下,人们的语言交流所涉及的客体多是描述的客体,这些描述的客体有些能转换为亲知客体,有些不能,如“结构为H3O的水”,但是人们在日常的交流中又会涉及这些概念,自然在定义域D中也就应该包含这些元素,可以看出,辛提卡的客体是对维特根斯坦客体的扩展。辛提卡的客体分为存在的和可能存在的两类,即在现实世界中存在和在可能世界中存在。而且很明显的是,辛提卡的存在概念不是语义学层面上的,而是语用学层面上的语义,这在博弈论语义学的操作性中得以体现。在辛提卡的博弈论语义学中,定义域D中的个体必须能与可能世界中的对象一一对应,脱离了这种对应关系,我们就不可能知道自己在言说何物, 更不用说判定言说语句的真假。正如Dana Scott所指出的那样,语义确定一个实现不是必需的,它应该为证实一个实现是正确的提供标准。

在确定了命题的构成之后,需要解决的问题是命题真假的标准是什么。辛提卡认为,命题是有意义的,命题的意义就是命题的真假值。博弈论语义学的处理方法是找到一个体用概念的名称代入量词所约束的变元,即参与人“我”在定义域D中找到相关的个体以证实语句,而参与人“自然”则企图找到范例来证伪语句。那么,如何才是找到相关的个体呢? 或者说,怎样才知道代入个体后的语句为真? 如前所述,辛提卡在扩展了维特根斯坦概念的基础上明确了命题的构成问题,相应的,辛提卡的命题范围较之维特根斯坦就宽泛的很多。辛提卡将博弈论语义学称为“寻找并找到的”逻辑,寻找并找到了什么? 就是找到一个适当个体代入后的原子句所反映出来的图象与现实世界相符合。这不仅直观,而且符合人们的日常交流。可见,在确定命题真假的标准上,辛提卡与维特根斯坦是一致的,就是采用图象论的符合标准。辛提卡自己也曾明确指出,“博弈语义学不排斥图示的(同形的)关系理论,图示的(同形的) 关系理论在原子句和现实之间建立了联系。”从这句话我们可以看出,要确定命题的真值,只要将命题与图象做个比较就可以了。用辛提卡的话说就是,“名称-客体关系曾经被建立,仅仅需要一件事,这件事就是将原子句和现实相比较。”

辛提卡指出:“维特根斯坦的图像理论和逻辑语义学之间的相似性和非相似性更有趣。最重要的大范围相似性之一,就是在两个理论中,语言的基本元素和现实的特定方面之间的代表关系,用任何的方式都不能进一步的分析。”罗素指出,事实是意指那种使一个命题真或假的事物。而一个命题的本质就在于:它可以两种方式,即以人们所谓的真的方式或假的方式对应于一个事实。最基本的事实是原子事实,与原子事实相对应的是原子命题,它肯定某物具有某种性质或某些事物具有某种关系。原子命题的真假取决于它是否与原子事实相符合。在原子命题的基础上,借助逻辑联结词就构成了分子命题。分子命题的真假取决于组成它的原子命题的真假,是原子命题的真值函项。在分子命题的基础上,借助逻辑量词可以构成更高一级的概括命题。其真假最终也取决于原子命题的真假。维特根斯坦继承了这一思想,认为任何复杂命题经过分析都可以还原为最基本的原子命题。辛提卡由此得出结论:“一个指示性句子的表达在通常的本质上不是这些语言博弈的一个回合,在这些语言博弈中,给出了几个构成成分的词语,并且因此给出了整个句子的内涵。”在辛提卡的博弈论语义学中,我们根据可能世界理论可以确定定义域D,根据维特根斯坦的图象论可以处理命题,并且将命题的具体处理方法转化为真值函项的求解,那么,接下来要考虑的是,我们究竟应该如何为真值函项求解,并且这个方法是否可以形式化。遵循维特根斯坦的哲学思路,辛提卡找到了博弈论。