The semantic conception of proof
Logic
2013-12-13 v2 History and Overview
Abstract
We analyze the informal semantic conception of proof and axiomatize the proof relation and the provability operator. A self referential propositional calculus which admits provable liar type sentences is introduced and proven consistent. We also investigate the problem of interpreting arbitrary formal systems in systems which include a provability operator.
Keywords
Cite
@article{arxiv.1112.6126,
title = {The semantic conception of proof},
author = {Nik Weaver},
journal= {arXiv preprint arXiv:1112.6126},
year = {2013}
}
Comments
reworked the treatment of quantification