一个用于表达因果关系的ATL的扩展

CTL模型检测技术已被广泛应用于形式验证领域。交互时态逻辑（ATL）是对CTL的一个扩展,用于表达多主体博弈结构上的性质。ATL使用合作算子来表达多个主体能够通过合作保证系统的设计目标。在实际应用中,我们需要知道主体的行动与系统的输出状态之间具有因果关系。在本文中,我们通过引入新的模态算子扩展ATL,使得这种因果关系得到表达。我们使用两种方式的扩展。其中之一是从主体的能力出发,直观上,如果一些主体可以通过合作的行动来保证系统进入某个状态,同时,这些主体也可以通过合作的行动保证系统不进入这个状态,则这些主体的行动与该系统状态间具有更强的因果关系。我们使用的另一种方式是从系统状态出发。我们考虑要想使系统进入某状态,哪些主体的行动的必不可少的,哪些主体的行动是充分的但非必要的条件。在本文中,我们扩展后的逻辑CATL和SATL表达力强于ATL,但计算复杂性与ATL相同。     

范本特姆《逻辑、语言和认知》书介

“逻辑之门——约翰·范本特姆经典著作”是由荷兰阿姆斯特丹大学资助的翻译项目。该项目的成果以丛书形式由科学出版社出版,刘奋荣任丛书主编。《逻辑、语言和认知》为丛书第二卷,由刘新文和郭美云任主编。第二卷全书由17篇范本特姆（van Benthem,LEA．K．）撰写的论文组成,这些论文写作的时间从1983年开始至今,时间跨度达25年。按照研究的主题的不同,     

《易经》:人类科学思维和审美思维方式的精典阐释

一本诞生于五千年前的中国古书《易经》,已经包含着深刻的现代科学数理逻辑原理,且与美学的审美逻辑原理互为支持、互为表里,使这两大类本来被认为水火不相容的领域及其独具的思维方式得到了高度完善统一的阐释。从这样的角度来看《易经》,也许会有助于目前心理学界对思维方式及逻辑问题的研究,拓开一条崭新的思路。     

伽达默尔的对话诠释学何以不是相对主义的——基于对问答逻辑的再思考

伽达默尔的对话诠释学由于强调理解者的处境性和差异性而提出“不同地理解”的诠释学方案,这使得它在学界通常面临某种相对主义指责。从对话的具体实行方式亦即问答逻辑出发,可以针对相对主义指责为伽达默尔辩护。在对文本的理解和解释中,问题源于文本自身,并激发着阐释者提出自己的问题。语言作为原初发问者,构成了文本诠释学和对话诠释学的媒介,并保证了理解活动的公共性和普遍性,从而有效地防御理解活动中的相对主义。尽管如此,作为公共之物的语言并不会妨碍回答者的能动性和创造性,它使得理解既是开放的又并非任意的。     

全面系统掌握“六个必须坚持” 做好新疆宗教工作

<正>习近平新时代中国特色社会主义思想是内涵丰富、系统完备、逻辑严密的思想体系,蕴含着鲜明的立场观点方法。党的二十大报告把习近平新时代中国特色社会主义思想的世界观和方法论精辟概括为“六个必须坚持”,即必须坚持人民至上、坚持自信自立、坚持守正创新、坚持问题导向、坚持系统观念、坚持胸怀天下。全面系统掌握习近平新时代中国特色社会主义思想的世界观、方法论对于指导做好新疆宗教工作具有重要意义。     

资本权力的运作逻辑——在马克思的视野中

资本掌控了支配现代资本世界的强大力量,在现实权力架构中处于核心地位。在其生命周期内,资本权力循环往复地生成、扩张和再生,形成相当完整的权力运作逻辑。资本天生具有致富欲、剥削欲和统治欲,从而天生就具有权力欲,必然为自己争取权力。和权力具有同源性或同构性,也是资本拥有权力的重要条件。资本之所以能够掌握权力,根本原因在于它掌控了包括剩余劳动在内的人类物质劳动。资本不仅渴望而且总是实际地力图扩大自己统治的权力。增殖-积累逻辑构成资本反复获得进而扩大自身权力的强大动因。资本的权力扩张和价值增殖是同一个过程。在扩张之后,资本的权力源源不断地再生出来,从而周而复始地呈现出生成-扩张-再生的动态过程。只要资本作为主导性的生产关系再生出来,这种支配性的权力作为其内在的、固有的力量,就势所必然地再生出来。     

儒家“孝”伦理的逻辑运行路径研究

在中国传统社会,儒家"孝"伦理不仅有其漫长的历史发展过程,而且在这一历史过程中更为突显的是其逻辑运行路径,它将儒家"孝"伦理从关系建构到伦理原理、道德法则、行为规范、个体德性直至最后的个人得失贯穿一体。在这一过程中,首先是由"伦"至"理"的逻辑运行,实际上也就是以孝为本的伦理实体建构过程;其次是由"道"至"德"的逻辑运行,也即以孝为本的道德自我建构过程;最后是由"德"至"得"的逻辑运行,也即儒家"孝"伦理的现实外化过程。由此,形成一个由现实的亲子血缘关系出发,最后又回归现实生活的逻辑运行路径。     

唯物史观的精神内核及其生成逻辑

唯物史观的精神内核内嵌于“历史具体”中,这种历史观始终站在现实历史的基础上。唯心史观以精神的历史来取代现实的历史,把“世界精神”当成历史的真正主体,其结果必将导致现实的历史被虚无化。马克思基于对劳动问题的探索,通过思维具体实现了历史具体,从而跨越了思辨的深渊,打开了一条通往社会现实的道路。只有深入“资本主义生产方式以及和它相适应的生产关系和交换关系”中,才能使唯物史观的基本原理由思维抽象走向思维具体,从而实证地揭示出资本主义生产方式的历史过渡性和暂时性,论证社会主义取代资本主义的历史必然性。     

“是本身”与“上帝是”－－“是”的存在涵义探寻

亚里士多德提出研究“是本身”(或“作为是的是”),开创了形而上学的研究。“存在”是一个与“是”不同的概念,却是在“是”的研究过程中发展产生的。有关存在问题的许多思想是在现代产生形成的,但是作为一个概念,它却是在中世纪被明确提出并确定下来。我们可以简单地说,中世纪哲学(1)继承了亚里士多德传统,发展出关于存在的论述。但是实际上,这里存在着     

科学心理学的观念与人文科学的逻辑奠基

科学心理学观念的普遍兴起,是19世纪中叶错综复杂的思想史背景的产物。只有在人类思想及其历史作为整体的关系背景中,才能澄清这个观念的内在本性。也只有在系统地接受这个背景的制约关系中,这个观念才能获得其真理的实现。能否在人类思想作为整体中胜任并执行其理论职能,成为我们检验一种心理学体系之真理性的途径之一:科学心理学观念只有实现为现象学心理学,才能执行其为人文科学奠基的逻辑职能; 反之亦然。这个关系还从否定方面暗示着,一切以异化的形式实现的心理学,都不可能真正承担起为人文科学奠基的逻辑职能,并因而违背了我们的常识。