現(xiàn)代形式邏輯即數(shù)理邏輯分類中的一種?,F(xiàn)代的邏輯學家通常把現(xiàn)代形式邏輯區(qū)分為基本邏輯(包括標準邏輯和作為一般邏輯理論的非標準邏輯)、元邏輯(包括邏輯語形學、邏輯語義學和邏輯語用學)和應用邏輯三大類,而把基本邏輯和 (本文共 162 字 ) [閱讀本文] >>
海量資源,盡在掌握
 現(xiàn)代形式邏輯即數(shù)理邏輯分類中的一種?,F(xiàn)代的邏輯學家通常把現(xiàn)代形式邏輯區(qū)分為基本邏輯(包括標準邏輯和作為一般邏輯理論的非標準邏輯)、元邏輯(包括邏輯語形學、邏輯語義學和邏輯語用學)和應用邏輯三大類,而把基本邏輯和 (本文共 162 字 ) [閱讀本文] >>