论佛教逻辑中推论前提的真实性问题

本文将陈那、法称因明与西方传统的三段论相比较,指出佛教逻辑从推论前提是否为真的角度来建立推论的基本规则即因三相;西方传统的三段论从形式是否有效的角度来建立推论的一般规则,这反映了佛教逻辑与西方逻辑的根本差异。本文首先指出佛教逻辑中的典型谬误即似因并非形式谬误,其致误之由在于前提为假。佛教逻辑从实质的角度来探讨有效性,不同于西方逻辑形式有效性的概念。佛教逻辑所说的推论其实都是论证。推论前提的真在何种程度上得到因三相的保证,又因陈那、法称因三相的不同而有区别。陈那的因后二相由于除宗有法的限制,只是前提为真的一种例证,其推论并非演绎;法称的因三相则全面保证了前提的真,其推论达到了演绎。法称恰恰是通过剖析推论前提为真的知识论基础从而改造了陈那因明,这体现了佛教逻辑的知识论性格。实际上,佛教逻辑关注前提的真,这已经预示了它在历史的发展中向佛教知识论(量论)的必然转化。

一种包含属性蕴含语义的数据立方体结构

为降低数据立方体结构的复杂度及提高数据立方体的查询效率,深入挖掘数据内部关系,研究包含属性蕴含语义的数据立方体构建和查询技术.通过研究从完整形式背景中获取属性蕴含语义以及由属性蕴含确定概念内涵的方法,提出包含前件是真前提的属性蕴含语义的数据立方体结构:SDC-AI,提出SDC-AI的构建、查询处理和增量维护方法.经过理论分析和实验验证,SDC-AI结构包含所有聚集概念,并记录基本表中的属性蕴含语义,使查询响应时间大大缩小,可用于主流的关系数据库系统.