现代归纳逻辑的概率逻辑立论基础及前途

现代归纳逻辑的研究已步入低谷,它是否还有前途?通过考察概率逻辑的立论缘由、思想来源和创立的路径,认为现代归纳逻辑的立论基础是扎实的,因此它不仅会继续存在,而且会继续发展.     

浅析卡尔纳普的归纳逻辑基础思想

卡尔纳普在概率归纳逻辑的形成和逻辑经验主义兴起的背景下,建构了自己的概率逻辑.分析了卡尔纳普概率逻辑的基本概念,梳理了他的构建思路.     

培根归纳法的内核及发展

对培根归纳法的定义、目的、指导准则及主要环节进行剖析。认为,培根归纳法的确立,开辟了逻辑学研究的新方向——归纳逻辑。现代归纳逻辑的发展与培根的归纳逻辑密不可分。美国哲学家、计算机理论家勃克斯（A．W．Burks）沿着培根开辟的道路,建立了证明或检验的逻辑——勃克斯因果陈述逻辑。科恩（J．Cohen）继承和发展培根归纳逻辑的传统,提出了相关变量法,在拓展的模态逻辑S4系统中建立起他的形式公理系统。科恩归纳逻辑强调归纳逻辑与自然科学和社会生活实际的紧密联系,在现代演绎并发展了培根的归纳逻辑。     

现代归纳推理在侦查实践中的应用

现代归纳推理引入概率概念，通过整理、概括经验事实，运用概率论的定量分析、公理化和形式化方法使归纳推理精确化，从量上刻画归纳推理的或然性，将归纳逻辑从定性研究转变为定量研究，将主观因素与客观因素相结合，显示合理性、形式化和定量化，突出可能性测度和合理性测度，探索有限的经验事实对一定范围内的普遍原理的证据指出度，其认知策略有助于人类从经验的重复中建立某种稳定性和规律性。现代归纳推理是一种促成理论进化的推理，涉及知识增殖、评价空间拓展，是一种不断积累经验、修正错误的过程，由此可以不断地接近真实，以获得对案件真相的准确认识。     

<现代归纳逻辑的哲学视野>述评

以"对归纳概率的多元主义解释研究"作为切入点,解析逻辑哲学的核心理念以及如何应用于非经典逻辑,尤其是现代归纳逻辑.与此同时,从特定角度①对我国归纳逻辑梯队"三代人"的成长作了简要的历史性评述.     

归纳逻辑程序设计研究

在概述机器学习的基础上,介绍归纳逻辑程序设计这一机器学习方法所使用的逻辑技术,以及ILP的一般问题背景.指出：逻辑在推动计算机系统处理复杂问题上发挥着越来越重要的作用,ILP利用逻辑技术来推进机器学习的过程无疑是它的创新之处,在赞赏ILP优点的同时,也要看到ILP的不足之处.     

谓词逻辑在人工智能中的应用

谓词逻辑是一种基于谓词分析的高度形式化的语言及其推理,是人工智能产生和发展的最重要的理论基础。本文从具体事例出发,解析了谓词逻辑在人工智能领域中两个主要应用:知识表示和消解原理。并在结束语提出谓词逻辑的局限,希望有更多的学者参加逻辑学的研究。     

动态认知逻辑的一个批评

对于现代逻辑研究来说,理论计算机科学以及人工智能曾经并且正在为它提供的理论动机,在数量和范围上,已经远远超越了数学曾经和能够为它提供的理论动机.认知逻辑作为刻画关于知识和信念的推理的形式体系,可以被看作是逻辑研究应用到理论计算机科学和人工智能等领域的一个重要的形式工具.而动态认知逻辑更在认知逻辑的静态基础之上,扩展以表现各种认知动作及其相应认知变化的算子,得到一系列的形式体系.在此从探寻认知逻辑的理论动机出发,追问我们应该在什么地方应该停止对于"新"逻辑体系的创新,由此对于动态认知逻辑把认知动作纳入形式体系的做法提出了批评:从认知逻辑的应用来说,对认知行动的形式刻画是多余的.     

芝诺悖论中的逻辑和形而上学

芝诺用以构造悖论的逻辑是论辩术,是形式逻辑的前身。他从能被思维的是能存在的形而上学(本体论)原理出发,认为矛盾在逻辑上是不可能的,从而建立了感性与理性的"二律背反"。芝诺悖论都是建立在这个"二律背反"基础上的,它是产生芝诺悖论的总根源。芝诺把作为思维科学的逻辑推广到整个宇宙,把知性思维的认识推广到理性思维领域,将逻辑矛盾等同于辩证矛盾,进一步取消辩证矛盾,从而以理性否定感性,否定事物的矛盾和运动的存在。     

科学证据的概率解释

在卡尔纳普之后,用概率的理念与方法研究科学证据和确证问题,受到许多学者的重视。在此尝试对与科学证据有关的几个重要问题从概率角度进行理解和解释,包括:证据陈述中出现的"比较级"问题、考虑到证据存在时假说的"可接受性"问题以及以信念为基础的相信假说的"合理性"问题。     

当代逻辑应用和研究的多维向度——以2014年全国逻辑应用与逻辑教育大会讨论为例

从2014年全国逻辑应用与逻辑教育大会讨论的情况来看,当代中国逻辑应用和应用逻辑研究呈现出多维化的态势.在逻辑教育方面,逻辑教育的社会功能得到进一步彰显,学生的批判性思维、创造性思维和理性精神的培养受到重视.在逻辑研究方面,传统逻辑得到深入挖掘,语言逻辑的研究大放异彩,概率逻辑的研究受到瞩目,研究方法得以革新.     

基于FPGA的嵌入式逻辑分析仪设计

介绍了一种基于FPGA的嵌入式逻辑分析仪的工作原理,给出了它的部分控制信号的仿真结果.该分析仪不仅自成系统,还可以嵌入到其它系统当中,且其形成的移植性高的IP核可以根据需要方便地植入到别的器件中,使其具备逻辑分析功能.分析仪既可以现场测试,又可以进行远程监控测试.     

再扩充模糊逻辑中归结方法的有效性

研究再扩充模糊逻辑的一些主要性质,得到了关于公式的有效逻辑结果的充分必要条件,讨论了基于归结方法的模糊推理的有效性;证明了子句集在再扩充模糊逻辑中的不可满足性与它在二值逻辑中的不可满足性是等价的.     

基于SPA证据的分布算子逻辑

根据SPA中联系数的概念 ,提出了一个基于证据的分布算子逻辑 ,并讨论了其性质     

普莱尔早期的时态逻辑思想

普莱尔是时态逻辑的创始人,他认为原子命题和带有时态算子的命题都是同样的命题,原子命题只有现在时态,命题的真值随时间的不同而变化。他否定永恒的个体存在,主张充当命题逻辑主语的专名只能指称现存的对象。普莱尔用模态逻辑的方法处理时态命题,比经典逻辑更好地刻画了自然语言表达和日常推理。但是普莱尔的方法也带来了一些问题,比如说它不能命名不再存在的个体似乎有违自然语言的习惯,如何确定时间的单位也成为有争议的话题。尽管如此,时态逻辑仍然发展成内容丰富的逻辑学分支,在许多领域都有着巨大的应用价值。     

主从触发器的框图分析法

框图分析法是利用触发器的逻辑框图和逻辑功能分析表,分析主从触发器的工作 原理及逻辑功能的方法。它克服了以往分析方法的缺点,不仅充分体现了主从方 式的特点,同时又简明、系统地分析了触发器的工作原理和逻辑功能,并为日后的 进一步学习打下了基础。     

论逻辑语言的现代化转向

传统的逻辑语言具有缺乏一致性、准确性和全面性的特点,因而在应用中受到较大的局限。而现代化的逻辑语言不仅对语言内容与语言形式作出区分,还对对象语言与元语言,以及语法学、语义学、语用学等语言层次上作出区分。因此,对逻辑语言的现代化转向的重新追溯和审视,将使人们更易于理解现代逻辑语言与传统逻辑语言的差异,并且对于逻辑学的发展和应用具有深远的理论意义和实践意义。     

谈科学方法

本文提出新的逻辑原理,把辩证逻辑与形式逻辑相融合.合理的表述辩证逻辑并指出它发展的两个重要阶段.辩证逻辑是自然辩证法的摹本.在科学实验的基础上提出确定过程突变的系统方法.     

基于归纳逻辑的人工智能研究

归纳逻辑是人工智能的逻辑基础。伴随人工智能研究的逐步深入,科学哲学、人工智能和归纳逻辑研究相互影响。出现了新的研究方向。以归纳逻辑为基础,多学科相互合作,可以建立新的机器学习系统或归纳学习系统。     

将逻辑证明纳入实践范畴的真理理论

传统的符合论真理观强调命题的真在于命题与事实的符合关系,否定逻辑证明在判断命题"真"与"假"方面的作用.通过对实践特点的分析,认为实践应该是人类对世界的已知和未知的验证和认识的过程性活动,强调逻辑证明也属于实践的范畴.并且认为命题通过与客观事实的直接符合,或者在已知客观事实基础上通过逻辑证明验证符合后,此命题就可以认为是"真"的,建立起这种"实践"意义上的真理观.