"为有源头活水来"——当代文化科学观照下的易经

从当代文化科学发展的视野,对作为六经之首的易经起源及其价值进行了深入挖掘和解读.通过论证易经生成之三部曲:自然易→占筮易→人文易[1], 揭示了"易"之卦爻象数源于自然,易经之本在象数,其精髓乃"道法自然".由此不仅提升出中国自然哲学、生命哲学与人文教化,而且开出了中国古代生成整体论的"科学"和数学算法体系.文章揭示了易经作为中国文化总源头所蕴含的自然、占筮、哲学、"科学"等 "多维立体结构",试图澄清其中相互关系与不同层次.主张从当今文化科学发展的高度,揭示与彰显易经象数本有的自然、数理与"科学"蕴含,赋卦爻辞以新意,开辟易学创新之道.并试图由此为厘清中国古代科学发展线索,超越西方近代科学的机械构成论与主客二分之认识论,探索中国文化、科学的自主创新提供文化资源与思想启迪.     

文化观转型与“象思维”之失

20世纪初以降，自从教育制度西化之后，在开启科学思维理性之窗时，却关闭了自己“象思维”的悟性之窗，致使中国学人陷入失去主体话语境地。后来几代学人，由于只有单一科学思维理性，以至于不能真正进入和领会中国传统经典。中西思维方式不同，源于语言不同。“象思维”作为前语言前逻辑的思维，是最具本原性和原刨性的思维。在“轴心时期”，西方在“象思维”基础上产生出理性的逻辑的概念思维，并逐渐构成西方文化主流的思维方式。而中国的“象思维”则经过儒、道、佛三家而推向高级形态，构成中国文化主流的思维方式。崇尚不同最高思想观念（非实体与实体）的中西思维方式，各有不同的功能和价值，但都非万能。两种思维方式相互不能取代，而只有经过会通，才能推进各自文化的创新与发展。     

易学象数与灵龟八法

中国古代的象数学在中医理论的发生和发展过程中发挥了极其重要的作用,它与医学经验一起构成了中医理论的两个基本渊源,本文试图运用象数学来阐明灵龟八法的原理。人体的阴阳之气在不同时间、不同方位上,其多少是不同的,这一不同可以用数字量化。八法逐日干支和临时干支来源于河图、洛书的数,推衍灵龟八法是根据象数理论进行的,它用老阳数9和老阴数6来衡量气血运行的全过程。把八卦,象数,经脉和穴位有机地结合起来,按日按时开穴,体现了中医天人相应的整体观。     

两种思维方式下的中西文化与科学

从王树人先生提出的“象思维”出发,深入探讨和比较了中西文化的超越类型、学术取向,以及关于普遍性、客观性的不同层次、内涵,中西科学传统的不同类型与发展道路,提出中国不同于西方的本体论、实践论、价值论学术体系。建议在“象思维”与中国学术体系的基础上,总结中国古代科学规范,重建中国科学史。主张在学习西方科学的同时,致力于唤醒中国科学精神与原创性,开辟中国科学自主创新之路。     

基于描述逻辑的概念检索模型

针对当前的概念检索模型存在没有语义特征的词典和缺乏知识库层面上的推理机制等问题,采用具有很强的表达能力和可判定推理功能的描述逻辑来实现概念的扩展检索.设计了一个基于描述逻辑的概念检索模型,并对其核心的推理算法作了进一步扩展,给出了相应算法的数学定义及其知识库的逻辑描述,并据此采用Jena和Racer推理引擎实现了一个基于描述逻辑的汽车导购的概念检索系统,可向用户提供有关汽车的分类、性能、报价等信息.实验结果表明:基于描述逻辑的概念检索模型实现了有效的隐含语义的检索,并通过关联概念联想实现了良好的用户启发和信息导航.     

尚方：卦象理性的创生特征

象思维是人类原生态的思维.象思维发端于文字未成熟的上古,作为前语言思维、非概念思维,未染后来文字的线性平面之弊病,也无主客二元对象化思维的狭隘性.象思维的根基在易的卦爻象,而易本身是洁净精微的,对于思,先贤也有"思不出其位"之说,对卦象的创生特征,不能作过度的想象,因此象思维内在的一以贯之的东西必然简洁,基本框架也必须明了.现立足阴阳六合之方,试图入于此结构内部去考察卦象,以揭示卦象理性的创生特征,证明卦爻构成问题,为易学和象思维研究提供新方法、开辟新视域.     

Tableau算法在粗逻辑知识推理中的应用

Tableau算法是本体推理部分描述逻辑中用于ABox一致性检验的算法,基于二值逻辑,不能完成多值概念的一致性检测。将粗糙逻辑的基本思想植入描述逻辑体系中,并改进了Tableau算法,使粗糙描述逻辑能够完成对粗糙概念的推理任务,为基于语义的本体知识检索奠定了技术基础。     

关于西方新史学的几点思考

西方新史学与后现代主义思潮同步,是在史学领域对西方传统形而上学或逻各斯中心主义的颠覆.所谓微观史学之"碎片化",不过是打破宏大叙事独尊的僵化,使史学多元化.就破除文学与史学不可逾越的界限而言,有些趋向中国传统文史哲不分家的情调.新史学之新,本质上可以归结为思维方式的转变--趋向"想象"的"象思维",以及话语趋向"修辞学"(海登·怀特为代表)的转变.     

比:作为二象并置隐喻的空间思维——从空间思维重释中国诗学传统赋比兴

"比"实质上是一种二象并置隐喻的空间思维方式,但由于要构成比,则须存在可比(喻)性,也则二象(事物)之间必须存在某种关联或相似性,而这些关联与相似则需要一定的逻辑分析推理也即时间思维的参与或束缚,这就是古人在比兴中重兴而轻比的原因。     

“推类”是《数书九章》的基本推理类型

推类是以墨家逻辑为主体的中国逻辑的主导推理类型,《数书九章》也使用“推类”作为数学推理的基本类型。     

爱因斯坦引发的逻辑哲学问题

依爱因斯坦的观点,逻辑全等于演绎,与归纳并为西方科学的两大成就。认同爱因斯坦的逻辑观,试从"划界"的视角寻求根据。演绎和归纳的界线在于:前者以必然为真的逻辑真理即逻辑规律及相应的有效推理形式为研究对象;后者不研究逻辑真理及有效推理形式,其结论只是或然为真。是否以逻辑真理及相应的推理形式为研究对象,就是逻辑与非逻辑的分界线。演绎与归纳也有关联:均来源于经验。逻辑规律的前身就是归纳结论,经逻辑系统的整合而转身为必然的真命题。逻辑学家通过对逻辑系统的论域作出修正、限制或重新解释,以排除一切可能的反例,就可保证逻辑真理具有永恒的必然性。这就是逻辑学家使或然的归纳结论转化为必然的逻辑真理的诀窍。不能从演绎和归纳在认识中不可分离,推出逻辑必须包括归纳。归纳属于与逻辑同等重要的另一学科:科学方法论。     

命题逻辑与数学证明方法（Ⅲ）

简单地讨论了命题逻辑,用命题逻辑全面地研究了推理格式和数学证明方法,形成一个完整的系统.内容包括反证法推理格式、反证法、数学证明方法总结.     

法律推理中的辩证推理与实践推理刍议

共识认为 ,在法律推理时仅仅依靠形式法律推理是不够的。但不同的法学家对如何弥补“不够”并不一致。本文针对辩证推理与实践推理两个理论的要义进行比较 ,以期找到在中国法律制度下的法律推理的理论模式。     

《大学语文》古代散文教学中形式逻辑的应用问题

本文提出,形式逻辑的诸种思维形式结构,在古代散文中都可找出它们比较典型的样式或隐含形式。有的句子,单从训诂和语法方面是讲不清楚的,运用逻辑知识,则豁然开朗,使人明其底蕴。作为日常思维工具的形式逻辑离不开自然语言,应研究古今中外语言中的逻辑问题,以利于形式逻辑的改造与提高。     

分划递推法在Hanoi塔问题上的应用

采用分划递推法通过功能归约变换,形式化推导和证明Hanoi塔问题中圆盘的移动规律,从而推导出结构清晰、可读性好、效率高、占用存储空间与圆盘个数无关的非递归算法,算法比较分析地显示出形式化推导在获得高效和正确性的算法程序中的作用.相关算法在UNIX平台下用C语言进行实现.     

科技英语翻译中逻辑方法的运用——以冶金专业英语为例

在逻辑论的指导下,结合冶金专业英语翻译实例,讨论了分析与综合、归纳与演绎、抽象与具体及历史与逻辑相统一等翻译方法.为翻译工作者处理具体语言问题提供一种思维方式,给翻译工作者提高翻译技巧提供借鉴.     

语言的"发音"过程——维特根斯坦论"私人语言"与共同语言

维特根斯坦用“私人语言”与“我们共同的语言”相对,这种相对是语言的发音过程。“私人语言”是呼唤“大家都来看”的我的感觉的一瞬间,“命名感觉”就是“说”一个词,意义是从命题开始,并以命题为结束的思想的过程,闪电般的思想就是理解。思想贯穿经验及分割一个经验,逻辑使我们永远被一个经验所吸引,于是逻辑最终形成我们的共同语言。     

并发Lambek演算在时态查询中的语义转换

 为寻找时态逻辑的替代者,以公理化的方式对时态查询语言做句法和语义的分析,构建了并发的Lambek演算（L_CTQ）及其范畴语法用以作时态查询的句法分析。根据L_CTQ演算构造相应的L_CTQ标号自然演绎系统,从而提供句法演算到语义计算的转换方式,为时态查询语句的语义分析提供相关接口。     

计量逻辑学中的形式化推演方法

基于经典逻辑系统中的计量逻辑学,探讨了计量逻辑学中的形式化推理问题.结果表明,在注重数值计算的计量逻辑学中同样存在类似于语构理论的形式化推演方法,并给出了形式化推演的性质.