论文部分内容阅读
谈论事物的方式决定了模态逻辑承诺了本质主义。回避本质妨碍了量化模态逻辑的发展。本文提出了必然的一种本质主义解释。这种解释为亚里士多德的混合模态三段论提供了一个漂亮的语义模型。
本质主义与模态逻辑
【摘 要】
：
谈论事物的方式决定了模态逻辑承诺了本质主义。回避本质妨碍了量化模态逻辑的发展。本文提出了必然的一种本质主义解释。这种解释为亚里士多德的混合模态三段论提供了一个漂
【机 构】
：
中国人民大学哲学院;
【出 处】
：
哲学动态
【发表日期】
：
2016年01期
【基金项目】
：
中国人民大学统筹建设世界一流大学和一流学科建设经费支持
其他文献
考察各时代政府为规范和引领学前教育出台的系列政策法规,幼儿园"小学化"教学现象由来已久,它是伴随着我国学前教育事业发展的一个特殊现象,它与幼儿园游戏教学理论和实践研
笔者基于多年的临床实践与总结,依据小儿生理、病理特点及患儿不同季节的发病规律,结合小儿不同的体质特点,独创了小儿四时辨体捏脊疗法,临床用于预防和治疗小儿常见病、多发
目前国内外语教育界对真实性的探讨主要集中在课堂是否使用真实的文本材料，尤其是在听力文本上。但是随着教学法的不断发展，各种新的教学法不断出现和发展，尤其是由于交际教学法
本文采用理论研究与实证研究相结合的方法,以心理契约理论为依据分析了B大型连锁超市在人力资源管理过程中的心理契约的形成及违背情况。心理契约有三个重要组成部分,分别为
便秘起因主要有饮食不洁、情志失调、年老体虚、感受外邪,病机主要是热结、气滞、寒凝、气血阴阳亏虚引起肠道传导失常。津液与气血阴阳及五脏关系密切,津能载气,津耗则气少,
针对输电线路短路故障危害大,故障识别率较低的情况,提出基于变分模态分解(VMD)样本熵与核极端学习机(KELM)相结合的输电线路故障诊断方法,提高输电线路故障诊断的正确率。首
电能源在人们生活、社会发展中发占据重要地位,电能需要通过相应转化才能得以应用。其中,电力系统自动化运维就是重要环节,随着计算机技术的普及应用,在电力系统自动化运维方
为有效识别不同负载串联故障电弧,针对不同类型的纯阻性负载,变频机-电机负载,工控机负载等进行故障电弧实验。对采集到的正常工作状态和电弧故障状态下的电流信号使用db4小