Truth Definitions, Skolem Functions And Axiomatic Set Theory (1998)
by
Jaakko Hintikka
| Venue: | Bulletin of Symbolic Logic |
| Citations: | 3 - 0 self |
BibTeX
@INPROCEEDINGS{Hintikka98truthdefinitions,,
author = {Jaakko Hintikka},
title = {Truth Definitions, Skolem Functions And Axiomatic Set Theory},
booktitle = {Bulletin of Symbolic Logic},
year = {1998},
pages = {303--337}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
this paper, it will turn out logicians have universally missed the true, exceedingly simple feature of ordinary first-order logic that makes it incapable of accommodating its own truth predicate. (See Section 4 below.) This defect will also be shown to be easy to overcome without transcending the first-order level. This eliminates once and for all the need of set theory for the purposes of a metatheory of logic.
