论爱因斯坦逻辑简单性思想及其渊源

简单性作为科学家的信念,引起了不少哲学家和科学家的关注。爱因斯坦的逻辑简单性思想不仅是他的科学信念,而且也是科学认识的指导原则和科学研究方法论的基本准则,并且体现在他创立相对论的过程中。本文首先对爱因斯坦之前的简单性思想进行了梳理,为理解爱因斯坦逻辑简单性思想独创性奠定基础;其次,探讨了爱因斯坦逻辑简单性思想的丰富内涵及其对他创立相对论的影响,澄清一些模糊的认识;最后,分析了爱因斯坦逻辑简单性思想的来源,特别是斯宾诺莎哲学的影响,为人们理解哲学与科学之间的互动关系提供了具体的案例。     

试论经典逻辑与直觉主义逻辑系统的排中律

在对经典逻辑和直觉主义逻辑的原则或观点进行概括性分析的基础上,重点对经典逻辑与直觉主义逻辑之排中律进行对比分析。在经典逻辑系统内,作为逻辑“三律”（同一律、矛盾律、排中律）之一的排中律,是经典逻辑系统中的内定理,被认为具有普遍有效性。而在非经典逻辑系统,如直觉主义逻辑系统中,排中律则被认为是系统内不可证的,因而不是普遍有效的。     

数据起源请求协议的安全性分析与验证

数据起源记录的信息有可能揭露用户的隐私,因此对起源的安全保护特别重要。介绍了数据起源和可审计起源系统,从机密性和认证性两个方面对基于起源的审计结构中的数据请求协议进行了分析,改进了协议在起源记录过程中消息传输方式。介绍了BA N逻辑方法,应用BA N逻辑对协议进行了形式化的分析与验证,证明协议满足机密性和认证性要求。     

穿越认识论的历史时空——基于实践视角对马克思主义认识论及真、善、美的思考

认识论是关于认识如何发生发展的本质、规律和方法的学说。从古代认识论发展到近代认识论,马克思从根本上结束了以往人类认识史上的唯心主义和形而上学的认识论传统,开创了认识论的新发展。对马克思主义认识论,以实践思维方式和实践逻辑为根本特征的实践视角的解读是从真正意义上对马克思主义认识论科学实质的把握。基于实践视角对真、善、美进行理解与研究也是当代社会发展的现实诉求,是真正体现时代精神的课题。     

采用MarkⅡFPA方法进行软件规模度量

MarkⅡFPA是一种间接的、但比较准确的软件开发功能规模估算方法,是管理、控制和改进软件过程的基础,目前普遍用于MIS系统的功能规模度量,然而软件功能规模度量的重要意义没有被重视,也没有得到广泛应用.与传统的代码行度量相比,采用功能点作为软件规模度量单位具有准确一致的优点.本文对MarkⅡFPA方法的原理和计算步骤进行了理论阐述,并结合自己对MarkⅡFPA的认识,分析了MarkⅡFPA在软件开发中的作用.     

语丝拾粹

<正>科学赐予人类的最大礼物是什么呢?是使人类相信真理的力量。——康普顿科学真理的本性及其同价值的关系问题是现代西方哲学研究中分歧较大的一个重要问题。逻辑实证主义坚持科学的价值中立说,捍卫科学真理的独立性与纯洁性;科学历史主义则以科学的价值性否定其真     

逻辑学论证实践中的法律逻辑

在学界对法律逻辑共识的基础上,从认识论的角度探讨论证实践中的法律逻辑问题。主要探讨了论证实践的划分、论证实践的重点及法律逻辑在论证实践意义与有限性等问题。作为一门动态发展的工具,法律逻辑的根本旨要就在于对论证实践的贡献。     

逻辑元研究导论

借鉴希尔伯特、塔尔斯基的逻辑和语言层次论,以及傅伟勋的创造性诠释学方法,论述中国逻辑的历史演变。通过对逻辑元研究第一次高潮——战国名辩,到逻辑元研究第二次高潮——名辩现代观的论述,阐发从逻辑元典出发的元研究构想。     

储量增长预测模型的对比分析

在调研国内外油气储量增长趋势预测研究的基础上,分析了翁旋回、龚帕兹、逻辑斯谛和高斯模型中各参数的地质含义和对曲线形态的控制作用.应用以上4种模型对苏北盆地2006—2030年石油储量增长趋势进行了预测.在预测效果上,左偏型的翁旋回和龚帕兹模型比对称型的逻辑斯谛和高斯模型更符合我国含油气盆地的储量增长特点.     

基于预充电逻辑与掩码技术的功耗恒定性电路设计

对差分传输管预充电逻辑(differential pass-transistor precharge logic,DP2 L)的电路结构进行分析和模拟,发现其在不同输入信号条件下的功耗具有差异性,无法达到完全的功耗恒定.本文提出了改进后的新型DP2 L电路,并以此为基础引入掩码技术,提出了掩码型差分传输管预充电逻辑(m...