【摘 要】
：
本文通过在传统的Kripke模型中引入时间算子,使人的信念随时间的改变而发生变化这一过程可以形式化地反映在Kripke模型中,使传统的Kripke模型能更好地描述人的认知过程。文中
论文部分内容阅读
本文通过在传统的Kripke模型中引入时间算子,使人的信念随时间的改变而发生变化这一过程可以形式化地反映在Kripke模型中,使传统的Kripke模型能更好地描述人的认知过程。文中给出了一个带时间算子的Kripke模型的公理化系统,使时间算子与其他的逻辑公理相融合,构成一个新的完整的逻辑系统,并比较了它与J.-J.Ch.Meyer给出的系统之异同。接着文中还证明了给出的这个带时间算子的Kripke模型的公理化系统的一致性及其他的一些元性质,从语法和语义上说明了时间算子引入的合理性。最后探讨了这一形式化的理论与现实世界的关系。
其他文献
本论文从理性化进程中道德衰微、道德语言处于无序状态的现状出发，阐明了东欧新马克思主义的代表人物之一—阿格妮丝·赫勒(Agnes Heller)在其道德三部曲《一般伦理学》、《道
西方价值哲学研究大致呈现为四种路向1，即经验主义、先验主义、语言分析以及心灵主义路向。其中本文主要涉及两种：经验主义路向和先验主义路向；经验主义以杜威、培里、乌尔班、
全球化视域下,人与自然的二元分化为世界带来了挑战。生态危机和人类生存危机已日渐成为全球关注的焦点。美国过程哲学家约翰·科布(John B.Cobb Jr.)致力于对世界问题的探讨
“相对主义”一词的起始流行期可以粗略划定在十九世纪下半叶，与狭义的价值哲学的出现有时间上的交叉。综合目前的研究可以对理论的相对主义提出如下的形式命名公式：Q强度的、
内部审核(以下简称内审),也称为第一方审核,是种子检验机构自己进行的,由内审员或适当聘请外部专家协助参与,对其机构自身质量管理体系进行自查的审核形式,是对质量体系运行