概然的和可证的查看源代码讨论查看历史
《概然的和可证的》，西方归纳逻辑专著。乔·科恩著。1977年英国牛津大学出版社出版。
内容简介
本书分4大部分，24章98节。
第1部分提出概率的非经典概念，一句子的概率就是该句可证性的等级。认为概率的理论应是多标准的，并分别讨论了一般或特殊、必然或偶然、外延或非外延的证明标准。概率的频率概念、逻辑概念等分别对应其中的一种标准。概率陈述句就是对推理可靠性的评价。演绎逻辑系统的完全性可以看作证明的概率补余性的一种极限情况，对应不完全系统的证明标准生成的概率不能化归为机会的数学演算。若把这样的概率等同任意全称条件概括句的归纳支持等级，则这样的概率就是根据该概括句前件的真值，其后件具有的概率。这样的概率概念在英美法系的法庭证明中起重要的作用。而这种归纳概率和经典的数学概率是有区别的。
第2部分详细讨论了经典数学概率运用于法庭证明的6大困难:关于合取的困难、关于复合推理的困难、关于否定的困难、关于在合理疑问以外的证明的困难、关于概率标准的困难和关于认证与收敛的困难。这些困难说明经典的概率演算不能用于法庭证明。
第3部分阐述了归纳逻辑理论。首先讨论了归纳概率和归纳支持的关系，认为前者的建立依赖后者的建立，所以首先考虑归纳支持概念。在此建立了归纳支持的相关变量法语义模型，用此对归纳支持进行分级。一相关变量是一变素集，由科学家试验时选择的一组变化条件组成。相关变量序列是由这些相关变量的有序组合构成。称根据证据E，对全称假说H的归纳支持不小于i/n，记作S〔H，E〕≥i/n，若在一n个相关变量的序列中，H根据E通过i个相关变量的组合。认为相关变量法是培根三表法和穆勒五法的拓广和概括。还讨论了归纳支持分级的逻辑语法中一些重要的原则，其中最重要的是合取原则和否定原则。这里的这两个原则与经典概率演算中相应的原则之间存在很大的差异，但用相关变量法来解释却很自然。还证明了归纳支持不能化归为数学概率，讨论了归纳支持和归纳概率之间的关系:P1 〔Sa，Ra〕=i/n当且仅当S [Sa→Ra]=i/n，其中P1是归纳概率函项，S，R是观察谓词，a是个体常项，讨论了在评估归纳概率中有利条件和不利条件的平衡以及它们的非对称影响。接着讨论了归纳概率分级的逻辑语法中的重要原则，以及归纳概率和数学概率在逻辑上的同异和不可归约性。最后，建立了归纳支持和归纳概率的公理化系统。这个系统是模态逻辑S4的一个概括，也是经典高阶逻辑对模态算子的一个拓广。由49条定义，16条公理模式和推演规则组成，是科恩的《归纳的含义》一书中的逻辑系统的修正和拓广，例如它允许可数无穷个必然算子组成必然性程度不同的序列。还证明了一大批重要的刻划归纳推理的定理，并且证明了该系统是一致的。此外，还讨论了相关变量法和模态逻辑克里普克(Kripke)语义学的区别。
第4部分讨论了归纳逻辑的某些运用:对法庭证明的估计、对数学概率运用法律领域产生的6大困难的解决，以及在认识论领域的运用。
本书建立的归纳逻辑克服了传统归纳逻辑的一些严重缺陷，反映和概括了科学推理的逻辑结构，能够描述科学史上一些重要现象，回答科学哲学讨论的一些重要的问题。但是本书的工作还是初步的，这不仅表现在其公理化系统没有什么大定理(例如完全性定理)和十分重要的成果，而且相关变量法语义模型也比较繁杂和含混。
作者简介
乔·科恩(L. Jonathan Cohen)，英国科学哲学家和归纳逻辑学家，英国科学哲学学会会长(1977—1979)，《逻辑与哲学克拉伦登丛书》总编，英国牛津大学女王学院和英国科学院教授。
工具书的特点
1、从编辑目的而言，它主要供查考、检索而非通读[1]。
2、从编排方法而言，工具书总是按某种特定体例编排，以体现其工具书性，易检性。
3、从内容而言，广泛吸收已有研究成果，所提供的知识、信息比较成熟可靠，叙述简明扼要，概括性强[2]。