讓模態浮出水面的S2 劉易斯邏輯之八

標題 讓模態浮出水面的S2 劉易斯邏輯之八 這個S2，大概可以讓我們對模態邏輯有點感覺了。劉易斯的S1，雖然把「可能」作爲它的初始符號，但直到接近S1尾聲的時候才付諸討論。當他把那個一致性公設放進他的S1的時候，S1就不能稱作S1，而應該稱作他命名的S2了。因爲S1包括不了這個一致性公理所推出的所有定理，它有它自己的領地。 我們現在所面對的，當然還是嚴格蘊涵系統。但這個時候的劉易斯系統，除了有連接

>>阅读原文<<