逻辑演算与形式化方法

逻辑演算对推理形式有效性的研究 ,比传统逻辑更抽象、更严格 ,其原因是形式化方法的运用。形式化方法包括构造形式系统 (语法的 )和对该系统进行解释 (语义的 )两个阶段。以一阶逻辑演算KL 系统为例 ,形式化方法的前期阶段 ,又包括符号化和系统化两个步骤 :符号化是用特制的人工语言符号将推理形式或演绎关系公式化 ;系统化是在符号化基础上构造形式系统 ,即用系统给定的公理和变形规则推导出一系列定理的形式证明系统 ,这是逻辑演算的主要内容。形式化方法的后期阶段或第三步骤是对系统的解释 ,也称模型化。经过解释 ,该系统的符号、公式有了内涵 ,从而就有了更普遍的适用价值。纯形式的逻辑演算的性质、意义和作用也因此变得十分清晰     

我国黄金期货价格波动率预测研究：来自模型缩减方法的新证据

黄金作为重要的避险资产,对其价格波动的定量描述和预测对于各类投资者的风险管理决策意义重大。基于标准回归预测模型,采用主成分分析、组合预测和两种主流的模型缩减方法(Elastic net 和Lasso)构建新的波动率预测模型,探究哪种方法能够更有效地利用多个预测因子信息。进一步,运用模型信度集合(model confidence set,MCS)、样本外R2和方向测试(Direction-of-Change,DoC)三种评价方法检验新模型的样本外预测精度。实证结果显示：不论是基于哪一种评价方法,相比其它竞争模型,两种缩减模型的样本外预测精度均为最优,可以为我国黄金期货价格的波动率预测提供可靠保障。     

马克思对“资本正义”的批判性考察及历史指向

“资本正义”实质上是资本雇佣劳动的非正义。马克思对“资本正义”的批判性考察包含着双重原则：阶级性和历史性。在阶级性上，资产阶级的“正义”表现为无产阶级的非正义；在历史性上，资本主义社会的生产方式呈现一定的正义性，正义是历史性和阶级性的辩证统一。马克思通过对“资本正义”三重维度的解读，破除了“资本正义”的幻想。资本的自反性表明：当资本发展到一定阶段，必将进入自我否定的环节，“资本正义”将不复存在。经过批判性改造，“资本正义”成为展开历史性革命的有力武器，劳动正义也由此正式登场。     

上海市郊区公共交通发展问题研究

该文分析了上海市郊区公交发展的现状与问题、需求与机遇,阐述了郊区公交的功能定位与发展目标以及实现郊区公交一体化发展的主要对策。