如何征服说谎者悖论并确立真理的逻辑概念
历史与综述
2023-05-23 v1 逻辑
摘要
本文以非形式化的方式给出真理悖论的一种解法，并展示该解法如何解决经典悖论（如原始说谎者悖论）以及为反驳各种已提出的解法而构造的悖论（说谎者复仇）。该解法通过自身失败补充了确定句子真值的经典程序，并在程序失败时，借助适当的语义转移，使我们能够在经典二值语言中表达这一失败。形式地说，该解法是一种具有单一符号含义和两种句子真值赋值的语言。主要赋值是经典赋值，在真理谓词出现时是非全的；它使我们能够确定句子的经典真值，或导致该确定的失败。具有主要赋值的语言恰为强克莱尼三值语义的最大内在不动点（LIFPSK3）。允许我们表达主要赋值失败的语义转移恰为 LIFPSK3 的经典闭包：它将 LIFPSK3 在其未确定的部分扩展为一种经典语言。因此，本文为选择 LIFPSK3 及其经典闭包作为真理谓词的正确模型，提供了一种当代辩论中迄今未有的论证。最后，本文指出了当代文献中对 Kripke-Feferman 真理公理化理论的一个错误批评。
引用
@article{arxiv.2305.11887,
title = {How to Conquer the Liar and Enthrone the Logical Concept of Truth},
author = {Boris Culina},
journal= {arXiv preprint arXiv:2305.11887},
year = {2023}
}