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

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

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

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

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

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

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

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

GAL器件的编程和复制系统的研制

本文在原有破译仪的基础上,研制了GAL器件的编程系统,扩充了原系统的编程和复制功能,使用户能对任何GAL16V8或GAL20V8编程的GAL芯片进行破译、编程和复制,在用户自己的开发环境中设计所需的逻辑系统。     

高原鼠兔体重生长动态数学模型之再探讨

本文用麦夸算法构造高原鼠兔体重生长的Logistic和Compertz曲线模型,其结果表明:Logistic曲线比Gompertz曲线更优化,Logistic模型比逻辑斯谛-指要饱和模型的精确度更高.     

理论确证与证据相关性

确证悖论的论争，仅在一阶逻辑框架内是不可真正解决的。对科学理论的确证，除了待证理论与证据之间的逻辑关系外，还取决于证据对理论关系的认识论分析，其中主要有证据对理论的正相关及其相关程度，证据与理论间的自然属性的对应性。     

组合逻辑电路的无反变量输入设计

本文阐述了组合逻辑电路无反变量输入的设计思想，并通过设计实例给出了具体的设计方法与步骤．