正者与反者和存在或非在——对辩证逻辑和形式逻辑之根解析

哲学对象论有四对基本矛盾大范畴---在者或非在者（在者的外在矛盾）;正者与反者（在者的内在矛盾）;存在或非在（存在的外在矛盾）;实在与应在（存在的内在矛盾）。基于此,引出了在者的外在矛盾是哲学对象本体论之完全性的根据;在者的内在矛盾是正反内容逻辑（Logos）之对象本体论的根据;存在的外在矛盾是正非形式逻辑（Logic）之对象存在论的根据;存在的内在矛盾是认知模态逻辑与行为规范逻辑之统一性的根据。据此,通过相同在者必存在互蕴公理和相反在者必存在互蕴公理,将哲学对象论的上述四对基本矛盾大范畴间的种种逻辑关系,以及涉及认识与实践的关于逻辑形式否定关系的非等值矛盾命题规律、关于描述内容否定关系的等值矛盾命题规律之哲学对象论的根据全都揭示出来了。

Positive and Negative and Existence or Nonexistence

There are four duets of great categories on the essential contradictions in the theory of philosophical object,including Existor or Nonexistor(the extrinsic contradiction of the Existor),Positive and Negative(the intrinsic contradiction of the Existor),Existence or Nonexistence(the extrinsic contradiction of Being),Real-existence and Ought-existence(the intrinsic contradiction of existence).On the basis of this,the extrinsic contradiction of Existor provides the ground of completeness for ontology of philosophical object.The intrinsic contradiction of Existor provides the ground for the object ontology of positive and negative content Logos.The extrinsic contradiction of existence provides the ground for the object ontology of true-false formal Logic.The intrinsic contradiction of existence provides the ground for the oneness between cognitive modal logic and behavioral normative logic.By introducing the axiom of mutual implication of which the same Existors must exist and the axiom of mutual implication of which the opposite Existors must exist,many logical relations between the four duets of categories,and the grounds for the theory of philosophical object of laws of non-equivalent contradictive propositions about the negative relationship of logic form and laws of equivalent contradictive propositions about the negative relationship of describing content,concerning knowing and practice,are all revealed.