現(xiàn)代形式邏輯

形式邏輯的現(xiàn)代形態(tài)。其特點是采用公理化、形式化的方法,內(nèi)容包括經(jīng)典邏輯和非經(jīng)典邏輯(如模態(tài)邏輯、時態(tài)邏輯、道義邏輯、認(rèn)識論邏輯、條件句邏輯、直覺主義邏輯、相干邏輯、多值邏輯等)的各種形式系統(tǒng)及其語義,以及對于 ......    （本文共 152 字 ）     [閱讀本文] >>