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:

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 Star Trek.

Prior [1] 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 [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.