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

前言

本書是我的博士論文“模態(tài)對應(yīng)理論”和補(bǔ)充報(bào)告“作為二階邏輯的模態(tài)邏輯”的一個(gè)改述。我想要重復(fù)我在前者中所作的謝辭。我的“導(dǎo)師”洛伯和“校外審查員”托馬森以他們建設(shè)性的批評給予了我無價(jià)的幫助。我也非常感謝艾克霍恩一皮格女士，感謝她用打字機(jī)打出了我的博士論文和補(bǔ)充報(bào)告。實(shí)際上，阿姆斯特丹大學(xué)邏輯和數(shù)學(xué)基礎(chǔ)教研室（Vakgroep Logika en Grondslagen van de Wiskunde）的全體工作人員一直是我所獲得的鼓勵(lì)、忠告和經(jīng)常性積極幫助的一個(gè)永不枯竭的源泉。這里我特別提到布洛克、杜茨、德漾（在博士論文撰寫的關(guān)鍵階段他非常慷慨地給予了我?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)識論、科學(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)典邏輯》以及作者近幾年在這方面的三篇論文?！　　赌B(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)典邏輯　引言　記號和術(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)注與評論

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

編輯推薦

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

圖書封面

圖書標(biāo)簽Tags

無

評論、評分、閱讀與下載

---

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

---