Possible Worlds, Incompleteness and Undefinability
Logic
2018-05-23 v1
Abstract
This short squib looks at how using a broader definition of G\"odel numbering to mimic the accessibility relation between possible worlds results in two-world systems that sidestep undecidable sentences as well as the Liar paradox.
Keywords
Cite
@article{arxiv.1805.08209,
title = {Possible Worlds, Incompleteness and Undefinability},
author = {Christopher F. S. Maligec},
journal= {arXiv preprint arXiv:1805.08209},
year = {2018}
}
Comments
Seven page squib