莱布尼茨的概念代数及其外延解释

根据传统的观点,莱布尼茨被视为数理逻辑的最伟大的前弗雷格先驱,但后人同时认为他的失败归之于他对三段论模式和主谓句法过于拘泥。这种近乎矛盾的说法无法解释莱布尼茨既是弗雷格的伟大先驱,同时又是传统三段论的集大成者的历史事实。莱布尼茨作为一位逻辑巨人的历史地位是建立在他对古老三段论的隐藏力量和范围继承及发展的基础上的,正是这种继承和发展决定了他比同时代的任何人都更加清晰地预见了新逻辑的诞生。莱布尼茨的概念代数就是这样一个承上启下的系统,但由于种种原因,这一承启作用只体现于逻辑史的重构中。     

系统运行全部反馈环关键因果链分析法——以转型期火力发电系统实践为例

本文新建了系统运行全部反馈环关键因果链分析法， 此方法紧密联系系统实际， 首先用逐层法建立前期流率基本入树模型， 建立系统的（反馈网络）流图模型； 接着， 用枝向量行列式反馈环计算方法计算出系统的全部反馈环； 然后， 又紧密联系系统发展中的实际问题， 对全部反馈环逐条进行反馈环的因果链分析， 揭 示产生问题的不协调的全部制约因果链， 以及促进核心因果链， 建立关键因果链集合， 生成管理对策， 并促进对策实施. 实践证明， 系统运行全部反馈环分析法 是一个有效的系统分析新方法.     

权力在法律解释中的合理规制--关于强制措施法律解释的分析

在刑事诉讼中，犯罪嫌疑人、被告人的诉讼权利在强制措施适用中最容易受到侵犯，司法机关必须根据司法实践进行相应解释，才能实现条文内容的细化与明确化，切实增强强制措施的可操作性。有关部门对强制措施的解释起到了积极的作用，但也存在权力的扩张、解释不充分等不足之处，应坚持严格限制部门扩权、体现权利保障、细化程序性规则及做好部门之间权力的衔接与协调，并且通过解释权力主体之间的制约以及诉讼权利的制约实现解释权力的合理规则。     

“中层性质”的因果力与稳健性论证

"中层性质",例如化学、生物学、生态学等特殊科学关涉的物的性质,是否具有因果力,向来是科学哲学中还原主义与反还原主义争论的焦点问题。在为中层性质拥有自发的、不可还原的因果力辩护的论证当中,基于干预主义因果理论的稳健性论证,相较于传统论证具有一定的优势:中层性质的因果力来自于中层的因果共变的稳健性,因而独立于底层,进而能够回应因果排他问题。但进一步分析稳健性论证所提供的案例表明,事实上,稳健性所依赖的中层性质对底层性质的反馈性约束作用才是中层性质具有因果力的关键理由,然而该反馈性约束作用不普遍适用于所有的中层性质;换言之,并非所有中层性质都具有独特的因果力。     

营改增后建筑工程项目投标报价影响因素分析

营改增后建筑工程项目投标报价发生较大变化,涉及因素较多﹒通过政策分析和文献归纳整理出15项影响投标报价的因素,但由于影响因素之间主次关系和层级不明确,利用解释结构模型的思想,通过调查问卷判定营改增后投标报价影响因素的二元关系,建立邻接矩阵和可达矩阵,并根据影响因素之间的强弱关系进行层级划分得出骨架矩阵,最后得出营改增后投标报价解释结构图﹒结果表明:营改增后投标报价的影响因素共分为6级,明确了直接影响因素、中间影响因素和根本影响因素和其层级关系.     

带有测量误差协变量和 不可观测反应变量下的因果推断

在反应变量不可观测且协变量带有测量误差的条件下,提出了平均因果效应计算的一个方法.给出了该方法下平均因果效应平方的偏差表达式,并进一步指出该偏差的影响因素.通过模拟实验,具体分析了各因素对偏差的影响大小和方向,为实际应用提供一定的参考.     

具有多个中介变量的中介效应估计①

因果中介分析是调查自变量通过中介变量对因变量的影响,以揭示其因果机制。近年来,中介分析研究成果越来越多,但主要针对一个中介变量模型。面对多个中介变量的复杂情况,构造了具有多个中介变量的中介模型,提出了中介效应的估计,并对直接效应和间接效应进行了模拟研究,模拟结果表明提出的估计效果良好。     

实在论、反实在论与准实在论——当代西方解释休谟因果观的三种立场

围绕着休谟是否承认外部世界中存在着因果关系这个问题,当代西方休谟研究者形成了三种立场:实在论、反实在论与准实在论。实在论者认为休谟是一位因果实在论者,休谟主张外部世界中存在着因果力量和必然联系,对休谟的因果观作出了新的解释;反实在论者坚持传统的观点,从休谟的观念理论及其复现原则出发论证了休谟否认客观因果关系的存在;而准实在论者则试图调和实在论与反实在论之争,以投射论来说明休谟的因果观介于实在论与反实在论之间。实在论、反实在论与准实在论都缺乏根本的说服力,但其探索和争论深化了人们对休谟因果观的研究和理解,推动了休谟哲学的研究。     

抽象解释全总域模型

抽象解释自1977年提出后,许多作者做了大量工作,将抽象解释理论应用于程序分析和验证研究等领域.本文为有关抽象解释论述构造了一个统一模型,称为抽象解释的全总域模型,目前现存的有关抽象解释文献所采取的框架都相容于全总域模型,且是等价的.在此基础上,我们还提出有关抽象解释理论需要解决的几个基本问题.模型和问题都可以作为今后抽象解释理论发展的参考基点.