全  文

不  限

  • 不  限
  • 1915年
  • 1949年
  • 1979年

不  限

  • 不  限
  • 1979年
  • 1949年
  • 1915年
  • 全  文
  • 主  题
  • 篇  名
  • 关键词
  • 作  者
  • 作者单位
  • 摘  要
  • 参考文献
  • 基  金
  • 文献来源
  • 发表时间
  • 中图分类号

全  文

不  限

  • 不  限
  • 1915年
  • 1949年
  • 1979年

不  限

  • 不  限
  • 1979年
  • 1949年
  • 1915年
  • 全  文
  • 主  题
  • 篇  名
  • 关键词
  • 作  者
  • 作者单位
  • 摘  要
  • 参考文献
  • 基  金
  • 文献来源
  • 发表时间
  • 中图分类号
设置
  • 关闭历史记录
  • 打开历史纪录
  • 清除历史记录
引用
筛选:
文献类型 文献类型
学科分类 学科分类
发表年度 发表年度
作者 作者
机构 机构
基金 基金
研究层次 研究层次
排序:
显示:
CNKI为你找到相关结果

从逻辑哲学看辩证逻辑的形式化  CNKI文献

从逻辑哲学的眼光看,辩证逻辑应当定位于一种独特的、富有哲理性的非经典逻辑,因此它归属于逻辑,而辩证法作为它的原型则归属于哲学。辩证逻辑形式体系所追求的总体目标是越来越恰当地刻画、再现辩证法原型中的本质特...

桂起权 《湖北大学学报(哲学社会科学版)》 2014年01期 期刊

关键词: 辩证逻辑形式化 / 逻辑哲学 / 次协调逻辑 / 相干逻辑

下载(275)| 被引(8)

对我国辩证逻辑的历史发展之浅见——在纪念中国逻辑学会成...  CNKI文献

以1950-1960年代的研究作为参照系,我国辩证逻辑思辨性的、使用日常语言的研究方式至今仍然保持青春活力,它为形式化研究提供原型并且富有启发性;更可喜的是,1990年代辩证逻辑形式化研究取得突破性进展。争论焦点已经...

桂起权 《武汉大学学报(人文科学版)》 2011年03期 期刊

关键词: 辩证逻辑研究 / 思辨方式 / 形式化方式

下载(256)| 被引(4)

关于互补性逻辑、辩证逻辑及次协调逻辑——对马佩教授挑战...  CNKI文献

1.玻尔的黎曼面模型是互补性的语义模型,恰当地表征了辩证矛盾与逻辑矛盾之间的相互关系,恰当地刻画了互补性的逻辑结构。"互补性"的要点是"相反相成"或"互补又互斥",说的是矛盾双方既...

桂起权 《河南社会科学》 2010年02期 期刊

关键词: 互补性逻辑 / 黎曼面模型 / 辩证逻辑的形式化 / 次协调逻辑

下载(153)| 被引(3)

多元化的辩证逻辑形式化研究  CNKI文献

本文对 2 0世纪 80年代以来中国学者在辩证逻辑形式化方面的研究 ,作了简要述评 ,涉及到多种形式化的思路和成果。在此基础上 ,笔者提出坚持多元化的研究方向和借鉴其他非经典逻辑有用成果的主张 ,以促进 2 1世纪辩证...

桂起权 《学术探索》 2002年01期 期刊

关键词: 辩证逻辑 / 形式逻辑 / 矛盾 / 形式化

下载(121)| 被引(5)

辩证逻辑在20世纪中国的发展  CNKI文献

本文比较详细地论述了辩证逻辑在中国数十年来的发展历程。系统介绍了在这一过程中相关人们所付出的努力,特别说明了辩证逻辑从非形式化向形式化的转变过程,并简要介绍了这一形式化系统。

赵总宽 《北京航空航天大学学报(社会科学版)》 1999年04期 期刊

关键词: 辩证逻辑 / 逻辑现代化 / 形式系统

下载(115)| 被引(3)

辩证逻辑公理系统DLA及DLB  CNKI文献

一、引言文献[1]中明确表示,辩证法的矛盾实质上并不违背逻辑。考虑到形式逻辑的背景知识,通常所采用的划分两类矛盾(“逻辑矛盾”与“辩证矛盾”)的说法,可以看作调解辩证法与形式逻辑关系的一种最简单易行的处理手法...

陈自立 桂起权 1995年逻辑研究专辑 1995-06-30 中国会议

关键词: DLA / 命题变元 / AVB / DLB

下载(36)| 被引(0)

学术研究指数分析(近十年)详情>>

  • 发文趋势
时间的形状