学科分类
/ 1
3 个结果
  • 简介:次协调逻辑(Paraconsistentlogic)这一术语的主要含义是指,在新逻辑中当矛盾律的有效性被削弱之后,仍要保持一种次于经典逻辑的新的协调性。一般来讲,一个次协调逻辑系统应具备两个条件:1、不协调性,即A和?A部是系统的定理;2、不是过完备的(over—complete),即并非系统内的每一公式都是它的定理。由于次协调逻辑体系允许有意义、有价值的矛盾进入形式系统,并否认矛盾律的普遍性,因此它与数理逻辑和辩证逻辑都有密切的联系。自从1963年巴西逻辑学家达科斯塔创立这门学科以来,已吸引了大批逻辑学家、哲学家和数学家,最近几年又引起计算机科学和人工智能研究者的极大关注,现已成为国际逻辑学界一个新兴的研究领域,它的出现将使人们对逻辑科学产生新的理解。在我国,对次协调逻辑的研究还仅处于起步阶段。本文译自巴西逻辑学家阿鲁达(A.I.Arruda)的《次协调逻辑历史发展的若干问题》(‘Aspestsofthehistoricaldevelopmentofparaconsistentlogic’)一文的第二部分,它详细介绍了次协调逻辑发展的历史渊源,这对我们进一步理解这种新逻辑将有很大帮助。

  • 标签: 次协调逻辑 逻辑学家 逻辑体系 矛盾律 逻辑系统 经典逻辑
  • 简介:在《神谱》和《劳作与时日》中,古希腊诗人赫西俄德最早讲述了普罗米修斯挑战神王宙斯为人类盗火的神话。他还讲到,作为还击,宙斯送给厄庇米修斯一件礼物:潘多拉。一直以来,普罗米修斯的启蒙斗士形象深入人心。本文通过细致阅读和分析文本,揭示普罗米修斯和厄庇米修斯这两个神话形象的辩证关系,领会赫西俄德隐藏于神话诗歌背后的对人类生存处境的哲学沉思,同时考察普罗米修斯形象从古至今的嬗变。

  • 标签: 赫西俄德 普罗米修斯 厄庇米修斯
  • 简介:在写作的时候,牟宗三的存有论思想已经基本成形.由于他此时仍不承认知性有其存有的意义,所以并没有将有关的思想直接冠以存有论的名称.深入研究这部著作中的有关思想,是全面理解牟宗三存有论思想的入门捷径.

  • 标签: 牟宗三 《心体与性体》 存有论