模態(tài)對應理論

前言

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

內(nèi)容概要

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

作者簡介

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

書籍目錄

叢書序作者序譯者序前言上篇 模態(tài)邏輯和經(jīng)典邏輯　引言　記號和術語　第一部分 模態(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 一階公式的保持結果　　16 模態(tài)可定義的框架類　第四部分 高階可定義性　　17 全稱二階語句　　18 二階邏輯　　19 有窮類型論　　參考文獻下篇 模態(tài)對應理論新進展　1 極小謂詞、不動點和可定義性　2 模態(tài)框架對應和不動點　3 事情總要翻過來看附錄　附錄一 約翰•范本特姆小傳　附錄二 英漢／漢英專業(yè)術語、人名對照表　致謝

章節(jié)摘錄

插圖：

媒體關注與評論

在迄今為止我所讀到的模態(tài)邏輯著作中，該書包含的數(shù)學最為復雜。而且，該書的語言表達清晰明朗，是讀者可以期待范本特姆做到的。這是一本理想的著作，可以讓當代的數(shù)學家們認識到模態(tài)邏輯不僅重要而且也十分有意思。　　——R.A.布珥：關于《模態(tài)邏輯和經(jīng)典邏輯》的書評 《符號邏輯雜志》，1987，52（2）模態(tài)邏輯讓我們意識到邏輯在表達力方面的微細結構。　　——范本特姆：《思想開放者的模態(tài)邏輯》，斯坦福語吉和信息研究中心2010年出版

編輯推薦

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

圖書封面

圖書標簽Tags

無

評論、評分、閱讀與下載

---

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

---