论在不同逻辑系统中的排中律

发布时间：2017-09-05 06:46

  本文关键词：论在不同逻辑系统中的排中律

  更多相关文章： 排中律 普效性 逻辑系统 非经典逻辑

【摘要】：作为思维基本规律的排中律是非形式化的,它具有直观普效性;在经典的(一阶)逻辑系统内,排中律作为系统内的可证公式,具有系统内严格定义的普效性。而在非经典逻辑系统如多值逻辑、直觉主义逻辑系统中,由于对原经典逻辑中二值性、实无穷性等假定的修正,排中律不再是该类系统中的可证公式,因而丧失其有效性。作为逻辑真理的排中律同任何真理一样,是普遍性与相对性的对立统一。
【作者单位】： 中南大学公共管理学院哲学系;
【关键词】： 排中律 普效性 逻辑系统 非经典逻辑
【分类号】：B812.1
【正文快照】： 一排中律在传统逻辑中,与同一律、矛盾律、充足理由律一道被称为思维的基本准则,也称形式逻辑的基本规律或元规律。它的含义是,两个互相对立的思想不能都是假的,其中必有一个是真的。或者说,两个互相对立的思想,不能都加否定,必须肯定其中一个。“两个互相对立的思想”是指两

【共引文献】

中国期刊全文数据库 前10条

1 沈跃春;悖论与20世纪逻辑学的发展[J];安庆师范学院学报(社会科学版);2000年06期

2 罗玉萍;;从创世论与进化论之争来看归纳方法在科学发现中的重要性[J];毕节学院学报;2009年09期

3 刘q，

本文编号：796477