现实与可能世界的逻辑

鉴于现实世界之总体，我们很容易接受存在一个极大特定的真命题，它能完整地描述现实世界的每个细节。所谓为真，即是被这个极大特定的真命题所逻辑蕴涵。通常亦有一种表述：所谓可能，即是在某个可能世界中为真。这是否意味着，可能性即是被某个极大特定且可能为真的命题所蕴涵？我们在此勾勒一种形而上学图景：其中唯一的极大特定命题是由现实世界之总体所提供的。非现实的可能世界并非“存在于彼处”，我们也不具备完整描述它们的表达资源；即便从描述性角度而言，它们也仅是潜在的存在。我们同时展示了这一图景所产生的逻辑系统，该逻辑通过两种语言框架呈现：一种带有命题偶真论特征，另一种则包含指称词体系。