[institut] Svetski dan logike: Obaveštenje i serija predavanja u petak 16.01.

[MI SANU]

Poštovane koleginice i kolege,


UNESCO je u novembru 2019. godine proglasio 14.januar, dan na koji je
rodjen 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 ćemo obeležiti prigodnom sesijom
Logičkog seminara u petak 16.januara 2026. sa početkom u 15.00 na
Matematičkom institutu SANU.

Petak, 16.januar 2026. Knez Mihajlova 36, sala 301f.

15.00  Belgrade Logic Day Lecture

      Zoran Petrić,  Mathematical Institute SANU, Belgrade

                 KUDA NAS VODI OPŠTA TEORIJA DOKAZA?

Rezime. 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

                Slobodan Vujošević, Beograd

                   SEĆANJE NA SAŠU KRONA

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     Miloš Adžić, Filozofski fakultet, Beograd

          FILOZOFIJA, LOGIKA I MATEMATIKA - ARHITEKTONIKA POJMOVA
             (Predstavljenje posebnog broja časopisa Theoria)

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.
—


Registracija za učešće na seminaru je dostupna na sledećem linku:
https://miteam.mi.sanu.ac.rs/asset/oaqCm4EyPhHR6kM6N

Ukoliko ste već registrovani predavanje možete pratiti na sledećem linku
(nakon što se ulogujete):
https://miteam.mi.sanu.ac.rs/asset/8HX5pHW3fhfr2vFnF

Neulogovani korisnici mogu pratiti prenos predavanja na ovom linku (ali ne
mogu postavljati pitanja osim putem chata):
https://miteam.mi.sanu.ac.rs/call/8HX5pHW3fhfr2vFnF/Sud4M5nyx6-CCpaW4etWS1ZEM4wCvSsPuSxPAQ9Yfs6

Srdačan pozdrav.
Predrag Tanović