Tõe vastavusteooriast lähtuv tõe rekursiivne määratlus ja valetaja paradoks

Tõe vastavusteooriast lähtuv tõe rekursiivne määratlus ja valetaja paradoks 

Karmo Talts

 

Läheneme tõe vastavusteoorale rekursiivselt. Tõene(0):=Vastab (väide, tegelikkus)

Tõene(n+1):=Vastab (n, tegelikkus)

Vaatame nüüd valetajalauset. Valetajalause ei väida midagi vahetult maailma kohta. Valetajalause ei väida midagi väite kohta, mis väidab midagi vahetult maailma kohta. Valetajalause ei väida midagi väite kohta, mis väidab midagi väite kohta, mis väidab midagi vahetult maailma kohta. Jne. Seega valetajalause pole tõene.