简介:双时间参数理论由贝尔纳普于2001年提出,该理论使用不同的语义解释参数构建以言行事行为的语境,以确定以言行事行为是否成功或者是否被满足。但是贝尔纳普在构建语境时忽略了地点这一重要的语境参数,这也导致了双时间参数理论对以言行事行为的成功以及满足条件的不完善刻画。由此我们尝试提出一个对双时间参数理论的改进方案。首先,我们在简要介绍双时间参数理论以及其中问题的基础上,给出修正方案的大体思路,即将双时间参数理论的基础由分支时间逻辑变为分支时空逻辑。其次,我们将介绍分支时空逻辑中的主要内容。再次,我们说明如何在分支时空逻辑上使用PSTIT算子刻画群体行动的问题。最后,我们将具体介绍对双时间参数理论的修正方案。
简介:早在公元6000多年前,中国先人就创造了以爻卦为命题形式,以八卦和六十四卦为体系的辩证逻辑形式演绎系统。此后,又给出了爻辞和卦辞的语义解释系统。后来,又给出了《易经》的语义和语用解释系统。它自古至今,长盛不衰,成为中国的传统逻辑、文化发展的活水源头。以互补结构整体思想的形式结构和推理有效式规律为研究对象的数理辩证逻辑,是以易经逻辑为其辩证逻辑基础的,它又是易经逻辑的一致性扩大系统。它为实现易经逻辑的现代化发展提供了现代逻辑形式化方法。本文给出的易经逻辑形式公理系统DPA++就是其现代化形式公理系统。
简介:本文从人类对外界认知的普遍现象入手展开分析,在论证过程中,严格遵守证明论进行论证。所运用的图像模型和数学分析随着论证的不断深入而梯次渐进,首先证明了思维在认知活动时以认知模态形式进行,然后逐层阐释了认知思维的基本特征;等价性和拟容性;揭示了人类思维中存在的不符合既往理论的矛盾关系;关联但恒不属于;论证了思维具有拟它化和变元相容的特殊能力,以及这种特殊能力中蕴含的特殊形式的数——虚数。正是由于这种特殊矛盾和特殊数的存在,使得以往人类文明没能解决认知思维中的许多问题。由大量的认知模态构成意识场。正是意识场的作用把人类的行为与外界联系起来,由外界环境、意识场和人类行为三者共同作用形成了社会场。在人类与外界相互作用与相互联系的整个链条中,人类运用思维的认知、拟它化和变元相容能力,以复数形式处理与外界的关系,达到了与外界相匹配的目的。人类以认知模态与外界相对应。本文既论证了认知思维的基础,同时又证明了虚数在思维中的存在。
简介:首先从马克思企业和工资市场定位理论出发,构建社会总消费需求模型。然后在马克思社会再生产两大部类平衡理论的基础上,构建消费对生产资料需求或投资需求的传递效应模型;并建立投资的倍加效应模型和投资的周期与增长统一模型,建立社会投资需求模型。最后,由社会消费需求模型和社会投资需求模型,建立社会总需求模型;由此可以说明国民收入决定经济周期与经济增长。在此基础上,从马克思价值、价格和货币理论出发,构建价格总水平上涨(inflation)模型。所有这些模型构成了一个系统的宏观经济模型,为解决我国经济建设中的现实问题提供了研究和决策的数理分析基础,推进了当代中国马克思主义政治经济学的建设。
简介:从理论的萌芽,到理论的形成,再到理论的基本完成,社会资本再生产理论是马克思创作时间最长,也是最后一个创作完成的经济学理论。马克思的社会资本再生产理论是一个未完成的开放的理论体系,需要继承马克思对待科学研究的批判精神和认真态度对其进行创新发展。
简介:在当前农民家庭的经济生活实践中,家庭伦理同农民家庭的现代化呈现出了有机的“亲和”关系。家庭伦理是传统儒家伦理在农民家庭中的基本表现,它提供了农民家庭经济活动的基本规范,并赋予农民的经济行动以意义,从而形塑了以伦理为本位的农民家庭经济组织。在这种以伦理为本位的农民家庭经济组织中,农民家庭根据不同成员在家庭中的关系地位和身份角色安排家庭分工,普遍形成了“半工半耕”的家庭经济结构。这使得农民家庭能够充分利用市场机会,合理配置家庭劳动力,以实现家庭收入最大化。同时。这也奠定了农民家庭现代化的基础。在家庭继替的过程中,随着家庭财富在代际之间的有序传递,子代家庭得以逐步实现现代化的财富积累。
简介:雷蒙·威廉斯、E.P.汤普森、理查德·霍加特等20世纪英国马克思主义美学家重视工人阶级与大众文化经验,在"文化与社会"的经验视角上建构了"文化马克思主义"的理论形态,在理论形式上则表征了一种理论与现实交互影响的经验性特性。"文化与社会"的传统、文化研究的经验与马克思主义理论内涵分别构成了20世纪英国马克思主义美学理论经验性的文化、美学与理论的内容,在文化经验分析与理论研究的张力形式中充分体现了其理论价值和影响,对于马克思主义美学的理论建设具有重要的启发。