逻辑函数形式的代数转换

介绍了八种逻辑函数形式间的变换方法及详细步骤 ,为在实际中设计电路提供方便     

小议单独概念、专名以及定义

当前，一些大学文科逻辑教学的内容，仍然基本上以传统逻辑为主。虽然其中或多或少地吸收了现代逻辑的一些内容，但有些说法明显地存在着不妥之处。如关于“单独概念”、“专名”以及定义之类关系的论述，就难以自圆其说。对此，唯一的出路是使用现代逻辑的方法，真正实现从传统逻辑到现代逻辑的重心转移。     

科学哲学及其实在论本质的先验分析

科学哲学以及相关的自然科学在本质上是关于实在的知识。但这一结论本身只有在先验的视域中才能显示出清晰的含义,一般关于实在论的讨论也只有在先验视域中才能有逻辑的结果。然而在这一视域中的考察也表明,科学哲学的“超验性”问题又是与其实在本质直接相关的,先验哲学在研究其发生发展规律的同时又承认这一点。整个20世纪科学哲学进程都表明了一个科学的经验实在（论）的性质,同时这一进程也证实了先验哲学关于先天知识（先验逻辑）的普遍有效性的论述。     

从翻译失误看语篇翻译中的深层逻辑语义分析

逻辑语义关系是指由某种表层逻辑结构显现，并通过语言表达而附加出来的意义关系。原文表层逻辑结构和深层逻辑语义的不一致是造成翻译中逻辑转换失误的重要原因。因此，译者在翻译时应仔细分析原文内在的逻辑语义关系，再用符合译入语习惯的逻辑形式表达出来。     

基于自然推演下描述逻辑VL的形式化推理

描述逻辑是一簇知识表示的语言,其以结构化、形式化的方法来表示特定应用领域的知识.文中给出了描述逻辑VL的形式化自然推演系统,并以此构建形式模型证明其推理机制是完备的.     

“标准米”之谜的澄清与解决——从“逻辑行动主义方法论”的视角看

“逻辑行动主义方法论”的要旨在于严格界划由言语行动之产品构成的“语言域”、由心智行动之产品构成的“思想域”以及由客观行动的对象构成的“对象域”.“标准米”是当今学界最受争议的先验-偶然知识谜题.使用逻辑行动主义方法论可以澄清相关研究中存在的诸多混乱,揭示出标准米示例不具备先验-偶然知识资质的真正原因,同时也可以为进一步说明先验-偶然知识论题的合理性奠定基础.     

否定转移及其功能词的理解和翻译

从分析英语中的否定转移现象入手，探讨了否定转移功能词汇的理解和翻译技巧，也强调了语境、逻辑及常识在否定转译中的重要性。     

基于混合遗传算法的模糊车间调度问题

该文介绍了模糊流水车间调度问题，在此基础之上设计了一个解决该问题的混合遗传算法——嵌入多点最速下降法的遗传算法（GDA），将其与各种算法进行了仿真比较，论证了其有效性。