【多值逻辑及其哲学基础】吴立俊.pdf

专业:逻辑学研究方向:现代逻辑指导教师或推荐人姓名、职称(在职人员填后者):赵总宽副数授学习期限:88年9月至90年3月论文主题词:多值逻辑

一、引言 1、对2-值逻辑的讨论对任一命题逻辑系统,只有当系统在一定的语义基础上具备了完整的语法结构以后才能对其进行语义解释,这是构造命题逻辑系统的标准步骤.下面,我们按上述步骤对2-值逻辑进行简短的讨论,首先,给定两个真值T(真)与(假).然后,对各命题联结词给出形式化的真值规则。各联结词的真值规则,由真值表出。2-值逻辑中,各联结词的真值表如下:pq pVq pq p=q T F T F T F F T T T T F F F T F T T F T 由表可知,由任一给定的命题联结词组成的复合命题,对其中的每一级成部分(命变元)给出任一组真值,则,该复合命题的值都总能得

完全可能的.“假”一否定的,或不可能的。引进的第三种真值,则表示某种“可能性”以及这种“可能”的程度.综上所述,得出如下初步结论:①首先,对2一值逻辑有超越的必要,因为2一值逻辑在某些语义解释上是不充分的,这一点,前面已经给予了讨论。②其次,由于引入了第三种真值及其语义解释,就具备了构造3一值以及多值逻辑系统的前提。③关于第三种真值及其语义解释,可以有不同的出发点。而不同的出发将导致不同的语法结构和不同的语义解释,因而导致不同的多值逻辑系统。而导致系统异同的出发点,其根本则在于不同的语义基础及其哲学动因。