学科分类
/ 1
6 个结果
  • 简介:时间参数理论由贝尔纳普于2001年提出,该理论使用不同的语义解释参数构建以言行事行为的语境,以确定以言行事行为是否成功或者是否被满足。但是贝尔纳普在构建语境时忽略了地点这一重要的语境参数,这也导致了时间参数理论对以言行事行为的成功以及满足条件的不完善刻画。由此我们尝试提出一个对时间参数理论的改进方案。首先,我们在简要介绍时间参数理论以及其中问题的基础上,给出修正方案的大体思路,即将时间参数理论的基础由分支时间逻辑变为分支时空逻辑。其次,我们将介绍分支时空逻辑中的主要内容。再次,我们说明如何在分支时空逻辑上使用PSTIT算子刻画群体行动的问题。最后,我们将具体介绍对时间参数理论的修正方案。

  • 标签: 时间参数 时间逻辑 行事行为 2001年 语义解释 群体行动
  • 简介:本文在挖掘道书文献新史料的基础上,就中国传统数学史上的天元与道教关系进行辨析,从一个侧面分析道教对中国传统数学思想的影响。作者认为:天元产生的直接渊源是道教“天元”思想,李冶的天元不仅直接渊源于道教洞渊九容之说,而且从科学思想方法上分析,其“立天元一”的代数表达思想得益于道教三元并列的思维模式。

  • 标签: 天元术 道教 中国传统数学
  • 简介:管子因其经济战思想而独步于先秦诸子。有关管子经济战思想的资料主要收录在《管子》"轻重"二十一篇中,其中《管子》所言的"轻重之"是对经济战谋略的明确概括。本文通过探讨运用轻重之的条件、轻重之的作用、轻重之的实施方式,试图获得对管子经济战思想的初步认识。

  • 标签: 管子 轻重之术 经济战谋略
  • 简介:论女诗人贺卿作品的独特价值姚玉光本来,越具备独特价值的作品,在文学史的长河中越不易被淹没,然而,明珠沉渊美玉葬坟的事情并不少见,贺卿就是这样的冤魂。国内影响最大的三部中国古代文学史,所收录的女性作家中,遗漏了贺卿,这不能不说是一个遗憾。本文拟就...

  • 标签: 贺双卿 女诗人 作品 西青散记 独特价值 女性作家
  • 简介:本文以先秦秦汉时期丧葬习俗中的数行为作为研究对象,考察了先秦秦汉时期数行为在丧葬习俗中的表现、地位,并对数行为存在的社会原因、思想文化基础及社会意义进行了探究。

  • 标签: 丧葬习俗 数术行为 卜葬兆 卜宅 卜日
  • 简介:曾子名字音义如何,学界素有争论。自许慎以来,其参字的主流读法便是“森音”“所今切”(今读为shen)。“骖音”“七南反”(今读为can)是略晚出现的或然读法。二者之中孰为正读,历代学人训释颇多而往往失其本旨。实际上,曰“参”曰“舆”皆是表示天上的星宿之名,与宋世以降逐渐崛起的“骖乘”说并无关系。尤应指出的是,曾子名字之中还隐括了其出生之年的天文星象信息,不惟所涉音义问题可据此定谳,即使有关孔子、曾子生年的歧说,亦可以因之得一新证。

  • 标签: 曾子 孔子名字 天文历术 生年