Gamma 图表的语义学

皮尔斯构思Gamma 图表的时候，还没有模态S5。模态S5产生的时候，也没有相应的可能世界语义学，模态语义学是20世纪50年代之后的事情。但学术历史考察令人惊异的地方就在于，一种经得起历史考验的科学理论，往往并不是一个人的专利。在科学史上这样的例子很多，数学中的微积分，逻辑中的一阶逻辑，可能世界语义学也有一些类似之处。50年代以克里普克（Saul Aaron Kripke，1940—）命名的可能世界语义学，他的很多想法不仅当时代的人有，皮尔斯在设想他的Gamma 图表的时候，也已经有一些基本构想。我们在讨论Gamma 图表时提到的色标，其中就隐含着当代可能世界理论的一些东西，本节，我们将集中讨论皮尔斯Gamma 图表的语义学。