简论张清宇的证伪系统

国内第一个以形式化方法建立起矛盾命题(或者说恒假命题)形式系统的是张清宇研究员.结合20世纪八九十年代逻辑发展的背景,研究张清宇当时提出的"证伪系统"概念和相关工作的学术来源,并给出初步的评价.     

浅析波普尔的证伪主义

波普尔是当前最伟大的科学哲学家之一,其证伪主义是其整个哲学思想的基础。本文试图从它对归纳法批驳的角度来评价它,并运用马克思主义的方法客观地总结其长处,指出其不足,以便我们从中汲取营养,洋为中用,为我们的哲学与科学的发展提供有用的经验。     

波普尔的证伪主义和经济学方法论

波普尔的证伪主义对西方经济学方法论影响甚巨,但其内在缺陷也在经济学方法论文献中表现出来。波普尔的自然科学哲学内部,以及他的自然科学哲学和社会科学哲学之间的张力,使证伪主义的经济学方法论面临严重困难。对证伪主义经济学方法论的否定性评价,并不意味着经济学无法从波普尔哲学中获得某些洞见。     

关于模态命题公式的一种布尔值

文章定义了模态公式□_α的布尔值,证明了模态命题逻辑的正规系统K、D和T的所有公理的布尔值为1。     

结合了命题逻辑与系统动力学的混合控制

针对多变量多目标控制系统中解决控制目标优先顺序方面的困难 ,引入命题逻辑 ,结合系统动力学而构成混合系统 ,并将其与预测控制结合 ,得到一种新的混合预测控制策略。进行控制时 ,通过 MIQP来求解多目标优化。工业现场实例仿真研究表明了该方法的有效性     

命题逻辑在语用研究中的应用

命题逻辑在语用研究中有广泛的应用.例如,在话语交际研究中引入命题逻辑的化简公式知识有助于促进"信息明白"准则的实用化,在隐涵研究中引入命题逻辑的优范式知识有助于拓宽和深化关于语句形式隐涵的研究.命题逻辑之进入语用学,无疑会促进代数语用学的形成和发展.     

论证实与证伪在检验理论过程中的统一性──兼评波普的证伪主义方法论

证伪与证实是一对既相互对立又相互统一的范畴,它们在检验理论过程中具有统一性。其统一的依据在于二者有共同的检验对象和检验目的,并且可以相互转化。证伪与证实的基础与统一体,便是检验理论的实践过程。波普割裂了二者的辩证关系,束缚于逻辑主义和形而上学,从而陷入了主观主义、虚无主义和不可知论。辩证唯物主义认识论所坚持的实践标准,坚持了科学的客现精神和人的主观能动性的辩证统一、实践检验与逻辑证明的辩证统一、证实与证伪的辩证统一。因此,实践标准是对证实原则和证伪原则的超越。     

浅析波普尔的证伪主义——波普尔对“分界问题”与“归纳问题”的解决

证伪主义是波普尔在批判归纳主义与证实原则的基础上建立起来的。证伪原则既是波普尔解决分界问题与归纳问题的关键,也是他的科学认识论与方法论的基础。波普尔的证伪主义为科学与哲学的发展提供了重要经验,但也面临许多困难。     

论小说人物多重性格对形式逻辑排中律的反拨

逻辑思维里对同一对象不能同时既肯定又否定,形象思维对同一对象却可以同时既爱又恨,既同情又气愤,既"哀其不幸",又"怒其不争"……表现出种种矛盾复杂的现实情况和情感态度来.所以,一个人物典型、一种艺术境界,它所包含的丰富内容和情感意义,经常不是仅用好人坏人、肯定否定两种逻辑判断所能穷尽无遗,形式逻辑的排中律(非此即彼)在论述小说人物多重性格时,有时会失去效用.     

什么是弗协调逻辑?

20世纪60年代,经典逻辑发展相对停滞,非经典逻辑蓬勃兴起。在对逻辑学、自然科学及社会科学等领域中许多不协调命题进行思索后,人们对经典逻辑发起挑战,认为矛盾律并不是普遍有效的。在这一背景下达·科斯塔创立了弗协调逻辑。当将弗协调逻辑运用于真值模态逻辑时,可得到一避免了善良的撒玛利亚人悖论的道义逻辑系统,于是我们可得出结论:道义逻辑可归约为弗协调真值模态逻辑。      

一个向上线序的命题时态逻辑PTL

命题时态逻辑PTL是一个可广泛应用于人工智能的逻辑,其特点是只有表达未来的时态算子.它刻画了人工智能研究中往往只需要描述未来状态,而不必关注过去的性质.PTL给出了一个表达时间具有向上线性、传递性、持续性和离散性的公理化逻辑系统,并证明了其可靠性和完全性.     

量子逻辑述评

量子力学已经在众多的领域中有着十分有效的应用,但对它的解释、它的概念基础及哲学涵义等问题,从它产生之日至今,却一直还是理论物理学家及科学哲学家中争论不休的问题.笔者在对量子逻辑的起源和量子逻辑与经典逻辑的关系进行介绍的基础上,提出对量子逻辑研究方向的展望.     

中国古典逻辑何以成立

中国是否有逻辑学一直是逻辑学界争论的问题.近代学者从求同的角度出发论证了中国有逻辑,但他们的论证有很大的局限性;持同样观点的一些当代学者在求同的基础上更加突出了中国逻辑的民族特色.另一些学者从不同角度论证了中国无逻辑的观点.笔者认为,中国有古典逻辑,但只是处于萌芽状态.从现有的研究成果看,持这一观点是比较客观的.     

常逻辑公式与可定义性

常逻辑公式是不含命题变元的逻辑公式,运用它们可以定义结构类。但反过来某些结构类却不能以常逻辑公式集定义。模态逻辑中一阶可定义的框架类可被常模态公式集定义的充分必要条件,是该框架类对满射互模拟象、不相交并封闭,并且它的补类对超滤扩张封闭。有穷传递框架类相对可由常模态公式集定义的充分必要条件,是它对满射互模拟象和不相交并封闭。这两条定理中后一条可推广至直觉主义逻辑。     

试论制约人工智能发展的逻辑问题

基于目前阻碍人工智能发展的各种因素 ,提出了人工智能发展中的逻辑问题 :非确定性推理、形象思维和常识问题。指出这些逻辑问题是制约人工智能发展的瓶颈。从理论上对这些问题进行了分析和探讨     

卡尔纳普的量化模态逻辑形式语义学

鲁道夫·卡尔纳普首次为模态逻辑提供了语义学理论。他也第一个为量化理论与模态逻辑（S4和S5类型）相组合的逻辑类型提供了公理系统。他将三个伟大哲学家的学术传统汇集于一身。弗雷格使他对语义学产生了兴趣,并帮助他掌握了对涵与外延相区别的方法;从莱布尼茨那里他吸取了把必然分析为在所有的可能世界为真这一重要思想;而维特根斯坦的某些思想则形成了卡尔纳普自身工作的某些部分的起点。卡尔纳普给出了“状态描述”的定义,指出状态描述代表莱布尼茨的可能世界或者维特根斯坦的事物的可能状态。为解释量词,卡尔纳普引入了“个体概念”的概念。     

心理咨询中当事人的语言逻辑

心理咨询中当事人的语言逻辑仍然经历概念、判断和推理的过程,和其他非当事人一样具有逻辑性的特征。但是当事人的逻辑前提具有主观虚拟性;表象语言指号与深层心理意义不一致;语境在其独特心理背景下表现为虚构的特征;当事模态逻辑具有专一角度特征;非陈述句逻辑的预设是其深层心理意义的信息。认识当事人语言逻辑的特殊性可以从语言的技术路线上更多地揭示当事人的心理可能世界。     

建立在"笛卡尔公理"上的一个怀疑逻辑系统

怀疑逻辑是关于人们合理怀疑的逻辑。如果说知道逻辑、信念逻辑都是"正"的逻辑的话,那么怀疑逻辑则是"负"的逻辑。将怀疑算子D加于命题之上就构成怀疑命题。笛卡尔的"我思,故我在"可以作为怀疑逻辑的特征公理:某人怀疑p,蕴涵着他对怀疑p是不可怀疑的———我们可以将之命名为"笛卡尔公理"。从该公理可以推论得到定理:某人不怀疑p,蕴涵着他对不怀疑p是不可怀疑的。该定理与笛卡尔公理一起作为当下思维存在的自明性公理。我们可以建立一个以"笛卡尔公理"作为一个特征公理的怀疑逻辑系统(PD)。笛卡尔公理与知道逻辑中的智慧公理(苏格拉底公理)在逻辑上是同构的,它们均对应于模态逻辑中的E公理。怀疑逻辑作为一种认知逻辑,有广泛的用途,它可以运用到政策反驳、科学批判、法律推理等领域。