引言
第一章 弗雷格的基本哲學傾向
1.1 算術哲學的基本問題
1.1.1 本體論問題
1.1.2 認識論問題
1.2 弗雷格對語言的思考(I):弗雷格的語句分析理論
1.2.1 表達式與表達式的所指的區(qū)分
1.2.2 弗雷格對語句的分析:專名與函數(shù)表達式的區(qū)分
1.2.3 表達式的指稱與涵義的區(qū)分
1.3 弗雷格對語言的思考(Ⅱ):弗雷格的涵義與指稱理論
1.3.1 弗雷格對涵義與指稱的說法
1.3.2 為什么要引入涵義
1.3.3 弗雷格涵義說的問題
1.4 弗雷格的實在論立場
1.4.1 概念實在論與思想實在論
1.4.2 數(shù)學實在論
1.4.3 對數(shù)的抽象形成說的反駁
1.4.4 我們如何認識作為抽象對象的數(shù)
1.4.5 小結
第二章 弗雷格的邏輯與算術的邏輯歸約
2.1 《概念文字》中的邏輯與數(shù)學歸納法
2.1.1 《概念文字》中的邏輯
2.1.2 祖先關系的定義與數(shù)學歸納法
2.2 《算術基礎》中的幾個定義
2.2.1 概念的數(shù)與休謨原則
2.2.2 廣義的數(shù)、O、后繼關系與自然數(shù)的定義
2.3 《算術的基本定律》中的邏輯
2.3.1 弗雷格邏輯的本體論預設
2.3.2 《算術的基本定律》中邏輯的一階部分
2.3.3 二階理論FL
2.4 在FL中發(fā)展算術
2.4.1 概念間等數(shù)、概念的數(shù)的定義與休謨原理的證明
2.4.2 廣義的數(shù)、O、后繼與自然數(shù)的形式定義
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 概念分析的恰當性
參考文獻