哲学逻辑对判断的非反否定演算研究

A Study on the Non-Opposite Negative Mathematical Calculations of the Philosophical Logic about Judgment

形式逻辑是关于断定的逻辑(Logic),辩证逻辑是关于描述的逻辑(Logos)。通过对性质判断的非反否定演算,将形式逻辑的断定否定演算,辩证逻辑的描述否定演算,认知模态逻辑的真假断定否定演算与规范模态逻辑的对错断定否定演算及其相互间的辩证否定演算,都归结为非和反的哲学否定演算。由此,所述四种相对独立的逻辑演算分支就可通过哲学的非反演算而内在地统一起来了。

The formal logic is the logic of affirmation. The dialectic logic （Logos） is the logic of description. Through the non-opposite negative mathematical calculations of the qualitative judgment, the negative mathematical calculations of the affirmation of formal logic, the negative mathematical calculations of the description of dialectic logic, the negative mathematical calculations of the true-false affirmation of cognitive modal logic, the negative mathematical calculations of the right-fault affirmation of normative modal logic, and their mutual dialectic negative mathematical calculations, all are boiled down to the non and opposite philosophical negative mathematical calculations. Thus it can be seen that the four branches of the relative independent logic calculations can be internally unified by philosophical non and opposite mathematical calculations.