現(xiàn)代形式邏輯研究中的各種非經(jīng)典邏輯分支學(xué)科的統(tǒng)稱。包括模態(tài)邏輯、時(shí)態(tài)邏輯、道義邏輯、認(rèn)識(shí)論邏輯、直覺(jué)主義邏輯、相干邏輯、多值邏輯等等。這些非經(jīng)典邏輯分支學(xué)科的建立或者有著極為鮮明的哲學(xué)動(dòng)因,或者潛在地隱含 (本文共 123 字 ) [閱讀本文] >>
海量資源,盡在掌握
 現(xiàn)代形式邏輯研究中的各種非經(jīng)典邏輯分支學(xué)科的統(tǒng)稱。包括模態(tài)邏輯、時(shí)態(tài)邏輯、道義邏輯、認(rèn)識(shí)論邏輯、直覺(jué)主義邏輯、相干邏輯、多值邏輯等等。這些非經(jīng)典邏輯分支學(xué)科的建立或者有著極為鮮明的哲學(xué)動(dòng)因,或者潛在地隱含 (本文共 123 字 ) [閱讀本文] >>