复合谓词的逻辑系统

有两类不同的谓词：性质谓词和类谓词。一阶逻辑把两者都作为类谓词来处理,有时是不合适的。本文在一阶逻辑的基础上,区别性质谓词与类谓词,构造更为精细的逻辑系统。并对由此产生的问题作一些简单的讨论。...     

刻画自然语言聚合语义的逻辑系统

自然语言的聚合语义研究表明专名的合取、全称或数目名词的聚合用法以及普通名词的复数等特征的语义分析都需要区分原子个体和聚合个体的思想。本文在一阶逻辑的框架内描述自然语言的聚合语义，采用递归定义由原子个体域生成扩展的个体域，从而确立解释聚合语义的结构，据此构筑聚合谓词逻辑的公理系统，并证明其可靠性和完全性。     

为归纳辩护

两个半世纪以来，“归纳问题”始终困扰着逻辑学界，乃至整个哲学界，多少人“前赴后继”去攻克它，它却“磨炼”得更坚固、顽强。这种局面实在耐人寻味，为什么找不出圆满的解决办法呢？我认为，唯一的解释是“归纳问题”的提出本身是不合理的，它不能算是一个真正的问题，因为但凡真正的问题在理论上说都应该是有解的。本文将以此为出发点，用反证法论证休谟对归纳的怀疑在理论上是不能成立的，在实践中也是站不住脚的，从而为归纳进行辩护。     

吉利斯的归纳逻辑思想与归纳合理性的辩护

当代英国哲学家吉利斯在归纳逻辑方面的工作对归纳合理性辩护问题有着重大启发意义,他对几种有效的概率解释的合理性的分析可看作是对基于这些解释的经典概率归纳逻辑的合理性给予了恰到好处的局部辩护,而他在人工智能的新进展的基础上所提出的一个新的逻辑框架则有助于从一个新的视角看待归纳逻辑和归纳合理性问题。     

归纳逻辑研究述评

本文首先对国外卡尔纳普、波普尔、欣迪卡、莱维与赖兴巴赫等的归纳逻辑研究和国内鞠实儿、陈克艰、李小五、熊立文、陈晓平与刘壮虎等的归纳逻辑研究进行了述评,接着就归纳逻辑是否逻辑的两种争论进行了述评。作者认为,虽然归纳逻辑的基础理论研究似乎已经走入低谷,但其应用研究却方兴未艾。     

归纳的辩护问题

十八世纪英国经验论哲学家休谟怀疑由特称陈述过渡到全称陈述或由已观察到的事件过渡到尚未观察事件的推理的合理性,认为归纳推理的概括结论或关于未来的预测是不能够证明的,概括或预测陈述的真是没有保证的。换句话说,归纳方法的成功是没有保证的。休谟提出的这个归纳推理的辩护(justification)问题,就是哲学史上著名的休谟问题。这个问题有各种各样的表述,因而也有各种各样的解答。我们把“归纳”一词按照古典用法解释作“由经验进行概括”,即指称下述的推理规则:     

悲观归纳、新归纳和未被设想的替代者问题

科学实在论与反实在论之争是科学哲学研究的热点。斯马特、普特南等人提出奇迹论证为科学理论成功与真理的关系辩护,劳丹等人基于科学史案例提出悲观归纳论证加以反驳。围绕科学理论所设定的实体以及理论是否趋真等问题两个阵营争论不断,美国学者P.凯尔·斯坦福在悲观归纳论证基础上,提出科学史的新归纳以及未被设想的替代者问题等新的论证,质疑科学实在论。悲观归纳和新归纳虽同为归纳,但侧重点不同。斯坦福的未被设想的替代者问题颇具深意。     

命题逻辑系统的型

本文试图澄清逻辑系统之为“演绎”或“归纳”的涵义，提出逻辑系统的“i-i型”概念(在一个具有真值集{Ti|i∈I}的逻辑语义下)。对任意I，j∈I及任何逻辑语义，我们定义了此语义的山[i，j]-镜像。并证明了对任意c，d∈I，一个命题逻辑系统如果在具有真值集{Ti|i∈I}的逻辑语义下是c-c型的，那么此系统在此逻辑语义的[c，d]-镜像下就是d-d型的。     

Some Epistemic Questions of Cosmology

We discuss a number of fundamental aspects of modern cosmological concepts, from the phenomenological, observational, theoretical and epistemic points of view. We argue that the modern cosmology, despite a great advent, in particular in the observational sector, is yet to solve important problems, posed already by the classical times. In particular the stress is put on discerning the scientific features of modern cosmological paradigms from the more speculative ones, with the latter immersed in some aspects deeply into mythological world picture. We finally discuss the principal paradigms, which are present in the modern cosmological studies and evaluate their epistemic merits.     

Contemporary Epistemic Logic and the Lockean Thesis

This paper studies the Lockean thesis from the perspective of contemporary epistemic logic. The Lockean thesis states that belief can be defined as ‘sufficiently high degree of belief’. Its main problem is that it gives rise to a notion of belief which is not closed under conjunction. This problem is typical for classical epistemic logic: it is single-agent and static. I argue that from the perspective of contemporary epistemic logic, the Lockean thesis fares much better. I briefly mention that it can successfully be extended from single-agent to multi-agent settings. More importantly, I show that accepting the Lockean thesis (and a more sophisticated version for conditional beliefs) leads to a significant and unexpected unification in the dynamic behavior of (conditional) belief and high (conditional) probability with respect to public announcements. This constitutes a methodological argument in favor of the Lockean thesis. Furthermore, if one accepts Baltag’s Erlangen program for epistemology, this technical observation has even stronger philosophical implications: because belief and high probability display the same dynamic behavior, it is plausible that they are indeed one and the same epistemic notion.     

走出逻辑的雾区

有人认为,传统逻辑发展到今天,已经没有什么可研究的了。其实,在人们自以为已熟悉得不能再熟悉的那片逻辑领地,至今仍存在着许多雾区,本文试举出几处,以期与同人共同探讨。     

动态认知逻辑:变化中的认知推理

动态认知逻辑是近年兴起的非经典逻辑,是一个相对比较新的研究领域.它是逻辑、认知以及信息相交汇的产物,旨在分析知识与信息的变化,为逻辑推理中的信息动态认知提供形式语言表达、结构模型以及一套形式化的处理办法.动态认知逻辑对于语言构造的分析、人的动态化认知过程、人工智能以及计算机的信息处理具有重要意义.     

动态认知逻辑研究述评

动态认知逻辑是近年来兴起不久的非经典逻辑,是一个相对比较新的研究领域.20世纪中后期人们对知识与信念的研究由静态向动态转变,荷兰逻辑学家J.van Benthem首先提出用动态模态逻辑为信息变化提供模型,建议用动态算子来刻画事实的变化,从而宣告动态认知逻辑的产生.到目前,动态认知逻辑得到了快速发展,人们不仅深入地讨论了公共宣告、半公开宣告和秘密告知等行为,而且还研究了行为过程中的信息更新、信念修正,进一步为它们提供了结构模型与形式表达,建立了一系列的形式系统.     

归纳推理的说明论辩护之辩

最佳说明的推理旨在解决归纳推理的描述性问题和确证性问题,可概括为归纳推理的说明论辩护。说明论基于"说明优先于推理"和"认识上的双重过滤"两个前提,在解决描述性问题和确证性问题方面兼具启发性。然而,批评者从前提、语义和语用等方面对说明论辩护提出了挑战。面对指责,需要明确"说明优先于推理"的含义,表明对说明论的评价不应限于语义约定,说明论的确证功能不应仅限于事实层面,以及反例不会使说明论的辩护毫无价值。     

周易式逻辑图解

用欧拉图和文恩图表示一些逻辑内容是逻辑教学及研究中的有益手段,但两种图形在刻画逻辑内容的范围上却是很狭小的,如在表示概念之间的关系时,两种方法都不能表示多于三个概念之间的某些逻辑关系。如四个概念的外延相交叉而区分出的...