Loogika poolt kasutatav keel ja metaloogika
Karmo Talts
Vaatame keelt, mille sõnavara võimaldab rääkida väidete tõeväärtustest. Kui selle keele sõnavara võimaldab rääkida ka sellest, kuidas sõltub järelduste tõeväärtus eelduste tõeväärtusest, siis on tegemist keelega, mida kasutab loogika.
Vaatame nüüd selle tähenduse selle jaoks, mida saab loogika abil käsitleda. Kui loogika poolt kasutatav keel on keele, mille väidete tõeväärtuste vahelistest suhetest räägitakse, metakeel, siis püüe loogika poolt kasutatavat keele abil loogika enda väidetest rääkida tähendab metakeelsete väidete esitamist mitte objektkeele väidete kohta, vaid metakeele enda väidete kohta.
Vaatame nüüd selle tähendust metaloogika jaoks. Metaloogika poolt kasutatava keele sõnavara peab olema rikkam, kui loogika poolt kasutatava keele oma, et võimaldada esitada väiteid loogika poolt kasutatava keele väidete kohta.
No comments:
Post a Comment