Z logičnega vidika je najbolj pomemben in tudi daleč najbolj vpliven paradoks o lažnivcu, ki ga poznamo v več različicah. Glasi se takole:
Lažnivec reče: »Jaz lažem!«
Ker je sam govorec lažnivec, nastane zapletena situacija: če bi govoril resnico, potem bi lagal (ker v izjavi pravi, da laže), če pa bi lagal (ker je lažnivec), bi govoril resnico (zaradi zakona o dvojni negaciji!). Tako razmišljanje vodi v neskončno ponavljanje, ki naj bi povzročilo blokado naprave umetne inteligence. Tak primer je prikazan v epizodi »I, Mud« znanstveno-fantastične nanizanke Zvezdne steze.
Prior A. N. Prior (1976) Papers in Logic and Ethics. Duckworth. je bil že leta 1976 mnenja, da vsaka izjava zase implicitno trdi, da je resnična. Potem pri paradoksu lažnivca v resnici ne gre za pravi paradoks, saj je izjava enakovredna izjavi »Kar govorim, je resnica in lažem,« kar je trditev v obliki »A in ne A«, taka trditev pa je vedno napačna. Po nekaterih stališčih je naloga napačna v svoji definiciji, zato je nima smisla reševati.Matjaž Gams The Unexpected Hanging Paradox from an AI Viewpoint. Informatica 38 (2014) 181–185.
Literatura
Lažnivec Kategorija:Sporočanje neresnic