APP 現(xiàn)代形式邏輯即數(shù)理邏輯分類中的一種。現(xiàn)代的邏輯學(xué)家通常把現(xiàn)代形式邏輯區(qū)分為基本邏輯(包括標(biāo)準(zhǔn)邏輯和作為一般邏輯理論的非標(biāo)準(zhǔn)邏輯)、元邏輯(包括邏輯語(yǔ)形學(xué)、邏輯語(yǔ)義學(xué)和邏輯語(yǔ)用學(xué))和應(yīng)用邏輯三大類,而把基本邏輯和 （本文共 162 字 ） [閱讀本文] >>
海量資源，盡在掌握
現(xiàn)代形式邏輯即數(shù)理邏輯分類中的一種。現(xiàn)代的邏輯學(xué)家通常把現(xiàn)代形式邏輯區(qū)分為基本邏輯(包括標(biāo)準(zhǔn)邏輯和作為一般邏輯理論的非標(biāo)準(zhǔn)邏輯)、元邏輯(包括邏輯語(yǔ)形學(xué)、邏輯語(yǔ)義學(xué)和邏輯語(yǔ)用學(xué))和應(yīng)用邏輯三大類,而把基本邏輯和 （本文共 162 字 ） [閱讀本文] >>
說(shuō)明： 本文檔由創(chuàng)作者上傳發(fā)布，版權(quán)歸屬創(chuàng)作者。若內(nèi)容存在侵權(quán)，請(qǐng)點(diǎn)擊申訴舉報(bào)
