費雷格的算術哲學（簡體書）

楊海波編著的《弗雷格的算術哲學》是對弗雷格算術哲學思想的歷史性研究，分三部分：第一部分簡要勾勒出弗雷格的基本哲學傾向，第二部分仔細探討弗雷格的邏輯主義思想，第三部分討論弗雷格的分析性觀念及分析悖論的影響。

楊海波，男，1982年3月出生，內蒙古赤峰人，哲學博士，現任武漢理工大學政治與行政學院講師，從事外國哲學、邏輯學研究。

費雷格是現代數理邏輯與語言哲學的奠基人。弗雷格究其一生想要弄清楚，算術真理為何為真，算術的嚴格基礎是什麼。弗雷格認為，在數學中能夠證明的都要給予證明，為弄清這些問題，首先就要弄清楚什麼是嚴格的、可以判定的證明。楊海波編著的《弗雷格的算術哲學》是對費雷格算術哲學思想的歷史性研究，主要內容包括：費雷格的基本哲學傾向，費雷格的邏輯主義之路，費雷格的分析性概念，及他對定義的理解。

引言
第一章 弗雷格的基本哲學傾向
1.1 算術哲學的基本問題
1.1.1 本體論問題
1.1.2 認識論問題
1.2 弗雷格對語言的思考（I）：弗雷格的語句分析理論
1.2.1 表達式與表達式的所指的區分
1.2.2 弗雷格對語句的分析：專名與函數表達式的區分
1.2.3 表達式的指稱與涵義的區分
1.3 弗雷格對語言的思考（Ⅱ）：弗雷格的涵義與指稱理論
1.3.1 弗雷格對涵義與指稱的說法
1.3.2 為什麼要引入涵義
1.3.3 弗雷格涵義說的問題
1.4 弗雷格的實在論立場
1.4.1 概念實在論與思想實在論
1.4.2 數學實在論
1.4.3 對數的抽象形成說的反駁
1.4.4 我們如何認識作為抽象物件的數
1.4.5 小結
第二章 弗雷格的邏輯與算術的邏輯歸約
2.1 《概念文字》中的邏輯與數學歸納法
2.1.1 《概念文字》中的邏輯
2.1.2 祖先關系的定義與數學歸納法
2.2 《算術基礎》中的幾個定義
2.2.1 概念的數與休謨原則
2.2.2 廣義的數、O、后繼關系與自然數的定義
2.3 《算術的基本定律》中的邏輯
2.3.1 弗雷格邏輯的本體論預設
2.3.2 《算術的基本定律》中邏輯的一階部分
2.3.3 二階理論FL
2.4 在FL中發展算術
2.4.1 概念間等數、概念的數的定義與休謨原理的證明
2.4.2 廣義的數、O、后繼與自然數的形式定義
2.5 羅素悖論、弗雷格的修改與蒯因的證明
2.5.1 羅素悖論如何產生
2.5.2 弗雷格的修改
2.5.3 修改是不成功的
2.5.4 小結
2.6 弗雷格定理與新弗雷格主義
2.6.1 弗雷格算術的語言L
2.6.2 弗雷格算術FA
2.6.3 休謨原則和公理Numbers分別與二階邏輯一致且彼此等價
2.6.4 戴德金一皮亞諾公理的證明
第三章 弗雷格的分析性概念與定義觀
3.1 康德的分析性概念
3.1.1 康德的分析性概念
3.1.2 康德定義的問題
問題一 概念間的“包含”關系是模糊的
問題二 求助于人們對概念“想到了什麼”這一主觀標準
問題三 康德只考察“可明顯劃分為主謂結構的語句”
問題四 標準不同
3.2 弗雷格的分析性概念
3.2.1 弗雷格的分析性概念
3.2.2 弗雷格定義的問題
問題一 不一致問題
問題二 一致性要求太弱
問題三 保持指稱要求依舊太弱
弗雷格晚年的標準：定義必須保持涵義
3.3 弗雷格論形式定義與概念分析
3.3.1 分析悖論
3.3.2 弗雷格對形式定義的看法
定義只是縮寫，對真正的定義來說並不存在分析悖論
弗雷格分析性與蒯因分析性本質上是相同的
3.3.3 蒯因對分析性概念的批評
3.3.4 弗雷格論概念分析與形式定義的關系
3.3.5 概念分析的恰當性
參考文獻