123,123

內(nèi)容簡(jiǎn)介

　　模態(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í)，具有較高的專業(yè)理論水平和學(xué)術(shù)價(jià)值，是該專業(yè)領(lǐng)域的重要學(xué)術(shù)參考書(shū)。

作者簡(jiǎn)介

　　何向東，西南大學(xué)教授，博士生導(dǎo)師。邏輯學(xué)博士點(diǎn)、碩士點(diǎn)負(fù)責(zé)人，原西南師范大學(xué)副校長(zhǎng)。教育部高校哲學(xué)學(xué)科教學(xué)指導(dǎo)委員，全國(guó)哲學(xué)社會(huì)科學(xué)基金項(xiàng)目學(xué)科評(píng)審專家，教育部普通高校本利教學(xué)工作評(píng)估專家委員會(huì)委員，中國(guó)邏輯學(xué)會(huì)副會(huì)長(zhǎng)，重慶市社科聯(lián)副主席，重慶市邏輯學(xué)會(huì)會(huì)長(zhǎng)。1993年起享受國(guó)務(wù)院頒發(fā)的政府特殊津貼。重慶市首屆學(xué)術(shù)技術(shù)（邏輯學(xué)）帶頭人。蘇州大學(xué)兼職博士生導(dǎo)師。在《哲學(xué)研究》、《自然辯證法研究》、大學(xué)學(xué)報(bào)等刊物及論文集上發(fā)表學(xué)術(shù)論文70多篇；出版專著、教材、譯著、工具書(shū)、文集等10多部；主持省部級(jí)、國(guó)家級(jí)教學(xué)、科研課題12項(xiàng)；獲省部級(jí)以上教學(xué)、科研成果獎(jiǎng)10余項(xiàng)。其中優(yōu)秀教學(xué)成果（管理類）國(guó)家級(jí)二等獎(jiǎng)3項(xiàng)。

圖書(shū)目錄

前言
緒論
0.1 什么是廣義模態(tài)邏輯
0.2 古典命題邏輯系統(tǒng)P
0.3 古典謂詞邏輯系統(tǒng)Q
0.4 集合論的初步知識(shí)
0.5 符號(hào)與解釋
第1章真理模態(tài)邏輯
1.1 模態(tài)邏輯概述
1.2 模態(tài)命題邏輯
1.3 可能世界語(yǔ)義學(xué)
1.4 模態(tài)代數(shù)語(yǔ)義學(xué)
1.5 模態(tài)謂詞邏輯
附錄
第2章認(rèn)知邏輯
2.1 認(rèn)知邏輯概述
2.1 知道邏輯系統(tǒng)
2.3 相信邏輯系統(tǒng)
2.4 斷定邏輯系統(tǒng)
2.5 問(wèn)題邏輯系統(tǒng)
附錄
第3章規(guī)范邏輯及其應(yīng)用
3.1 規(guī)范邏輯概述
3.2 規(guī)范邏輯系統(tǒng)
3.3 規(guī)范邏輯的應(yīng)用
附錄
第4章時(shí)間邏輯
4.1 時(shí)間邏輯概述
4.2 基礎(chǔ)時(shí)間邏輯
4.3 極小時(shí)間邏輯
4.4 極小時(shí)間邏輯的擴(kuò)張
附錄
第5章命令邏輯
5.1 命令邏輯概述
5.2 命令邏輯系統(tǒng)
5.3 命令邏輯的語(yǔ)義解釋
5.4 命令邏輯系統(tǒng)Imp的有效性、完全性
附錄
第6章模態(tài)邏輯與自然語(yǔ)言
第7章模態(tài)邏輯與計(jì)算機(jī)科學(xué)
第8章模糊邏輯與理學(xué)、工學(xué)
第9章模態(tài)邏輯與教育科學(xué)
第10章新型計(jì)算語(yǔ)言
附錄