教育部人文社会科学研究基金(07JA720006)
- 作品数:4 被引量:1H指数:1
- 相关作者:龚启荣朱霖周感芬更多>>
- 相关机构:贵州大学更多>>
- 发文基金:教育部人文社会科学研究基金更多>>
- 相关领域:哲学宗教文化科学更多>>
- 两个独立性:从经验到逻辑的历史追溯
- 2011年
- "两个独立性"是充分条件关系最重要的逻辑性质,是人类之所以能从已有知识获取新知识的逻辑依据。逻辑有效充分条件关系中的逻辑的"两个独立性"源自经验的充分条件关系,又回过头来为经验科学服务。数理逻辑中的实质蕴涵不是充分条件关系的科学抽象,从而产生蕴涵怪论。随着逻辑科学的发展,蕴涵怪论最终将被消除。
- 周感芬龚启荣
- 关键词:逻辑蕴涵怪论
- 充分条件关系的本质属性
- 2010年
- 充分条件关系的定义历来是逻辑学关注的焦点。传统形式逻辑的界说可归结为"朦胧的正确";正统数理逻辑的规定可归结为"清晰的荒谬"。"事件A是B的充分条件"的逻辑含义是,"可独立于A、B的有无确定(这称为"第一独立性")不会是有A而无B",其间的"前件A为有可独立于后件B的有无确定"(称为"第二独立性")。包含在充分条件关系中的这两个逻辑独立性质是人类能以有限把握无限、从已知进入新知的逻辑依据,是逻辑科学这座大厦两块坚实的基石。
- 朱霖
- 客观世界的n元关系——兼谈传统形式逻辑和数理逻辑
- 2012年
- 当代形式逻辑对客观世界n元关系的研究,其视野是传统形式逻辑和数理逻辑无法相比的。从主导思想上看,传统形式逻辑是真正的名副其实的逻辑科学,但它只研究1元关系,不研究多元关系和真正普遍有效的关系推理,因此,传统形式逻辑顶多只能算n分之1的逻辑。数理逻辑虽然把1元或多元关系作为自己的研究对象之一,但它没有从内涵的角度去区分关于同一外延的k个尽管相当然而并不相同的n元关系,从量上说至少是"挂1漏k-1"的,即只从外延的角度研究一种关系而漏掉(k-1)种关系,因此,纯外延的数理逻辑顶多只能算k分之1的逻辑。当代形式逻辑从研究论域上的n目组和n目组集入手,亦即通过确定论域上的个体的所有不同序列,对论域上n个个体(n≥1)之间的所有关系进行了逻辑科学应有的全方位研究。
- 龚启荣
- 关键词:数理逻辑
- 客观世界的集——兼对悖论之王“罗素悖论”的剖析被引量:1
- 2011年
- 对象就是可以对之思考的一切。在思考时不对之进行分解的单个对象称为个体。集就是由有限或无限个个体组成的组合、总和或整体。为集P的任意元所共有且只为集P的元所仅有的属性称为集P的共仅属性。集由其全部元唯一地确定,这称为集的外延原则。康托尔的集合论"概括原则"说认为,对于任意给出的一项性质p,必定存在一个以p为共仅属性的集P,这显然不能成立。客观世界不存在P∈P,而只存在eP,这称为集的排己性。e∈P和eP不能并存、至少有一存在、是且只能是二者之一,依次称为属于关系的不矛盾律、排中律、选一律。罗素犯了康托尔"概括原则"的唯心论错误,凭空想出个根本就找不到的违反幂集原理的所谓集R,于是虚构了自欺欺人的根本就不可能出现矛盾互推的所谓"矛盾互推"的"悖论"。
- 龚启荣
- 关键词:幂集