嘘つきのパラドックスをよりよく理解するには、より形式的に書いてみればよい。「この文は偽である」を A とする。A は自己言及的であるため、その真理値を限定する条件を式に書くことができる。
青年 アルフレド
ある文 B が偽だとするとき、それを "B = false" と表す。文 B が偽であると述べている文 (C) は、"C = 'B = false'" と表せる。嘘つきのパラドックスを文 A とすると、A は偽なので次のように表せる。 "A = 'A = false'
青年 アルフレド
この等式からうまくいけば A = 「この文は偽である」の真理値が得られる。ブール領域では "A = false" は "not A" と等価であり、この等式を解くことは出来ない。これがAの再解釈の動機となっている。この式を解けるようにする最も単純な論理的手法は dealetheism 的手法であり、その場合 A は「真」であり同時に「偽」であると解釈する。他の解決策では、式に何らかの修正を施すこと
青年 アルフレド
が多い。アーサー・プライアは、この式を "A = 'A = false and A = true'" とすべきだとし、結果としてAは偽になるとした。computational verb logic では、この文を「私は彼が言うのを聞く。彼は私が聞いていないと言う」というような形式に拡張し、パラドックスの解決に verb logic を使用する[10]。
