Predikaat, mis on väitel, mis väidab midagi tõest väite kohta, mis midagi tõest ei väida

Predikaat, mis on väitel, mis väidab midagi tõest väite kohta, mis midagi tõest ei väida

Karmo Talts

 

Vaatame predikaati "väide P väidab midagi tõest Q kohta, kui Q midagi tõest ei väida." See predikaat annab paradoksaalse tulemuse juhul, kui P on Q-ga identne või kui Q-st järeldub, et P on tõene.