论辩逻辑的理论渊源与现实应用

古代三大逻辑传统从其产生直到中古，都以对话和辩论的原则和技术作为重要的或主要的研究对象。从希腊逻辑发展而成的现代逻辑已经成为全人类共同的知识财富，现代逻辑的主流是被称为现代形式逻辑的数理逻辑。论辩逻辑服务于“取当求胜”，它属于并非形式化的逻辑。由于现实需要，特别是在法律论辩的活动中得到有效应用，论辩逻辑正在复兴，并有所创新，而且从中国名辩学和印度因明学中吸取营养。     

从逻辑的观点看波爱修斯的共相学说

共相问题是逻辑学和哲学研究的根本问题之一。对共相本质的争论源于古希腊，柏拉图和亚里士多德代表了在该问题上两种截然不同的观点。三世纪，波菲利提出了关于共相的三个最根本的问题，但他没有做出结论。六世纪初，波爱修斯着力于用逻辑的方法再论共相的实质，但他的结论动摇于柏拉图主义和亚里士多德主义之间，并最终归于柏拉图主义。他的这一结论加剧了对共相问题的争。     

略论非帕斯卡概率逻辑的知识创新意义

非帕斯卡概率逻辑的知识创新意义在于：（1）借助这种逻辑，我们更有可能在科学理论创新过程中探索出更为有效的解决科学实际问题的方式；（2）这种逻辑就是一种知识增长的逻辑；（3）它揭示的不断逼近的过程就是科学理论创新的过程。     

强S一闭空间

本文从强半开集出发，定义了强Ｓ一闭空间，讨论了强Ｓ一闭空间的特征，它的半正则化及强Ｓ一闭空间的强半连续象。     

对推理规则在非经典逻辑中失效的分析

论文认为强化前件规则对虚拟条件句确实足失效的，但传递原则、逆换原则和析取前件消去规则并没有像希尔皮南所说失效了。如果对同一性替换规则加上条件对一个命题的某个部分实施替换，要求所利用的同一性在该命题的模态下也成立，则同一性替换规则可以运用于模态语境。奎因对存在概括规则在模态语境中失效的分析并不完全准确。     

辞章章法“多、二、一（0）”的核心结构

章法与章法结构，是完全建立在“二元对待”的基础之上的。而“二元对待”又是宇宙创生、含容万物的根本规律。以这种规律来观察宇宙创生、含容万物的历程，可以用“多”、“二”、“一(0)”的螺旋结构加以概括。因此章法也对应于此，形成这种结构：若从创作面看，形成的是“一(0)、二、多”的顺向结构；若就鉴赏面看，形成的是“多、二、一(0)”逆向结构。其中的“多”主要是指各个辅助结构；“二”主要是指核心结构；“一(0)”是指一篇辞章之主旨与所形成之风格、韵律、气象、境界等。其中核心结构“二”，既可彻上归于“一(0)”，又可彻下统合“多”(辅助结构)，地位十分重要。本文即着眼于此，举例探讨，以见章法之核心结构在一篇辞章中的重要功能。     

PB在企业管理系统中与多种数据库的连接

分析了使用面向对象数据库软件Power Builder开发煤气公司一表一卡管理系统过程中，对SQL Server和Visual Foxpro两种不同数据库的连接，提出了解决新系统与旧系统的数据兼容问题。     

如何做好MIS开发过程中的需求分析

需求分析是开发一个MIS软件系统过程中的首要工作，需求分析工作不仅非常重要，而又极其图难。本较详细地讨论了需求分析的一般过程和需求分析方法的发展状况。