Assistant professor
Faculty of Philosophy
University of Belgrade
Serbia
Most of my work is on logic, philosophy of mathematics and related areas.
PUBLICATIONS
Articles, chapters, edited volumes and other scholarly publications. Newer items are listed first.
Articles, chapters and abstracts
The Syntax of Polytopal Projections: From Permutohedra to AssociahedraWith Filip D. Jevtić. Publications de l’Institut Mathématique, nouvelle série, 119(133): 1–17, 2026.DOI.
The Geometry of Thought: Circling Through ConceptsWith Filip Jevtić and Jovana Kostić. Philosophies, 10(3): 49, 2025.DOI.
The Hall of MirrorsWith Aleksandra Zorić. Theoria, Belgrade, 68(4): 62–83, 2025.
Gödel’s Introduction to DeductionIn Antonio Piccolomini D’Aragona, ed., Perspectives on Deduction, Springer, 2024, pp. 287–300.DOI.
Geach on Dummett’s Frege: The Case of Complex PredicatesWith Aleksandra Zorić. Theoria, Belgrade, 67(1): 5–14, 2024.
Akvinski o pokajanju / Aquinas on PenanceAbstract in Igor Živanović and Jelena Mijić, eds., Moralna odgovornost i problemi savremenog društva II: Društveni, moralni i pravni aspekti kazne, Institute for Philosophy, Faculty of Philosophy, University of Belgrade, Belgrade, 2024, p. 12. ISBN 978-86-6427-325-1.Book of abstracts.
Gödel on DeductionWith Kosta Došen. Studia Logica, 107(1): 31–51, 2019.arXiv, DOI.
Is Natural Deduction Natural?extended abstractWith Ana Došen, Kosta Došen, Jovana Kostić, Katarina Maksimović and Senka Milošević. Empirical Studies in Psychology, Laboratory of Experimental Psychology and the Institute of Psychology, Faculty of Philosophy, University of Belgrade, 2017.Preprint.
Gödel’s Notre Dame CourseWith Kosta Došen. The Bulletin of Symbolic Logic, 22(4): 469–481, 2016.arXiv, DOI.
Gödel on the Absolute Proof and the Logic of ConceptsAbstract in Thomas Piecha and Peter Schroeder-Heister, eds., General Proof Theory: Celebrating 50 Years of Dag Prawitz’s Natural Deduction, University of Tübingen, 2016, p. 12.Proceedings.
On Demons (and) BankersIn Serbian. In Miloš Arsenijević and Živan Lazović, eds., U sećanje na Svetlanu Knjazev-Adamović, Faculty of Philosophy, University of Belgrade and Serbian Philosophical Society, Belgrade, 2016, pp. 35–39.
Gunkology and Pointillism: Two Mutually Supervening Models of the Region-Based and the Point-Based Theory of the Infinite Two-Dimensional ContinuumWith Miloš Arsenijević. In Vincenzo Fano, Francesco Orilia and Giovanni Macchia, eds., Space and Time: A Priori and A Posteriori Studies, De Gruyter, Berlin, 2014, pp. 137–170.DOI.
Algoritmi, kategorije i dokazi: teme iz srpske moderne logikeWith Senka Milošević. Kultura, 134: 366–387, 2012.DOI.
On Pitfalls of NaturalismIn Serbian. Theoria, Belgrade, 55(3): 33–44, 2012.DOI.
Iz starije srpske logikeWith Senka Milošević. Kultura, 134: 237–245, 2012.DOI.
Ontological and Epistemological Dimensions of Gödel’s PlatonismIn Serbian. Theoria, Belgrade, 53(2): 39–50, 2010.DOI.
Books and edited volumes
Notes on Logic: Incompleteness and UndecidabilityIn Serbian. Forthcoming.
Notes on Logic: Completeness, Compactness and ConsequencesIn Serbian. Belgrade, October 2021.
Logic Lectures: Gödel’s Basic Logic Course at Notre DameEdited with Kosta Došen. Logical Society Belgrade / Dosije, Belgrade, 2017. ISBN 978-8660472399.arXiv. Reviews: Jan von Plato, History and Philosophy of Logic, 39 (2018), 396–401, DOI; Johannes Stern, Dialectica, 72 (2018), 617–622, DOI.
Reviews, reference entries and other scholarly work
Moralna odgovornost i problemi savremenog društva II: Društveni, moralni i pravni aspekti kazneCover design for the book of abstracts. Institute for Philosophy, Faculty of Philosophy, University of Belgrade, Belgrade, 2024.Book of abstracts.
Kosta DošenIn Serbian. Srpska enciklopedija, Vol. III, Matica srpska and Serbian Academy of Sciences and Arts, 2019.
Gödel on the Axiomatization of Set TheoryDoctoral dissertation. University of Belgrade, 2014.
Filozofska teorija skupovaReview of Michael Potter, Set Theory and Its Philosophy: A Critical Introduction. Theoria, Belgrade, 53(2): 127–132, 2010.
CONFERENCES AND TALKS
Conference presentations, workshops, seminars and lectures. Mathematical Institute talks are listed separately below.
Conference presentations and workshops
Structuring Reflection — Cycles, Rays, and the Geometry of ParadoxInternational Scientific Conference Philosophical Challenges of Contemporary Science, Faculty of Philosophy, University of Belgrade, Belgrade, 5 February 2026.Conference presentation.
The Inaugural Symposium on Logic in the Arab WorldDepartment of Philosophy, Kuwait University, Kuwait, 17–19 February 2025.Speaker.
Akvinski o pokajanju / Aquinas on PenanceMoralna odgovornost i problemi savremenog društva II: Društveni, moralni i pravni aspekti kazne, Serbian Philosophical Society / Institute for Philosophy, Faculty of Philosophy, University of Belgrade, Belgrade, 14 November 2024.Conference presentation; abstract published in the book of abstracts.
Taking the First Step: On What Axioms Are Supposed to BeSecond Conference of the Balkan Analytic Forum — Dispositions, Faculty of Philosophy, University of Belgrade, Belgrade, 11 October 2024.Conference presentation.
How do we know what we know when we know the axioms?Meeting marking Kosta Došen’s 70th birthday, Mathematical Institute SANU and Faculty of Philosophy, University of Belgrade, Belgrade, 13–14 June 2024; talk delivered 13 June.Talk.
Conference Explanation and Understanding in Philosophy and ScienceSerbian Academy of Sciences and Arts and Faculty of Philosophy, University of Belgrade, Belgrade, 5–7 December 2023.Participation.
First Conference of the Balkan Analytic Forum — NormativityFaculty of Philosophy, University of Belgrade, Belgrade, 19–22 October 2023.Speaker.
EPSA23 — 9th Conference of the European Philosophy of Science AssociationKolarac, Belgrade, 20–23 September 2023.Speaker.
Open Symposium Vienna Circle and Belgrade School of LogicFaculty of Economics, University of Belgrade, Belgrade, 15 September 2022.Participation.
FOMI 2022 — Formal Ontologies2022.Participation; details to be completed.
Gödel’s Introduction to Deduction: Logic Lectures at Notre DameCelebrating 90 Years of Gödel’s Incompleteness Theorems, Carl Friedrich von Weizsäcker Center and Kurt Gödel Society, Nürtingen, 9 July 2021.Conference presentation.
From recursion to deduction, two strands of modern logic in SerbiaWith Jovana Kostić and Katarina Maksimović. Third Conference of the East European Network for Philosophy of Science, Faculty of Philosophy, University of Belgrade, Belgrade, 9 June 2021.Conference presentation.
Logic and the paradoxesIn Serbian, by title. Philosophy and Science, Serbian Academy of Sciences and Arts, Belgrade, 21 October 2020.Talk.
Ludwig WittgensteinIn Serbian. Serbian Philosophical Society, Belgrade, 14 December 2019.Talk.
Kurt Gödel and modern logicIn Serbian. Seminar for Constructive Mathematics, Faculty of Mechanical Engineering, Niš, 27 April 2017.Seminar talk.
Is natural deduction natural?In Serbian, with Ana Došen, Kosta Došen, Jovana Kostić, Katarina Maksimović and Senka Milošević. Empirical Studies in Psychology, Belgrade, 26 March 2017.Conference presentation.
Gödel on the intensional logic of conceptsOberseminar Logik und Sprachtheorie, Eberhard Karls Universität Tübingen, Tübingen, 5 July 2016.Seminar talk.
Inferences and ProofsAix-Marseille University, Marseille, 31 May–1 June 2016.Participation.
Gödel on the absolute proof and the logic of conceptsGeneral Proof Theory: Celebrating 50 Years of Dag Prawitz’s Natural Deduction, Eberhard Karls Universität Tübingen, Tübingen, 27–29 November 2015.Conference presentation; later published in the proceedings.
Gödel on proofs and axiomsSymposium on Proof Theory, Second Belgrade Graduate Conference in Philosophy and Logic, Belgrade, 26 April 2015.Conference presentation.
Platonistic explanation of mathematical knowledgeIn Serbian. Structure of Explanation, Belgrade, 17 November 2012.Talk.
Seminar lectures at the Mathematical Institute SANU, Belgrade
Titles in Serbian are preserved where available. Repeated notices of the same lecture have been consolidated.
2026
Кант о идејама, Гедел о појмовимаSeminar for Metaontology, Mathematical Institute SANU, Belgrade, 21 May 2026, 14:00, room 301f.Seminar lecture.
2025
Симон Веј о геометрији и алгебриSeminar for Metaontology, Mathematical Institute SANU, Belgrade, 30 December 2025, 12:15, room 301f.Seminar lecture.
Расел и Квајн о појму скупаMathematical Institute SANU, Belgrade, 14 October 2025, 14:00.Presentation.
Ултрафилтери, ултрапроизводи, и хиперреални бројеви IIMathematical Institute SANU, Belgrade, 6 March 2025, 17:00.Presentation.
Ултрафилтери, ултрапроизводи, и хиперреални бројеви IMathematical Institute SANU, Belgrade, 14 February 2025, 16:30.Presentation.
2024
Лајбниц о појму и језикуMathematical Institute SANU, Belgrade, 15 May 2024, 15:00.Seminar lecture.
2023
Фрегеов рационализамMathematical Institute SANU, Belgrade, 17 November 2023, 16:14.Presentation.
Саул Крипке — живот и логикаMathematical Institute SANU, Belgrade, 23 May 2023, 16:00.Lecture.
Сол Крипке: само истина, и тачкаMathematical Institute SANU, Belgrade, 13 January 2023, 14:15, room 301f.Seminar lecture.
2022
Гедел и Карнап IIMathematical Institute SANU, Belgrade, 8 August 2022.Presentation.
Гедел и Карнап IMathematical Institute SANU, Belgrade, 3 March 2022.Presentation.
2019
Геделова предавања из логикеMathematical Institute SANU, Belgrade, 27 December 2019, 14:15, room 301f.Seminar lecture; joint meeting with the Department of Mathematics / Seminar for Logic.
Геделов појмовни реализамWith Miodrag Rašković. Seminar for Probability Logic, Mathematical Institute SANU, Belgrade, 26 December 2019, 14:00, room 301f.Seminar lecture.
2017
Геделов курс основне логике на Нотр ДејмуWith Kosta Došen. Seminar for General Proof Theory, Mathematical Institute SANU, Belgrade, 15 May 2017, 18:00, room 301f.Seminar lecture.
2016
Гедел и дедукцијаSeminar for General Proof Theory, Mathematical Institute SANU, Belgrade, 24 October 2016, 18:00, room 301f.Seminar lecture.
2015
Гедел о апсолутном доказу и логици појмоваSeminar for General Proof Theory, Mathematical Institute SANU, Belgrade, 28 December 2015, 18:00, room 301f.Seminar lecture.
Earlier Mathematical Institute lectures
Бесконачна рачунаљка: Ламбекова машина за рачунањеSeminar for General Proof Theory, Mathematical Institute SANU, Belgrade, 15 December 2014, 18:00.Seminar lecture.
Гедел о аксиомама и доказимаSeminar for General Proof Theory, Mathematical Institute SANU, Belgrade, 18 March 2013, 18:00.Seminar lecture.
Предавање посвећено Владети ВучковићуWith Kosta Došen. Seminar for General Proof Theory, Mathematical Institute SANU, Belgrade, 29 October 2012, 18:00.Seminar lecture.
Related lecture
Саул Крипке — живот и логикаFaculty of Philosophy, University of Belgrade, 21 December 2022, 12:00.Lecture.
TEACHING
The following are the courses I currently teach at the Department of Philosophy, Faculty of Philosophy, Belgrade.
- Logic (undergraduate)
- Deductive structures (undergraduate)
- Philosophy of mathematics (undergraduate)
- Logic (graduate)
- Philosophy of logic (graduate)
- Philosophy of set theory (graduate)
PREPRINTS AND MANUSCRIPTS
Submitted manuscripts, preprints, and unpublished notes. These are listed separately from published work.
Submitted manuscripts, 2026
Frege’s Platonism in ContextWith Jovana Kostić. Submitted manuscript, 2026.
Freiling’s Axiom of Symmetry, Sierpiński Configurations, and Free SetsWith Filip D. Jevtić and Jovana Kostić. Submitted manuscript, 2026.
Meaning in the Light of ReasonWith Aleksandra Zorić. Submitted manuscript, 2026.
Structures of ReflexivityWith Jovana Kostić and Katarina Maksimović. Submitted manuscript, 2026.
Preprints and manuscripts, 2026
Gödel from Set Theory to the Logic of ConceptsWith Jovana Kostić. Preprint, 2026.