本書(shū)是一部以廣義模態(tài)邏輯為研究對(duì)象的理論專(zhuān)著，內(nèi)容涉及真理模態(tài)邏輯、認(rèn)知邏輯、規(guī)范邏輯及其應(yīng)用、時(shí)間邏輯、命令邏輯、模態(tài)邏輯與自然語(yǔ)言、模糊邏輯與理學(xué)、工學(xué)等，適合廣義模態(tài)邏輯理論研究者。
模態(tài)邏輯是哲學(xué)邏輯的重要分支，自20世紀(jì)70年代以來(lái)在深度和廣度方面都得到了很大的發(fā)展。本書(shū)對(duì)國(guó)內(nèi)外已有的廣義模態(tài)邏輯成果進(jìn)行了比較全面的梳理和歸納，闡明了狹義模態(tài)邏輯的基礎(chǔ)，并把認(rèn)知邏輯、規(guī)范邏輯、時(shí)間邏輯、命令邏輯等納入廣義模態(tài)邏輯的范圍：論述了模態(tài)邏輯與自然語(yǔ)言、計(jì)算機(jī)科學(xué)教育科學(xué)、理學(xué)和工學(xué)等學(xué)科的關(guān)系；強(qiáng)調(diào)了模態(tài)邏輯在各個(gè)領(lǐng)域的具體應(yīng)用，尤其豐富和發(fā)展了“教育邏輯”的內(nèi)涵。本書(shū)既有對(duì)廣義模態(tài)邏輯理論的系統(tǒng)闡述，又有應(yīng)用前景的分析和展望，內(nèi)容豐富、資料翔實(shí)，具有較高的專(zhuān)業(yè)理論水平和學(xué)術(shù)價(jià)值，是該專(zhuān)業(yè)領(lǐng)域的重要學(xué)術(shù)參考書(shū)。
|
