【摘 要】
：
普莱尔既是时态逻辑的创始者,又是混合逻辑的创始者。普莱尔接受了麦克塔加关于时间A-理论和B-理论的区分,认为A-理论中“过去、现在和将来”等概念比B-理论中的“在先、在后
【基金项目】
：
国家社科基金重点项目(15AZX020);重庆市重点文科基地项目(18SKB044)的资助
论文部分内容阅读
普莱尔既是时态逻辑的创始者,又是混合逻辑的创始者。普莱尔接受了麦克塔加关于时间A-理论和B-理论的区分,认为A-理论中“过去、现在和将来”等概念比B-理论中的“在先、在后和同时”等概念更为基本,并且不承认时间点的本体论地位。普莱尔从这种时间观出发,在致力于将无时态的一阶逻辑归约到时态逻辑的过程中,提出了混合时态逻辑,从而对自己的时间观进行辩护。本文在对普莱尔的辩护过程进行详细分析的基础上,从现代模态逻辑对应理论的角度指出,普莱尔的辩护并不成功,同时讨论了普莱尔的方法论给我们带来的启示。
其他文献
目的:观察射干平喘汤治疗冷哮型哮喘发作期轻-中度的临床疗效、肺功能以及ACT评分的变化,初步探讨射干平喘汤的有效性及安全性。方法:纳入黑龙江省中医药科学院--南岗分院--呼吸科符合标准的患者80例,采用随机数字分组,分为两组。对照组给予舒利迭治疗,治疗组给予舒利迭联合射干平喘汤治疗,两组疗程均为14天。分别观察各组治疗前后的中医症候评分、肺功能以及ACT评分的变化情况。结果:(1)疗效方面:使用舒
以洱海缓冲带为研究区,利用现场调查与Arc GIS分析相结合的手段,识别洱海缓冲带模式,分析不同模式下主要入湖河流缓冲带段水质。结果表明:洱海缓冲带共分7种模式,其中模式1面
目的探究小儿肺炎支原体肺炎患儿治疗中阿奇霉素不同疗程的应用效果。方法自2018年7月-2019年7月收治的患者中随机选择50例实施阿奇霉素治疗的小儿肺炎支原体肺炎患儿按照1:1
对普通小麦（Tritciumaestivum）与华山新麦草（Psathyrostachys huashanica）杂交后代H9802—6、普通小麦与簇毛麦（Haynaldia villosa）杂交后代V9910—15—4花粉的减数分裂进行了细胞
智能配电网自愈控制是在配电网不同层次和区域内实施充分协调并优化的控制策略,使其具有自我感知、自我诊断、自我决策和自我恢复的能力,实现配电网在不同状态下的安全、可靠
旅游用地作为城市旅游发展的载体，其用地选择对于旅游地可持续发展与生态保护具有重要意义。以张家界为例，分析了地形因子影响下的旅游用地结构及其成因机制。研究结果表明：（1）张
2001—2011年,中国工程机械行业的高速发展也带动了配套件行业的快速发展。这11年,许多配套件企业处于供不应求的状态,各企业不断扩大产能,到“十一五”末,中国工程机械普通
2019年底至今,新型冠状病毒引发的疫情在全球肆虐。作为一个典型的全球问题,新冠肺炎疫情对冷战后形成完善并正经历转型变化的全球治理体系进行了一次极限的压力测试。冷战后