【摘 要】
：
二十世纪五十年代，卡尔纳普发展了归纳逻辑，他把概率看作一种证据对假设对“确证度”；二十世纪六十年代，所罗门诺夫用通用归纳方法进行预测。为了增强归纳逻辑的归纳预测能力以及
论文部分内容阅读
二十世纪五十年代，卡尔纳普发展了归纳逻辑，他把概率看作一种证据对假设对“确证度”；二十世纪六十年代，所罗门诺夫用通用归纳方法进行预测。为了增强归纳逻辑的归纳预测能力以及扩展所罗门诺夫通用归纳方法的表达力，本文整合二者。本文首先将所罗门诺夫先验概率的思想引入归纳逻辑中，在这个框架下，证明一阶逻辑版本的所罗门诺夫完全性定理，然后比较二者的优略。在卡尔纳普的归纳逻辑中，不管正面证据有多少，对像“所有乌鸦都是黑的”这种全称句的支持度最终都为零，而在用所罗门诺夫先验改造的归纳逻辑中，可以证明，在任何可计算的世界中，
其他文献
随着农村劳动力向城市迁移以及老龄化等问题突现,水稻全程机械化生产已成必然趋势。当前,制约水稻全程机械化种植的瓶颈是栽插机械化,而栽插机械化又取决于秧苗素质,秧苗素质
为维护消费者合法权益,今年3月份以来山东省技术监督局在全省范围内开展了对瓶装饮用矿泉水质量的统一监督检查工作,共检查了69家企业,69批样品。检查内容包括企业质量保证条
本文提出了一个基于特征滤波器的伪正交镜像滤波器组的设计方法。在该方法中,仅仅需要调整原型滤波器的通带边缘频率就可得到伪正交镜像滤波器组。原型滤波器是通过特征滤波
溪洛渡拱坝温控数据库融合了各浇筑块的几何信息、施工信息、温控参数和温度应力仿真信息，能模拟大坝三维形象；查询大坝各浇筑块信息；预测大坝混凝土浇筑状态；高亮色显示浇筑块各
柬埔寨家庭发展组织（CFDS）5月3日与柬政府签订了一项协议，该协议，基在1994－1995两年内该组织将向柬埔寨王国政府提供27．3万美元援助，作为救济受战争影响的家庭。另外，国际救援组织（AOC
环境监理是实施环境保护措施的有效手段,小湾电站是国家确定的13个实行环境监理的试点项目.本文介绍了环境监理的基本要求,说明了小湾电站环境监理试点工作的基本做法,总结了
核桃不仅具有极高的经济价值,还是被人们公认的最佳滋补益康食品。我国唐代著名食疗名医孟洗在《食疗本草》中说:“核桃仁能通经脉,润血脉,黑须发,常服骨肉细腻光润。“明代
这篇文章尝试辩解布尔（亚里士多德式）逻辑中关于实质蕴涵的反直观定义。主要问题是：自然语言和逻辑定义的“蕴涵”的隐喻之间的联系是什么？为了更好地理解该定义和避免一些潜在的
二滩混凝土双曲拱坝坝高且结构复杂，坝身孔洞多，泄洪量大，坝体混凝土４１０万ｍ＾３。本文介绍了在大坝混凝土的设计和施工中采用的一些先进技术和工艺。这些新技术，新工艺的成功使用，不仅节约
每到5月末、6月上中旬,江滩之间阴雨绵绵,华南、华北地带雨水量也明显增多,此时则进入梅雨季节了。梅雨季节,家电的性能下降,故此期间应科学地使用,保养家用电器。一、家电应