作为真理论域的可能世界

如果我们把真理定义为:与客观实际相符合的认识,并且承认所有逻辑规律的有效性,则我们就有两种确认真理的方法。对于任意一个陈述A说来,A被确认为真理,当且仅当(1)A为另一真陈述或者真陈述的合取T所蕴涵,或者(2)A能经得住实践的验证,即它能在实践中被证明为与客观实际相符合。