1) paraconsiste
弗协调否定
1.
The connotations and characteristics of classical negation, intuitionistic negation and paraconsistent negation are discussed from the points of syntax and semantics in the article.
本文从语形和语义两个角度探讨了经典否定、直觉主义否定和弗协调否定的含义、性质与特征。
2) euphemistic affirmation
强调否定
3) paraconsistent logic
弗协调逻辑
1.
The Theoretical Origin and the Historical Development of Paraconsistent Logic;
弗协调逻辑的理论渊源和历史发展
2.
In this paper a paraconsistent logic H is constructed on the basis of the natural deduction systems established by professor Hu ShihuaIn the paraconsistent set theory SH which regards H as its underlying iogic, the Russell Proposition is verifiable.
本文以胡世华教授建立的自然推理系统为基础,构造了一个弗协调逻辑H。
3.
The production of paraconsistent logic causes us to think about the following issues: whether it is necessary to produce paraconsistent logic;what is the relationship between paraconsistent logic and classical logic;whether paraconsistent logic s questioning of contradictions universality means that the law of logic can be amended.
弗协调逻辑的产生,引发了我们对如下几个问题的思考:弗协调逻辑有无产生的必要?弗协调逻辑与经典逻辑的关系如何?弗协调逻辑对矛盾律普遍性的置疑是否意味着逻辑规律是可修正的
4) Paraconsistent Theory
弗协调理论
5) paraconsistent epistemic logic
弗协调认知逻辑
1.
The paper is devoted to build a paraconsistent epistemic logic C_nEK on the basis of the paraconsistent modal logic C_nG′.
本文试图以弗协调模态逻辑C_nG′为基础,建立一种弗协调认知逻辑C_nEK。
6) paraconsistent set theory
弗协调集合论
1.
In this paper a paraconsistent logic H is constructed on the basis of the natural deduction systems established by professor Hu ShihuaIn the paraconsistent set theory SH which regards H as its underlying iogic, the Russell Proposition is verifiable.
在以H为逻辑的弗协调集合论S_H中,罗素(B。
补充资料：否定之否定规律
| 否定之否定规律 negation of negation，law of 唯物辩证法的基本规律之一。它表明事物自身发展的整个过程是由肯定、否定和否定之否定诸环节构成的。其中否定之否定是过程的核心，是事物自身矛盾运动的结果，矛盾的解决形式。“否定之否定”的概念和理论，是G.W.F.黑格尔总结了欧洲哲学史上有关的思想，第一次明确提出来的 。他分析了概念自身的矛盾，认为任何概念都可以归结为肯定和否定两方面的对立统一。肯定就是概念自身，是概念的抽象状态。否定是和概念自身性质相反的规定。概念由肯定转化为否定，即由抽象转化为具体。概念的本性是抽象与具体的统一。因此，否定必须再次被否定，重新回到肯定，使否定和肯定，即具体和抽象结合起来，这就是否定之否定。否定之否定是对原来概念的扬弃，使它具有更丰富的内容。经过否定之否定的过程，原来的概念获得了新的发展。由于这个过程开端的概念和最后的概念是重合的，因此，黑格尔把否定之否定比喻为圆圈式的发展。马克思主义哲学对黑格尔的否定之否定规律进行了革命的改造，使这一规律获得了唯物主义的科学内容。马克思主义哲学的否定之否定规律，不是从概念、思维中逻辑地推演出来的，而是从客观事物和现实的发展中抽取出来的，是对自然界、社会历史中事物发展普遍规律的反映。否定之否定是指同一事物的同一矛盾的发展和解决过程。是事物自身矛盾运动的结果。是事物发展的普遍规律。 |
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条