龙腾千年

中华龙是古人对圣、鳄、蛇、猪、马、中等动物，和云、雷电、红霞等自然天象模纪集合而产生的一种作物＿龙的模糊集会过程，起自原始社会的发展与繁荣时期，即采格经济过渡到生产经济、神物崇拜普遍产生的新石器时代前期，至今约有八千年的历史；龙和恐龙没有关系，因为早在距今七千万年左右的中生代，恐龙效灭绝了生活在远古时代的人们以原始思维面对身外世界，原始思维是以直观表面性、整体关联性、非逻辑的神秘性和群体表象性为待征的“模糊思维”正是这样的思维，导致我们的祖先不清晰、不精确、不唯一地将身外世界的种种对象，集会、升…     

第2届国际逻辑化建模与可满足性研讨会在中山大学举行

2006年9月24—27日，由国家自然科学基金资助、中山大学逻辑与认知研究所与德国帕德博恩大学国际动态智能系统研究院及计算机科学系联合主办的第2届国际逻辑化建模与可满足性会议在广州举行．参加本次学术研讨会的有来自美国、德国、法国等8个国家的15位专家，以及中国科学院、香港科技大学、北京大学、南京大学、中山大学等国内高校或科研机构的20多名学者．会议内容涵盖了逻辑公式可满足性、非经典逻辑、模型检测、计算复杂性等多个主题，与会人员围绕逻辑化方法在计算机科学与人工智能中的应用进行了热烈的讨论．     

不妨倒过来试一试

一般来说,我们在思考和解决问题时,往往采取进攻性的态度,直接和问题打斗.著名哲学家爱德华·德博洛将其称之为"纵向思维".这种逻辑思维具有传统的、连续的、从一步迈向下一步的特点.一旦思维走进死胡同,不可避免地会出现沮丧、紧张的感觉,于问题的解决无补.为此,德博洛提出了一种改变传统思维方法的"横向思维".它强调以意料之外的方式解决问题.     

数学的旋律——直觉与逻辑交融

正是数学的直觉思维与逻辑思维交融的魅力把数学变成为一种“无声的音乐和无色的图画”。这里我们把直觉思维和逻辑思维,及其与之相对应的推理方式即合情推理与演绎推理,这两者在数学的发现、发明、创新与发展过程中的交互作用稍作展现。其作用是有利于文理贯通、启迪思维、培养通才、造就英才。     

关于OST系统

OST系统是关于对象、空间和时间的形式理论,由W.D.Blizard首先给出。该系统是一阶三类理论,它在经典的有等词的一阶谓词演算的基础上形成,它的非逻辑公理是下述     

量子"非"逻辑操作

虽然电子“非”逻辑门的直接量子等价物是不可能存在的,但是目前科学家们 已经利用光子实现了最好的近似普适“非”变换——     

为何要坚持逻辑简单性原则

本文从三个方面探讨了爱因斯坦提倡逻辑简单性原则的物理学认识根据；其一，他认为物理上真实的东西一定是逻辑上简单的，主张用逻辑简单的理论反映物理实在。其二，他认为理论的基本要领和基本概念和基本公理是理性所无法触动的，为了减少理论中“尚水理解的东西”，应将其逻辑公理减少到最低数目。其三，他认为物理学进化的方向是不断增加其逻辑基础的简单性，因此应将逻辑简单性作为建构理论的基本方法论原则。     

为何要坚持逻辑简单性原则——试析爱因斯坦逻辑简单性思想的物理学认识基础

本文从三个方面探讨了爱因斯坦提倡逻辑简单性原则的物理学认识根据：其一，他认为物理上真实的东西一定是逻辑上简单的，因此主张用逻辑简单的理论反映物理实在。其二，他认为理论的基本概念和基本公理是理性所无法触动的，为了减少理论中这种“尚未理解的东西”，应将其逻辑公理减少到最低数目。其三，他认为物理学进化的方向是不断增加其逻辑基础的简单性，因此应将逻辑简单性作为建构理论的基本方法论原则     

“中介逻辑”的特征问题

近来,朱梧槚、肖奚安等同志发表了一个称为“中介逻辑”的形式命题逻辑系统MP(见文献[1,2]及其所附参考文献),引起了国内一些学者与青年学生的注意。朱、肖等同志在系统内做了大量的形式推演而迄今未能给出系统的语义,并就此认定他们的中介逻辑“与通常的三值逻辑或任何多值逻辑系统是不同的”,是“精确性经典数学和未来的、处理模糊现象的不确定数     

卡尔纳普意义标准述评

卡尔纳普(1891—1970)是当代著名哲学家、逻辑学家。他的研究涉及到逻辑句法学、逻辑语义学、归纳逻辑、语言哲学、科学哲学等领域。其中,内涵逻辑学、科学哲学、语言哲学的发展无不展示出他的巨大影响。作为卓越的逻辑学家,卡尔纳普深知纯粹形式的观点对逻辑研究本身的重要性;作为目光远大的哲学家,他同样深知纯粹形式的逻辑观是远远不够的。对于卡尔纳普来说,逻辑的重要性在于它对非逻辑知识的作用。卡尔纳普对逻辑应用的关注集中体现在他对科学方法论基础问题的重视。他的研究特色在于从科学语言的逻辑分析着手。语言意义问题,尤其是科学语言的意义问题的研究始终贯串在他的学术研究生涯中。研究的一个中心问题是寻求科学理论语言意义标准的适当表述。同早期仅仅包含基本思想的概括口号:“语言的意义在于可检验性”相比,他的表述更多地考虑到了科学理论本身的特征。这显示了卡尔纳普兼顾到了两个方面·既充分体现基本思想,又尽可能精确地刻划科学理论的逻辑结构的努力。在以下几节中,我们来观察这种努力是否奏效。     

人类思维的计算机仿真——其前景及限制

人类思维计算机仿真的前景和限制取决于人类思想的概念。就计算机仿真的目的而言,我们将思想定义为对事件进行符号化的过程,然后用各种逻辑的及非逻辑的推论将这些符号进行演算。将思想这个概念会同某个哲学体系一起来考虑看来是合理的,因为概念的形成、判断、推理及问题求解都是一些哲学问题。在本文中讨论了一个问题的各种解决方法,这些解决方法是由一些最重要的哲学体系所引起的。     

从定义的相称性要求看经验的元素定义的不足

概念是反映对象本质属性的思维形式,定义是把握概念的基本逻辑方法,对概念的正确定义必须遵循某些定义规则。元素是化学学科的基本研究对象,对元素概念所下定义的正确程度,是人们对化学学科中基本对象的本质的认识深度的反映,用逻辑方法分析元素概念的经验定义在历史演变过程中孰优孰劣,有助于加深对化学学科中基本研究对象的理性认识具有深刻的方法论意义和重要的实践意义。     

大自然探索要遵循逻辑思维规律

本文论述了大自然探索中应遵循逻辑思维规律的重要意义。作者提出四条辩证逻辑思维规律——辩证矛盾律,不断转化律、具体抽象律、交错深入律。     

关于模糊语义紧致性的若干定理

较系统地分析了抽象公式集上的模糊语义及其所导出的逻辑结论算子的各种紧致性之间的关系,在适当的条件下证明了模糊语义的紧致性和逻辑紧致性分别与它所导出的逻辑结论算子的紧致性和连续性等价。又,在公式集为自由代数的情况下给出了模糊语义紧致性的一个一般性定理,证明了凡由连续函数生成的模糊语义都是紧致的。     

科学方法论:历史形态和发展水平

作者提出科学方法论有自然哲学方法论、哲学方法论、逻辑方法论和理论方法论四种历史形态。产生于古希腊的自然哲学方法论的特征是,把认识着的个人的纯粹思维看做为真正的知识,以“直接知识的原理”作为其最重要的认识原理。特别注重经验研究的哲学方法论是在古典自然科学形成时期(16～17世纪)形成起来的;它的各个方法论原理同哲学基本问题密切相关,因此称为哲学方法论。这种方法论的发展表现为唯一理论和经验论相互斗争而产生各种变型。逻辑方法论企图把逻辑作为适用于一切知识领域的方法论,是在19世纪下半期从穆勒的归纳逻辑开始大力发展的数。理逻辑的产生和发展加强了这方法论研究方向。理论方法论在现代科学方法论出现各种研究方向和水平纷呈的复杂局面中应运而生,它的研究是最近这几年才开展起来的。这种方法论是一种关于科学知识的一般理论。     

Levesque的信念逻辑中模态词O的若干语义特征

Levsque的信念逻辑具有一个特别的模态词O,这使得表达“仅仅某一句子(或有限个句子)被相信(或被知道)”成为可能.在这种逻辑里仅利用古典的元逻辑概念(可满足性,永真性,蕴涵)就可以刻画推理的非单调性,而在其他信念逻辑加Moore的自动认识逻辑中,非单调推理的刻画需用到一些新的元逻辑性质的概念.由此看来,模态词O的研究具有特别重要的意义.这方面我们已有一些结果.本文将给出所谓k确定的句子的若干重要性质,而文献[1]仅讨论了1确定的句子.     

话说潜意识

意识这个概念解释起来似乎很简单，就是我们大脑对客观物质世界的反映，是对感觉、思维等各种心理过程的综合，值得一提的是其中的思维，它是只有人类才具备的反映现实的高级神经活动形式。最近，有神经科学方面的专家认为，人类行为95％以上都是出自意识之外的大脑活动，即潜意识的驱使。这样的断言令人疑惑，这个数字却由不得你不信，它或许正发生在你身上。     

试论理论物理中数学方法的创造力（续）

四、理论结构拓展的相对独立性和实践基础爱因斯坦把理论建树过程中前提性原理的推广和数学推理及其物理解释的程序称作“自由创造”;所谓“自由”,是指理论拓展对于其实践基础来说有相对的独立性。因为许多数学理论具有某些形式逻辑结构的特征,故在其思维领域里便有其独立发展的规律,那末凭借物理直觉和数学推理方法建树的近代物理理论,其数学形式体系的拓展当然也就带有这种相对独立的色彩。凡纯数学理论,愈向前发展,其抽象程度愈高,逻辑的简单性愈明显,实际上其普遍性也就愈强,应用范围便亦愈广。这种数学的简单性,爱因斯坦将其视作物理理论拓展其真理道路的“可靠源泉”。各种物理理论的数学形式体系都是一些“盈余结构”。所谓“盈     

悖论消失

数学中某些最有争议性的问题与逻辑悖论有关。最深奥的悖论是一些自相矛盾的陈述，其中最有名的是下面这样一个陈述：“此旬是谎言。”为了分析这样一些陈述，数理逻辑学家们在定义它们的各项时必须非常谨慎某些悖论经严密推敲仍然站得住脚而如果它们真是如此的话，它们就揭示了逻辑思维的局限性。其它某些悖论一经仔细分析就不攻自破了。下面我将提出我对这样一些悖论的看法读者们可以提出质疑。     

类比方法的本质和启发作用

类比方法的本质科学类比是根据发现两个对象在一系列本质特征上相似,并考虑到它们在其他方面存在差异而进行的推理,结果推出,在研究一个对象(模型)时发现的那些性质为另一个对象所具有。这个定义既把握住了认识论基础(主体思维反映实在的内容和形式),也把握住了类比推理的各个关键的逻辑要素。