莱布尼茨逻辑数学化思想的开创和界限

莱布尼茨开创了逻辑数学化的工作,成为数理逻辑的创始者。他以单子论的本体论和唯理主义的认识论为前提,按照方法论上的包含原则、符号对应原则、演绎推理的一致性原则将逻辑数学化,追求逻辑和数在本体论、认识论和方法论的统一。然而莱布尼茨没有完成逻辑数学化的宏大设想,其逻辑数学化存在一定的界限：一方面,单子论取消了量的关系的独立性;另一方面,包含原则导致对项的还原和内涵逻辑的倾向。对莱布尼茨逻辑数学化界限的分析将有助于进一步反思当今科学数学化的合理性和局限性。     

莱布尼茨的心智计算思想研究

莱布尼茨提出了用符号逻辑的演算来表达思维的心智计算思想,这一思想具有还原式、符号化、通用型三个特征。莱布尼茨计算思想的还原式、符号化特征意味着他创建了一种心智的符号表征—计算模式,通用特征标志着他勾画了一幅用字符计算来统一认知的心智计算主义图景。莱布尼茨本人没有完成这幅计算主义图景。数理逻辑、人工智能、认知科学的发展继续推进了这一图景,但也遇到了多方面的挑战:如形式与内容难题、计算的概念问题、计算的范围问题,需要进一步的探索。     

关于莱布尼茨的一个误传与他对中国易图的解释和猜想

许多年来，在我国流行这样一种误传：莱布尼茨是看到《周易》，受到八卦符号的启发才发明了二进制算术。本文根据历史文献说明莱氏早在１６７９年就已写出关于二进制算术的论文草稿，而在１７０３年看到宋代邵雍所制的“伏羲六十四卦方圆图”之后才立即修改和发表了他的二进制算术论文。本文进而对莱布尼茨关于伏羲已创建二进制算术的猜想作了分析，并根据历史事实和现代科学认识论述了莱布尼茨对中国易图符号所作解释的实际意义。     

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

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

莱布尼茨数学思想的统一性

莱布尼茨数学思想的统一性刘啸霆戈特弗里德·威廉·莱布尼茨（１６４６～１７１６）对数学有两项突出贡献：发明了符号逻辑和微积分。由于这两项成就分属不同的数学分支，人们也往往将其看作莱布尼茨的两种不同工作，忽视了它们之间的一致性，这为研究莱布尼茨的数学思想...     

莱布尼茨科学观的现代解读

莱布尼茨身上表现出一种对秩序、和谐、普遍原则和理性的热爱,对待科学也是如此。他试图建立一种普遍科学,表达和发展人类一切的知识。这就是莱布尼茨的科学观,包括用普遍字符确定系统化的科学知识;利用推理演算证明和获得科学知识;其原则和标准是逻辑上没有矛盾;最终指向上帝的荣耀与人类的幸福。在理性与多元中追求和谐的今天,更应该持有莱布尼茨这种促进人类进步和世界和谐的博大胸襟。     

现代自然语言逻辑研究的若干路径

逻辑研究的对象是推理,而表达推理的载体则是语言。数学化的人工语言研究数学的方法和基础,同时揭示出逻辑推理的规律。同样显而易见地是,我们日常使用的语言——自然语言,它运用于我们社会生活的交际过程之中,这个语言交际的过程当...     

科技术语应具有的若干特性

科技术语是通过语音或文字来表达或限定专业概念的一种约定性符号 ,科技术语具备语言符号的一般功能和特征。因此 ,在研究语言符号特征时概括出的一般规律 ,也适用于科技术语应遵循的一些基本原则。本文即以语言符号具备的一些功能和特征 ,来阐释科技术语应具有的特性。　　 1 .科学性自人类创造符号之日起 ,就将其用于指称事物、指代概念 ,这是符号的最基本的功能。汉字符号是由象形文字演化而来 ,有很多字符的形成不是任意的 (如“月”字是按“残月”形状而来 ) ,而是有明确涵义的 (虽然也有一些字符的形成是任意的 ,但在形成之后也就有了…     

技术符号学:人工物的意义解释

技术的实在性首先是技术人工物的实在性,技术人工物相对于自然物只是物理之物,但相应于艺术品则有着待解释的广泛意义。诉诸符号学,把技术人工物作为符号或符号过程加以解释具有较大弹性。它表明,技术人工物作为话语构制是一种语用关系,功能意义和非功能意义共处于语用关系形成过程;作为文本是一种脚本或代码的铭刻或表达,其物理结构包含着社会意义和文化视域;作为语义化生成物或被赋意物是一种文本间性构成,它呈现出多重意义混合或杂合的不对称性和相对性。技术符号学,采取的方法无疑是一种隐喻方法。这种方法有助于我们从技术人工物意义解释中发现技术生成的人和非人因素及其各种复杂关联,由此也有助于我们表明,技术人工物绝不只是符合目的或功能承担的工具,而是能够展示出它在设计、生产、使用和背景方面的深度实在性。     

莱布尼茨与微积分发明权之争——纪念莱布尼茨诞生360周年

莱布尼茨是卓越的数学家和哲学家，他和牛顿相互独立地创建了微积分。17世纪末，在欧洲爆发了一场激烈的旷日持久的微积分发明权之争。通过争论和调查，人们公认：莱布尼茨和牛顿都是微积分的发明人，他们的微积分各有特色。