Alfred Tarski i semantička teorija istine

Alfred Tarski (1902–1983): Poljski mislilac rođen u Varšavi, jedan od najuticajnijih logičara 20. veka čiji je rad nezaobilazan u perspektivi savremene logike. On predstavlja ključnu figuru koja zaokružuje i poentira diskusije o značenju i semantici koje su započeli Vitgenštajn i Bečki krug.
Varšavska škola logike: Pored Tarskog, ključni član bio je Jan Lukaševič (Jan Łukasiewicz), poznat po otkriću trovalentne logike. Poljska škola je dala ogroman doprinos razvoju savremene logike, tretirajući je kao ozbiljnu naučnu disciplinu.
Hronološki okvir: Glavna istraživanja Tarskog o kojima je reč dešavaju se tokom 1920-ih i 1930-ih godina, sa kulminacijom u radu o semantičkoj koncepciji istine iz 1934. godine.
Odnos prema Bečkom krugu i Karnapu: Tarski koristi termine poput semantike i sintakse koji su postali deo normalnog logičkog žargona, ali se udaljava od ranog Karnapa koji je pokušavao da semantiku svede na čistu sintaksu. Tarski se fokusira na vezu između formalnih sistema i sveta (semantika).

Pojam metalogike: Tarski uvodi pristup logici gde sama logika postaje predmet istraživanja. To je istraživanje logike iz "meta-statusa", gde se analiziraju koherentnost, konzistentnost i kompletnost logičkih sistema.
Metateorija: Teorija koja se bavi drugim teorijama. Metodološki, metalogika i metamatematika su sinonimi za metodologiju deduktivnih nauka koja se bavi formalizovanim deduktivnim teorijama.
Formalizovane deduktivne teorije: To su sistemi uređeni aksiomatski gde su pravila formacije i transformacije jasno definisana (npr. matematika).
Konstruktivna priroda metateorije: Za razliku od zoologije koja ne može konstruisati svoj predmet (životinje), metateorija može konstruisati sopstveni predmet proučavanja. Ona postavlja pravila za stvaranje formalnih sistema i može služiti kao uputstvo za njihovu izgradnju.
Idealni slučaj vs. Praksa: U idealnim uslovima (vakuumu), značenje i opravdanje bi bili apsolutno jasni. Međutim, u praksi, objasniiti značenje ili opravdati tvrdnju zahteva pozivanje na druge termine i tvrdnje, što vodi u beskonačni regres ukoliko se ne postave primitivni pojmovi i aksiome.

Zatvoreni sistemi: Tarski tretira deduktivne sisteme kao skupove rečenica koji uključuju aksiome i sve rečenice izvedene iz njih pomoću deduktivnih metoda.
Dva nivoa istraživanja: - Specifične deduktivne teorije: Istraživanje pojedinačnih sistema kao što su logička algebra, aritmetika realnih brojeva i geometrija pravih linija. - Metateorijsko poređenje: Tarski smatra da se nad svakom pojedinačnom teorijom može napraviti mala metateorija koja otkriva njene specifičnosti. Ne postoji jedna univerzalna metamatematika koja bi progutala sve ostale (suprotno ambicijama Rasela, Fregea i Hilberta).
Pluralizam oblika mišljenja: Različite matematičke teorije predstavljaju različite modele i oblike mišljenja. Tarski naglašava važnost prepoznavanja ovih razlika umesto nasilnog svođenja svega na jednu osnovu.
Zadatak metodologije: Pronalaženje zajedničkih elemenata u različitim metateorijama i precizno definisanje osnovnih pojmova kao što su konsekvenca (posledica) i logička ekvivalentnost.

Logička matrica: Alternativa aksiomatskom metodu za konstrukciju deduktivnih sistema. Predstavlja se kao uređena četvorka: $M = (A, B, F, K)$ Gde su: - $A$ i $B$ : Dva različita skupa elemenata. - $F$ : Funkcija sa dve varijable (operacije). - $K$ : Funkcija sa jednom varijablom.
Svrha matrica: One su apstraktna verzija istinitosnih tablica i služe kao alat za definisanje logike, ispitivanje kompletnosti i konzistentnosti, bez nužnog oslanjanja na aksiome. Lukaševič je intenzivno koristio ovaj metod u istraživanju iskaznog računa.

Formalne vs. Semantičke definicije: Formalne definicije u logici se bave isključivo sintaksičkim pravilima (simbolima). Semantičke definicije uključuju odnos između reči i sveta (interpretaciju).
Rehabilitacija Aristotela: Tarski bazu svoje teorije pronalazi u Aristotelovoj klasičnoj definiciji istine: > "Reći za ono što jeste da jeste, a za ono što nije da nije, jeste istina; a reći za ono što jeste da nije, ili za ono što nije da jeste, jeste laž."
Konvencija T (T-shema): Centralna tačka Tarskijeve teorije. Primer: $Rečenica \, "Sneg \, je \, beo" \, je \, istinita \, ako \, i \, samo \, ako \, je \, sneg \, beo.$
Razdvajanje nivoa jezika: - Objekt-jezik (Object language): Jezik o kojem govorimo (u primeru: "Sneg je beo"). - Meta-jezik (Meta-language): Jezik kojim govorimo o objekt-jeziku. On mora biti "bogatiji" od objekt-jezika jer sadrži imena rečenica objekt-jezika i semantički predikat "istinito".

Semantički univerzalan (zatvoren) jezik: Jezik koji može da govori o samom sebi i koji sadrži sopstvene termine za istinu. Prirodni jezici (poput srpskog) su po svojoj prirodi semantički univerzalni.
Problem: Tarski pokazuje da ako jezik sadrži dva uslova: 1. Pridržava se osnovnih zakona logike. 2. Semantički je zatvoren (unverzalan). …to neizbežno vodi u paradokse, kao što je Paradoks lažova ("Ova rečenica je lažna").
Tarskijevo rešenje: Odbacivanje semantičke univerzalnosti. Da bismo izbegli paradokse, moramo uvesti strogu hijerarhiju jezika. Pojam istine za jedan nivo jezika (objekt-jezik) uvek se definiše na višem nivou (meta-jeziku).
Relativizacija pojma istine: Istina nije apsolutna transcedentna vrednost, već se uvek odnosi na specifičan nivo jezika unutar hijerarhije.

Preciziranje pojmova: Tarski je transformisao logiku tako što je precizirao pojmove istine, definabilnosti i konsekvence, tretirajući ih kao logička, a ne metafizička pitanja.
Fleksibilnost logike: Njegova teorija omogućava mnoštvo oblika mišljenja i logičku analizu različitih naučnih disciplina. On je "spasio" pojam istine iz paradoksa pružajući mu naučni i formalni okvir.
Uticaj na budućnost: Tarskijeva semantika je temelj za razvoj teorije modela i moderne modalne logike (npr. Kripkeovi modeli). Njegov rad pokazuje da se o istini može govoriti racionalno i koherentno unutar granica formalizovanog jezika.