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

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