历史“过程原理”的时间逻辑探赜

历史“过程原理”,是马克思恩格斯唯物史观的重要内容。它着眼于历史发展过程,在系统与过程、过程与阶段、结构与趋势的时空统一中考察和说明社会运行机制。历史过程是时间推移中的社会演进,其规律是社会运行机制与时间逻辑的复合。深化“过程原理”研究,旨在通过对社会过程演绎的动量结构、发展趋势与起承转合法则予以时间逻辑解释,借以推进历史辩证法的理性具体发展。

数字表型视域下的健康数据确权:基于时间逻辑的展开

健康数据的价值生成具有历时性的特征。数据确权的空间逻辑意识到了健康数据的公共价值,但是忽略了这种公共价值的生成与彰显可能需要经历长时间的积累。提倡健康数据确权的时间逻辑,就是要克服空间逻辑在确权问题上的即时性思考。数据价值在时间链条上的延伸得益于对健康数据的关系性解读,数据的当前使用与未来使用表征为数据与多个主体之间的“依附”与“分离”,由此赋予了数据以新的时间性。这意味着健康数据确权需要将数据价值的未来面向考虑进来。在此基础上,时间逻辑的践行需要代际义务、团结伦理的引导,同时强化规则的预防功能。

从后殖民视角看美国电影塑造“东方”的时间逻辑

纵观涉及东方题材的美国电影,几乎全部都会把故事时间拉回到遥远的过去,而对现代东方或是视而不见,或是采取凝固化处理。美国电影一方面在现代性观念秩序中反复锻造停滞的东方形象,另一方面又借助停滞的东方形象来反证"西方中心"的现代性观念秩序。作为一种权力话语,停滞的东方形象在美国电影中固定下来,成为构建西方现代性身份的必要成分,并参与到新一轮帝国主义意识形态的扩张过程中去。

时间逻辑学的创立、历史及其研究意义

时间逻辑是研究包含时间因素的命题及推理的哲学逻辑的一个分支。它在传统逻辑的基础上引入了时间算子,丰富了普通命题逻辑,从而克服了传统逻辑不能有效地描述或者处理事件在时间上的关系的不足。对逻辑学、哲学、语言学、计算机以及人工智能的研究和发展,有着重要的理论意义和实际应用。

病理写作中的时间逻辑

时间逻辑是现代应用逻辑的一个重要分支。它在自然语言研究、现代科学技术研究及现代管理研究中，有着广泛应用。病理写作是病理科学研究的表达，从选题、设计、实旅过程到结果分析．都是在时间这一维上展开的：在判断与推理过程中，时间逻辑的混乱都将导致错误的结论；具体写作主要是应用自然语言进行文字表达，也离不开时间逻辑的应用。

创新规制的时间逻辑

创新既是人类社会进步的动力,也是破除旧制度弊端的良药,因此创新规制是人类社会恒久的话题。创新规制之所以复杂和繁难,源于创新一直处于变动不居之中,规制者需“捕捉”动态并适时妥当回应,过早或过迟规制都难以达成规制目标。要实现促进创新健康发展的规制效果,妥当的规制内容和适当的规制时机都必不可少。但令人遗憾的是,创新规制中时间要素的重要性被严重忽略。在数字时代背景下,创新规制时机的抉择更为重要,对时间要素的忽略尤为影响创新规制效果。创新和规制都具有两面性,创新处于发展变化之中,规制策略具有灵活多变性而规制方式也具有多样性,因此针对不同的创新,灵活规制内容的因时制宜颇具难度。基于规制理论与时间结合的视角,可以在一般规律层面探究创新规制具体措施的起始、转换和终结的时间逻辑标准,进而厘定创新规制内容起始、转换和终结的妥当时机。

过去从未来开始——课程的时间性、时间逻辑与时间意义

课程是时间的积极存在,它假设和验证人的生命的尺度,重构和扩张人的发展的空间。课程的时间性具有现实性、社会性和理想性三个维度。课程应该让人“亲在”,按照自我和理解来领悟环境、体会自身,进而更好地改造和存在于群体与环境;并“生产”时间,创生生命,拓展人的发展空间。课程的时间意义由此产生:围绕“时间是人的积极存在”,节约、重构和生产时间,从效率到效益,从规则到理想,从具身到本身,让人更快、更好地抵达“自由王国”。

时间逻辑

第二章古代和中世纪的时间逻辑一时间逻辑的历史时间逻辑作为形式逻辑学,真正开始得到研究,是在第二次世界大战以后,研究的时间很短,是目前发展中的新领域。其中,时态逻辑由布赖、利西亚、波尔等学者在一定程度上完成了公理体系。但是,时相和时间顺序的逻辑,并不是由逻辑学家,而是由电工学家作为顺序电路来从事研究的。把时间逻辑作为逻辑学来作论著的,只有笔者的尝试。

时间逻辑

前言本书研究和分析时间、时态、时相,时间顺序等及其逻辑结构。研究中,虽然主要定理都是用符号来表示的,但是避免了对每个定理的数式证明和公理系统,专以图表或例示来加以说明。这就遵循了本丛书的一般宗旨,较为明白易懂。(注)

系统如何转向时间逻辑?

CEO蒋春宇要将信息系统从基于物料逻辑转向基于时间逻辑,信息主管毛伟生不知道通过什么手段和方法来构建这个基于时间逻辑的信息系统?

基于时间逻辑的航天器控制系统故障诊断的深层知识表示方法

本文介绍了一种关于时间逻辑的知识表示方法,引入了特征量属性及动态框架、事件、衍生事件的概念,给出了与时间有关的事件及包含事件间时间逻辑关系的衍生事件的表示方法。并将它们应用于航天器控制系统实时故障诊断专家系统中,这一研究是对时变系统深层知识表示方法的新探索。

中央苏区思想政治教育时间的结构呈现与当代价值论析

中央苏区思想政治教育时间的内在逻辑及结构呈现,深刻揭示了中央苏区对思想政治教育的探索与实践规律,深度照显了中央苏区思想政治教育的当代价值。从思想政治教育的时间逻辑出发,中央苏区的创建和发展为其思想政治教育的时空拓展提供了生成土壤与前行动力,标定了中央苏区思想政治教育的具体目标与发展进向,推进了中央苏区思想政治教育的“在地化”运行。就思想政治教育时间的结构呈现而言,中央苏区的思想政治教育是在民族时间与社会时间的耦合共生中展开的,深刻蕴含着时间节点与未来向度的线性铺排,最终实现了个体时空与社会时空的协奏共进。从时间维度考察中央苏区思想政治教育,对于审度民族复兴背景下思想政治教育的时间要求、省思中央苏区思想政治教育方法的时代启益、澄明当下思想政治教育价值实现的重要遵循等具有鲜明的当代价值。

资本的时间逻辑

时间作为人类社会存在的基本形式,规范着人们的生存实践的心理结构。通过对历史逻辑的内在环节加以整理和连结,就会在建构西方文明的诸多的共相中发现"时间"、"资本"这两个重要概念,探讨时间观念的转变与资本逻辑的内在联系,就能揭示时间观与资本的互动对历史进程的影响。对资本时间逻辑的考察,对资本的绝对、永恒的虚假性的揭示,对未来理想社会取代资本主义社会的历史发展逻辑及当下的经济生活现象予以思考,探讨时空观与资本观的内在逻辑,有助于形成理解资本化、资本全球化和社会发展进程的思路。

班级时间管理的逻辑——班主任专业成长尽在班级时间的淬炼中

班级是师生时间存在的共同家园,班主任需要在班级时间管理的逻辑中发现适合自己的时间管理方法,提高时间管理的效力,走向时间管理的自觉。班主任的专业成长不能离开班级的时间场域,在班级时间的淬炼中做"智慧"与"自在"的班主任。

整体计算与局部计算的时间素描——电子音乐作品《阵》之时间逻辑与材料布局

在时间逻辑中进行材料布局是电子音乐作曲中常见的发展手段之一。大部分现代作曲家作品都会有自己的时间逻辑，并在自己设计的时间逻辑中进行材料布局发展作品，本文以分析电子音乐作品《阵》为例，进一步解析现代电子音乐作曲的这一技法。

互联网时代教育的时间逻辑

互联网时代,时间越来越成为各类教育主体争夺的"第一资源"。教育时间是个人性存在,教育是由一个个的现在、当下、时机、契机在流通中组成的情境连续体,每一个教育活动都与时间消耗天然地联系在一起,教育的发生是时间性的。教育的发生在于内在时间意识的转化,个体的生命时间是教育的唯一尺度,教育活动要依循生命的节奏进行,人类的教育活动存在共时性现象。互联网时代教育时间运行方式的变化,改变了教育时间的利用方式,改变了教育的共时性特征,改变了教育的即时性特点,改变了学生对自由时间的支配权。教育要遵循生命的时间打开方式,不夺时,安时而处顺,学会闲暇。技术改变不了时间的运行,改变不了教育的时间逻辑。

离散时间区间时序逻辑可满足性的判定

目前还没有模型检查的方法自动检测模型是否满足时间区间时序逻辑描述的性质.我们约束时间域到离散时间,证明了离散时间区间时序逻辑的可满足性是可判定的,因而是可模型检查的.提出了时间正则图模型,通过从离散时间区间时序逻辑到时间正则图的构造,提出了基于该逻辑的判定算法,该算法可以推广到其它的时序逻辑模型检查,并优于现有的基于自动机的时序逻辑判定方法.

面向逻辑执行时间模型的Minicore的内存管理

随着实时系统在时间关键和安全关键的行业的广泛应用,程序的时间属性受到越来越广泛的关注.Henzinger提出了LET(Logical Execution Time)编程模型,提供了明确描述时间属性的机制,确保了系统的时间确定性.但传统的实时操作系统模型采用了与LET截然不同的抽象,难以很好地支持LET编程模型.Minicore是一种新型操作系统模型,程序由一组内部没有同步点的服务组成,具有较好的时间确定性和可控性,与LET编程模型的思想更吻合.将LET的控制模型和Minicore的运行模型相结合,可形成一种具有时间确定性的新型编程框架.主要描述了该框架的内存管理机制的设计和实现.文末以智能小车控制系统的实现作为研究实例验证本系统的可行性.

基于时间区间时序逻辑的实时系统统一模型检测

在同一个逻辑框架内无法自动验证实时区间模型的实时区间性质。为此,该文使用一个离散时间区间时序逻辑公式建立实时系统模型,使用另一个离散时间区间时序逻辑公式描述实时系统需要满足的性质,在此基础上,离散时间区间时序逻辑统一模型检测问题即可归约为目前已解决的离散时间区间时序逻辑可满足性判定问题。该文证明了新方法的有效性以及正确性,为区间实时逻辑这一类的模型检测问题提供了方法。

时间区间时序逻辑的判定性与表达能力

模型检测技术在实时系统验证中被广泛使用。离散时间区间时序逻辑满足性是可判定的,因而也是可模型检测的。连续时间域时间区间时序逻辑是否可模型检测,则并不清楚。约束时间域到非负实数,证明了其可满足性是不可判定的,但存在该逻辑的可判定子集,并发现了这样的子集。由于模型检测问题可归约为时序逻辑满足性判定问题,因此结果表明,时间区间时序逻辑不可模型检测,但其可判定子集可模型检测。