【摘 要】
：
Fitch-悖论从可知性原则和"非全知"的观点出发,导出结论"每个真理事实上被知道",该结论对反实在论提出了严苛的挑战。以T.Williamson为代表的反实在论者采用直觉主义逻辑,并
【基金项目】
：
2012年度教育部人文社会科学重点研究基地重大项目“跨文化交流的形式化研究”(12JJD720005)
论文部分内容阅读
Fitch-悖论从可知性原则和"非全知"的观点出发,导出结论"每个真理事实上被知道",该结论对反实在论提出了严苛的挑战。以T.Williamson为代表的反实在论者采用直觉主义逻辑,并根据双重否定消去规则失效的原理,成功地避免了该结论的出现。然而,直觉主义逻辑的解决方案并非无懈可击,它面临着不同的责难。反实在论者如果把研究重点转向Fitch-悖论的实质——模态算子◇的消失,或许对完善其直觉主义逻辑解决方案有所裨益。
其他文献
在课程改革不断深入的环境之下,课程资源开发与利用也成为现如今教育实施过程中较为重要的一个环节。小学科学课作为较为重要的一门课程,做好该课程资源的开发与利用,能够进
通过对辽宁电网一次调频考核指标计算方法的分析,提出了基于规则的机组一次调频优化控制算法和逻辑设计方案,对数字式电液控制系统(DEH)、协调控制(UCC)等,增加了不等率函数
超高层建筑塔吊选型和平面布置的要求,以及塔吊的爬升系统、爬升标高的确定、爬升的工艺流程和对主体结构的影响分析。
随着改革开放持续深入的发展，中国高等院校体育设施建设进入了快速发展的新时期，高等院校的体育设施的建设，特别是游泳设施的建设得到了快速的发展。但是，在游泳设施快速发展的同
汉制形成及其与六国文化的传承、演变关系是秦汉史研究的重要课题之一。日益丰富的考古资料业已表明,在社会文化、风俗领域,汉制其实多沿袭传统楚文化的内容。具体到丧葬礼俗
海绵钛生产中采用Na OH溶液处理氯化精制工序和镁电解工序产生的尾气时,会产生含一定浓度次氯酸钠的废盐水,为此,对该废盐水在生活污水消毒处理中的应用进行了分析。结果表明
铁路工程建设管理工作是铁路建设诸多环节中的重要一环,工程建设管理的好坏直接影响投资效益和工程质量,因此,工程的建设管理成了不可忽视的问题。此文从工作实际出发,对铁路
介绍了适合生产硅铁还原剂的几种煤的性质及用这些煤炼制成焦炭的理化性能。褐煤、长焰煤、不粘煤、弱粘煤和气煤炼制成的焦炭比电阻大、反应活性高,且难石墨化。建议铁合金
对某超超临界机组汽轮机配进汽室的调节级进行三维全周定常数值模拟,提取动叶壁面各个节点的静压力,编写插值程序将动叶壁面静压力通过逐点插值的方式施加于叶片有限元模型中