【摘 要】
:
<正> J. Cohen在文[2]、[4]、[5]中试图构造相关变量方法(RVM),统一表达Bacon-Mill的排除归纳法,并在模态辑逻S4系统中表述基于RVM的归纳支持与归纳概率句法系统,由此完整地
论文部分内容阅读
<正> J. Cohen在文[2]、[4]、[5]中试图构造相关变量方法(RVM),统一表达Bacon-Mill的排除归纳法,并在模态辑逻S4系统中表述基于RVM的归纳支持与归纳概率句法系统,由此完整地提出了非Pascal概率(非P)归纳逻辑(CIL)。CIL三个基本假定是:(ⅰ) 在Bacon-Mill排除法基础上进行的实验推理可以用RVM描述;(ⅱ) 由RVM确定的归纳支持分级和归纳概率分级句法满足Lewis-Barcon演算的S4标准解释;(ⅲ) 归纳概率分级可解释为假说的似规律度。本文将证明:CIL中以RVM为基础的真值语义理论与经典二值逻辑的真值语义理论不一致,而CIL是在经典二值逻辑的基础上被描述的,因此,CIL是不一致的。假定(ⅱ)
其他文献
<正>县域融资性担保机构担负着中小企业与银行金融机构的桥梁和纽带作用,对缓解中小企业融资难融资贵问题,促进金融支持县域经济发展具有十分重要的意义。近年来,湖北省宜昌
以某10kV无功补偿装置串联电抗器为例,计算分析了电抗器电场强度的分布,并设计了电抗器专用均压环.以场-路耦合的方法,计算了电位在电抗器匝间的分布,并以此为初始条件,采用
目的评估三位一体机制下社区甲状腺癌患者的管理效果。方法对花木社区的92例甲状腺癌患者采取医院-社区全科团队-患者"三位一体"管理,使用生命质量量表评估管理前后患者的生
目的 用薄层色谱法区别川贝母与其它贝母。方法 收集各种贝母的对口药材 ,分离得其总皂苷 ;再取部分酸水解得皂苷元 ;分别用薄层色谱法比较各种贝母的皂苷部分和皂苷元部份
散文阅读教学具体文本细读方法有三种:其一,语境细读法;其二,矛盾细读法;其三,词语深究法。在阅读和教学杨绛散文《老王》的实践中,巧妙运用文本细读三法,作者的真挚情感得到
<正> 一、持棒起跑:第一棒运动员采用弯道蹲踞式起跑,方法和400米弯道跑相同,持棒的右手用中指、无名指和小指握住棒的末端,用大拇指和食指分开撑地,但接力棒不能触及地面。
<正> 金属遭到晶间腐蚀时,破坏发生于晶粒的边界,并沿晶界迅速向里推进,使晶粒间的联系变弱,彼此分离,甚至产生裂缝。有晶间腐蚀的金属外形通常看不出有什么变化,但材料的机
乡村散养家禽径流污染是农村面源污染的重要组成部分,因其分散不易控制,对水环境的影响日益凸显,摸清该类径流的污染特征并开展简单高效的径流净化技术研究具有重要的现实意
迁徙自由是现代国家公民的一项重要的宪法基本权利 ,我国宪法应当加以恢复和保障。对迁徙自由的含义的理解应当与有关国际公约一致 ,迁徙自由既是人身自由 ,同时也是经济自由
基于Photoshop软件的强大的应用功能,让其成为计算机应用中最受欢迎的软件之一。本文分析了Photoshop的使用功能,并在此基础上解析了Photoshop在假死、释放空间等方面的应用