パラドックス
日本語では逆説、逆理、背理と訳される。語源はギリシャ語（παράδοξον < παρα-, para-:反対の + δόξα, dóxa: 意見）。有名なものに、自己言及のパラドックス、リシャールのパラドックス、ベリーのパラドックスがある。
自己言及のパラドックス
アルフレト・タルスキは、「意味論的に閉じた」言語でのみこのパラドックスが生じるとした。それは一つの文が別の文（またはそれ自身）の真実性（または虚偽性）を述べることができる言語である。自己矛盾を防ぐには、真理値を論じる際に言語のレベルを想定する必要があり、それぞれのレベルはより低いレベルの言語について真実性（または虚偽性）を述べることができるとする。従ってある文が別の文の真理値について述べている場合、その文は意味論的に高いレベルにある。そこで言及されている文は「対象言語」の一部であり、言及している文はその対象言語の「メタ言語」の一部と見なされる。「言語」の意味論的階層において高い方の文が低い方の分に言及することは正当だが、逆はそうではない。このようにすることで自己言及となることを防止できる。