濠梁之辩:没有赢家

从认知逻辑与认识论的视角看，庄子与惠施的这场争辩并没有赢家与输家，双方实际上都可以有自己的合理性依据。我们可以发现现代西方学界讨论的热点问题——“私人语言”是否存在?“知道”的内涵是什么?——都可以在这场争辩中找到其萌芽。对这场争辩进行多层面、多维度的探讨将有助于深化我们对庄子与惠施思想的理解与把握。     

于奇智：《傅科》

二十世纪法国哲学界群星灿烂，傅科(Michel Foucauh，1926—1984年)1是其中一颗大放异彩的巨星。傅科哲学是二十世纪五十年代之后法国科学哲学的一个重要潮流。法国科学哲学主要体现在以下几个方面：科学史、逻辑哲学、数学物理学哲学、生物科学哲学及人文科学哲学等。     

“吸收论”的两种归宿——中国高校文科逻辑教学走向何处

80年代初数理逻辑与传统逻辑的关系的争论中，大致有4种观点取代论，统一论，吸收论，永恒论(并存论)。吸收论不过是权宜之计，不可能无穷无尽地吸收下去。永恒论不应该是吸收论的终点，吸收论理应向取代论转化。大学里还是需要讲传统逻辑的，它是西方逻辑史的内容，不是普通逻辑，即逻辑概论的内容。 中国传统学术缺乏逻辑精神。本文把逻辑精神归结为两点一、只管推理形式是否有效，不管命题是真是假。二、亿万次证实不能代替证明。     

逻辑与创造性思维

有人认为,爱因斯坦之所以能成为杰出的科学家,就是因为他的脑子与众不同,能产生非凡的创造性思维、逻辑论证能力,所以当他病逝后,他的脑子不翼而飞了。后查明,爱因斯坦的脑子被波士顿医院的病理学家哈贝秘密保存下来,这个消息泄露后,爱因斯坦的脑子再度下落不明。后来发现,大部分哈贝保存了,小部分被一些专家瓜分了。这些,专家要从脑的物质结构中解开那难于解开之谜;但解剖研究的结果,爱因斯坦的大脑生理结构与普通人的并无差别。     

关于科学发现机器的研究

本文阐述了科学发现的两个判据,在知识存贮有劣性原理的基础上,提出了知识存贮不完全性原理,指出存在一类逻辑上具有非放大性,但认识论上具有放大性的演绎发现机器。在休谟问题逻辑学范围内不可解原理的基础上,论证了不存在通用的归纳发现机器,但建立局部合理的、有效的、完备的归纳发现机器是可行的。最后,本文描述了科学发现机器的结构,并在文献的基础上,描述了一种同时具有发生与评价功能的归纳发现机器并论证了它的合理性。     

合成邏辑TAC中合子的生成

近年来,软件的形式开发越来越受重视。本文设计了一个形式系统,它能实现合成逻辑TAC中合子的自动生成。     

皮尔士的逻辑人生

皮尔士早年曾受严格的逻辑训练,坚持以逻辑学为学术目标,一生热情地追求逻辑学的改进和应用。他的逻辑思想具有广阔的视野,对于逻辑学的发展作出了杰出贡献。然而,他作为一位伟大逻辑学家,长期不被人理解,只是在近几年才重新得到发现和重视。     

辩证逻辑研究中的困难和未来发展方向

辩证逻辑研究的最大成果是，对辩证逻辑是思维从抽象上升到具体的逻辑，达到了共识。但在处理辩证逻辑同辩证法、认识论和形式逻辑的关系问题上，还存在着极大的困难。为了克服这些困难，应该承认和探讨辩证逻辑发展的多元化的可能方向，建立辩证逻辑的多种理论体系。不过，这些理论体系不管有怎样的差别，辩证逻辑应该不同于其他逻辑学科，有自己特殊的对象领域和逻辑规律。这样的辩证逻辑，应该是概念矛盾运动的逻辑，以反映思维从抽象上升到具体的运动。     

论复合判断间的对当关系

通过复合判断间的逻辑方阵的构建，可寻找出逻辑方阵中四个复合判断的一系列等值判断。并在此基础上，可对复合判断进行一系列的真假推导     

谈谈选言推理的规则──兼谈选言推理的形式

推理规则是用来分析推理正误的。正确而完善的某种推理规则应该能够分析某种推理的任何一种推理形式是否有效。而目前流行的选言推理规则起不到这样的作用。比如：（P∨q）∧p→q、（p∨q∨）∧p→q∧r等都是无效的选言推理形式，但运用流行的选言推理的规则却不能得到很好的说明。所以，目前流行的选言推理规则是不完善的，应该修正或做出明确的解释。