概率的逻辑基础查看源代码讨论查看历史
《概率的逻辑基础》，本世纪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]。