可能世界與智慧

內(nèi)容概要

模態(tài)邏輯是邏輯學(xué)中的一個(gè)重要分支學(xué)科，是一種特殊的邏輯智慧。本書介紹了模態(tài)邏輯發(fā)展的概況以及傳統(tǒng)模態(tài)邏輯的基本內(nèi)容，區(qū)分了客觀模態(tài)與主觀模態(tài)、邏輯模態(tài)與非邏輯模態(tài)、從物模態(tài)與從言模態(tài)、狹義模態(tài)與廣義模態(tài)，特別是詳細(xì)介紹了真勢(shì)模態(tài)的可能世界語義學(xué)理論、命題種類及推理有效式；同時(shí)也介紹了規(guī)范邏輯（道義邏輯）和時(shí)態(tài)邏輯以及模態(tài)命題邏輯演算的基本理論。本書的最大特點(diǎn)是通俗化，運(yùn)用大量事例來講解難懂的模態(tài)邏輯。

書籍目錄

叢書總序前言1.“地球必然圍繞太陽旋轉(zhuǎn)”與“地球上可能來過外星人”　　——客觀模態(tài)與主觀模態(tài)2.“金屬導(dǎo)電或不導(dǎo)電是必然的”與“生物必然要進(jìn)行新陳代謝”    ——邏輯模態(tài)與非邏輯模態(tài)3.“物質(zhì)必然運(yùn)動(dòng)”與“物質(zhì)運(yùn)動(dòng)是必然的”有區(qū)別嗎    ——從物模態(tài)與從言模態(tài)4.“他必然出庭作證”與“他應(yīng)當(dāng)出庭作證”    ——狹義模態(tài)與廣義模態(tài)5.“白丁香必然有香味”與“白丁香不可能沒有香味”    ——模態(tài)命題的種類6.各種各樣的可能世界    ——模態(tài)命題的真值條件7.這兩個(gè)模態(tài)命題是什么關(guān)系    ——同素材模態(tài)簡單性質(zhì)命題之間的對(duì)當(dāng)關(guān)系8.從◇P真能一定推出◇┐P真嗎   ——模態(tài)簡單性質(zhì)命題對(duì)當(dāng)關(guān)系推理9.月球必然圍繞太陽旋轉(zhuǎn)嗎    ——模態(tài)關(guān)系推理10.那個(gè)動(dòng)物是必然有還是可能有發(fā)達(dá)的大腦    ——模態(tài)性質(zhì)三段論11.結(jié)論最強(qiáng)的模態(tài)三段論（上）    ——純必然型的一格和二格及其式12.結(jié)論最強(qiáng)的模態(tài)三段論（下）    ——純必然型的三格和四格及其式13.結(jié)論最弱的模態(tài)三段論    ——純可能型的格與式14.這兩個(gè)推理結(jié)論的模態(tài)相同嗎    ——混合模態(tài)三段論的格與式15.“結(jié)論從弱原則”有例外嗎    ——必然實(shí)然型的格與式16.可能實(shí)然模態(tài)三段論的結(jié)論都是可能模態(tài)嗎    ——可能實(shí)然型的格與式17.小黨的推理是模態(tài)關(guān)系三段論嗎    ——模態(tài)關(guān)系三段論的規(guī)則與類型18.從“可能p并且可能q”能推出“可能‘p并且q”嗎    ——模態(tài)聯(lián)言命題及推理19.從“必然‘p或者q’”能推出“必然p或必然q”嗎    ——模態(tài)選言命題及推理20.“如果地球全部嚴(yán)重污染，則人類無法生存，是必然的”荒謬嗎    ——模態(tài)充分條件假言命題及推理21.被剝奪政治權(quán)利的人必然有選舉權(quán)嗎    ——模態(tài)必要條件假言命題及推理……參考文獻(xiàn)

圖書封面

圖書標(biāo)簽Tags

無

評(píng)論、評(píng)分、閱讀與下載

---

    可能世界與智慧 PDF格式下載

---