Väite ülesehituse ja väite tõeväärtuse suhe ning väidete tõeväärtusest rääkivad väited

Väite ülesehituse ja väite tõeväärtuse suhe ning väidete tõeväärtusest rääkivad väited 

Karmo Talts

 

Vaatame eeldusi, et väite osutus on tema tõeväärtus ja väite tähendus sõltub väite ülesehitusest. Väite tähendus määrab väite osutuse. See tähendab, et väite ülesehitus määrab väite osutuse. See tähendab, et väite ülesehitus määrab väite tõeväärtuse.

Vaatame nüüd, kas väidetel viitavatel väidetel üldse on osutus. Kui väide X räägib väite Y, mille ülesehitus määrab Y-i tõeväärtuse, tõeväärtusest, siis Y-i tõeväärtus määrab X-i tõeväärtuse. Kui väide X räägib väite Y tõeväärtusest ja Y räägib väite Z, mille ülesehitus määrab Z-i tõeväärtuse, tõeväärtusest, siis Z-i tõeväärtus määrab Y-i tõeväärtuse ja Y-i tõeväärtus määrab X-i tõeväärtuse. Jne.

Vaatame nüüd väidete ahelaid ja tsükleid, kus väidetele viitamine nende tõeväärtusest rääkimiseks ei jõua tagasi väiteni P, mille tõeväärtus sõltub P ülesehitusest. Sel juhul pole tõde ahelasse või tsüklisse kuuluvate väidete jaoks defineeritud.