Research
My work in philosophy centres on the history of traditional logic: the problem of existential import, the evolution of logical diagrams, and computational accounts of Aristotelian syllogistic. I have also worked on formalising syllogistic with interactive theorem provers.
In philology I work on Latin and Ancient Greek written by classical vernacular authors, and I occasionally translate Greek and Roman texts into Polish. Those articles are in Polish.
ORCID 0009-0001-4877-9370.
Publications
Published
Wapniarski, Karol, Urbański, Mariusz.
Aristotelian Syllogistic More Apagogico Demonstrata.
History and Philosophy of Logic, pp. 1–30, 2026.
Wapniarski, Karol, Urbański, Mariusz.
Syllogistic Diagrams and Existential Commitment: A Historical Study.
Diagrammatic Representation and Inference (Diagrams 2026), ed. Paweł Sobociński et al., Lecture Notes in Computer Science, vol. 16833, Springer, Cham, 2026.
Wapniarski, Karol.
Aristotle versus Euclid: Syllogising the Elements and the epistemological status of mathematics.
15th Panhellenic Logic Symposium Proceedings, 2026.
http://panhellenic-logic-symposium.org/15/abstracts/PLS_15_paper_13.pdf
Koutsoukou-Argyraki, Angeliki, Wapniarski, Karol.
A Formalisation of Aristotle's Assertoric Syllogistic in Isabelle/HOL.
Topoi – An International Review of Philosophy, 2025.
Invited contribution to a Springer special issue: Meaning and understanding via proofs
Wapniarski, Karol.
O starożytnej grece Franciszka Rabelais'go: przekład epigramatu [On the Ancient Greek of François Rabelais: translation of an epigram].
Meander, vol. 80, pp. 127–131, 2025.
Wapniarski, Karol.
Leibniz's 1712 review of Newton's De Analysi.
Acta Universitatis Paedagogicae Cracoviensis. Studia ad Didacticam Mathematicae Pertinentia, vol. 17, pp. 143–148, 2025.
Wapniarski, Karol.
Egzaminy maturalne Karola Marksa. Wstęp tłumacza [Karl Marx's Gymnasium Examination Papers: Translator's Preface].
Praktyka Teoretyczna, vol. 56, pp. 113–123, 2025.
Marks, Karol.
Egzamin maturalny (1835) [Gymnasium Examination Papers (1835)].
Translated by Wapniarski, Karol.
Praktyka Teoretyczna, vol. 56, pp. 125–138, 2025.
Wapniarski, Karol, Urbański, Mariusz.
Exploring Aristotelian Syllogistic in First-Order Logic: An Overview of the History and Reality of Ontological Commitments.
Proceedings of the 14th Panhellenic Logic Symposium, ed. Alex Kavvos, Vassilis Gregoriades, pp. 141–145, 2024.
http://panhellenic-logic-symposium.org/14/papers/PLS14_Wapniarski_Urbanski.pdf
Wapniarski, Karol.
O Attysie Katullusa słów kilka: propozycja przekładu literackiego [A few Words on Catullus' Attis: A Literary Translation Proposal].
Symbolae Philologorum Posnaniensium Graecae et Latinae, vol. 34, no. 2, pp. 157–162, 2024.
Forthcoming
Wapniarski, Karol.
Greckie utwory Johna Miltona [The Greek poems of John Milton].
Meander, 2026.
Wapniarski, Karol.
Leibniz jako polityk: Consilium Aegyptiacum [Leibniz as a politician: Consilium Aegyptiacum].
Archiwum Historii Filozofii i Myśli Społecznej [Archive of the History of Philosophy and Social Thought], 2026.
Wapniarski, Karol.
Z łacińskiej spuścizny Franciszka Rabelais'go [The Latin Legacy of François Rabelais].
Collectanea Philologica, 2026.
Wapniarski, Karol.
Vita Carmine Expressa, czyli poetycka autobiografia Thomasa Hobbesa: przekład z komentarzem [Vita Carmine Expressa, or the poetical autobiography of Thomas Hobbes: translation and commentary].
Przegląd Filozoficzny. Nowa Seria, 2025.
Under review
Wapniarski, Karol.
Leibniz i Chiny. Wokół Novissima Sinica [Leibniz and China: On the Novissima Sinica].
Roczniki Filozoficzne [The Annals of Philosophy], 2026.
Wapniarski, Karol.
„O qui perpetuo…”: Łacińskie juwenilia Jean'a Racine'a i edukacja klasyczna w Port-Royal [“O qui perpetuo…”: The Latin Juvenilia of Jean Racine and the classical education in Port-Royal].
Classica Wratislaviensia. Series Altera, 2026.
Wapniarski, Karol, Łupkowski, Paweł, Ondráček, Tomáš.
Too Dreadful to be Possible: Alan Turing's 'Heads in the Sand' Objection as a Strategic Move. Case of Modern Discussions Concerning Autonomous Vehicles.
Diametros.
Carter, Jessica, Tytko, Karolina, Wapniarski, Karol.
Experiments in Logic and the Role of Diagrammatic Representations: A Case Study of Aristotelian Syllogistic Proof Tables.
Synthese.
In preparation
Urbański, Mariusz, Wapniarski, Karol, Wiśniewski, Andrzej.
Ontological Commitments of Aristotelian Syllogistic from the point of View of First-Order Logic.
Wapniarski, Karol, Łupkowski, Paweł.
Aristotelian Virtue Ethics as an Impasse-Resolver for the Discussion Surrounding Autonomous Vehicles.
Companion to Aristotle and AI, Brill series of Companions to Philosophy.
Invited contribution
Talks and posters
- 6–7 October 2026
Russell and Leibniz on Relations and the Identity of Indiscernibles
2nd Naples Workshop on the History of Logic, University of Naples Federico II
accepted for presentationMaterials
- 8–10 July 2026
Reconsidering Leibniz's influence on Russell through the Russell-Couturat Correspondence
The 2026 Joint Session of the Aristotelian Society and the Mind Association, University of Reading
- 29 June – 3 July 2026
Leibniz and Russell: on the birth of analytic philosophy
Logic Colloquium 2026, in conjunction with the British Logic Colloquium 2026, Swansea University
- 28–29 May 2026
- 22–23 May 2026
Urbański, Mariusz, Wapniarski, Karol.
Ockham's and Buridan's Classifications of Syllogisms: What can we learn from medieval debates on existential commitments?
3rd Logic and Philosophy Conference, Faculty of Philosophy, Vilnius University
- 18–22 May 2026
Syllogising the Elements: Early modern attempts at formalising mathematics
38th International Symposium LOGICA 2026, Czech Academy of Sciences, Institute of Philosophy
accepted, not deliveredMaterials
- 13 March 2026
Bertrand Russell's Cambridge lectures on Leibniz: The question of intellectual influence
King's College Cambridge Graduate High Table, King's College, University of Cambridge
- 24 February 2026
« O qui perpetuo... » : Port-Royal and the Latin pieces of Jean Racine
Classical Reception Seminar, Faculty of Classics, University of Cambridge
- 12–15 January 2026
Tytko, Karolina, Carter, Jessica, Wapniarski, Karol.
Experiments in Logic and the Role of Diagrammatic Representations: A Case Study of Aristotelian Syllogistic Proof Charts
The 8th International Meeting of the Association for the Philosophy of Mathematical Practice (APMP 2026), Chapman University
- 16 October 2025
Aristotle Versus Euclid: Syllogising the Elements
Cambridge Faculty of Philosophy Postgraduate Seminar 2025/6, University of Cambridge
- 25–27 September 2025
Łacina i edukacja klasyczna w twórczości klasyków literatury francuskiej: od Rabelais'go do Baudelaire'a
CXI Zjazd Polskiego Towarzystwa Filologicznego, Jagiellonian University
In PolishMaterials
- 23–26 September 2025
Wapniarski, Karol, Łupkowski, Paweł, Ondráček, Tomáš.
Too Dreadful to be Possible: Alan Turing's 'Heads in the Sand' Objection as a Strategic Move
5th European Conference on Argumentation – ECA 2025, Warsaw University of Technology
- 22–26 September 2025
'Barbara, Celarent...': the Epistemology of Syllogistic Mnemonics
Polish Congress of Logic, 1st Symposium on the Languages and Logics of Syllogistics (SYLLOS1), Nicolaus Copernicus University in Toruń
- 15–16 September 2025
Wapniarski, Karol, Urbański, Mariusz.
Visual Reasoning and Existential Import
Workshop on Logical and Mathematical Diagrams (LoMaDi), Center for Logic and Philosophy of Science, KU Leuven
- 11–12 September 2025
Formalising Syllogistic Proofs with Isabelle/HOL
British Logic Colloquium 2025, University of Manchester
- 7–11 July 2025
- 7–11 July 2025
The Latin verses of Charles Baudelaire
17th Congress of the Fédération internationale des associations d'études classiques, University of Wrocław
PosterMaterials
- 7–11 July 2025
The Greek poems of John Milton
17th Congress of the Fédération internationale des associations d'études classiques, University of Wrocław
PosterMaterials
- 2–4 July 2025
Gabali, Legano, Carbodo, Fisemon: Buridan's and Leibniz's Extensions of Aristotle's Logic
International Aristotelian Conference 2025, University of Lisbon
- 24–27 June 2025
Wapniarski, Karol, Carter, Jessica, Tytko, Karolina.
Experiments in Logic and the Role of Diagrammatic Representations: A Case Study of Aristotelian Syllogistic Proof Charts
Cracow Logic Conference (CLoCk), Jagiellonian University
- 18 June 2025
The Epistemological Role of Mnemonic Devices in Logic: Latin Syllogistic Verses and Greek Syllogistic Diagrams
L'Institut d'histoire et de philosophie des sciences et des techniques (IHPST), Séminaire Philmath, Université Paris 1 Panthéon-Sorbonne / CNRS
InvitedMaterials
- 16–18 May 2025
Wapniarski, Karol, Łupkowski, Paweł, Ondráček, Tomáš.
Alan Turing's 'Heads in the Sand' Objection as a Strategic Move: Case Study of Autonomous Vehicles Debate
PhiLang2025, PhilArg Session, University of Łódź
- 14 May 2025
Leibniz's 'Consilium Aegyptiacum' – Few Notes on Translation-Related Issues
BEYOND LANGUAGE 2025, University of Warsaw
- 9–16 May 2025
Wapniarski, Karol, Urbański, Mariusz.
Syllogistic Diagrams and Existential Import: a Study in the History of Traditional Logic
XXI Brazilian Logic Conference, University of São Paulo
accepted, not deliveredMaterials
- 9–16 May 2025
Syllogistic Proofs via Aristotelian Reduction and Isabelle/HOL: a Comparison of Results
XXI Brazilian Logic Conference, University of São Paulo
Posteraccepted, not presentedMaterials
- 7–10 April 2025
Aristotelian Virtue Ethics as an Impasse-Resolver for the Discussion Surrounding Autonomous Vehicles
Aristotle in the Era of AI Symposium, Academy of Athens
accepted, not deliveredMaterials
- 27–28 March 2025
Franciszek Rabelais i francuski renesans starogreki: studium epigramatu
Antyk po antyku, University of Silesia in Katowice
In PolishMaterials
- 26 March 2025
Visualizing Existence: Existential Import and the Evolution of Logical Diagrams from Antiquity to Peirce
Centre for Science Studies, CSS colloquium, Aarhus University
InvitedMaterials
- 14–17 February 2025
Leibniz, Existential Import, and the Mathematization of Logic: a Study of 'Difficultates quaedam logicae'
Zagreb Logic Conference 2025, University of Zagreb
- 6 December 2024
Aristotelian Syllogistic formalized: finding all alternative direct syllogistic proofs via Isabelle/HOL
Centre for Logic and Philosophy of Science, Ghent University
Invited
- 18–20 November 2024
Wapniarski, Karol, Łupkowski, Paweł.
Rational or emotional? Alan Turing's 'Heads in the Sand' Objection and the discussion of Autonomous Vehicles
BNAIC/BeNeLearn 2024, Utrecht University
PosterMaterials
- 23–27 September 2024
Wapniarski, Karol, Urbański, Mariusz.
Discovering Aristotle's Syllogistic via indirect proofs: a metatheoretical account
Logic and Applications 2024, Inter-University Center Dubrovnik
- 9–13 September 2024
Aristotelian Syllogistic formalized: finding all alternative direct syllogistic proofs via Isabelle/HOL
European Summer School on the Philosophy of Mathematics, University of Vienna, Institute Vienna Circle
- 1–5 July 2024
Wapniarski, Karol, Urbański, Mariusz.
Exploring Aristotelian Syllogistic in First-Order Logic: An Overview of the History and Reality of Ontological Commitments
14th Panhellenic Logic Symposium, Aristotle University of Thessaloniki
- 1–5 July 2024
Aristotelian Syllogistic More apagogico demonstrata: devising minimal sets of inference rules for indirectly proving all syllogistical moods
14th Panhellenic Logic Symposium, Aristotle University of Thessaloniki
Poster
- 24–28 June 2024
Ontological assumptions in the history of Western logic: from Aristotelian syllogistic to Boolean algebra
Logic Colloquium 2024, University of Gothenburg
- 24–28 June 2024
Ontological assumptions in the history of Western logic: from Aristotelian syllogistic to Boolean algebra
Logic Colloquium 2024, University of Gothenburg
Poster
- 14–16 June 2024
The (Non)emptiness Problem: Ontological Assumptions of Traditional Logic from Aristotle to George Boole
Twelfth Scandinavian Logic Symposium, Reykjavik University
- 25 May 2024
Thomas Hobbes de domibus suis, sive de loco natali et aliis domiciliis Philosophi
Concilium Latinum Lodziense XIX, University of Łódź
In Latin
- 20 May 2024
Thomae Hobbes Vita Carmine Expressa – A Poetical Autobiography
BEYOND LANGUAGE 2024, Jagiellonian University
- 18–19 May 2024
The discussion of Autonomous Vehicles as seen through the lenses of Alan Turing's 'Heads in the Sand objection'
Poznańskie Forum Kognitywistyczne, Adam Mickiewicz University Poznań
- 2–3 March 2024
Fichte i Śankara: filozofia jako przekonywanie [Fichte and Śankara: philosophy as a form of persuasion]
Terapia, oświecenia, wyzwolenie. Strategie persfazyjne w filozofii Wschodu i Zachodu, University of Warsaw
In PolishMaterials
- 12–15 January 2024
The problem of (non)emptiness: ontological commitments in the history of Aristotelian syllogistic
Zagreb Logic Conference 2024, University of Zagreb
- 29 November – 1 December 2023
Goethe the mystic: the Christian foundations of Goethe's spirituality
Zmysły Chrześcijaństwa, Adam Mickiewicz University Poznań
- 1 June 2023
Stays, grants, and service
Research stays
- 24 March – 6 April 2025
Centre for Science Studies, Aarhus University
Free rides in Aristotelian syllogistic proofs: a case-study on the role of visual representations in logic
Supervised by Associate Professor Jessica Carter
- 16–22 June 2025
L'Institut d'histoire et de philosophie des sciences et des techniques (IHPST), Université Paris 1 Panthéon-Sorbonne / Centre national de la recherche scientifique
Supervised by Professor Marianna Antonutti Marfori
Research grants
- January–November 2024
The concept of the universe of interpretation and the assumption of the non-emptiness of sets throughout the history of the development of Western logic
PI, c. £1,000. Adam Mickiewicz University Poznań, Study@research.
Supervised by Prof. UAM dr hab. Mariusz Urbański
- April 2024 – July 2025
Polish translation of Ovid's Metamorphoses
Team member. Adam Mickiewicz University Poznań, Faculty of Polish and Classical Philology.
Responsible for translating Books I and V
- January–December 2023
Philosophical Aspects of the Concept of Meaning in Cognitive Linguistics: A Historical-Comparative Study
PI, c. £1,000. Adam Mickiewicz University Poznań, BESTStudentGRANT.
Supervised by Dr Konrad Juszczyk
Internships
- April–September 2025
Adam Mickiewicz University Poznań
A formalization of Aristotle's syllogistic using automated theorem provers: a case of Isabelle/HOL
Supervised by Prof. UAM dr hab. Mariusz Urbański
- April–September 2025
Adam Mickiewicz University Poznań
Nowa łacina i nowa greka: o wpływie nowożytnej literatury pisanej w językach starożytnych na rozwój literatur narodowych
Supervised by Prof. dr hab. Piotr Urbański
- 2023/24
Polish Writers Association, Poznań Branch
Literary translations of poetry and prose from German, Spanish, Italian, French, Latin, and Ancient Greek
Academic service
- 23–24 January 2027 (upcoming)
Co-organiser (with Charles Bland), The Twentieth Annual Cambridge Graduate Conference on the Philosophy of Mathematics and Logic
St John's College, Cambridge
- 24–25 January 2026
Chair, The Nineteenth Annual Cambridge Graduate Conference on the Philosophy of Mathematics and Logic
St John's College, Cambridge
- 2025, 2026
- 2024–2025
Contributing editor
Preteksty, Journal of the Student Philosophical Association at the Faculty of Philosophy, Adam Mickiewicz University Poznań
- 5–7 May 2023
Chair, X National Conference of Students of Mathematics 'Oblicze'
Faculty of Mathematics and Computer Science, Adam Mickiewicz University Poznań
Memberships
- from 2026
- from 2024
- from 2025
- from 2025
Cambridge University Polish Society
General Officer
Literary translation is listed separately under Translations.