胡红
- 作品数：9 被引量：1H指数：1
- 供职机构：贵阳学院更多>>
- 相关领域：哲学宗教文化科学理学更多>>
- 《普通应用论理学》的学术价值——兼论王延直逻辑哲学思想
- 2011年
- 王延直的《普通应用论理学》突出地代表了西方逻辑系统输入成熟阶段所达到的水平,在中国近代逻辑史上具有重要地位。如果把逻辑哲学广义地界定为以哲学的眼界来探讨、解释和回答由逻辑本身所包含或提出的哲学问题的理论,那么王延直的《普通应用论理学》无疑包含了深邃的逻辑哲学思想。立足于逻辑哲学的视角,深入挖掘《普通应用论理学》所包含的逻辑思想具有重要意义。
- 胡红
- 关键词：逻辑哲学
- 制约逻辑与相干逻辑比较研究
- 2008年
- 实质蕴涵的提出引起学界极大争议,蕴涵怪论一直是争论焦点之一。20世纪以来不少学者致力于构造排除蕴涵怪论的形式系统。制约逻辑和相干逻辑均成功避免了迄今所知的一切蕴涵怪论。因制约逻辑系统、模态逻辑系统以及与严格蕴涵、相干蕴涵相联系的E系统都采用entailment这个词来表征,故易被误认作相近的系统。事实上,制约关系与相干蕴涵不同;制约逻辑接纳而相干逻辑排斥选言推理,故此二者殊异。认为制约逻辑与相干逻辑等价,是一种误解。
- 胡红盛作国
- 关键词：蕴涵怪论制约逻辑相干逻辑选言推理
- 逻辑视域下的儒家经典
- 2015年
- 儒家有无逻辑,或有什么样的逻辑,这是"中国古代有无逻辑"的题中之义。考察发现,儒家不唯有学界业已关注到的"名"这一逻辑范畴,事实上还可抽取"辞"、"知"、"辩"、"壹"等范畴,构成涵盖逻辑概念论、命题论、推理论、论辩论和逻辑规律论在内的儒家逻辑思想体系。从推论方式看,儒家逻辑思想体系融贯了归纳、演绎和类推三种推论方式。
- 盛作国胡红
- 关键词：儒家经典
- 制约逻辑与情报推理
- 2007年
- 逻辑科学在情报学学科中几乎主要地被应用于情报检索领域,而情报检索领域中涉及推理的内容主要地散见于人工智能推理机制中。人工智能研究以正统数理逻辑为其逻辑理论工具。由于正统数理逻辑把原本能确保不循环的推理格式处理成同语反复的恒真的真值函数。因而建立在这种逻辑理论基础之上的人工智能专家系统并不能真正实现从已知到新知的必然过渡。情报推理仍需要寻求一种更合适的逻辑理论工具。
- 盛作国胡红
- 关键词：制约逻辑人工智能专家系统
- 管窥充分条件假言命题
- 2009年
- 数理逻辑干扰了传统逻辑,传统逻辑中的充分条件假言命题受此影响也发生了变化,特别是真值表的引入,改变了充分条件假言命题的真假的判断标准,还影响到它的定义。而数理逻辑中的充分条件假言命题实际上是实质蕴涵命题,而只有到了制约逻辑,充分条件假言命题才得以刻画清楚。
- 马赛胡红
- 关键词：假言命题形式逻辑数理逻辑制约逻辑
- 情报推理的逻辑理论工具——制约逻辑在情报科学中的应用
- 逻辑科学在情报学学科中几乎主要地被应用于情报检索领域。情报检索领域中涉及推理的内容主要地散见于人工智能推理机制中。国际人工智能研究主要地以作为现代基础数学的正统数理逻辑为其逻辑理论工具。由于正统数理逻辑把一些原本不是真值...
- 盛作国胡红
- 关键词：制约逻辑人工智能专家系统
- 论蕴涵的演进——从蕴涵到制约被引量：1
- 2006年
- 蕴涵是贯穿整个现代逻辑发展的一个基本概念。实质蕴涵的提出引起学术界极大争议,“蕴涵怪论”一直是争论焦点之一。由于对推理前提和结论之间的关系有着不同理解和阐释,逻辑学家们提出了不同的蕴涵概念,并构建了相应的现代逻辑系统。笔者试图从逻辑史的角度去区分、澄清和阐明不同意义的蕴涵及其相互关系,并提出作者的一些粗浅认识。
- 盛作国龚启荣胡红
- 关键词：实质蕴涵形式蕴涵严格蕴涵
- 林邦瑾逻辑哲学思想研究
- 制约逻辑背后有一套深刻的逻辑哲学指导思想作为构造形式系统的基本依据。论文拟选取涵盖林邦瑾逻辑哲学思想基本内容的四个议题作为探讨对象：（1）逻辑是什么，包括逻辑的研究对象、逻辑与非逻辑的划界标准、逻辑与数学的关系、制约逻辑...
- 胡红
- 关键词：逻辑哲学思想制约逻辑
- 重言式、逻辑规律与准逻辑悖论
- 2006年
- 同一律、不矛盾律和排中律是传统形式逻辑中的基本规律,在正统数理逻辑中体现为重言式。同一律、不矛盾律和排中律作为逻辑基本规律在传统形式逻辑中普遍有效,可是,它们一经引入正统数理逻辑,便会引起不符合人的普通逻辑思考实际的准逻辑悖论。故而,传统形式逻辑三大基本规律在正统数理逻辑中均不能成立。
- 胡红盛作国
- 关键词：重言式同一律不矛盾律排中律
