【摘 要】
：
本论文主要探讨极小时态逻辑之解释,而该解释是从两个层次进行的,一是解释极小时态逻辑系统中的规则及定理,二是对系统做出的经验解释进行分析,尝试探讨经验总结何以成为逻辑真理。目前学界对于经验与必然之间的关系探讨上,仍存在观点认为只有先验认识才是必然真理,笔者以极小时态逻辑作为切口,详尽的阐述经验总结也可成为必然真理。本文分为三章,在第一章的内容中介绍了极小时态逻辑的背景,指出了经典逻辑对于动态命题的局
论文部分内容阅读
本论文主要探讨极小时态逻辑之解释,而该解释是从两个层次进行的,一是解释极小时态逻辑系统中的规则及定理,二是对系统做出的经验解释进行分析,尝试探讨经验总结何以成为逻辑真理。目前学界对于经验与必然之间的关系探讨上,仍存在观点认为只有先验认识才是必然真理,笔者以极小时态逻辑作为切口,详尽的阐述经验总结也可成为必然真理。本文分为三章,在第一章的内容中介绍了极小时态逻辑的背景,指出了经典逻辑对于动态命题的局限性,从而阐明极小时态逻辑作为模态逻辑的分支,其诞生的必要性。第二章主要介绍极小时态逻辑系统内的规则及定理,并且应用检验说明极小时态逻辑是如何处理动态命题的。第三章详尽讨论了系统与经验解释间的关系,论述了经验总结如何成为必然真理,并对先验认识才是必然真理这一观点做出反驳,最终得出经验总结也可成为必然真理这一结论。最后在论文结尾处提出一个关于系统内逻辑真理尚待解释的问题。
其他文献
人类具有社会性,人际交往是人类的本能,人类各个层次的需求都需要通过人际交往来实现,可以说人类的交往活动贯穿着整个社会发展的始终。在信息技术还没蓬勃发展之前,人们的人际交往方往往受限于血缘、地缘、业缘这三种方式,形式单一,传递信息不够丰富。但随着互联网的出现和蓬勃发展,人们的人际交往打破了以往的条件限制,呈现出开放和多元的新局面。根据2019年的网络社交有关调查数据显示,中国网络社交规模达到9.73
在老龄化社会的大背景下,养老问题不仅给国家社会带来一定的压力与挑战,个人家庭也需要付出更多的时间成本。由于传统的观念意识和当前的国情,居家养老依旧是最主流的养老模式,虽然国家在积极推进机构养老和社区养老的发展,但对庞大的人口基数而言依旧是杯水车薪。近年来发展出的居家养老服务目前在大城市中率先起步,但在全国范围内的推广还需更多的关注和推动。随着互联网+的反哺,市面上已有一部分居家养老服务APP的出现
插画的发展有着非常悠久的历史,视觉时代的来临加快了图像叙事插画的发展,插画艺术以其直观的形象性、艺术的审美性、深刻的寓意性及传播的高效性成为读图时代传递信息的重要艺术形式。图形、色彩、构图作为插画艺术研究中重要的视觉元素,具有表意、构建和烘托画面等重要作用,通过对视觉元素的提炼塑造和创意性表达,能够使创作者的认知理念与视觉表达相互融合,将图像信息、精神内涵准确的传递给受众,从而使观者产生情感共鸣,
近几年来国家以发展农村为主题,关注特色小镇、建设美丽乡村及精准扶贫实施振兴乡村战略。2020年两会关于新农村建设提案中提到要加强农村建设,这为乡村振兴提供了良好机遇和发展环境。从2001年至今,湖南省衡阳市蒸湘区雨母山乡正在大力建设“美丽乡村”,发展旅游经济和民营经济。基本形成了果蔬、竹木、水产和旅游四大支柱产业。同时正在加强对乡村特色文化的挖掘,在位于雨母山乡东阳村打造了一个艺术家部落,它是衡阳
社区公园作为“公园城市”建设的重要内容,是社区环境建设的软实力,对社区公园进行主题化改造是提升其品质的主要方式。论文选取深圳市景田片区15个社区公园作为研究对象,首先分析其建设现状,存在“主题群”建设未完善、创新特色不足和对社区居民日常关怀欠缺等问题;然后以社区“主题”公园为出发点,对其进行优化设计,包括完善社区公园“主题群”,建设生态科技型社区主题公园（Air-Office Park、Spong
目前,国内医疗资源紧缺的矛盾不断凸显,家庭护理需求长期得不到满足。建立和发展共享护士服务,是当前我国社会的现实需求。上门医疗服务的基础,是建立在整个护理人员的专业水平和硬件设备之上的。医疗箱是共享护士上门医疗护理服务时所使用的主要装备。但是现阶段上门医疗中所使用的医疗箱研发处于相对滞后的阶段,无法满足日益增长的家庭护理医疗需求。随着互联网+医疗的发展,迫切需要上门护理医疗箱在造型和功能上能有所突破
在支持视频随机访问的应用中,一个视频会被多个随机访问点划分成多个能独立解码的随机访问片段。因此视频图像的参考图像不能跨随机访问点,相似的随机访问片段之间的时域相关性无法被有效利用,影响编码效率。有研究者提出跨随机访问点参考视频编解码技术,利用相似随机访问片段之间的相关性,可大幅提升编码性能。前人工作的主要目标在于对该技术进行原理性探索,为了促进该技术的实际应用,本文针对实际应用时原有的跨随机访问点
在大家对“师徒帮带”众说纷纭之时,更多的人在研究、在反思、在实践,他们对如何改进和完善当前“师徒帮带”制度提出建设性意见和建议。浙江师范大学教育学院的吴蔚萍和广东省江门市新会圭峰小学冯家传老师就是其中的思考者。
四十年来,在政府主导的改革开放进程中,市场经济发展壮大,历史悠久的商会作为一类社会组织,在沟通政府、市场和社会三者中作用巨大,在经济特区的深圳尤其如此。本文将商会作为一种俱乐部物品供给的集体行动来研究,分析影响各类群体协商组织过程中的发起和参与决策的条件,现有研究认为成员的异质性（heterogeneity）是一个主要因素,而群体规模也是影响通过集体行动供给公共物品的重要因素,本文通过构建集体行动
随着金融资源的不断整合,金融产业集聚趋势明显,出现金融机构、金融活动向某一特定区域集聚的现象。我国金融中心区域内的企业具有较强的技术创新能力,技术创新对区域经济的促进作用远远大于其他地区。因此,本文旨在研究我国金融集聚对技术创新的影响。文章为如何充分发挥金融对技术创新的推动作用,增加经济长期稳定发展的能力和潜力等问题提供了理论依据和经验证据的支持。首先,文章阐述了金融集聚和技术创新的概念及理论,并