【摘 要】
：
克里普克语义学将可能世界的哲学概念融入了模态逻辑的形式建构中，突破了经典语义学的狭隘性，开拓了模态逻辑研究的广阔视野。一方面，克里普克坚持了可能世界的科学实在论立场，并
【机 构】
：
太原科技大学经济管理学院,山西大学科学技术哲学研究中心
论文部分内容阅读
克里普克语义学将可能世界的哲学概念融入了模态逻辑的形式建构中，突破了经典语义学的狭隘性，开拓了模态逻辑研究的广阔视野。一方面，克里普克坚持了可能世界的科学实在论立场，并且借鉴了传统哲学中的本质主义思想，为其历史因果的指称理论奠定了重要基础。另一方面，克里普克语义学的建立促进了语义分析工具的完善，实现了指称内在论向指称外在论的转变，从而为科学实在论的发展做出了重要贡献。
其他文献
糖果是人们日常生活不可缺少的喜庆食品,节日、婚庆、开业、乔迁等各种典礼必备,市场销量十分可观.
针对人工智能技术在海战场网络信息体系中的应用,本文在梳理人工智能技术特征基础上,分析当前人工智能技术的军事运用。聚焦海战场网络信息体系总体设计,结合海战场网络信息
起源于美国的诊所式法律教育在2000年前后引入我国，但尚未普遍展开。诊所式教育的推进面临着被学院式教育同化、建设资源匮乏、学生时间投入不足等问题。其主要原因在于我国法
目的探讨应用逍遥散治疗慢性胃炎的症状改善情况。方法选择我院68例2016年1月至2019年1月慢性胃炎患者。随机分组,西药治疗组实施多潘立酮片、硫糖铝治疗,西医联合逍遥散组则
应用车辆动力学仿真模型和基于目标控制器的汽车牵引力控制算法,设计了汽车牵引力控制软件在环仿真系统,并对后轮驱动越野汽车进行了软件在环仿真模拟.仿真结果表明,设计的控
目前电厂的日常运行经常会受到干扰,究其原因,其中锅炉泄露是造成这一现象的主要原因之一。对于该问题,如果不加以有效地解决,将会对电厂的正常运行造成极大的阻碍,从而给社
通过调查漳平永福镇对台茶业合作现状与存在问题，分析永福镇吸引众多台商投资茶产业的原因，提出通过加大政策宣传、增加产业投入、完善设施建设、优化服务职能、深化合作领域等
目的评价精神分裂症患者实施临床路径护理的效果。方法选取精神分裂症患者120例,按照随机数字表法分为对照组和观察组各60例,对照组实施传统护理方法,观察组在对照组基础上实
本文主要从IGBT器件开通时驱动工作过程和IGBT器件关断时驱动工作过程分析了IGBT器件门极控制机理，阐述了IGBT器件驱动数学模型，并针对IGBT器件驱动电路损耗进行分析和探讨。最
结合交通组织管理的需求布设指路标志是均衡路网流量、提高路网整体通行能力的重要途径。建立了指路标志指引信息的数字化表述模型;根据出行者运用指路标志指引的寻路习惯,定