注冊 | 登錄讀書好，好讀書，讀好書！

當前位置：首頁出版圖書科學技術(shù)計算機/網(wǎng)絡軟件與程序設計其他編程語言/工具廣義模態(tài)邏輯及其應用

廣義模態(tài)邏輯及其應用

定　價：￥25.00

作　者：	何向東
出版社：	人民出版社
叢編項：
標　簽：	邏輯學

購買這本書可以去

ISBN：	9787010053226	出版時間：	2005-12-01	包裝：	平裝
開本：	32開	頁數(shù)：	401頁	字數(shù)：

內(nèi)容簡介

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

作者簡介

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

圖書目錄

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