Maailma kohta käivad väited, väidete kohta käivad väited ja viimaste tõeväärtus

Maailma kohta käivad väited, väidete kohta käivad väited ja viimaste tõeväärtus  

Karmo Talts

 

Vaatame, mis eristab väiteid „see väide on väär” ja väidet „väide „lumi on valge” on tõene”. Esimene käib iseenda kohta, ja, kuna esimene väide on väite kohta käiv väide, käib ta väite kohta käiva väite kohta.Teine käib väite kohta, mis käib maailma kohta väljaspool väiteid.

Vaatame nüüd, kuidas siduda väidete kohta käivate väidete tõeväärtus väidetega, mis käivad maailma kohta väljaspool väiteid, ilma väidete tõeväärtuse määravate tingimuste sõnastamiseta iga väidete tasandi kohta eraldi. Kui vähemalt ühe väite kohta käiv väide P on ekvivalentne väitega Q, mis käib maailma kohta, siis on P-l sama tõeväärtus, mis Q-l ja kui vähemalt ühe väite kohta käiv väide P pole ekvivalentne vähemalt ühe väitega Q, mis käib maailma kohta, siis pole P-l tõeväärtust.