论“两独”与“两依”兼评《制约逻辑元思想剖析》一文

真正的充分条件关系刻划清楚后便是制约关系,事实上具有"两个独立性"。离散数学正统数理逻辑不研究真正的充分条件关系。二值函数实质蕴涵事实上具有与"两个独立性"相对立的"两个依赖性",从而并非真正的充分条件关系的"逻辑抽象"。即使在正统数理逻辑中作为逻辑工具使用的"若,则"乃是事实上具有"两个独立性"的制约,而并非为其所研究的实质蕴涵。希望进行立足原文原意的纯学术讨论。     

图书馆智能化系统设计初探

智能化建筑的兴起极大地促进图书馆建筑的发展，智能化设计也成为图书馆建筑的发展趋势。综合布线技术是智能建筑的重要组成部分，直接关系到图书馆智能化水平的程度。结构化综合布线以其标准化、模块化、兼容性、先进性和灵活性的优点在图书馆建设中得到实践与运用。     

专统逻辑向何处去

从主导思想上说,传统逻辑和数理逻辑殊异。实质蕴涵因其刻划真值函数关系故此并非传统逻辑表示充分条件关系的“若,则”的逻辑抽象。基于实质蕴涵的数理逻辑并非传统逻辑的现代发展,也不是什么现代的形式逻辑。只有在坚持传统逻辑深刻正确主导思想,并借鉴数理逻辑提供的严格精密的数学方法的基础上,才能真正实现传统逻辑的现代发展。     

逻辑规律与准逻辑悖论探讨

同一律、不矛盾律和排中律是传统形式逻辑中的基本规律,在正统数理逻辑中体现为重言式。同一律、不矛盾律和排中律作为逻辑基本规律在传统形式逻辑中普遍有效,可是,它们一经引入正统数理逻辑,便会引起不符合人的普通逻辑思考实际的准逻辑悖论。故而,传统形式逻辑三大基本规律在正统数理逻辑中均不能成立。     

制约逻辑与情报推理

逻辑科学在情报学学科中几乎主要地被应用于情报检索领域,而情报检索领域中涉及推理的内容主要地散见于人工智能推理机制中。人工智能研究以正统数理逻辑为其逻辑理论工具。由于正统数理逻辑把原本能确保不循环的推理格式处理成同语反复的恒真的真值函数。因而建立在这种逻辑理论基础之上的人工智能专家系统并不能真正实现从已知到新知的必然过渡。情报推理仍需要寻求一种更合适的逻辑理论工具。     

制约逻辑与情报推理

逻辑科学在情报学学科中几乎主要地被应用于情报检索领域,而情报检索领域中涉及推理的内容主要地散见于人工智能推理机制中.人工智能研究以正统数理逻辑为其逻辑理论工具.由于正统数理逻辑把原本能确保不循环的推理格式处理成同语反复的恒真的真值函数.因而建立在这种逻辑理论基础之上的人工智能专家系统并不能真正实现从已知到新知的必然过渡.情报推理仍需要寻求一种更合适的逻辑理论工具.     

专统逻辑向何处去

从主导思想上说,传统逻辑和数理逻辑殊异。实质蕴涵因其刻划真值函数关系故此并非传统逻辑表示充分条件关系的“若,则”的逻辑抽象。基于实质蕴涵的数理逻辑并非传统逻辑的现代发展,也不是什么现代的形式逻辑。只有在坚持传统逻辑深刻正确主导思想,并借鉴数理逻辑提供的严格精密的数学方法的基础上,才能真正实现传统逻辑的现代发展。     

企业竞争情报搜集与反竞争情报

阐述竞争情报的概念；分析搜集竞争情报的方法与途径；介绍反竞争情报的具体措施。     

论蕴涵的演进--从蕴涵到制约

蕴涵是贯穿整个现代逻辑发展的一个基本概念。实质蕴涵的提出引起学术界极大争议,“蕴涵怪论”一直是争论焦点之一。由于对推理前提和结论之间的关系有着不同理解和阐释,逻辑学家们提出了不同的蕴涵概念,并构建了相应的现代逻辑系统。笔者试图从逻辑史的角度去区分、澄清和阐明不同意义的蕴涵及其相互关系,并提出作者的一些粗浅认识。     

重言式、逻辑规律与准逻辑悖论

同一律、不矛盾律和排中律是传统形式逻辑中的基本规律,在正统数理逻辑中体现为重言式。同一律、不矛盾律和排中律作为逻辑基本规律在传统形式逻辑中普遍有效,可是,它们一经引入正统数理逻辑,便会引起不符合人的普通逻辑思考实际的准逻辑悖论。故而,传统形式逻辑三大基本规律在正统数理逻辑中均不能成立。