出版時(shí)間:2010-7 出版社:科學(xué)出版社 作者:[荷]約翰·范本特姆 頁數(shù):249 譯者:張清宇,劉新文
Tag標(biāo)簽:無
前言
本書是我的博士論文“模態(tài)對應(yīng)理論”和補(bǔ)充報(bào)告“作為二階邏輯的模態(tài)邏輯”的一個(gè)改述。我想要重復(fù)我在前者中所作的謝辭。我的“導(dǎo)師”洛伯和“校外審查員”托馬森以他們建設(shè)性的批評(píng)給予了我無價(jià)的幫助。我也非常感謝艾克霍恩一皮格女士,感謝她用打字機(jī)打出了我的博士論文和補(bǔ)充報(bào)告。實(shí)際上,阿姆斯特丹大學(xué)邏輯和數(shù)學(xué)基礎(chǔ)教研室(Vakgroep Logika en Grondslagen van de Wiskunde)的全體工作人員一直是我所獲得的鼓勵(lì)、忠告和經(jīng)常性積極幫助的一個(gè)永不枯竭的源泉。這里我特別提到布洛克、杜茨、德漾(在博士論文撰寫的關(guān)鍵階段他非??犊亟o予了我?guī)椭┮约疤佤斔固乩?。至于活躍在模態(tài)邏輯領(lǐng)域的人們,我從法因、戈德布拉特、薩奎斯特、塞格伯格和托馬森等人的論著中學(xué)到了許多東西。我還應(yīng)當(dāng)感謝在克拉科(Krakow)的Jagiellonian大學(xué)的佩扎諾夫斯基,沒有他的耐心勞作這本書就不會(huì)存在。由于事情的發(fā)展超越了他和我的控制,從1978年本書的完成到正式出版經(jīng)歷了一段漫長曲折的路程,由荷蘭經(jīng)波蘭直到意大利。正是岡特納主持了這一游程的最后階段,終至成書出版。
內(nèi)容概要
《模態(tài)對應(yīng)理論》內(nèi)容簡介:“邏輯之門”是當(dāng)代世界著名的邏輯學(xué)家約翰·范本特姆經(jīng)典著作的中文翻譯。叢書收集了他的經(jīng)典論文和主要專著,其涵蓋的主題有:關(guān)于信息、進(jìn)程和智能互動(dòng)的模態(tài)邏輯;自然語言中范疇語法和量詞語義的邏輯;邏輯與認(rèn)識(shí)論、科學(xué)方法論和博弈論之間的相互影響,等等。叢書展現(xiàn)了現(xiàn)代邏輯作為數(shù)學(xué)、哲學(xué)、語言學(xué)、計(jì)算機(jī)科學(xué)、認(rèn)知科學(xué)等學(xué)科之間媒介和催化劑的新視角?! ?0世紀(jì)70年代,范本特姆研究了模態(tài)公理與它們在一階邏輯、高階邏輯中的可定義性,提出了一個(gè)系統(tǒng)的、論述框架類的模態(tài)對應(yīng)理論,主要結(jié)果包括初等模態(tài)公式的刻畫、典范可定義模態(tài)框架類的刻畫以及模態(tài)可定義性結(jié)果向二階邏輯的推廣。這一研究還引出模型之間的互模擬概念,表明模態(tài)語言是由對互模擬不變的一階公式所組成;方法論上的主要特點(diǎn)在于強(qiáng)調(diào)模態(tài)觀點(diǎn)和經(jīng)典觀點(diǎn)可以同時(shí)用于理論和實(shí)踐的“并行觀點(diǎn)”?!赌B(tài)對應(yīng)理論》收錄了《模態(tài)邏輯和經(jīng)典邏輯》以及作者近幾年在這方面的三篇論文。 《模態(tài)對應(yīng)理論》適合從事邏輯學(xué)、語言學(xué)、計(jì)算機(jī)科學(xué)和認(rèn)知科學(xué)相關(guān)研究人員、教師和學(xué)生閱讀,也適合其他邏輯相關(guān)學(xué)科的教師和學(xué)生參閱。
作者簡介
約翰·范本特姆,當(dāng)代世界著名的邏輯學(xué)家,阿姆斯特丹大學(xué)邏輯學(xué)大學(xué)教授、斯坦福大學(xué)Henry waldgrave stuart哲學(xué)教授,兼任清華大學(xué)偉倫特聘教授,中山大學(xué)客座教授;荷蘭皇家藝術(shù)與科學(xué)院、歐洲科學(xué)院和國際哲學(xué)院的院士,多個(gè)雜志的編輯。迄今為止,他撰寫了約450篇論文和6部專著,主編了4部權(quán)威性的邏輯手冊。由于他的卓越成就,荷蘭政府于1 996年授予他斯賓諾莎獎(jiǎng)。
書籍目錄
叢書序作者序譯者序前言上篇 模態(tài)邏輯和經(jīng)典邏輯 引言 記號(hào)和術(shù)語 第一部分 模態(tài)命題邏輯的簡要概述 1 歷史背景 2 可能世界語義 3 可定義性 4 模態(tài)代數(shù) 5 公理化理論 6 完全性 第二部分 模態(tài)公式的一階可定義性 7 局部的和全局的一階可定性 8 一階可定義性的模型論刻畫 9 代入方法 10 否證一階可定義性 11 相對的一階可定義性 12 模態(tài)謂詞邏輯 13 模態(tài)公式的保持類 第三部分 模態(tài)可定義性 14 模態(tài)可定義的初等框架類 15 一階公式的保持結(jié)果 16 模態(tài)可定義的框架類 第四部分 高階可定義性 17 全稱二階語句 18 二階邏輯 19 有窮類型論 參考文獻(xiàn)下篇 模態(tài)對應(yīng)理論新進(jìn)展 1 極小謂詞、不動(dòng)點(diǎn)和可定義性 2 模態(tài)框架對應(yīng)和不動(dòng)點(diǎn) 3 事情總要翻過來看附錄 附錄一 約翰•范本特姆小傳 附錄二 英漢/漢英專業(yè)術(shù)語、人名對照表 致謝
章節(jié)摘錄
插圖:
媒體關(guān)注與評(píng)論
在迄今為止我所讀到的模態(tài)邏輯著作中,該書包含的數(shù)學(xué)最為復(fù)雜。而且,該書的語言表達(dá)清晰明朗,是讀者可以期待范本特姆做到的。這是一本理想的著作,可以讓當(dāng)代的數(shù)學(xué)家們認(rèn)識(shí)到模態(tài)邏輯不僅重要而且也十分有意思。 ——R.A.布珥:關(guān)于《模態(tài)邏輯和經(jīng)典邏輯》的書評(píng) 《符號(hào)邏輯雜志》,1987,52(2)模態(tài)邏輯讓我們意識(shí)到邏輯在表達(dá)力方面的微細(xì)結(jié)構(gòu)?! 侗咎啬罚骸端枷腴_放者的模態(tài)邏輯》,斯坦福語吉和信息研究中心2010年出版
編輯推薦
《模態(tài)對應(yīng)理論》:邏輯之門—約翰·范本特姆經(jīng)典著作(卷3)。
圖書封面
圖書標(biāo)簽Tags
無
評(píng)論、評(píng)分、閱讀與下載