弗雷格邏輯哲學與現(xiàn)代數(shù)理邏輯思潮

前言
第一部分
第一章 引論：弗雷格邏輯哲學的語言哲學前提
——語義理論概述
一 弗雷格生平
二 形式化與命名關(guān)系
三 小結(jié)
第二章 弗雷格的數(shù)學邏輯主義思想述評
一 歷史背景
二 《概念文字》
三 算術(shù)邏輯化的具體工作
四 羅素悖論對弗雷格的影響
第三章 弗雷格的知識邏輯主義
一 邏輯而非心理學是知識的基礎(chǔ)
二 知識性的思想
三 知識的形式推演系統(tǒng)
四 公理化思想與科學知識的增長
第四章 弗雷格的哲學邏輯主義研究
一 意義理論
二 思想的邏輯分析
三 思想的邏輯問題域
四 邏輯學研究的對象
第五章 弗雷格邏輯主義的理論反思
一 背景考察
二 構(gòu)分關(guān)系
三 歷史評析
第二部分
第六章 邏輯學與數(shù)學基礎(chǔ)問題的歷史聯(lián)系
一 古希臘對數(shù)學基礎(chǔ)問題的探討
二 近代關(guān)于邏輯與數(shù)學基礎(chǔ)問題的爭議
三 現(xiàn)代數(shù)學基礎(chǔ)研究與四大學派
第七章 數(shù)學基礎(chǔ)哲學問題研究
一 數(shù)學基礎(chǔ)研究的新進展
二 數(shù)理邏輯的發(fā)展與數(shù)學實在論和反實在論
三 對數(shù)學基礎(chǔ)研究的哲學反思
四 實驗數(shù)學對傳統(tǒng)演繹數(shù)學的沖擊
第八章 現(xiàn)代數(shù)理邏輯與哲學
一 集合論與無窮
二 模型論與語義
三 遞歸論與認知
四 構(gòu)造主義數(shù)學與哲學
參考文獻
附錄 弗雷格與當代邏輯大事記(1848—2000)