UNESCO је у новембру 2019. године прогласио 14. јануар, дан на који је рођен ен Алфред Тарски и преминуо Курт Гедел, за Светски дан логике (World Logic Day). Тај дан се обележава пригодним скуповима широм планете, а листу овогодишњих догадјања можете наћи на адреси: https://worldlogicday.com/events
Предстојећи Светски дан логике биће обележен пригодном сесијом Семинара за логику у петак 16. јануара 2026. са почетком у 15 часова на Математичком институту САНУ.
Петак, 16. јануар 2026. Кнез Михајлова 36, сала 301ф.
15.00 Belgrade Logic Day Lecture
Предавач: Зоран Петрић, Математички Институт САНУ, Београд
Наслов предавања: КУДА НАС ВОДИ ОПШТА ТЕОРИЈА ДОКАЗА?
Апстракт: Између осталог, задатак опште теорије доказа је да одговори на питање када два формална извођења репрезентују исти доказ – другим речима да одреди критеријуме једнакости доказа, односно синонимности (еквивалентности) формалних извођења. На први поглед су ови задаци ближи филозофији но математици. На предавању ћемо указати на један пут којим нас општа теорија доказа може провести кроз математику. Том стазом ћемо проћи поред ламбда рачуна, простора петљи, разноразних политопа, а извођења ће нас довести и до тополошке квантне теорије поља.
15.50 Из историје логике у Србији
Предавач: Слободан Вујошевић, Београд
Наслов предавања: СЕЋАЊЕ НА САШУ КРОНА
Апстракт: Александар Крон (1937-2000) је био логичар и професор филозофије на Филозофском факултету у Београду. Основао је прво логичко друштво и руководио семинаром за алгебру и логику на Математичком институту САНУ, који је окупљао истраживаче са института, Филозофског и Математичког факултета. Најважнији догађај у његовој каријери била је посета Универзитету у Питсбургу почетком 1970-их. Тамо је упознао Алана Роса Андерсона и Нуела Белнапа у време када је била у припреми њихова књига „Entailment: The Logic of Relevance and Neecessity“ тако да је Крон био присутан када је релевантна логика била у пуном развоју. У Питсбургу се упустио у ову тему и остао у њој до краја живота. То се може видети не само кроз број његових радова из релевантне логике, већ и кроз све остале радове његовог широког спектра интересовања – идеја релевантности је инкорпорирана у радовима из квантне логике, анализе каузалности и теорије одлучивања.
16.20 Представљање посебног броја часописа „Theoria“
Предавач: Милош Аџић, Филозофски факултет, Београд
Наслов предавања: ФИЛОЗОФИЈА, ЛОГИКА И МАТЕМАТИКА – АРХИТЕКТОНИКА ПОЈМОВА
Апстракт: Ове се године навршава пола века од изласка првог броја часописа „Theoria“. Тим поводом, прва у низу јубиларних свезака посвећена је преплитању филозофије, логике и математике. Излагање ће пружити кратак преглед сарадње коју деценијама негују Математички институт САНУ, Математички и Филозофски факултет. Биће речи о строгим темељима које су у овој области поставиле генерације наших наставника, као и о осталим тематским бројевима који ће током године бити посвећени етици, естетици и другим филозофским дисциплинама. Овај темат стоји као сведочанство о нераскидивој вези дисциплина које, свака својим путем, теже истом циљу — расветљавању наших појмова.
Напомена: Предавања је могуће пратити на даљину путем линка:
