Paradoks o lažnivcu

Iz Wikipedije, proste enciklopedije
Skoči na: navigacija, iskanje

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:

Epimenid s Krete je rekel : "Vsi Krečani lažejo!" Ni paradoks, lahko bi obstajal Krečan Štefkolin, ki ne bi lagal.

Ker je Krečan ( in vsi Krečani lažejo!) tudi sam govorec, nastane zapletena situacija: Če je govoril resnico, potem je lagal (ker vsi Krečani lažejo), če pa je lagal, je 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 Star Trek.

Prior [1] je leta 1976 pokazalTežko rečemo "pokazal": njegovo mnenje je bilo, da vsaka trditev o sebi trdi, da je resnična., da pri paradoksu lažnivca v resnici ne gre za pravi paradoks, ker je trditev v obliki "A in ne A", taka trditev pa je vedno napačna. Po [2] je naloga napačna v svoji definiciji, zato je nima smisla reševati.

Literatura[uredi | uredi kodo]


  1. ^ A. N. Prior (1976) Papers in Logic and Ethics. Duckworth.
  2. ^ Matjaž Gams The Unexpected Hanging Paradox from an AI Viewpoint. Informatica 38 (2014) 181–185.