【摘 要】
：
在对经典逻辑和直觉主义逻辑的原则或观点进行概括性分析的基础上,重点对经典逻辑与直觉主义逻辑之排中律进行对比分析。在经典逻辑系统内,作为逻辑"三律"(同一律、矛盾律、
论文部分内容阅读
在对经典逻辑和直觉主义逻辑的原则或观点进行概括性分析的基础上,重点对经典逻辑与直觉主义逻辑之排中律进行对比分析。在经典逻辑系统内,作为逻辑"三律"(同一律、矛盾律、排中律)之一的排中律,是经典逻辑系统中的内定理,被认为具有普遍有效性。而在非经典逻辑系统,如直觉主义逻辑系统中,排中律则被认为是系统内不可证的,因而不是普遍有效的。
其他文献
<正>在创投领域,有一个词最近经常被提起,那就是资本寒冬。在资本寒流中,有人"蓝瘦香菇",也有人破冰逆势增长。"现在虽然说资本寒冬,但实际上VC(风险投资)的口袋是不缺钱的,
苏轼在政治上坚决反对变法,熙丰年间,曾多次上疏批判新法及变法派人士,这不仅给他的仕途带来了灾难性的打击,而且也极大地影响了他与那些主持变法及参与变法的同年之间的关系
目的探讨血管紧张素转换酶（angiotensin converting enzyme,ACE）-血管紧张素Ⅱ（angiotensinⅡ,AngⅡ）-血管紧张素1型受体（angiotensin type 1receptor,AT1R）轴与ACE2-Ang（1-7）-Mas受
针对目前IG541灭火系统通常采用"中期压力"和设计流量进行管网的设计计算,分析了这种设计计算方法存在的问题,提出了动态设计计算方法,实时计算IG541系统管网内的压力和流量,
梳理董永传说的形成和流变过程以及武陟董永传说的概况,分析武陟董永传说与当地风物特产的结合、七仙女形象的世俗化、大团圆结局的形成等地方性特点,并指出董永传说之所以在
亨普尔两难(Hempel’s Dilemma)从对"物理事项"(The Physical)的概念理解出发,展现了物理主义如何表述的内在困难:如果"物理事项"指的是当前物理学设定的对象、性质、事件,根
20世纪90年代,腹腔镜开始推广于胃癌根治术之中,2002年,达芬奇机器人开始作为辅助手段在胃肠外科中得到应用。目前,我国腹腔镜微创术和达芬奇系统在全国的应用率仅为10%左右
自1977年恢复高考以来,我国的高考招生已经走过了四十年的历程。在此过程中,高招作为连接基础教育与高等教育的媒介,为高等教育选拔人才做出了重大贡献,更改变了一代人的命运
目的探讨冠心病心律失常患者的综合护理干预措施的效果。方法收集在我院接受治疗的87例冠心病心律失常患者作为研究对象。将其随机分成两组,对照组44例,实验组43例,对照组患
本文在国外最新研究成果基础上结合中国实际情况探讨了国有银行脆弱性预警系统的指标体系和基本框架。文中强调了在银行调整和开放加快、系统性风险增加的情况下，建立适合我国