UNESCO je u novembru 2019. godine proglasio 14. januar, dan na koji je rođen en Alfred Tarski i preminuo Kurt Gedel, za Svetski dan logike (World Logic Day). Taj dan se obeležava prigodnim skupovima širom planete, a listu ovogodišnjih dogadjanja možete naći na adresi: https://worldlogicday.com/events
Predstojeći Svetski dan logike biće obeležen prigodnom sesijom Seminara za logiku u petak 16. januara 2026. sa početkom u 15 časova na Matematičkom institutu SANU.
Petak, 16. januar 2026. Knez Mihajlova 36, sala 301f.
15.00 Belgrade Logic Day Lecture
Predavač: Zoran Petrić, Matematički Institut SANU, Beograd
Naslov predavanja: KUDA NAS VODI OPŠTA TEORIJA DOKAZA?
Apstrakt: Između ostalog, zadatak opšte teorije dokaza je da odgovori na pitanje kada dva formalna izvođenja reprezentuju isti dokaz – drugim rečima da odredi kriterijume jednakosti dokaza, odnosno sinonimnosti (ekvivalentnosti) formalnih izvođenja. Na prvi pogled su ovi zadaci bliži filozofiji no matematici. Na predavanju ćemo ukazati na jedan put kojim nas opšta teorija dokaza može provesti kroz matematiku. Tom stazom ćemo proći pored lambda računa, prostora petlji, raznoraznih politopa, a izvođenja će nas dovesti i do topološke kvantne teorije polja.
15.50 Iz istorije logike u Srbiji
Predavač: Slobodan Vujošević, Beograd
Naslov predavanja: SEĆANjE NA SAŠU KRONA
Apstrakt: Aleksandar Kron (1937-2000) je bio logičar i profesor filozofije na Filozofskom fakultetu u Beogradu. Osnovao je prvo logičko društvo i rukovodio seminarom za algebru i logiku na Matematičkom institutu SANU, koji je okupljao istraživače sa instituta, Filozofskog i Matematičkog fakulteta. Najvažniji događaj u njegovoj karijeri bila je poseta Univerzitetu u Pitsburgu početkom 1970-ih. Tamo je upoznao Alana Rosa Andersona i Nuela Belnapa u vreme kada je bila u pripremi njihova knjiga „Entailment: The Logic of Relevance and Neecessity“ tako da je Kron bio prisutan kada je relevantna logika bila u punom razvoju. U Pitsburgu se upustio u ovu temu i ostao u njoj do kraja života. To se može videti ne samo kroz broj njegovih radova iz relevantne logike, već i kroz sve ostale radove njegovog širokog spektra interesovanja – ideja relevantnosti je inkorporirana u radovima iz kvantne logike, analize kauzalnosti i teorije odlučivanja.
16.20 Predstavljanje posebnog broja časopisa „Theoria“
Predavač: Miloš Adžić, Filozofski fakultet, Beograd
Naslov predavanja: FILOZOFIJA, LOGIKA I MATEMATIKA – ARHITEKTONIKA POJMOVA
Apstrakt: Ove se godine navršava pola veka od izlaska prvog broja časopisa „Theoria“. Tim povodom, prva u nizu jubilarnih svezaka posvećena je preplitanju filozofije, logike i matematike. Izlaganje će pružiti kratak pregled saradnje koju decenijama neguju Matematički institut SANU, Matematički i Filozofski fakultet. Biće reči o strogim temeljima koje su u ovoj oblasti postavile generacije naših nastavnika, kao i o ostalim tematskim brojevima koji će tokom godine biti posvećeni etici, estetici i drugim filozofskim disciplinama. Ovaj temat stoji kao svedočanstvo o neraskidivoj vezi disciplina koje, svaka svojim putem, teže istom cilju — rasvetljavanju naših pojmova.
Napomena: Predavanja je moguće pratiti na daljinu putem linka:
