邏輯與形而上學教科書係列:作為哲學的數理邏輯

邏輯與形而上學教科書係列:作為哲學的數理邏輯 下載 mobi epub pdf 電子書 2024


簡體網頁||繁體網頁
楊睿之 著



點擊這裡下載
    

想要找書就要到 圖書大百科
立刻按 ctrl+D收藏本頁
你會得到大驚喜!!

發表於2024-12-23

類似圖書 點擊查看全場最低價


圖書介紹

齣版社: 復旦大學齣版社
ISBN:9787309126587
版次:1
商品編碼:12022399
包裝:平裝
開本:16開
齣版時間:2016-11-01
用紙:膠版紙
頁數:218
字數:250000


相關圖書





圖書描述

內容簡介

  現代邏輯起源於19與20世紀之交人類對於數學基礎問題的思考。其早期發展無疑是對人類理性事業的重大推動。弗雷格概念文字、希爾伯特公理係統、塔斯基真定義、哥德爾完備性與不完備性定理、圖靈機對機械可計算的刻畫等成果不僅讓人類對數學基礎有瞭全新的理解,孕育瞭現代計算機科學,還促成瞭分析哲學的崛起,由此深刻地改變瞭哲學研究的樣貌。
  此後的數理邏輯越來越陷入高度的技術化與專業化,並漸漸淡齣公眾、哲學傢甚至其他領域數學傢的視野。然而,無論是數學基礎問題還是一般的哲學問題都仍然呼喚著哲學與邏輯的再度攜手。楊睿之*的《作為哲學的數理邏輯/邏輯與形而上學教科書係列》試圖將經過演變與發展的數理邏輯與哲學重新介紹給對方,讓哲學工作者或愛好者快速正確地理解當代數理邏輯的主要工作,也讓邏輯學工作者或學生瞭解與他們的工作有關的哲學上的關切。

作者簡介

  楊睿之,復旦大學哲學學院講師。主要研究興趣是數理邏輯。

目錄

第一章 導言
1.1 數理邏輯與分析哲學的蜜月期
1.1.1 弗雷格《概念文字》與《算術基礎》
1.1.2 羅素《論指稱》
1.1.3 劉易斯對嚴格蘊涵的刻畫
1.1.4 塔斯基的真定義
1.1.5 圖靈對能行過程的刻畫
1.2 分道揚鑣
1.2.1 形式語言vs.日常語言
1.2.2 自然化的分析哲學
1.2.3 新形式主義
1.3 危機與睏境
1.3.1 分析哲學的危機
1.3.2 數理邏輯的睏境
第二章 計算與隨機
2.1 不可計算的度
2.1.1 遞歸可枚舉集
2.1.2 度的結構
2.2 隨機性
2.2.1 隨機性的對象
2.2.2 刻畫隨機性
2.2.3 隨機性與可計算性
第三章 相對一緻性
3.1 相對一緻性結果的意義和有窮主義方法
3.2 可構成集與直謂主義
3.3 力迫法與脫殊擴張
3.3.1 外模型與玩具模型
3.3.2 想象的語言
第四章 無窮之上
4.1 二階算術與大基數
4.1.1 描述集閤論
4.1.2 無窮博弈與決定性公理
4.1.3 大基數公理
4.2 連續統假設與內模型計劃
參考文獻
索引
符號索引
術語索引
人名索引

邏輯與形而上學教科書係列:作為哲學的數理邏輯 下載 mobi epub pdf txt 電子書 格式

邏輯與形而上學教科書係列:作為哲學的數理邏輯 mobi 下載 pdf 下載 pub 下載 txt 電子書 下載 2024

邏輯與形而上學教科書係列:作為哲學的數理邏輯 下載 mobi pdf epub txt 電子書 格式 2024

邏輯與形而上學教科書係列:作為哲學的數理邏輯 下載 mobi epub pdf 電子書
想要找書就要到 圖書大百科
立刻按 ctrl+D收藏本頁
你會得到大驚喜!!

用戶評價

評分

邏輯與形而上學教科書係列第三本,其實是作者博士論文的改寫,基本思想沒有超齣博士論文,不過還是可以看看。

評分

比較燒腦,但絕對和國內一般教材不一樣,很深入,值得讀

評分

比較滿意,一次並非不愉快的購物體驗。

評分

邏輯與形而上學教科書係列第三本,其實是作者博士論文的改寫,基本思想沒有超齣博士論文,不過還是可以看看。

評分

總算看到有新方式的數理邏輯書齣版瞭。

評分

比較滿意,一次並非不愉快的購物體驗。

評分

給彆人買的,沒聽說不好。。。。。

評分

物流不錯,書也很好,贊個~

評分

物流不錯,書也很好,贊個~

類似圖書 點擊查看全場最低價

邏輯與形而上學教科書係列:作為哲學的數理邏輯 mobi epub pdf txt 電子書 格式下載 2024


分享鏈接




相關圖書


本站所有內容均為互聯網搜索引擎提供的公開搜索信息,本站不存儲任何數據與內容,任何內容與數據均與本站無關,如有需要請聯繫相關搜索引擎包括但不限於百度google,bing,sogou

友情鏈接

© 2024 book.teaonline.club All Rights Reserved. 圖書大百科 版權所有