Theories of truth for countable languages which conform to classical logic
Logic
2020-02-04 v9
Abstract
Every countable language which conforms to classical logic is shown to have an extension which conforms to classical logic, and has a definitional theory of truth. That extension has a semantical theory of truth, if every sentence of the object language is valuated by its meaning either as true or as false. These theories contain both a truth predicate and a non-truth predicate. Theories are equivalent when the sentences of the object language are valuated by their meanings.
Keywords
Cite
@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}
}
Comments
16 pages