千年逻辑之争终成合和之解——对形式逻辑和辩证逻辑之关系的解析

Thousands Years of Logic Dispute Ends in Compromise——Conclusion of the Relation between Formal Logic and Dialectical Logic

基于形式逻辑的"相同者必存在互蕴公理"(Logic)和辩证逻辑的"相反者必存在互蕴公理"(Logos)及其逻辑否定,从哲学对象论的所指"正者或反者"、"正者与反者"、断言"存在或非在"、"存在与非在"这四者的异质合取关系中,得出了涉及两种逻辑关系的断言矛盾方阵。进而分析出此方阵中两种逻辑的多重对立析取关系与统一合取关系,从而证明了此两种逻辑是相互蕴涵的。由此,也说明了形式逻辑的"断言对立性"和辩证逻辑的"所指统一性"正是这两种逻辑的最终合和之解。

Based on ＂the similar contains logic＂ while ＂the opposite contains logos＂ and its logic negative, from philosophy target theory ＂positive and negative＂, ＂exist and Non-exist＂ to evaluate their relations of heterogeneous combination to get the contradictory result concerning two logic relations. The further analysis shows the muhi opposite adoption and unifying combination as to certify these two logics mutually contained. Because of this, it is certified that ＂assertion opposition＂ of formal logic and ＂concerned logic＂ of dialectical logic are the final compromise of them.