论文部分内容阅读
在概述“蕴涵怪论”与相干逻辑的产生的基础上,阐述相干逻辑对经典逻辑与模态逻辑的修改.认为相干逻辑不仅建立了自己庞大的形式系统家族,而且拥有完整的语义学,具有良好的发展前景.然而,相干逻辑比经典逻辑、模态逻辑更加抽象,更加复杂,也导致了一系列的质疑.
相干逻辑的产生及评价
【摘 要】
：
在概述“蕴涵怪论”与相干逻辑的产生的基础上,阐述相干逻辑对经典逻辑与模态逻辑的修改.认为相干逻辑不仅建立了自己庞大的形式系统家族,而且拥有完整的语义学,具有良好的发
【机 构】
：
华东师范大学哲学系
【出 处】
：
重庆理工大学学报：社会科学版
【发表日期】
：
2013年9期
其他文献
在关于可能世界的解释理论中,实在论以克里普克为代表的温和实在论和以大卫·刘易斯为代表的（极端）模态实在论为代表.学界普遍接受克里普克的解释,而拒斥刘易斯的模态实在
中国现代化之路与新文化运动所传播的现代“知识”密切相关。农村的“知识”既是传播到农村的现代科学知识,也是关于农村的历史实践和想象建构。本文从当下的热点问题“知识
本文是[2]的继续,在L_∞(S,σ)空间中证明了一些类似的结果。
在开挖隧道的过程中,如遇富水软弱不均匀地层则需要尤其关注沉降的控制。如果在地表存在大量的密集建筑物时,对于隧道开挖引起的沉降控制更为严格,且会面临较大的控制难度。
结合工程实例,以风机基础为研究对象,就目前<火力发电厂土结构设计技术规定>中大块式基础简化计算的方法及有关条文进行讨论,并提出建议.
构建农业产业链的目的是通过农业、工业、服务业三次产业的联动发展来增强农业的基础性地位和提高农产品的比较利益，从而实现农业增效农民增收。建立和谐的利益协调机制是农业
钢圆煤斗是大型火力发电厂主厂房一个重要的建筑物,但现行的国家及部门规程规范中没有相应的计算煤斗壁厚的设计条文,故有必要对其计算方法作一综合性的探讨.结合工程实例,对
以TRA理论为基础,通过对酒店管理专业学生信息系统接受程度的实证研究,分析目前酒店管理专业学生信息系统采用认知、态度及意向等基本心理状况,探讨不同的客观环境和个体特征
本文从农业富余劳动力转移的含义,分析了影响农业富余劳动力转移的心理因素,对我国农业富余劳动力转移的制度创新进行了初步的探讨.