Paradoks Liar dalam Logika Formal

Paradoks Liar adalah salah satu masalah paling mendasar dalam filsafat bahasa dan logika formal. Dalam bentuknya yang paling sederhana, ia dinyatakan sebagai:

"Kalimat ini adalah bohong."

Jika kalimat tersebut benar, maka apa yang dikatakannya haruslah benar, yang berarti kalimat tersebut bohong. Namun, jika kalimat tersebut bohong, maka klaimnya bahwa ia bohong adalah benar, yang berarti kalimat tersebut benar.