| ▲ | codechicago277 4 hours ago | |
I’m not a logician either but believe this is what Tarski’s definition of truth solves for. In order to make a statement about the statement itself, you have to introduce a new meta language. Then a statement in the meta language is only true if the underlying statement is true. Much more rigorous explanation: https://plato.stanford.edu/entries/tarski-truth/ | ||