【摘 要】
：
拜尔和瑞斯韬提出了一种关于逻辑后承的逻辑多元主义。根据这种说法,并非只有一个真正的逻辑,而是有许多同样可接受的逻辑系统。经典逻辑、直觉主义逻辑和相干逻辑不是相互否
【机 构】
：
广西财经学院,广西电力职业技术学院财经与管理系
【基金项目】
：
国家社会科学基金项目“BEALL和RESTALL逻辑多元论研究”(13XZX018)
论文部分内容阅读
拜尔和瑞斯韬提出了一种关于逻辑后承的逻辑多元主义。根据这种说法,并非只有一个真正的逻辑,而是有许多同样可接受的逻辑系统。经典逻辑、直觉主义逻辑和相干逻辑不是相互否定的竞争对手,而是同样可行的,因为它们都被视为真正的逻辑。这些系统中的每一个都提供了对逻辑后承的前理论概念的适当分析。拜尔和瑞斯韬的这种主张其实是20世纪“逻辑作为演算”传统的继续。假定这种主张是正确的,则我们面临着逻辑选择问题,预示着存在一种“超逻辑”,以使得逻辑的选择能够进行,才不会使得我们陷入非理性的荒谬状态。
其他文献
利用智慧教室的“336”模式,先学后教,以学定教,将现代信息技术与地理学科深度融合。通过学校智学网平台及时反馈的数字化信息,帮助教师更好地了解每一个学生,科学、精准地掌
中国传统文化与马克思主义中国化是一个宏大的课题。对此课题的探讨,首先需要回答什么是中国传统文化的核心要素和什么是马克思主义的基本原理这两大问题,然后寻求回答为什么
目前的防、融、除冰技术多样,但尚无明确的体系来划分三者间的区别。对以往的国内外防冰、融冰、除冰技术进行梳理归纳,划分高压架空输电线路防、融、除冰三大技术体系,并指
IEC 61000-4-34/GB/T 17626.34对电压跌落发生器的峰值冲击电流能力作出了明确要求,只有峰值冲击电流能力达到要求,才能保障发生器对被测产品电压跌落测试结果的正确性。为了
ue＊M＃’＃dkB4＃＃8＃”专利申请号:00109“7公开号:1278062申请日:00.06.23公开日:00.12.27申请人地址:（100084川C京市海淀区清华园申请人:清华大学发明人:隋森芳文摘:本发明属于生物技
为了解决变电站跨间隔相量校核不便的问题,针对跨间隔模拟量与模拟量、数字量与数字量以及模拟量与数字量这三种不同的相量校核应用,给出了基于无线射频通信技术的变电站跨间
有调查研究表明,踝关节损伤是健美操运动中常见的损伤之一,损伤的原因包括不科学的练习方法、不规范的场地设施以及思想因素等.本文从踝关节的解剖结构入手,对健美操运动踝关
根据我国道路建设以及投运情况调查来看,不少工程在不良地质路段和特殊路基处理方面尚存在一些不足,对此必须加强地质勘察,合理选择处理方法。本文首先论述了我国几种常见的
目的探讨手指血管球瘤的临床特点,诊断与治疗方法。方法回顾性分析手术治疗14例手指血管球瘤的临床资料。结果所有病例治愈,术前症状消失,12例指甲生长良好,无明显畸形,2例指
特高压直流输电系统逆变侧换流变网侧单相接地故障后,网侧电压跌落可能会引发直流系统换相失败,有直流分量流入换流变压器绕组,使变压器铁芯磁通发生偏移,引起换流变饱和,产