【摘 要】
：
本文通过在传统的Kripke模型中引入时间算子,使人的信念随时间的改变而发生变化这一过程可以形式化地反映在Kripke模型中,使传统的Kripke模型能更好地描述人的认知过程。文中
论文部分内容阅读
本文通过在传统的Kripke模型中引入时间算子,使人的信念随时间的改变而发生变化这一过程可以形式化地反映在Kripke模型中,使传统的Kripke模型能更好地描述人的认知过程。文中给出了一个带时间算子的Kripke模型的公理化系统,使时间算子与其他的逻辑公理相融合,构成一个新的完整的逻辑系统,并比较了它与J.-J.Ch.Meyer给出的系统之异同。接着文中还证明了给出的这个带时间算子的Kripke模型的公理化系统的一致性及其他的一些元性质,从语法和语义上说明了时间算子引入的合理性。最后探讨了这一形式化的理论与现实世界的关系。
其他文献
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
诊断和治疗急性白血病,首先要根据末梢血像、骨髓像。由于各种病型的治疗方法和预后不同,必须做出各种病型的分类,而首先要做细胞形态学的分类,再加上其他如细胞表面标记、
为贯彻党的十八大关于大力推进生态文明建设的总体要求,深入落实《节能减排“十二五”规划》和《“十二五”节能减排综合性工作方案》提出的目标和任务,发挥科技对加快转变经
血栓形成现在仍然认为有三个必备条件:(1)重要的凝血因子在血液中的变化;(2)血管壁的变化;(3)血流淤滞。在血流比较缓慢的静脉内的血栓形成(静脉血栓又称红色血栓),血小板团
本论文从理性化进程中道德衰微、道德语言处于无序状态的现状出发，阐明了东欧新马克思主义的代表人物之一—阿格妮丝·赫勒(Agnes Heller)在其道德三部曲《一般伦理学》、《道
西方价值哲学研究大致呈现为四种路向1，即经验主义、先验主义、语言分析以及心灵主义路向。其中本文主要涉及两种：经验主义路向和先验主义路向；经验主义以杜威、培里、乌尔班、
全球化视域下,人与自然的二元分化为世界带来了挑战。生态危机和人类生存危机已日渐成为全球关注的焦点。美国过程哲学家约翰·科布(John B.Cobb Jr.)致力于对世界问题的探讨
“相对主义”一词的起始流行期可以粗略划定在十九世纪下半叶，与狭义的价值哲学的出现有时间上的交叉。综合目前的研究可以对理论的相对主义提出如下的形式命名公式：Q强度的、
内部审核(以下简称内审),也称为第一方审核,是种子检验机构自己进行的,由内审员或适当聘请外部专家协助参与,对其机构自身质量管理体系进行自查的审核形式,是对质量体系运行