免费人妻中文不卡无码_日本精品爽爽van在线_久久精品国产99久久丝袜蜜桃_女强人被春药精油按摩bd电影

　　《可能世界的名字》的研究?jī)?nèi)容為哲學(xué)邏輯的一個(gè)新分支——混合邏輯�；旌线壿嬍菢�(biāo)準(zhǔn)模態(tài)邏輯的一個(gè)擴(kuò)張，方式是對(duì)其語(yǔ)言進(jìn)行改變。構(gòu)成整個(gè)混合語(yǔ)言家族的基礎(chǔ)改變是引入一類(lèi)特殊的符號(hào)——名字（nominal），由此可以明顯地指稱(chēng)克里普克模型中的可能世界或者說(shuō)個(gè)體狀態(tài)。這一研究方向的名稱(chēng)反映出一個(gè)事實(shí)：名字既命名了模型中的狀態(tài)，同時(shí)又是模態(tài)語(yǔ)言的句子。這一領(lǐng)域肇端于普萊爾在20世紀(jì)50年代末關(guān)于模態(tài)邏輯與時(shí)態(tài)邏輯的工作，但深入、系統(tǒng)的研究直到20世紀(jì)90年代才開(kāi)始。當(dāng)代混合邏輯是現(xiàn)代模態(tài)邏輯最活躍的分支之一，為經(jīng)典結(jié)論提供了大量的改進(jìn)。
　　與國(guó)際、國(guó)內(nèi)同行出版的混合邏輯著作相比，本書(shū)主要研究混合邏輯的極小系統(tǒng)方面，集中做了兩個(gè)方面的工作。
　　第一，全面介紹和研究混合邏輯在極小系統(tǒng)方面的主要成果。
　　本書(shū)在第一、第二章介紹混合邏輯的模態(tài)邏輯發(fā)展背景和時(shí)態(tài)邏輯的基本內(nèi)容之后，簡(jiǎn)要介紹混合邏輯的基本思想，其主要內(nèi)容是研究混合邏輯在兩個(gè)方面所提供的優(yōu)勢(shì)。第一方面是混合語(yǔ)言表達(dá)力問(wèn)題，在簡(jiǎn)要介紹普通模態(tài)邏輯之后，我們綜述最重要的混合語(yǔ)言、混合邏輯以及它們的譜系；在每種情形中，我們都定義其最弱的邏輯及其完全的公理系統(tǒng)。在這一部分的內(nèi)容之后，我們介紹一階混合邏輯，主要關(guān)注混合邏輯的可判定性、復(fù)雜性以及關(guān)于內(nèi)插性的一些結(jié)果。第二方面是關(guān)于混合邏輯證明論的。我們盡量介紹迄今為止混合邏輯所有的演繹系統(tǒng)并描繪出它們最有意思的特征。對(duì)混合邏輯證明系統(tǒng)的全景式研究有一個(gè)更為廣闊的背景，那就是標(biāo)記在證明系統(tǒng)中的應(yīng)用。另外還有一個(gè)原因就是，模態(tài)邏輯證明方法的研究仍然是一個(gè)備受冷落的領(lǐng)域，而混合邏輯將為這一領(lǐng)域提供突破性進(jìn)展。
　　第二，解決了混合核證邏輯的極小系統(tǒng)問(wèn)題。
　　混合邏輯將自己的語(yǔ)義內(nèi)在化，而新近出現(xiàn)的核證邏輯則將各自的證明方法內(nèi)在化，很自然地，把兩種理念組合成一個(gè)系統(tǒng)就是一個(gè)很有趣的工作，而且具有哲學(xué)上的來(lái)源，即維特根斯坦在《邏輯哲學(xué)論》中的觀點(diǎn)——“在邏輯空間中的諸事實(shí)就是世界”。本書(shū)介紹并研究這一始于2010年的新方向，為混合的核證邏輯建立起極小系統(tǒng)，從而解決了世界著名邏輯學(xué)家梅爾文·菲�。∕elvin Fitting）在2010年提出的這個(gè)問(wèn)題。
　　本書(shū)得到了2012年度國(guó)家社會(huì)科學(xué)基金項(xiàng)目“可能世界的名字”（項(xiàng)目編號(hào)：12BZX061）的資助（該項(xiàng)目于2015年結(jié)項(xiàng)，鑒定等級(jí)為“優(yōu)秀”），并納入了2016年度《國(guó)家哲學(xué)社會(huì)科學(xué)成果文庫(kù)》出版計(jì)劃。
　　本書(shū)的第十三章由祝瑞撰寫(xiě)，其余由劉新文撰寫(xiě)。在本書(shū)的寫(xiě)作過(guò)程中學(xué)界很多專(zhuān)家和學(xué)者提出過(guò)寶貴意見(jiàn)，中國(guó)社會(huì)科學(xué)院哲學(xué)研究所科研處高穎女士在文獻(xiàn)收集方面做了大量工作，中國(guó)社會(huì)科學(xué)出版社田文女士和徐平女士為本書(shū)的出版提供了大量幫助。
　　特此致謝！