Seminar for Mathematical Logic
PROGRAM
Predavanja na Logičkom seminaru možete uživo pratiti preko linka https://miteam.mi.sanu.ac.rs/asset/iYxPidYtFqBC9sT7a.
Ukoliko želite i da učestvujete u diskusiji, to možete preko linka https://miteam.mi.sanu.ac.rs/asset/oaqCm4EyPhHR6kM6N na kome prethodno treba napraviti nalog, t.j. popuniti registracioni formular koji se pojavi nakon klika.
PETAK, 13.01.2023. u 14:15, sala 301f, Knez Mihajlova 36
Miloš Adžić, Filozofski fakultet, Beograd
SOL KRIPKE: SAMO ISTINA, I TAČKA
Na predavanju će biti reči o nekim idejama američkog logičara i filozofa Sola Kripkea (1940-2022) koje su za logiku zanimljive. Iako se njegovo ime najčešće vezuje za semantiku modalnih i neklasičnih logika, Kripke je za sobom ostavio puno rezultata koji tu ne spadaju. Daćemo kratak i ne sasvim formalan pregled teorije istine koju je formulisao sredinom sedamdesetih godina prošlog veka, njegovih doprinosa teoriji izračunljivosti i teoriji skupova koji su sa njom u vezi, kao i kasnijih zanimljivih istraživanja u ovoj oblasti.
OBAVEŠTENJA:
Ukoliko zelite mesecne programe ovog Seminara u elektronskom obliku, obratite se: tane@mi.sanu.ac.rs. Programi svih seminara Matematickog instituta SANU nalaze se na sajtu: www.mi.sanu.ac.rs
Beograd,
Srdacan pozdrav,
rukovodilac seminara Predrag Tanovic