"metakeelde" - 1 õppematerjal

Tõeprobleemid filosoofias

Tarski tõeteooria on rakendatav formaliseeritud keelte puhul. Formaliseeritud keeli iseloomustab see, et neis on kindlaks määratud sõnavara ning ranged reeglid väljendite moodustamiseks. Algselt küll formaliseeritud keelte jaoks loodud semantiline teooria kehtib aga ka loomulike keelte puhul, mis on ise omaenda metakeeleks. Nn T- konventsiooni järgi peab objektkeele iga lause S jaoks saama öelda "S on tõene parajasti siis kui p", kus p on S-i tõlge metakeelde. Selline hierarhiseerimine võimaldab vältida ka klassikalise korrespondentsiteooria paradokse . Väide Ma valetan on tõene siis ja ainult siis, kui ma tegelikult valetan; aga kui ma nüüd tegelikult valetan, siis ma räägin ju tõtt; aga kui ma tegelikult räägin tõtt, siis ma valetan. 2 Filosoofia üldkursus EPMÜ kaugõppele. IV loeng 9 3 Meos, I. Filosoofia põhirpobleemid. Tallinn: Koolibri, 1998 lk 56 4