現(xiàn)代邏輯分類中的一種。現(xiàn)代的邏輯學(xué)家通常把現(xiàn)代形式邏輯區(qū)分為基本邏輯(包括標(biāo)準(zhǔn)邏輯和非標(biāo)準(zhǔn)邏輯)、元邏輯(包括邏輯語(yǔ)形學(xué),邏輯語(yǔ)義學(xué)和邏輯語(yǔ)用學(xué))和應(yīng)用邏輯三大類,而把應(yīng)用邏輯看做是基本邏輯和元邏輯(兩者都是作為 (本文共 254 字 ) [閱讀本文] >>
海量資源,盡在掌握
 現(xiàn)代邏輯分類中的一種。現(xiàn)代的邏輯學(xué)家通常把現(xiàn)代形式邏輯區(qū)分為基本邏輯(包括標(biāo)準(zhǔn)邏輯和非標(biāo)準(zhǔn)邏輯)、元邏輯(包括邏輯語(yǔ)形學(xué),邏輯語(yǔ)義學(xué)和邏輯語(yǔ)用學(xué))和應(yīng)用邏輯三大類,而把應(yīng)用邏輯看做是基本邏輯和元邏輯(兩者都是作為 (本文共 254 字 ) [閱讀本文] >>