收藏 糾錯 引文

可能世界的名字

ISBN:978-7-5161-9962-6

出版日期:2017-03

頁數:178

字數:179.0千字

叢書名:《國家哲學社會科學成果文庫》

點擊量:277次

引用量:4次

中圖法分類:
出版單位:
關鍵詞:
專題:
基金信息: 國家哲學社會科學成果文庫 展開
折扣價:¥28.8 [6折] 原價:¥48.0 立即購買電子書

圖書簡介

《可能世界的名字》的研究內容為哲學邏輯的一個新分支——混合邏輯?;旌线壿嬍菢藴誓B邏輯的一個擴張,方式是對其語言進行改變。構成整個混合語言家族的基礎改變是引入一類特殊的符號——名字(nominal),由此可以明顯地指稱克里普克模型中的可能世界或者說個體狀態。這一研究方向的名稱反映出一個事實:名字既命名了模型中的狀態,同時又是模態語言的句子。這一領域肇端于普萊爾在20世紀50年代末關于模態邏輯與時態邏輯的工作,但深入、系統的研究直到20世紀90年代才開始。當代混合邏輯是現代模態邏輯最活躍的分支之一,為經典結論提供了大量的改進。

與國際、國內同行出版的混合邏輯著作相比,本書主要研究混合邏輯的極小系統方面,集中做了兩個方面的工作。

第一,全面介紹和研究混合邏輯在極小系統方面的主要成果。

本書在第一、第二章介紹混合邏輯的模態邏輯發展背景和時態邏輯的基本內容之后,簡要介紹混合邏輯的基本思想,其主要內容是研究混合邏輯在兩個方面所提供的優勢。第一方面是混合語言表達力問題,在簡要介紹普通模態邏輯之后,我們綜述最重要的混合語言、混合邏輯以及它們的譜系;在每種情形中,我們都定義其最弱的邏輯及其完全的公理系統。在這一部分的內容之后,我們介紹一階混合邏輯,主要關注混合邏輯的可判定性、復雜性以及關于內插性的一些結果。第二方面是關于混合邏輯證明論的。我們盡量介紹迄今為止混合邏輯所有的演繹系統并描繪出它們最有意思的特征。對混合邏輯證明系統的全景式研究有一個更為廣闊的背景,那就是標記在證明系統中的應用。另外還有一個原因就是,模態邏輯證明方法的研究仍然是一個備受冷落的領域,而混合邏輯將為這一領域提供突破性進展。

第二,解決了混合核證邏輯的極小系統問題。

混合邏輯將自己的語義內在化,而新近出現的核證邏輯則將各自的證明方法內在化,很自然地,把兩種理念組合成一個系統就是一個很有趣的工作,而且具有哲學上的來源,即維特根斯坦在《邏輯哲學論》中的觀點——“在邏輯空間中的諸事實就是世界”。本書介紹并研究這一始于2010年的新方向,為混合的核證邏輯建立起極小系統,從而解決了世界著名邏輯學家梅爾文·菲?。∕elvin Fitting)在2010年提出的這個問題。

本書得到了2012年度國家社會科學基金項目“可能世界的名字”(項目編號:12BZX061)的資助(該項目于2015年結項,鑒定等級為“優秀”),并納入了2016年度《國家哲學社會科學成果文庫》出版計劃。

本書的第十三章由祝瑞撰寫,其余由劉新文撰寫。在本書的寫作過程中學界很多專家和學者提出過寶貴意見,中國社會科學院哲學研究所科研處高穎女士在文獻收集方面做了大量工作,中國社會科學出版社田文女士和徐平女士為本書的出版提供了大量幫助。

特此致謝!

劉新文

2016年秋于北京

展開

作者簡介

展開

圖書目錄

本書視頻 參考文獻 本書圖表

相關詞

閱讀
請支付
×
提示:您即將購買的是電子書,不是紙書,只能在線閱讀,不能下載?。?!

當前賬戶可用余額

余額不足,請先充值或選擇其他支付方式

請選擇感興趣的分類
選好了,開始瀏覽
×
推薦購買
×
手機注冊 郵箱注冊

已有賬號,返回登錄

×
賬號登錄 一鍵登錄

沒有賬號,快速注冊

×
手機找回 郵箱找回

返回登錄

引文

×
GB/T 7714-2015 格式引文
劉新文,祝瑞.可能世界的名字[M].北京:中國社會科學出版社,2017
復制
MLA 格式引文
劉新文,祝瑞.可能世界的名字.北京,中國社會科學出版社:2017E-book.
復制
APA 格式引文
劉新文和祝瑞(2017).可能世界的名字.北京:中國社會科學出版社
復制
×
錯誤反饋
曰批视频免费40分钟试看,脱胱了曰批30分钟免费APP,我把护士日出水了视频90分钟