一致性、可能性和關係的一般性質 劉易斯邏輯之七

標題一致性、可能性和關係的一般性質 劉易斯邏輯之七 S1所依仗的公理集合是B1-B7，現在輪到S2了，在S1的基礎上多了個B8，它的公理集合就是B1-B8，那個B8就是所謂的一致性公理。C.I劉易斯又從可能性推及一致性。就此，這個S2就既是一個可能性演算，又是一個一致性演算。我們在S1中，基本上避開了模態範疇的討論。但這個一致性同時也是可能性演算的S2，卻直接就談模態「可能」，算是和模態範疇接軌了

>>阅读原文<<