Savremena Modalna Logika i Neklasični Sistemi

Uvod u Savremenu Neklasičnu Logiku i Treću Fazu Kursa

• Kontekst lekcije: Današnje predavanje fokusirano je na savremenu modalnu logiku, čime se otvaraju teme vezane za različite neklasične logike. Ovo predstavlja treću i finalnu fazu kursa Logika 2.
• Struktura kursa kroz tri faze:     * Prva faza: Rani razvoj i osnovne ideje savremene logike, počevši od tradicionalne aristotelovske logike do matematičkih problema koji su oblikovali ranu savremenu logiku.     * Druga faza: Fokus na semantici i kriterijumima istinitosti (npr. Tarski), istraživanje sintaksičkih okvira savremene logike.     * Treća faza (trenutna): Period od 1960-ih godina pa nadalje, obuhvata neklasične logike, reformu modalnih sistema i uvođenje novih modela mišljenja.
• Ključni autori i reformatori: Pominju se imena poput Hintike (Hintikka), Kvajna (Quine), Hermana, i ključne figure Saula Kripkea (Kripke).
• Karakter savremene logike: Naglašava se da savremena logika nije totalitarna. Ona ne teži jednom ispravnom modelu mišljenja, već otvara logičke prostore za više različitih sistema i modela koji su prilagođeni specifičnim slučajevima.
• Moć i fleksibilnost: Logika se opisuje kao najrazvijenija i najpotentnija disciplina savremene filozofije zbog svoje brzine razvoja i kompleksnosti.

Osnove Modalne Logike: Operatori i Značenje

• Definicija modalne logike: To je logika koja koristi operatore "moguće" i "nužno". Ovi se operatori nazivaju modalnim operatorima jer modifikuju (moduliraju) iskaz.
• Razlika u odnosu na asertoričke iskaze:     * Primer obično iskaza: "Danas je utorak".     * Primer modalnog iskaza: "Nužno je da je danas utorak" ili "Moguće je da je danas utorak".
• Ontološki i logički status: Modalni operatori menjaju logičko važenje i istinitosnu vrednost iskaza u poređenju sa kategorijalnim iskazima klasične logike.
• Istorijska pozadina: Ideje o nužnosti i mogućnosti prisutne su još kod Aristotela i Stoika (koji su se bavili i temporalnom logikom), ali savremena modalna logika donosi značajne nadogradnje.
• Veza sa klasičnom logikom: Savremena modalna logika se nadograđuje na savremenu klasičnu logiku, preuzimajući njene prednosti, ali uvodeći nove elemente razvijene u 20. veku.

Semantički i Pragmatički Preokret

• Intenzionalni vs. Ekstenzionalni karakter: Klasična logika je primarno ekstenzionalna, dok modalna logika uvodi intenzionalne karaktere (značenje i smisao u širem kontekstu).
• Semantizacija: Ne postoji savremena modalna logika bez semantike. Razvoj semantike direktno je podstakao razvoj modalne logike i obrnuto.
• Filozofski značaj: Modalna logika je ključna za filozofiju jezika, jer preciznije definiše pojmove koji u običnom jeziku (fizika, etika, svakodnevni govor) mogu biti nejasni.
• Eksperimentalni karakter: Logika se ovde posmatra kao kreativna i eksperimentalna disciplina koja ispituje hipotetičke scenarije, a ne samo fiksne norme.
• Pragmatički preokret u logici:     * Inspirisan radom Čarlsa Morisa (Charles Morris), koji deli jezik na semantiku, sintaksu i pragmatiku.     * Uvode se parametri koji su ranije ignorisani, poput konteksta tvrdnje, autora, vremena i mesta.     * Indeksikali: Reči čije značenje zavisi od konteksta (npr. "ja", "sada", "ovde").     * Primer: Izjava "Danas je utorak" menja istinitost zavisno od dana kada se izgovori, što postaje logički relevantno.

Razvoj Formalnih Sistema i Doprinos C.I. Lewisa i Gödela

• C.I. Lewis (Lujs): Ključan za rani formalni razvoj. Godine $1932.$ objavljuje rad o simboličkoj logici. Njegov glavni motiv bio je preispitivanje funkcije implikacije (tzv. striktna implikacija) u poređenju sa običnim jezikom.
• Sistemi S1 do S5: Lewis je kreirao niz formalnih aksiomatskih sistema koji su bili kompleksni i zahtevali mnogo vremena za dokazivanje teorema.
• Kurt Gödel (Gedel): Intervenisao je u modalnoj logici tako što je uspostavio vezu između modalne i intuicionističke logike, čime je učinio sisteme elegantnijim i efikasnijim.

Saul Kripke i Semantika Mogućih Svetova

• Relacioni modeli: Kripke uvodi "Kripkeove modele" ili relacione modele koji se fokusiraju na odnose između mogućih svetova.
• Mogući svetovi (Possible Worlds): Centralni pojam inspirisan Lajbnicom (Leibniz). Kripke tretira moguće svetove kao specifične tačke evaluacije.
• Analogija sa istinitosnim tablicama:     * Svaki red u istinitosnoj tablici za iskaz kao što je $P ∧ Q$ može se posmatrati kao jedan mogući svet.     * Postoje četiri logičke mogućnosti (TT, TF, FT, FF), što odgovara opisu četiri različita moguća sveta.     * Aktuelni svet je samo jedan od tih mogućih svetova.
• Logički prostor: Skup svih koherentnih svetova koji ne sadrže kontradikcije. Bog (prema Lajbnicu) ne može stvoriti svet sa logičkom kontradikcijom.
• Relacija dostižnosti: Kripkea zanima kako se krećemo iz jednog sveta u drugi (kros-svetovna referencija) i kakve veze postoje među njima.

Teorija Značenja i Rigidni Designatori

• Pojam "Rigidni designatori" (Rigid Designators): Izraz koji Kripke koristi da označi termine koji referišu na isti entitet u svim mogućim svetovima (npr. vlastita imena).
• Primer sa kosom: Ako osoba ima braon kosu u aktuelnom svetu, možemo zamisliti svet u kojem ista ta osoba ima crnu kosu. Ime osobe ostaje rigidni designator koji povezuje te varijacije.
• Ontološka obaveza: Kripkeova logika ne podrazumeva nužno postojanje (egzistenciju) objekta u svim svetovima, već identifikaciju identiteta kroz varijacije.

Nove Interpretacije i Specijalizovane Logike

• Deontička logika: Bavi se pojmovima obaveze i dozvole. Nužnost se interpretira kao obaveza, a mogućnost kao dozvola (u etičkom ili pravnom kontekstu).
• Epistemička logika: Logika znanja i verovanja.
• Temporalna logika: Logika vremena, usko povezana sa modalnom jer se bavi onim što je bilo nužno ili će biti moguće.
• Logika dijaloga: Revitalizacija aristotelovske dijalektike i topike, posmatranje logike kroz procese rezonovanja u komunikaciji.
• Matematička korelacija:     * Logika nužnosti se ponaša kao univerzalni kvantifikator: $\Box P \iff ∀w (P ∈ w)$.     * Logika mogućnosti se ponaša kao egzistencijalni kvantifikator: $\Diamond P \iff ∃ w (P ∈ w)$.

Pitanja i Diskusija

• Pitanje o karakteru nužnosti: Profesor objašnjava da nužnost kod Kripkea nije apsolutna već relativna u odnosu na strukturu modela i svetova.
• Interakcija sa kolegama: Pominje se rad sa kolegom Brujićem na vežbama gde su razmatrani osnovni modalni sistemi.
• Zaključak: Savremena modalna logika transformisala je tradicionalnu logiku od statičnog skupa pravila u procesni, fleksibilan aparat koji je centar savremenih kompjuterskih nauka i filozofije.