让模态浮出水面的S2 刘易斯逻辑之八

标题 让模态浮出水面的S2 刘易斯逻辑之八 这个S2，大概可以让我们对模态逻辑有点感觉了。刘易斯的S1，虽然把“可能”作为它的初始符号，但直到接近S1尾声的时候才付诸讨论。当他把那个一致性公设放进他的S1的时候，S1就不能称作S1，而应该称作他命名的S2了。因为S1包括不了这个一致性公理所推出的所有定理，它有它自己的领地。 我们现在所面对的，当然还是严格蕴涵系统。但这个时候的刘易斯系统，除了有连接

>>阅读原文<<