Kurt Gödel (died January 14, 1978)
Alfred Tarski (born January 14, 1901)
Friday, January 13, 2023
Mathematical Institute of the Serbian Academy of Sciences and Arts is proud to announce a special session of the Seminar for Mathematical Logic celebrating the World Logic Day. The Logic Day Lecture (in English) will be delivered by Professor Miloš Adžić.
Time: 2.15 pm CET (Belgrade) live stream
Miloš Adžić
Faculty of Philosophy, University of Belgrade
Saul Kripke: Truth, right to the point
Abstract. The lecture will discuss some ideas of the American logician and philosopher Saul Kripke (1940-2022), which are particularly interesting for logic. Although Kripke's name is frequently linked to the semantics of modal and non-classical logics, he also produced numerous achievements outside of this field. We will briefly discuss his mid-'70s work on the theory of truth, his related contributions to computability theory and set theory, as well as more recent, interesting research in this field.
Time: 3.15 pm CET (Belgrade) live stream
Presentations of recently defended doctoral thesis in logic and related fields.
Jovana Kostić
Faculty of Philosophy, University of Belgrade
Self-reference and the Theory of Concepts
Šejla Dautović
Mathematical Institute SANU, Belgrade
Logical Formalization of Bayesian Concepts of Confirmation
Mladen Zekić
Mathematical Institute SANU, Belgrade
Biproducts in Monoidal Categories