概率的邏輯基礎檢視原始碼討論檢視歷史
《概率的邏輯基礎》，本世紀50年代西方歸納邏輯著作。魯·卡爾納普著。美國芝加哥大學出版社1950年出版，次年再版。
內容簡介
本書共9章，主要分兩大部分。
第1部分討論了歸納邏輯的對象，認為歸納邏輯是關于歸納推理的規則的理論，而所有的歸納推理都是運用概率的推理，所以歸納邏輯就是概率邏輯。用分析哲學的方法闡釋了確證概念，區別了兩種不同的概率概念:概率1和概率2。後者也即萊欣巴赫等人堅持的頻率概念，雖然很有用，但作為歸納邏輯的基本概念是不恰當的。概率1即卡爾納普主張的歸納概率，是一邏輯概念，因為概率1的基本陳述句是邏輯上確定的，獨立於經驗事實，所以歸納邏輯所有的原則和定理都是分析的。用確證度(給定證據命題e，對假說命題h的確證程度，記作c (h，e)=r，其中e，h是句子，r∈〔0，1〕)來表示概率1，認為歸納邏輯系統就是關於確證度的理論。還闡述了演繹邏輯和歸納邏輯的聯繫和區別。認為這兩種邏輯都是研究句子之間的邏輯關係，所以具有許多共同的重要性質，不同在於前者的基本概念是句子間的邏輯蘊涵關係;後者的基本概念是句子間的部分蘊涵關係，即歸納確證度。歸納邏輯是在演繹邏輯基礎上，通過添加確證度定義構造起來的，因此，歸納邏輯是預設演繹邏輯。在某種程度上，確證度定義表示歸納規則，除了在用到定義方面有區別以外，在歸納邏輯和演繹邏輯中，定理證明的構造過程都是相同的。
第2部分在演繹邏輯的基礎上構造了狀態描述語義模型和在此模型下滿足的歸納邏輯系統。其歸納邏輯的語言有無窮語言(個體常項數目無窮，初始謂詞數目有窮)和有窮語言(個體常項和初始謂詞數目皆有窮)，分別可以構造狀態描述集。一句子的適域就是此句在其中成立的狀態描述集。給定非邏輯假的句子e，對句子h的確證度就是e和h適域的交的測度與e的適域的測度之比(對有窮語言)，或者是這種比率序列的極限(對無窮語言)。本書建立了作者的歸納邏輯，其內容包括定量歸納邏輯、可比較歸納邏輯、歸納相干理論和歸納估計理論。其定量歸納邏輯包括經典概率演算和C*理論，後者是對C-函項(一般的確證度函項)作進一步的限制，主要用於刻劃幾種常見的歸納推理:直接歸納推理、預測歸納推理、歸納類比推理、逆向歸納推理和全稱歸納推理。可比較歸納邏輯的基本概念是可比較確證概念，它的意義對應於定量陳述句「c (h，e)≥c (h'，e')」和「c (h，e) >c (h'，e')」。從可比較歸納邏輯中也可以得到許多重要的成果。歸納相干理論的基本概念是相干和不相干，主要討論歸納推理中證據之間、假說之間、證據與假說之間一系列相干問題，和狀態描述的相干測度問題。歸納估計理論用於討論歸納估計問題，認為除了確證度的確定，歸納邏輯最重要的任務就是歸納估計的確定，也即根據給定證據，對一個量的未知值的估計的確定。估計理論的基本思想就是用加權平均的方法把確證度作為權重來估計一未知量。
本書並沒有徹底完成卡爾納普建立歸納邏輯的規劃，他本來還打算寫第2卷本，但後來改變主意，在1952年發表了小冊子《歸納方法的連續統》，完成了他的工作。本書幾乎討論了歸納法和歸納邏輯的所有問題，在歸納邏輯史上占有舉重輕重的地位。其中關于歸納邏輯的思想和方法對後來歸納邏輯的研究影響甚大，至今仍有人在評價和拓廣卡爾納普在本書的工作。其主要缺陷是:語言比較貧乏，C*理論具有很強的特設性，在無窮個體域上全稱句的確證度總是為0。
作者簡介
魯·卡爾納普(RudolfCarnap 1891—1970)，德國哲學家和邏輯學家。耶拿大學哲學博士，曾參加維也納小組，先後執教於維也納大學和德意志大學。1935年去美國，先後任芝加哥大學和加利福尼亞大學教授。一生髮表了許多邏輯專著，在歸納邏輯上做出很大貢獻。
工具書的分類
工具書按內容分有綜合性的、專科性的；按文種分有中文的，外文的；按編輯體例與功用分有辭書、類書[1]、政書、百科全書、年鑑、手冊、書目、索引、文摘、表譜、圖錄、地圖、名錄等[2]。