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

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