模態(tài)對(duì)應(yīng)理論

前言

本書(shū)是我的博士論文“模態(tài)對(duì)應(yīng)理論”和補(bǔ)充報(bào)告“作為二階邏輯的模態(tài)邏輯”的一個(gè)改述。我想要重復(fù)我在前者中所作的謝辭。我的“導(dǎo)師”洛伯和“校外審查員”托馬森以他們建設(shè)性的批評(píng)給予了我無(wú)價(jià)的幫助。我也非常感謝艾克霍恩一皮格女士，感謝她用打字機(jī)打出了我的博士論文和補(bǔ)充報(bào)告。實(shí)際上，阿姆斯特丹大學(xué)邏輯和數(shù)學(xué)基礎(chǔ)教研室（Vakgroep Logika en Grondslagen van de Wiskunde）的全體工作人員一直是我所獲得的鼓勵(lì)、忠告和經(jīng)常性積極幫助的一個(gè)永不枯竭的源泉。這里我特別提到布洛克、杜茨、德漾（在博士論文撰寫(xiě)的關(guān)鍵階段他非?？犊亟o予了我?guī)椭┮约疤佤斔固乩?。至于活躍在模態(tài)邏輯領(lǐng)域的人們，我從法因、戈德布拉特、薩奎斯特、塞格伯格和托馬森等人的論著中學(xué)到了許多東西。我還應(yīng)當(dāng)感謝在克拉科（Krakow）的Jagiellonian大學(xué)的佩扎諾夫斯基，沒(méi)有他的耐心勞作這本書(shū)就不會(huì)存在。由于事情的發(fā)展超越了他和我的控制，從1978年本書(shū)的完成到正式出版經(jīng)歷了一段漫長(zhǎng)曲折的路程，由荷蘭經(jīng)波蘭直到意大利。正是岡特納主持了這一游程的最后階段，終至成書(shū)出版。

內(nèi)容概要

《模態(tài)對(duì)應(yīng)理論》內(nèi)容簡(jiǎn)介：“邏輯之門(mén)”是當(dāng)代世界著名的邏輯學(xué)家約翰·范本特姆經(jīng)典著作的中文翻譯。叢書(shū)收集了他的經(jīng)典論文和主要專著,其涵蓋的主題有：關(guān)于信息、進(jìn)程和智能互動(dòng)的模態(tài)邏輯；自然語(yǔ)言中范疇語(yǔ)法和量詞語(yǔ)義的邏輯；邏輯與認(rèn)識(shí)論、科學(xué)方法論和博弈論之間的相互影響,等等。叢書(shū)展現(xiàn)了現(xiàn)代邏輯作為數(shù)學(xué)、哲學(xué)、語(yǔ)言學(xué)、計(jì)算機(jī)科學(xué)、認(rèn)知科學(xué)等學(xué)科之間媒介和催化劑的新視角?！　?0世紀(jì)70年代,范本特姆研究了模態(tài)公理與它們?cè)谝浑A邏輯、高階邏輯中的可定義性，提出了一個(gè)系統(tǒng)的、論述框架類的模態(tài)對(duì)應(yīng)理論，主要結(jié)果包括初等模態(tài)公式的刻畫(huà)、典范可定義模態(tài)框架類的刻畫(huà)以及模態(tài)可定義性結(jié)果向二階邏輯的推廣。這一研究還引出模型之間的互模擬概念,表明模態(tài)語(yǔ)言是由對(duì)互模擬不變的一階公式所組成；方法論上的主要特點(diǎn)在于強(qiáng)調(diào)模態(tài)觀點(diǎn)和經(jīng)典觀點(diǎn)可以同時(shí)用于理論和實(shí)踐的“并行觀點(diǎn)”。《模態(tài)對(duì)應(yīng)理論》收錄了《模態(tài)邏輯和經(jīng)典邏輯》以及作者近幾年在這方面的三篇論文。　　《模態(tài)對(duì)應(yīng)理論》適合從事邏輯學(xué)、語(yǔ)言學(xué)、計(jì)算機(jī)科學(xué)和認(rèn)知科學(xué)相關(guān)研究人員、教師和學(xué)生閱讀，也適合其他邏輯相關(guān)學(xué)科的教師和學(xué)生參閱。

作者簡(jiǎn)介

約翰·范本特姆，當(dāng)代世界著名的邏輯學(xué)家，阿姆斯特丹大學(xué)邏輯學(xué)大學(xué)教授、斯坦福大學(xué)Henry waldgrave stuart哲學(xué)教授，兼任清華大學(xué)偉倫特聘教授,中山大學(xué)客座教授；荷蘭皇家藝術(shù)與科學(xué)院、歐洲科學(xué)院和國(guó)際哲學(xué)院的院士，多個(gè)雜志的編輯。迄今為止，他撰寫(xiě)了約450篇論文和6部專著，主編了4部權(quán)威性的邏輯手冊(cè)。由于他的卓越成就，荷蘭政府于1 996年授予他斯賓諾莎獎(jiǎng)。

書(shū)籍目錄

叢書(shū)序作者序譯者序前言上篇 模態(tài)邏輯和經(jīng)典邏輯　引言　記號(hào)和術(shù)語(yǔ)　第一部分 模態(tài)命題邏輯的簡(jiǎn)要概述　　1 歷史背景　　2 可能世界語(yǔ)義　　3 可定義性　　4 模態(tài)代數(shù)　　5 公理化理論　　6 完全性　第二部分 模態(tài)公式的一階可定義性　　7 局部的和全局的一階可定性　　8 一階可定義性的模型論刻畫(huà)　　9 代入方法　　10 否證一階可定義性　　11 相對(duì)的一階可定義性　　12 模態(tài)謂詞邏輯　　13 模態(tài)公式的保持類　第三部分 模態(tài)可定義性　　14 模態(tài)可定義的初等框架類　　15 一階公式的保持結(jié)果　　16 模態(tài)可定義的框架類　第四部分 高階可定義性　　17 全稱二階語(yǔ)句　　18 二階邏輯　　19 有窮類型論　　參考文獻(xiàn)下篇 模態(tài)對(duì)應(yīng)理論新進(jìn)展　1 極小謂詞、不動(dòng)點(diǎn)和可定義性　2 模態(tài)框架對(duì)應(yīng)和不動(dòng)點(diǎn)　3 事情總要翻過(guò)來(lái)看附錄　附錄一 約翰•范本特姆小傳　附錄二 英漢／漢英專業(yè)術(shù)語(yǔ)、人名對(duì)照表　致謝

章節(jié)摘錄

插圖：

媒體關(guān)注與評(píng)論

在迄今為止我所讀到的模態(tài)邏輯著作中，該書(shū)包含的數(shù)學(xué)最為復(fù)雜。而且，該書(shū)的語(yǔ)言表達(dá)清晰明朗，是讀者可以期待范本特姆做到的。這是一本理想的著作，可以讓當(dāng)代的數(shù)學(xué)家們認(rèn)識(shí)到模態(tài)邏輯不僅重要而且也十分有意思。　　——R.A.布珥：關(guān)于《模態(tài)邏輯和經(jīng)典邏輯》的書(shū)評(píng) 《符號(hào)邏輯雜志》，1987，52（2）模態(tài)邏輯讓我們意識(shí)到邏輯在表達(dá)力方面的微細(xì)結(jié)構(gòu)?！　　侗咎啬罚骸端枷腴_(kāi)放者的模態(tài)邏輯》，斯坦福語(yǔ)吉和信息研究中心2010年出版

編輯推薦

《模態(tài)對(duì)應(yīng)理論》：邏輯之門(mén)—約翰·范本特姆經(jīng)典著作(卷3)。

圖書(shū)封面

圖書(shū)標(biāo)簽Tags

無(wú)

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

---

    模態(tài)對(duì)應(yīng)理論 PDF格式下載

---