Koncepcija semantike u djelu Alfreda Tarskog

Skelac, Ines. (2012). Koncepcija semantike u djelu Alfreda Tarskog. Diploma Thesis. Filozofski fakultet u Zagrebu, Department of Philosophy. [mentor Švob, Goran].

PDF (Croatian) - Registered users only Download (384kB) | Request a copy

Abstract

Ovaj se rad sastoji od dva glavna dijela: u prvome smo dijelu pokušali prikazati rezultate Tarskijeve semantičke teorije istine, a u drugome smo dijelu raspravljali o utjecaju njegove nove definicije logičke posljedice. Tarskijev je cilj u njegovu radu na semantičkim pojmovima (kao što je pojam istine, zadovoljivosti, itd.) dati matematički prihvatljive definicije tih pojmova, pri čemu je vrlo važno njegovo razlikovanje objektnoga jezika i metajezika. Pokušali smo predstaviti njegovu metodu zgradnje definicija istine za formalizirane jezike koje su dane u Tarski (1933). Tarski nudi novo rješenje paradoksa lažljivca izbjegavajući samo-odnošenje u lažljivoj rečenici koje se temelji na njegovoj definiciji istinitosti. Dali smo kratku analizu toga rješenja. Tarski je predstavio svoju teoriju o logičkoj posljedici u Tarski (1936a). Raspravlja o tome je li moguće dati preciznu definiciju pojma posljedice kad je sam taj pojam nejasan. Razmotrili smo i analizirali iz povijesne perspektive neke vidove njegova rada koji su od neposredne važnosti za filozofsko razumijevanje njegove definicije logičke posljedice. I teorija modela i teorija dokaza svaka uključuju pojam logičke posljedice, ali ti se pojmovi u tim teorijama dosta međusobno razlikuju i koriste se u različite svrhe. Tarski je dao prvu modelteorijsku definiciju logičke posljedice koja se temelji na predteorijskome pojmu posljedice i povezana je s uobičajenim korištenjem u svakodnevnome jeziku. Zaključujemo prikazom kritika i primjena njegovih glavnih ideja.

Actions (login required)

View Item