Knjižnica Filozofskog fakulteta
Sveučilišta u Zagrebu
Faculty of Humanities and Social Sciences Institutional Repository

Koncepcija semantike u djelu Alfreda Tarskog

Downloads

Downloads per month over past year

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

[img] 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.

Item Type: Diploma Thesis
Uncontrolled Keywords: logička semantika, istina, objektni jezik, metajezik, logička posljedica
Subjects: Philosophy
Departments: Department of Philosophy
Supervisor: Švob, Goran
Date Deposited: 06 Jun 2013 11:01
Last Modified: 09 Jul 2014 14:05
URI: http://darhiv.ffzg.unizg.hr/id/eprint/2152

Actions (login required)

View Item View Item