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