对形式逻辑形而上学性的否定实际上是对自身的否定——形而上学方法论(之三)

本文以逻辑学的研究对象为起点,提出无论是辩证逻辑还是形式逻辑,其本质都是形而上学的。文章着重从形式逻辑的概念、判断、推理、论证和同一律、矛盾律、排中律进行逐一分析,归纳出对形式逻辑形而上学性的否定实际上是对自身的否定。并认为人们之所以普遍地否认形式逻辑的形而上学性,主要根源于我们过去对形而上学的误解,只要消除这种误解,作为形而上学方法论运用最普遍、最明显也最切近的逻辑学,尤其是形式逻辑才能真正地成为科学的工具为科学服务。     

一类半线性二维积分微分方程

考虑线性粘弹性板振动所引出的半线性积分微分方程的初边值问题，通过解的先验估计利用Leary-schauder不动点定理在某些条件下得到了初边值问题锵的存在唯一性。     

半被动双足机器人的行走控制及设计

研究了半被动双足机器人的平面稳定行走控制及设计实现。采用欧拉-拉格朗日方法及动量矩守恒定律分别得到摆动腿摆动阶段的动力学方程及碰撞前后的切换模型。每个行走周期初始,在支撑腿脚后跟施加脉冲推力作为行走的动力源,通过求解摆动腿摆动阶段的线性化方程,获得脉冲推力的初值,采用二阶迭代学习控制算法对脉冲推力进行修正。在理论分析的基础上,分别在Matlab环境下及双足机器人实验装置中进行了仿真及实验研究。仿真及实验结果表明:和一阶迭代学习控制算法相比,文中所提算法具有更快的收敛速度,可以实现双足机器人平面上的稳定周期行走,具有稳定的极限环。且雅可比矩阵的特征值均位于单位圆内,满足系统的稳定条件。     

由马克思"重新建立个人所有制"论述引发的思考

本文从五个问题对经典马克思主义作出了思考:(一)"重新建立个人所有制"与"消灭私有制"有差异;(二)资本主义占有方式之否定之否定。(三)资本主义生产准备着自身的灭亡,这种自我否定包含了自我调节。(四)恩格斯不是"和平长入社会主义"的首倡者。(五)和平过渡往何处去?     

英语中的否定与否定转移

英语和汉语这两种语言在表达否定意义时差异较大。英语中的否定及否定转移现象不应忽略 ,否则意义会被误解。     

半结构化数据OEM图的获取及应用

探讨如何从数据集成，电子文档及web网页三种数据源中获取描述数据半结构化特性的有向标注图（OEM图），并例举了半结构化数据的实际应用。     

论郭沫若的生命观

从"五四"时期的诗歌到40年代的历史剧,郭沫若的文学创作始终饱含着一股强烈的生命意识,贯穿着对生命终极意义的追寻与探索.早期以<女神>为代表,诗人以澎湃激荡的浪漫主义情怀不遗余力地张扬自我的生命意志,高歌破坏与创造的生命力,通过对生命的否定之否定,追求"一切的一与一的一切"的融合与永恒,但他这种以个性解放为基调的热烈追求不可避免地要导引到一种悲剧的情境中去.     

问题在于改变世界——论奥尔曼“内在关系的辩证法”对阿多诺“否定的辩证法”的超越

奥尔曼“内在关系的辩证法”超越阿多诺“否定的辩证法”的地方至少表现在三个方面：后者仅仅在批判资本主义旧世界，而前者却不仅在批判资本主义旧世界，更在发现社会主义和共产主义新世界；后者失去了对社会主义必然性的信心，而前者却再次论证了马克思“两个必然”的结论；后者对资本主义的批判和否定只是一种理论上的批判和否定，而前者则不仅从理论上对资本主义进行分析和批判，而且要求在实践上进行这种批判。     

半无限弹性地基上的箱涵内力计算

本计算方法是以弹性力学平面应变问题为理论基础,把结构和地基看作一个整体,采用不同的E和μ,用有限元法计算,然后把地基反力作为荷载加在结构上,算出结构各截面的内力。此方法比以往计算方法更接近实际情况。     

"笑学"可笑吗——关于《金瓶梅》作者研究问题的看法

<金瓶梅>作者研究久盛不衰,新说不断,成绩不小,但也有论者对<金瓶梅>作者研究持否定态度,甚至认为是一种"非常可笑的"、"不科学的""笑学".<金瓶梅>作者研究目前的确存在不少问题,但是,无论从考证"前提"还是考证方法来看,其研究工作都不是一条死胡同.<金瓶梅>作者研究的意义不仅限于作者本身,还在于以此推动了一系列相关领域、相关问题研究的深入.