因果陈述句逻辑系统

因果必然性的性质是什么?因果必然性和归纳概率的关系如何?我们将给出因果陈述逻辑的自然语言系统,同时也对该形式语言的范围以及用形式化来界定的一般特征进行阐述。把因果陈述逻辑看作是一个形式语言,从而讨论这种形式语言的基本的性质。条件化模态逻辑的最大特点是把模态演算建立在演算的条件逻辑的基础上,它用条件蕴涵来定义可能、必然等模态算子,并在此基础上研究条件模态算子之间的关系,使它成为与古典模态逻辑既有联系又有区别的新的模态逻辑系统。     

逻辑方程求解初步

本文通过研究逻辑变量之间的函数关系,利用分解定理和函数最小项展开式理论,总结出求解逻辑方程的一般方法。     

C语言编程中应注意的几个问题

对C语言程序设计中可靠性和效率方面的几个问题进行了阐述。     

图书馆评估指标体系的逻辑构建

图书馆评估指标体系的构建原则 ,一是以满足社会文献信息需求的能力为评估主要标尺 ;二是过程评估与结果评估相结合 ;三是充分考虑资源的共建共享 ;四是要体现各评估指标间的逻辑关系。构建评估指标体系的逻辑过程 ,要确定体系最终要解决的问题 ,注重与满足社会文献信息能力的相关要素和文献资源保障效果。公式 3。图 2。参考文献 8。     

图书馆信息学的逻辑架构及历史轨迹:基于推理 与史实的学科独特性思考

20世纪后半叶至21世纪初,人类知识在信息领域出现了比较集中的增长和分化,形成了明显的信息相关学科群。面对新兴信息学科的挑战,本世纪的世界图书馆信息学（LIS）界主要采取了淡化自身独特性、强调学科交叉融合的发展策略。本文在质疑这一策略的基础上,旨在围绕彰显学科独特性实现三个目的:①梳理图书馆学和LIS共享的基础概念体系；②从上述概念体系出发,推导出与之相适应的学科逻辑架构；③从上述逻辑架构出发反观从传统图书馆学到LIS的历史轨迹,反思这一发展过程的内在必然性和不彻底性。本研究的结论主要建立在推理和对史实的思考之上。梳理出了包括数据、意义、知识、信息、文献、社会交流系统、图书馆、信息用户在内的学科基础概念,推导出由信息有效查询和有效获取相关问题主导的三层次（哲学相关理论、科学理论和技术）学科架构。从LIS的逻辑架构反观从传统图书馆学向LIS的演化轨迹,可以得出若干重要启示,包括:融贯的LIS比传统图书馆学更接近于这一逻辑架构,因而更适合作为统一学科立足于信息学科群；淡化自身独特性的发展战略有可能导致LIS更加偏离自身的逻辑架构,甚至有可能导致其解体；而一旦LIS解体,传统图书馆学的独立存在价值也难免受到削弱。与淡化自身独特性的发展策略相反,本文认为,通过在新信息环境中凸显自身独特性、重新定义信息有效查询与有效获取的含义,LIS有可能在维护自身统一性的前提下,拓展发展空间,并奠定与其他学科交叉渗透的稳固基石。图5。表1。参考文献56。     

逻辑论证对经典物理学的贡献

经典物理学的建立离不开逻辑论证的帮助,在这些论证方法中,归谬法、归纳法、类比法、反证法和排除法都对经典物理学作出过具有决定意义的贡献。     

语篇的逻辑连贯手段与语篇信息解码

重申了语篇的定义,从语篇逻辑连贯的角度分析了不同类型语篇的信息解码方式。     

论出版经济学研究的逻辑起点——出版产品的经济特质分析

出版产品的经济特质是出版经济学需要研究的首要问题,是出版经济学研究的逻辑起点和理论基点。将波普尔的＂三个世界＂理论、布迪厄的＂文化资本＂理论及加尔布雷思的＂知识资本＂学说引入出版经济学研究,对于深度分析出版产品的内容产品与文化商品属性具有重要价值。出版产品的经济属性受到技术、市场、制度、政策等因素的影响,现代社会需要公共产品与私人产品共存的出版业。     

反证法的七种形式

本文系统而全面地研讨了有关反证法的问题。     

试析性质命题与其负命题间的对当关系

目前,人们对对当关系的研究,主要在相同素材性质命题的对当关系、模态命题的对当关系、规范命题的对当关系以及复合命题的对当关系几个方面,性质命题与其负命题之间的对当关系从未涉及.事实上,相同素材的性质命题与其负命题之间也存在着对当关系,借助数理逻辑的真值表和逻辑方阵可知相同素材的性质命题与其负命题间共存在十六组对当关系.性质命题与其负命题间的对当关系的推断对简化思维程序、缩短思维时间具有一定的意义.