縮小範圍

商品類型

簡體書（3）

商品狀況

可訂購商品（3）

庫存狀況

有庫存（1）

無庫存（2）

商品定價

$400~$599 （2）

$600~$799 （1）

出版日期

2024年（1）

2020~2021 （2）

裝訂方式

平裝（3）

作者

薄謀（3）

出版社/品牌

上海人民出版社（3）

三民網路書店 / 搜尋結果

搜尋條件

商品類型

商品狀況

庫存狀況

商品定價

出版日期

裝訂方式

作者

出版社/品牌

關閉

共3筆商品，1/1頁

滿額折

抽象主義集合論(下卷)：從懷特到林內波（簡體書）

作者：薄謀 出版社：上海人民出版社 出版日：2024/04/01 裝訂：平裝

本書(上下卷)所反映的內容是數理邏輯與數學哲學相結合的典範。前者是數學家們研究的對象，後者是哲學家們研究的對象。數理邏輯分為集合論、證明論、遞歸論和模型論。數學哲學在古典時期分為邏輯主義、直覺主義和形式主義，在當代分為虛構主義、結構主義、自然主義和多元主義。我們選取的是邏輯主義及其在當代的復活。如果說上卷講的是集合論哲學，那麼下卷講的是模型論哲學。換句話說，上卷從集合論的視角去研究邏輯主義，下卷從模型論的視角去研究邏輯主義。我們依次描述的是休謨原則、愷撒問題、良莠不齊和抽象原則。抽象原則又分為靜態抽象和動態抽象。這些都是新邏輯主義者所面臨的重大問題。只有成功地解決了這些難題，新邏輯主義才是一種好的數學哲學形態。

定價：576 元，優惠價：87 501

庫存：1

滿額折

抽象主義集合論‧上卷：從布勞斯到斯塔德（簡體書）

作者：薄謀 出版社：上海人民出版社 出版日：2021/10/01 裝訂：平裝

本書論述了數學基礎三大主義的熱潮退去後的數學哲學領域的變化和進展。哥德爾在完成不完全定理和連續統假設的相對協調性的證明以後，提出了自己的數學哲學思想。他持一種數學實在論的思潮，認為人有知覺到數學實體的能力。對數學實在論的強力支撐是有奎因-普特南的不可或缺性論證完成的。當然，帕森斯和麥蒂繼續強化了哥德爾對數學直覺的論證。從歷史上追溯的話，弗雷格既是數理邏輯的創始人，也是數學實在論的持有者。羅素儘管也是邏輯主義的代表人物，但哥德爾認為他的無類理論支持的是數學唯名論立場。也就是數學實在論與唯名論的爭論從數理邏輯創立之初就開始了。在羅素之後，古德曼和奎因很早就提出了唯名論化技術。這個階段數學實在論與唯

定價：660 元，優惠價：87 574

海外經銷商無庫存，到貨日平均30天至45天

現代數學哲學教程‧第一冊：從歌德爾到赫爾曼（簡體書）

作者：薄謀 出版社：上海人民出版社 出版日：2020/05/01 裝訂：平裝

本書從哥德爾的數學實在論開始，經過奎因、普特南、帕森斯和麥蒂的發展，但遭到古德曼、奎因、貝納塞拉夫、普特南、千原等人的抵制，這一段是數學實在論與數學唯名論對抗的歷史。奎因和普特南既是數學實在論的代表也是數學唯名論的代表。在數學唯名論的基礎上，菲爾德和赫爾曼各自發展出了數學虛構主義和數學結構主義的思想。

到貨時通知我

缺貨無法訂購

共3 筆
1 頁

熱搜：

新基本小六法

買書看棒球!

書展書籍五折起

Pixar Inside Out 2

Haikyu!!

洞見：從科學到哲學

繁花

佛法是科學的終極典範