10、逻辑中的真值空缺、冗余与次协调逻辑

逻辑中的真值空缺、冗余与次协调逻辑

1. 真值空缺的相关探讨

1.1 对二值性的不同态度

在逻辑研究中，对于语句的真值存在不同的观点。有些情况会出现存在预设失败的问题，这似乎挑战了语句非真即假的二值性原则。不过，基于直觉主义对否定的理解，能确定一个语句不真就等同于确定它为假，所以不存在既非真也非假的语句。达米特（Dummett）对二值性原则（每个陈述要么为真，要么为假）发起了攻击，而预设理论家则同时攻击了排中律（没有陈述既非真也非假）。

1.2 达米特对排中律的辩护

达米特在《真理》（ Truth ）中试图为排中律辩护。他建议不区分假陈述和既非真也非假的陈述，而是区分陈述为假的不同方式。在K3（或其他三值逻辑）的真值表中，中间值可被解释为一种特殊的假。例如，“当今法国国王是秃头”为假时，其否定“当今法国国王不是秃头”同样为假。

1.3 指定值、断言内容与成分意义

1.3.1 达米特的观点要点

• 语句的意义完全由其具有指定值的情况和具有非指定值的情况决定。
• 对不同指定值或非指定值进行更细致的区分，只有在需要通过运算符对复合陈述的形成给出真值函数解释时才是合理的。
• 在大多数关于真假的哲学讨论中，我们真正关注的是指定值和非指定值的区别，因此分别为特定的指定值和非指定值选择“真”和“假”的名称只会使问题模糊。

1.3.2 断言内容与成分意义的区分

后来，达米特用断言内容和成分意义的新区分来表达这一观点。断言内容指陈述本身的内容，只需描绘出断言该陈述正确的情