Tavakeele lausete, mis kasutavad sõna "tõde", tõlkimine formaalsetesse keeltesse ilma tõepredikaati defineerimata

Tavakeele lausete, mis kasutavad sõna "tõde", tõlkimine formaalsetesse keeltesse ilma tõepredikaati defineerimata 

Karmo Talts 

 

Vaatame selel tähendust loogika jaoks, et sõna "tõde" on tavakeele sõna. Me ei vaja tingimata predikaati, mis täidab formaalses keeles sõna "tõde" funktsiooni, vaid võimalusi tõlkida formaalsesse keelde tavakeele lauseid, mis kasutavad sõna "tõde".

Vaatame nüüd võimalust, et kui me tähistame deklaratiivse lause x lausemuutujaga P, siis me saame tavakeele lause "väide x on tõene" tõlkida formaalsesse keelde nii: P. Esmapilgul ei võimalda see tõlkida lauset "need väited on tõesed".

Vaatame seda küsimust lähemalt. Kui me kasutame väljendit "need väited" deklaratiivsete lausete x, y... kohta, siis me võime need laused asendada lausemuutujatega P,Q... ja väljendi "need väited" tõlkida nii: X:=P∧Q... Nüüd saame me tõlkida lause "need väited on tõesed" nii: X.

Vaatame nüüd võimalust tõlkida tavakeele lauseid formaalsesse keelde, mis võimaldab rääkida tõeväärtustest. Kui me tähistame deklaratiivse lause x lausemuutujaga P, siis me saame tavakeele lause "väide x on tõene" tõlkida formaalsesse keelde nii: P-l on kõige kõrgem tõeväärtus. Kui me kasutame väljendit "need väited" deklaratiivsete lausete x, y... kohta, siis me võime need laused asendada lausemuutujatega P,Q... ja väljendi "need väited" tõlkida nii: X:=P∧Q... Nüüd saame me tõlkida lause "need väited on tõesed" nii: X-il on kõige kõrgem tõeväärtus.