符合经典逻辑的可数语言的真值理论
逻辑
2020-02-04 v9
摘要
表明每个符合经典逻辑的可数语言都有一个符合经典逻辑的扩张，且具有定义性真值理论。若该对象语言的每个句子按其意义被赋值为真或假，则该扩张具有语义性真值理论。这些理论同时包含真值谓词与非真值谓词。当对象语言的句子按其意义被赋值时，这些理论是等价的。
引用
@article{arxiv.1809.10539,
title = {Theories of truth for countable languages which conform to classical logic},
author = {Seppo Heikkilä},
journal= {arXiv preprint arXiv:1809.10539},
year = {2020}
}
备注
16 pages