2021/09/09 真理と嘘つきパラドックス

タルスキの真理論に自己言及のパラドックスが出てくるのが最初は不思議だった。真理と嘘つきパラドックスにどう関係があるのかわからなかった。しかし、真であるかどうかということは、メタ論理であることが必要、ということらしい。そういうことなら嘘つきパラドックスと同じ構造である。そうか、真理とは、メタレベルで問うことだったのか。