论文部分内容阅读
逻辑系统容纳不协调性，表征有意义的矛盾是目前非经典逻辑研究的一个重要方向。标注逻辑是为处理程序推理中的不协调性而提出的一种弗协调逻辑。标注逻辑在形式语言中添加了标注常元符号，用于刻画命题的真值情况。标注逻辑是以真值格结构为基础的格值逻辑系统，它用真值格结构比较矛盾信息和不协调性，达到表征矛盾信息的目的。
论文以标注逻辑的基础理论为研究的出发点，给出标注逻辑的形式语言和演绎结构；在命题标注逻辑的基础理论之上，对命题标注逻辑和经典命题逻辑进行比较分析，突出说明标注逻辑在形式语言、公理系统、句法和语义等方面独特之处。对标注逻辑系统的特征、表征矛盾信息的机制和说谎者悖论的解析进行探讨，希望通过推动对有意义矛盾的表征，增加逻辑在计算机科学领域实用性。
第一部分：沿着从经典逻辑到弗协调逻辑，弗协调逻辑到标注逻辑的发展脉络，阐明标注逻辑产生于矛盾信息表征的需要。第二部分：从形式语言、演绎结构、语义和元理论结果等方面介绍标注逻辑的基础理论。命题标注逻辑和经典命题逻辑的对比分析说明标注逻辑是非经典的逻辑，标注逻辑形式系统的构造是在改变部分经典逻辑中的形式语言、公理的基础上得到的。标注逻辑和达·科斯塔的弗协调逻辑系统的比较说明了二者在否定联结词的性质上的共性，比较的结果说明标注逻辑不仅具有弗协调性还具有弗完全性。
第三部分：标注逻辑是弗协调、弗完全和非真势的逻辑。这三个特点可以从标注逻辑的形式系统中体现出来。标注逻辑从认识论的角度对矛盾进行表征，处理认知不协调性；标注逻辑中否定联结词、真值格结构、语义解释和真值赋值函数在容纳不协调性、表征矛盾信息上发挥不同的作用；最后从标注常元对命题的刻画出发，在标注逻辑视角下尝试对说谎者悖论加以探讨，并且思考了逻辑的公式有效性和真理适用范围等内容。
论文以标注逻辑的基础理论为研究的出发点，给出标注逻辑的形式语言和演绎结构；在命题标注逻辑的基础理论之上，对命题标注逻辑和经典命题逻辑进行比较分析，突出说明标注逻辑在形式语言、公理系统、句法和语义等方面独特之处。对标注逻辑系统的特征、表征矛盾信息的机制和说谎者悖论的解析进行探讨，希望通过推动对有意义矛盾的表征，增加逻辑在计算机科学领域实用性。
第一部分：沿着从经典逻辑到弗协调逻辑，弗协调逻辑到标注逻辑的发展脉络，阐明标注逻辑产生于矛盾信息表征的需要。第二部分：从形式语言、演绎结构、语义和元理论结果等方面介绍标注逻辑的基础理论。命题标注逻辑和经典命题逻辑的对比分析说明标注逻辑是非经典的逻辑，标注逻辑形式系统的构造是在改变部分经典逻辑中的形式语言、公理的基础上得到的。标注逻辑和达·科斯塔的弗协调逻辑系统的比较说明了二者在否定联结词的性质上的共性，比较的结果说明标注逻辑不仅具有弗协调性还具有弗完全性。
第三部分：标注逻辑是弗协调、弗完全和非真势的逻辑。这三个特点可以从标注逻辑的形式系统中体现出来。标注逻辑从认识论的角度对矛盾进行表征，处理认知不协调性；标注逻辑中否定联结词、真值格结构、语义解释和真值赋值函数在容纳不协调性、表征矛盾信息上发挥不同的作用；最后从标注常元对命题的刻画出发，在标注逻辑视角下尝试对说谎者悖论加以探讨，并且思考了逻辑的公式有效性和真理适用范围等内容。