亦稱“非標(biāo)準(zhǔn)邏輯”、“非古典邏輯”。泛指一切不屬于古典形式邏輯(傳統(tǒng)的亞里士多德邏輯)和由弗雷格、羅素所完成的經(jīng)典數(shù)理邏輯(以二值邏輯為基礎(chǔ)的經(jīng)典命題演算和謂詞演算系統(tǒng))的現(xiàn)代邏輯學(xué)分支系統(tǒng)。與“經(jīng)典邏輯”相 (本文共 761 字 ) [閱讀本文] >>
海量資源,盡在掌握
 亦稱“非標(biāo)準(zhǔn)邏輯”、“非古典邏輯”。泛指一切不屬于古典形式邏輯(傳統(tǒng)的亞里士多德邏輯)和由弗雷格、羅素所完成的經(jīng)典數(shù)理邏輯(以二值邏輯為基礎(chǔ)的經(jīng)典命題演算和謂詞演算系統(tǒng))的現(xiàn)代邏輯學(xué)分支系統(tǒng)。與“經(jīng)典邏輯”相 (本文共 761 字 ) [閱讀本文] >>