弗雷格邏輯哲學與現代數理邏輯思潮

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