数学推导的真值定义/语义理论
逻辑
2017-12-15 v9
摘要
使用普通和超限递归与归纳以及 ZF 集合论，从一个完全解释的客体语言和一个额外公式构造出一种新语言。在适当定义的解释下，它是完全被解释的。如果客体语言是如此解释的，则该解释等价于通过句子含义进行的解释。添加的公式为构造的语言提供了真值谓词。如此获得的真值理论满足 Hannes Leitgeb 在其论文《真值理论应该是什么样子（但不可能是）》中提出的规范。
引用
@article{arxiv.1708.00317,
title = {A mathematically derived definitional/semantical theory of truth},
author = {Seppo Heikkilä},
journal= {arXiv preprint arXiv:1708.00317},
year = {2017}
}
备注
Some proofs are simplified (see, eg. the proof of Lemma 3.2)