The liars paradox is a paradox in “meta-logic”. Standard set theory already has ways of dealing with it (by disallowing use of the word “truth”).
My point was that just as some notion of set theory is necessary to talk about the different kinds of set theory, some notion of truth is needed to talk about the different notions of truth.
The liars paradox is a paradox in “meta-logic”. Standard set theory already has ways of dealing with it (by disallowing use of the word “truth”).
My point was that just as some notion of set theory is necessary to talk about the different kinds of set theory, some notion of truth is needed to talk about the different notions of truth.