ここまで見てきたようなクリプキやグプタたちの理論をはじめとして,嘘つきパラドクスの解決を目指した真理の理論は多数提出されてきている.しかもそのうちのいくつかは,パラドクスの解決だけにとどまらない幅広い応用領域を持つなどして,非常に実り豊かな成果を挙げているように思われる.このような成果はもっと強調されてよい.しかし我々は,これらの高度にテクニカルな結果を眺めながらも,元々の素朴な非形式的レベルでのパラドクスのことを忘れてはならない.
前節で見たように,これら真理の理論が我々が直観的に感じているような嘘つきパラドクスを解決しているとは,到底言えないからである.嘘つきパラドクスを真に解決してくれるような真理の理論は,いまだ現れていないのである.
