关于逻辑和逻辑现代化的几个问题——评唯演绎主义

我国的五次逻辑论争表明逻辑学科本身还有不够规范和完善之处，其局限性和实效性之薄弱又难以适应当代高新科技的发展和文化的需求。逻辑学要改进、变革和发展。若仍以唯演绎主义看待逻辑和逻辑现代化则是不合时宜的。     

审视逻辑相对主义——以关于阿赞德逻辑的争论为例

逻辑相对主义观点是指不同的文化也许根据不同的逻辑规则进行推理。来自人类学关于偏远民族的调查引起了是否存在不同于西方逻辑的其他逻辑的争论。以关于阿赞德逻辑的争论为例进行分析,表明争论的缘起在于用西方形式逻辑的视角讨论特定文化的实践推理。从一种非形式逻辑的视角分析阿赞德推理,则引起争论的疑惑点得以解释与澄清。     

论逻辑的自然与自然的逻辑

"能高度逻辑地思维"是智慧与非智慧的唯一区别与分水岭,而人类能逻辑地思维是长期进化自然形成的。人类一旦学会逻辑地思维,其认知的获取与传承也根据逻辑而进行,人类认知的逻辑传承就成为自然而必然。由此,不仅存在人类认识自然的相同逻辑范式,而且一切自然皆逻辑,自然是逻辑的标准。     

从逻辑哲学观点看量子逻辑

1.根据逻辑哲学,量子逻辑可以定位于一种以非分配性为特征的非经典逻辑,它以量子力学家实际使用的科学推理为现实原型或经验基础;2.普特南从量子逻辑的产生而得出根据经验的理由,逻辑是整体可修正的结论。但他同时又主张逻辑联词的意义不变,因此陷入二难困境。3.根据量子力学几种不同解释来重新审视经验理由和逻辑可修正性论证,发现形而上学考量更不可忽视。4.对应原理具有消解普特南二难的方法论功效,量子逻辑对于经典逻辑的继承性与革新性同时可以得到合理解释。     

逻辑的计算进路——从莱布尼茨到图灵的逻辑发展

现代逻辑肇始于莱布尼茨,在布尔和弗雷格处发生了分流,形成了所谓的逻辑的代数传统和逻辑的语言传统,然而,无论是代数传统亦或者是语言传统都与莱布尼茨的逻辑学纲领(即:"作为科学、数学和哲学"的基础)相去甚远。在图灵机理论中,图灵核心阐述了"自动机"和"指令表语言"这两个概念,这两者很好地契合了莱布尼茨关于"理性演算"和"普遍语言"的构想,可以说,图灵机理论最为接近莱布尼茨的逻辑学纲领,也跳出代数传统和语言传统,另辟蹊径,形成了一种新的"作为计算的逻辑"传统(也可以称为"计算传统")。"作为计算的逻辑"实质上是一种"主体转向","以往的逻辑"是当仁不让地以人类为主体,研究的对象是人的思维、自然语言种种,"作为计算的逻辑"则是将计算机作为信息处理的主体,研究的是计算机的处理方式以及人与计算机的互动关系。     

Logical Aspects of Quantum (Non-)Individuality

In this paper I consider some logical and mathematical aspects of the discussion of the identity and individuality of quantum entities. I shall point out that for some aspects of the discussion, the logical basis cannot be put aside; on the contrary, it leads us to unavoidable conclusions which may have consequences in how we articulate certain concepts related to quantum theory. Behind the discussion, there is a general argument which suggests the possibility of a metaphysics of non-individuals, based on a reasonable interpretation of quantum basic entities. I close the paper with a suggestion that consists in emphasizing that quanta should be referred to by the cardinalities of the collections to which they belong, for which an adequate mathematical framework seems to be possible.     

新中国逻辑学50年——在新中国哲学50年学术研讨会上的讲演

各位专家： 在“新中国哲学50年学术研讨会”召开之际,我谨代表哲学所逻辑研究室向来自全国各地的专家学者表示热烈的欢迎,致以衷心的问侯! 现在我以《新中国逻辑学50年》为题谈一点个人看法,不当之处请批评指正。...     

投票悖论是严格的逻辑悖论吗?--投票悖论逻辑结构浅析

严格意义上的逻辑悖论有三大构成要素:公认正确的背景知识、严密无误的逻辑推导、能够推出矛盾等价式.投票悖论是指在群体选择的投票决策过程中,根据潜在的公共背景知识:理性人假设、传递性规则和多数规则,投票群体最后得到自相矛盾的投票结果,而这一矛盾结果是经过严密无误的逻辑推证得出的,因此投票悖论是一种典型的逻辑悖论.     

非线性系统中微观粒子的特性和非线性量子力学

经过20多年的艰苦研究,最近几年里作者与合作者完成了《非线性量子力学理论》(1994年)、《孤子物理学》(2003年)和英文专著QuantumMechanics inNonlinearSystems(2005年)。在这三本专著特别是英文专著中,作者建立了一门新的学科———非线性量子力学,详细而全面系统深入地描述了线性量子力学(LQM)的困难,建立非线性量子力学(NLQM)的必要性和重要性,它的物理理论、实验基础和数学基础,所提出的NLQM的基本原理和理论及该理论的特点,由该理论给出的微观粒子的波粒双重性和其它特性及产生这些特性的非线性相互作用的类型及产生的机理,如何…     

哲学逻辑与逻辑哲学

本文对哲学逻辑与逻辑哲学这两门新兴学科进行了较为详细的介绍与讨论，作者认为：（1）尽管“哲学逻辑”在英美哲学界与逻辑界具有不同的涵义，但我们宜在比较规范和合乎词义习惯的意义上使用“哲学逻辑”一词-用“哲学逻辑”指称不同于经典逻辑或标准逻辑的诸现代逻辑分支。（2）关于逻辑哲学，可以定义为研究逻辑特别是现代逻辑及其发展中的哲学问题的学科，这是一门介于元逻辑与语言哲学之间的学科。     

量子实在:从量子力学到量子通讯

1935年为论证量子力学的完备性提出的EPR悖论开启了量子信息思想火花。20世纪80年代,由本奈特和多依奇等人研究、倡导和推进引发了量子信息研究的爆发。作为用量子力学机制处理信息问题的一种技术手段,量子信息技术同时也是对量子力学所描述的量子实在的技术性证明。信息技术的广泛使用不仅改变了普通人的生活,同时也对学者们理解我们存在的世界提供了技术方法和深刻的思想思路。从历史上考察这一技术的发展过程,有利于我们对这一新生技术的理解。     

逻辑学的革命:从形式逻辑到价值逻辑

形式逻辑处理的对象主要是超主体的、客观的事实问题,是一种无主体逻辑、必然性逻辑、静态化逻辑、程式化逻辑。由于事实与价值存在深刻的异质性,因而不可能简单地照搬、套用形式逻辑处理主体性、相对性的价值问题。由于逻辑是对人的生活实践的提炼与总结,生活实践中关于事实和价值问题的思考,对于各种事实和价值问题的解决,都可以并且应该上升、提炼、总结为逻辑的格、式与规律、规则,从而实现逻辑学的发展和飞跃。立足人们的价值生活实践,处理价值现象、反映价值思维的价值逻辑应具有如下基本特性:实践性、主体性、具体性、生成性。     

齐尔塞尔:经验的逻辑经验主义者

埃德加·齐尔塞尔是20世纪奥地利著名的科学哲学家、科学史学家和科学社会学家.作为维也纳学派的主要成员之一,他一反这个学派其他成员用非经验方法研究科学和忽视社会因素对科学的影响的做法,从社会学角度探讨了现代科学的根源问题,提出了科学史上著名的"齐尔塞尔论点".齐尔塞尔强调经验研究在社会历史发展领域研究中的应用,认为社会历史发展和自然界发展本质相同,都有规律可循.从此意义上而言,齐尔塞尔才是一位真正的经验的逻辑经验主义者.     

逻辑全能问题与动态认知逻辑

作为一门哲学逻辑学科的认知逻辑,是当代科学体系中将抽象的哲学玄思与具体的实用技术结合得最为密切的学科之一。它最先由哲学家和逻辑学家基于纯粹的理论兴趣而创建,继而引起语言学界、...     

概念的逻辑关系和本体论关系

现代术语学的创始人欧根·维斯特(Eugen Wüster)的<普通术语学和术语词典编纂学导论>(Einfürung in die allgemeine Terminologie und terminologische Lexikographie)的德文版第三版(1991年在波恩出版)Eugen Wüster,Einfürung in die allgemeine Terminologie und terminologische Lexikographie,3. Auflage,Bonn: Romanistischer Verlag,1991.中,讨论了术语学中的概念的逻辑关系和本体关系,笔者根据该书中3.1和3.2的内容,写成了这篇读书心得.     

神经科学与宗教经验:约翰·希克关于宗教经验之合法性的辩护

约翰·希克站在宗教的立场上考察了神经科学对宗教经验提出的种种挑战,指出这些挑战本身存在的问题.他承认宗教经验与神经活动之间的确存在关联,但否认两者等同.进而,他转向神经科学的自然主义预设,论证心/脑同一理论和机械行为说都是站不住脚的.在此基础上,他主张自由意志,认为宗教经验有可能是经验者对超越者的敞开.     

本体论与逻辑

本体论就是就是关于“存在”的科学,它研究何物存在以及以什么方式存在等问题,在本体论的争论中,以传统的唯名论与实在论之分为基础,莱涅夫斯基进一步将其分为具体主义、单范畴的柏拉图主义与多范畴的柏拉图主义三种类型。传统逻辑与现代逻辑由于其各自不同的特点,它们与本体论的联系是不同的：如果说,传统逻辑与事实本体论在内容上时有混杂、联系密切的话,现代逻辑则通过形式化方法,远离了事实本体论。     

走出逻辑的雾区

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