关于存在预设失效的语义学探究

存在预设在经典逻辑中有着重要的地位。存在预设失效了的逻辑系统就会成为一种自由逻辑系统,不得不面对空名与真值间隙问题。本文基于这些自由逻辑系统讨论了如何为存在预设失效提供一个合适的语义解释:首先通过语义预设的概念来定义存在预设、将真值间隙定义为二值原则失效,而后比较了为真值间隙赋值的不同方案,最终在虚构主义的立场上指出,超赋值语义学在把空名看作虚构对象名称的同时保留了逻辑真,是较为理想的语义解释。