弗雷格的算術(shù)哲學(xué)

引言
第一章 弗雷格的基本哲學(xué)傾向
1．1 算術(shù)哲學(xué)的基本問(wèn)題
1．1．1 本體論問(wèn)題
1．1．2 認(rèn)識(shí)論問(wèn)題
1．2 弗雷格對(duì)語(yǔ)言的思考（I）：弗雷格的語(yǔ)句分析理論
1．2．1 表達(dá)式與表達(dá)式的所指的區(qū)分
1．2．2 弗雷格對(duì)語(yǔ)句的分析：專(zhuān)名與函數(shù)表達(dá)式的區(qū)分
1．2．3 表達(dá)式的指稱(chēng)與涵義的區(qū)分
1．3 弗雷格對(duì)語(yǔ)言的思考（Ⅱ）：弗雷格的涵義與指稱(chēng)理論
1．3．1 弗雷格對(duì)涵義與指稱(chēng)的說(shuō)法
1．3．2 為什么要引入涵義
1．3．3 弗雷格涵義說(shuō)的問(wèn)題
1．4 弗雷格的實(shí)在論立場(chǎng)
1．4．1 概念實(shí)在論與思想實(shí)在論
1．4．2 數(shù)學(xué)實(shí)在論
1．4．3 對(duì)數(shù)的抽象形成說(shuō)的反駁
1．4．4 我們?nèi)绾握J(rèn)識(shí)作為抽象對(duì)象的數(shù)
1．4．5 小結(jié)
第二章 弗雷格的邏輯與算術(shù)的邏輯歸約
2．1 《概念文字》中的邏輯與數(shù)學(xué)歸納法
2．1．1 《概念文字》中的邏輯
2．1．2 祖先關(guān)系的定義與數(shù)學(xué)歸納法
2．2 《算術(shù)基礎(chǔ)》中的幾個(gè)定義
2．2．1 概念的數(shù)與休謨?cè)瓌t
2．2．2 廣義的數(shù)、O、后繼關(guān)系與自然數(shù)的定義
2．3 《算術(shù)的基本定律》中的邏輯
2．3．1 弗雷格邏輯的本體論預(yù)設(shè)
2．3．2 《算術(shù)的基本定律》中邏輯的一階部分
2．3．3 二階理論FL
2．4 在FL中發(fā)展算術(shù)
2．4．1 概念間等數(shù)、概念的數(shù)的定義與休謨?cè)淼淖C明
2．4．2 廣義的數(shù)、O、后繼與自然數(shù)的形式定義
2．5 羅素悖論、弗雷格的修改與蒯因的證明
2．5．1 羅素悖論如何產(chǎn)生
2．5．2 弗雷格的修改
2．5．3 修改是不成功的
2．5．4 小結(jié)
2．6 弗雷格定理與新弗雷格主義
2．6．1 弗雷格算術(shù)的語(yǔ)言L
2．6．2 弗雷格算術(shù)FA
2．6．3 休謨?cè)瓌t和公理Numbers分別與二階邏輯一致且彼此等價(jià)
2．6．4 戴德金一皮亞諾公理的證明
第三章 弗雷格的分析性概念與定義觀
3．1 康德的分析性概念
3．1．1 康德的分析性概念
3．1．2 康德定義的問(wèn)題
問(wèn)題一 概念間的“包含”關(guān)系是模糊的
問(wèn)題二 求助于人們對(duì)概念“想到了什么”這一主觀標(biāo)準(zhǔn)
問(wèn)題三 康德只考察“可明顯劃分為主謂結(jié)構(gòu)的語(yǔ)句”
問(wèn)題四 標(biāo)準(zhǔn)不同
3．2 弗雷格的分析性概念
3．2．1 弗雷格的分析性概念
3．2．2 弗雷格定義的問(wèn)題
問(wèn)題一 不一致問(wèn)題
問(wèn)題二 一致性要求太弱
問(wèn)題三 保持指稱(chēng)要求依舊太弱
弗雷格晚年的標(biāo)準(zhǔn)：定義必須保持涵義
3．3 弗雷格論形式定義與概念分析
3．3．1 分析悖論
3．3．2 弗雷格對(duì)形式定義的看法
定義只是縮寫(xiě)，對(duì)真正的定義來(lái)說(shuō)并不存在分析悖論
弗雷格分析性與蒯因分析性本質(zhì)上是相同的
3．3．3 蒯因?qū)Ψ治鲂愿拍畹呐u(píng)
3．3．4 弗雷格論概念分析與形式定義的關(guān)系
3．3．5 概念分析的恰當(dāng)性
參考文獻(xiàn)