简介:双时间参数理论由贝尔纳普于2001年提出,该理论使用不同的语义解释参数构建以言行事行为的语境,以确定以言行事行为是否成功或者是否被满足。但是贝尔纳普在构建语境时忽略了地点这一重要的语境参数,这也导致了双时间参数理论对以言行事行为的成功以及满足条件的不完善刻画。由此我们尝试提出一个对双时间参数理论的改进方案。首先,我们在简要介绍双时间参数理论以及其中问题的基础上,给出修正方案的大体思路,即将双时间参数理论的基础由分支时间逻辑变为分支时空逻辑。其次,我们将介绍分支时空逻辑中的主要内容。再次,我们说明如何在分支时空逻辑上使用PSTIT算子刻画群体行动的问题。最后,我们将具体介绍对双时间参数理论的修正方案。
简介:早在公元6000多年前,中国先人就创造了以爻卦为命题形式,以八卦和六十四卦为体系的辩证逻辑形式演绎系统。此后,又给出了爻辞和卦辞的语义解释系统。后来,又给出了《易经》的语义和语用解释系统。它自古至今,长盛不衰,成为中国的传统逻辑、文化发展的活水源头。以互补结构整体思想的形式结构和推理有效式规律为研究对象的数理辩证逻辑,是以易经逻辑为其辩证逻辑基础的,它又是易经逻辑的一致性扩大系统。它为实现易经逻辑的现代化发展提供了现代逻辑形式化方法。本文给出的易经逻辑形式公理系统DPA++就是其现代化形式公理系统。
简介:本文从人类对外界认知的普遍现象入手展开分析,在论证过程中,严格遵守证明论进行论证。所运用的图像模型和数学分析随着论证的不断深入而梯次渐进,首先证明了思维在认知活动时以认知模态形式进行,然后逐层阐释了认知思维的基本特征;等价性和拟容性;揭示了人类思维中存在的不符合既往理论的矛盾关系;关联但恒不属于;论证了思维具有拟它化和变元相容的特殊能力,以及这种特殊能力中蕴含的特殊形式的数——虚数。正是由于这种特殊矛盾和特殊数的存在,使得以往人类文明没能解决认知思维中的许多问题。由大量的认知模态构成意识场。正是意识场的作用把人类的行为与外界联系起来,由外界环境、意识场和人类行为三者共同作用形成了社会场。在人类与外界相互作用与相互联系的整个链条中,人类运用思维的认知、拟它化和变元相容能力,以复数形式处理与外界的关系,达到了与外界相匹配的目的。人类以认知模态与外界相对应。本文既论证了认知思维的基础,同时又证明了虚数在思维中的存在。
简介:首先从马克思企业和工资市场定位理论出发,构建社会总消费需求模型。然后在马克思社会再生产两大部类平衡理论的基础上,构建消费对生产资料需求或投资需求的传递效应模型;并建立投资的倍加效应模型和投资的周期与增长统一模型,建立社会投资需求模型。最后,由社会消费需求模型和社会投资需求模型,建立社会总需求模型;由此可以说明国民收入决定经济周期与经济增长。在此基础上,从马克思价值、价格和货币理论出发,构建价格总水平上涨(inflation)模型。所有这些模型构成了一个系统的宏观经济模型,为解决我国经济建设中的现实问题提供了研究和决策的数理分析基础,推进了当代中国马克思主义政治经济学的建设。
简介:通过两个实验就视觉系统能否像计算平均数那样高效地计算其他统计量的问题进行了探讨。实验—保持—组圆的平均大小不变而改变众数,考察平均数估计是否受众数变化的影响;实验二采用与实验一相同的刺激,直接考察被试估计众数的绩效。结果发现:(1)对平均数的估计不受总体众数变化的影响;(2)对众数的估计往往不如对平均数的估计准确,估计值受平均数变化的影响;(3)在估计众数的任务中,被试成绩受总体极大值的影响。上述结果表明,视觉系统不存在针对众数的自动化加工机制。根据本实验的结果可以进一步推测,视觉系统并非对所有统计量都可做高效加工,而可能存在针对平均数的特异加工机制。
简介:杰里米·边沁(JeremyBentham)在他的功利主义理论中提出了苦乐计算法,要求对快乐和痛苦的值进行量的估算,从而较精确地估算出任何一个行动或事件所造成的苦乐倾向,并且最终通过对苦乐估算的结果来让人们选择出能给大多数人带来最大快乐的行动方案,让政府制定出能给大多数人带来最大快乐的政策。但是,他的这一苦乐计算法却遭到了后世一些哲学家们的批评和诘难,自称为边沁继承者的约翰·斯图亚特·密尔(JohnStuartMill)对此进行了一些反驳,并对边沁的苦乐计算进行了局部修改,将只有量的区别的快乐拓展为既有量的区别又有质的区别的快乐,将其粗糙的'快乐'概念进行了精致化的改造,并提出'幸福'是一个比'快乐'更加丰富的概念。但是,密尔在理论上所进行的这些细枝末节的修改并未将边沁的苦乐计算法从众多的批评中解救出来,在实际的估算过程中,功利主义的苦乐计算法仍然面临着实践的困境。