「この文は偽である」が真なら、それは偽だということになり、偽ならばその内容は真ということになり……というように無限に連鎖する。同様に「この文は偽である」が偽なら、それは真ということになり、真ならば内容から偽ということになり……と、この場合も無限に連鎖する。
歴史.
クレタ人であるエピメニデスが「クレタ人はいつも嘘をつく」と言った場合、クレタ人が本当にいつも嘘をつくなら、彼のこの言葉も嘘となり、クレタ人はいつも嘘をつかないことになってしまう、というのがエピメニデスのパラドックスである。
パラドックスの詳細と派生.
嘘つきのパラドックスの問題は、真理と虚偽に関する一般通念を適用すると矛盾が導かれる点である。文法や意味論の上では規則を守りつつ、真理値を割り当てられない文を構築することができる。
このパラドックスの最も単純な文は次の通りである。
しかし、この文を真とすると偽だということになり、偽とすると真だということになることから、「真でも偽でもない」と結論することもある。このようにこのパラドックスに反応することは、真理と虚偽についての一般通念である「全ての文は二値原理に従う」を否定することであり、それは排中律とも関連する概念である。
この文が真でも偽でもないという場合、次の強化されたパラドックスではどうだろうか。
このような形式は相互に言及しあう複数の文を円環状に配することで（つまり、最後の文は最初の文の真偽を述べる）いくらでもバリエーションを生み出せる。次の例は奇数個の文を使ったもので、それぞれ次の文が偽だと表明する。
集合論におけるパラドックス (ラッセルのパラドックス).
集合論における典型的なパラドックスは次のようなものである。これは特に、バートランド・ラッセルが議論の対象としたことで知られる（ラッセルは述語論理における同様のパラドックスについても議論している）。
以上のように、この集合は自己言及のパラドックスを引き起こすことになる。
土地台帳法.
パラドックスでないもの.
ところで自己言及によって必ずパラドックスが起きるというわけではない。
例えば、
は矛盾を引き起こさない。