Publications
Highlights
| Piccolomini d’Aragona, Antonio; Brîncuș, Constantin C.; Piecha, Thomas (eds.) | Meaning and Understanding via Proofs. Special issue of Topoi 45(2):533-720, 2026. | Read more |
| Piccolomini d’Aragona, Antonio | Classical logic, uniformity, and weak excluded middle in non-monotonic proof-theoretic semantics. Bulletin of the section of logic, 55(1):83-118, 2026. | Read more |
| Antonelli, Melissa; Durand, Arnaud; Kontinen, Juha | Towards new characterizations of small circuit classes via discrete ordinary differential equations. Theoretical Computer Science, 2026. | Read more |
| Antonelli, Melissa; von Plato, Jan | Nested Indirect Proofs in Aristotle’s Deductive Logic. Studia Logica, 2026. | Read more |
| Stafford, Will; Piecha, Thomas; Schroeder-Heister, Peter | Logics of Proof-Theoretic Validity. Topoi, 2025. | Read more |
| Kahle, Reinhard; Oitavem, Isabel; Santos, Paulo Guilherme | Numeral completeness of weak theories of arithmetic. Journal of Logic and Computation, 35(1):172-193, 2025. | Read more |
| Duerr, Patrick; Mills, Abigail Holmes | The Change-Driver Account of Scientific Discovery: Philosophical and Historical Dimensions of the Discovery of the Expanding Universe. Zeitschrift für Allgemeine Wissenschaftstheorie, 2025. | Read more |
| Kahle, Reinhard; Oitavem, Isabel; Santos, Paulo Guilherme | Numeral completeness of weak theories of arithmetic. Journal of Logic and Computation, 35(1):172-193, 2025. | Read more |
Archive
2026
| Piccolomini d’Aragona, Antonio; Brîncuș, Constantin C. & Piecha, Thomas (eds.) | Meaning and Understanding via Proofs. Special issue of Topoi 45(2):533-720, 2026. | Read more |
| Piccolomini d’Aragona, Antonio; Brîncuș, Constantin C.; Piecha, Thomas | Introduction: Meaning and understanding via proofs. In Antonio Piccolomini d'Aragona, Conscantin Brîncuş and Thomas Piecha (eds.), Meaning and understanding via proofs, special issue of Topoi, 45(2):533-534, 2026. | Read more |
| Piccolomini d’Aragona, Antonio; Prawitz, Dag | Some variants of proof-theoretic semantics and their relations with intuitionistic logic. In Antonio Piccolomini d'Aragona, Conscantin Brîncuş and Thomas Piecha (eds.), Meaning and understanding via proofs, special issue of Topoi, 45(2):663-374, 2026. | Read more |
| Piccolomini d’Aragona, Antonio | Classical logic, uniformity, and weak excluded middle in non-monotonic proof-theoretic semantics. Bulletin of the section of logic, 55(1):83-118, 2026. | Read more |
| Antonelli, Melissa; von Plato, Jan | Nested Indirect Proofs in Aristotle’s Deductive Logic. Studia Logica, 2026. | Read more |
| Antonelli, Melissa; Durand, Arnaud; Kontinen, Juha | Towards new characterizations of small circuit classes via discrete ordinary differential equations. Theoretical Computer Science, 2026. | Read more |
| Kahle, Reinhard | Hilbert’s Programme and Georg Kreisel I: The Post-Gödelian Perspective. Topoi, 2026. | Read more |
| Stecher, Philipp; Sikimić, Vlasta; Kahle, Reinhard | Do Different Artificial Neural Networks Think Alike? On the Feasibility of Cataloging Representations. Minds and Machines, 2026. | Read more |
| Antonelli, Melissa; Durand, Arnaud; Li, Rui | Recursion and Proof Theoretical Characterizations of Small Circuit Classes with Modulo Counting via Discrete Differential Equations. 53rd International Colloquium on Automata, Languages, and Programming (ICALP 2026). Leibniz International Proceedings in Informatics (LIPIcs), Volume 374, pp. 162:1-162:19, Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2026. | Read more |
| Piccolomini d’Aragona, Antonio | Review to G. Lavers, Mathematics is (mostly) analytic, Elements in the philosophy of mathematics, Cambridge University Press (2025). Philosophia mathematica, 34(2):372-381. | Read more |
| Montesi, Franceso; Piccolomini d’Aragona, Antonio; Pisano, Francesco. | A Seminar Series on the History of Logic, and beyond. The Reasoner, 20(1), 2026. | Read more |
| Piccolomini d’Aragona, Antonio | Convenzione, regole e significato: uno squeezing argument kreiseliano per la semantica di Prawitz. In Fabio Sterpetti and Francesco Verde (eds.), Natura, convenzione, istituzione, Lithos, 2026. | |
| Piccolomini d’Aragona, Antonio | Sundholm's explanation of meaning: logical atavism and the nature of proofs. In Humana.Mente, 2026. |
2025
| Piccolomini d'Aragona, Antonio | A comparison of three kinds of monotonic proof-theoretic semantics and the base-incompleteness of intuitionistic logic. Journal of Logic and Computation, 35(8), 2025. | Read more |
| Piccolomini d'Aragona, Antonio | Some results in non-monotonic proof-theoretic semantics. Studia Logica, 2025. | Read more |
| Stafford, Will; Piecha, Thomas; Schroeder-Heister, Peter | Logics of Proof-Theoretic Validity. Topoi, 2025. | Read more |
| Duerr, Patrick; Mills, Abigail Holmes | The Change-Driver Account of Scientific Discovery: Philosophical and Historical Dimensions of the Discovery of the Expanding Universe. Zeitschrift für Allgemeine Wissenschaftstheorie, 2025. | Read more |
| Kahle, Reinhard; Oitavem, Isabel; Santos, Paulo Guilherme | Numeral completeness of weak theories of arithmetic. Journal of Logic and Computation, 35(1):172-193, 2025. | Read more |
| Piccolomini d'Aragona, Antonio (Hrsg.) | Realism and anti-realism. Paradigms and research programmes in logic and the philosophy of mathematics. 2025. | Read more |
| Piccolomini d'Aragona, Antonio | Intensionality of consequence and identity of proofs in Prawitz's Theory of Grounds. Logica Universalis, 19:23-46, 2025. | Read more |
| Catta, Davide; Piccolomini d'Aragona, Antonio | Informal and absolute provability: from Kreisel and Gödel to Prawitz and Girard. Philosophical Inquiries, 13(1), 2025. | Read more |
| Piccolomini d'Aragona, Antonio | A note on a Kuhnian-Lakatosian reading of the debate between realism and constructivism in logic. In Claudio Ternullo and Matteo Antonelli (editors), Artificial minds, realism and evidence in science - Proceedings of the 2023 Triennial Conference of the Italian Association for Logic and Philosophy of Sciences (SILFS), special issue of Isonomia, Rivista online di Filosofia – Epistemologica, 2025. | Read more |
2024
| Kahle, Reinhard | Ein Lob der Habilitation. NTM Zeitschrift für Geschichte, Wissenschaften, Technik und Medizin. Springer, 2024. | Read more |
| Piecha, Thomas; Wehmeier, Kai F. | Peter Schroeder-Heister on Proof-Theoretic Semantics. Outstanding Contributions to Logic 29. Springer, 2024. | Read more |
| Kahle, Reinhard; Mainzer, Klaus | Limits of AI - theoretical, practical, ethical. Technik im Fokus. Springer, 2024. | Read more |
| Baaz, Matthias; Ertel, Marcel; Kahle, Reinhard; Piecha, Thomas; von Plato, Jan | Introduction. Journal of Logic and Computation, 34(6), 2024. Special issue on 90 years of Gödel’s incompleteness theorems: Logic and computation. | Read more |
| Duerr, Patrick; Read, James | An invitation to conventionalism: a philosophy for modern (space-) times. Synthese, 204, 2024. | Read more |
| Wolf, William J.; Duerr, Patrick | Promising stabs in the Dark: theory virtues and pursuitworthiness in the Dark Energy problem. Synthese, 204, 2024. | Read more |
| Santos, Paulo Guilherme; Sieg, Wilfried; Kahle, Reinhard | A new perspective on completeness and finitist consistency. Journal of Logic and Computation, 34(6):1179-1198, 2024. | Read more |
| Skapinakis, Eduardo | Secretive interaction: Players and strategies. Information and Computation, 300:105-196, 2024. | Read more |
| Kahle, Reinhard; Santos, Paulo Guilherme | Paradoxes, Intuitionism, and Proof-Theoretic Semantics. In Thomas Piecha und Kai F. Wehmeier (Herausgeber), Peter Schroeder-Heister on Proof-Theoretic Semantics. Outstanding Contributions to Logic, vol. 29, pages 363-374. Springer, 2024. | Read more |
| Goranko, Valentin; Rumberg, Antje | Temporal Logic. In E. N. Zalta und U. Nodelman (Herausgeber), The Stanford Encyclopedia of Philosophy, 2024. | Read more |
| Pégny, Maël | Is Virality A Digital Concept?. In Valérie Schaeffer und Fr´ed´eric Pailler (Herausgeber), Online Virality. Studies in Digital History and Hermeneutics, De Gruyter, 2024. | Read more |
| Mainzer, Klaus; Küchlin, Wolfgang | Logische Grundlagen der klassischen KI. In Klaus Mainzer (Herausgeber), Philosophisches Handbuch Künstliche Intelligenz, 125-141. Springer, 2024. | Read more |
| Mainzer, Klaus | Anfänge der Künstlichen Intelligenz in Technik- und Philosophiegeschichte. In Klaus Mainzer (Herausgeber), Philosophisches Handbuch Künstliche Intelligenz. pages 13-32. Springer, 2024. | Read more |
| Mainzer, Klaus | Von der Beweistheorie zu maschinellen Beweisassistenten. In Klaus Mainzer (Herausgeber), Philosophisches Handbuch Künstliche Intelligenz. pages 179-212. Springer, 2024. | Read more |
| Mainzer, Klaus | Chatbots und Künstliche Intelligenz. In Klaus Mainzer (Herausgeber), Philosophisches Handbuch Künstliche Intelligenz. pages 265-283. Springer, 2024. | Read more |
| Mainzer, Klaus | Grundlagen zellulärer Automaten. In Klaus Mainzer (Herausgeber), Philosophisches Handbuch Künstliche Intelligenz. pages 307-330. Springer, 2024. | Read more |
| Mainzer, Klaus | Verifikation und Sicherheit für Neuronale Netze und Machine Learning. In Klaus Mainzer (Herausgeber), Philosophisches Handbuch Künstliche Intelligenz. pages 385-410. Springer, 2024. | Read more |
| Mainzer, Klaus | Statistisches und kausales Lernen im Machine Learning. In Klaus Mainzer (Herausgeber), Philosophisches Handbuch Künstliche Intelligenz. pages 411-431. Springer, 2024. | Read more |
| Mainzer, Klaus | Neuromorphe Computer und Künstliche Intelligenz. In Klaus Mainzer (Herausgeber), Philosophisches Handbuch Künstliche Intelligenz. pages 433-455. Springer, 2024. | Read more |
| Mainzer, Klaus | Superintelligenz durch Quantencomputer?. In Klaus Mainzer (Herausgeber), Philosophisches Handbuch Künstliche Intelligenz. pages 457-504. Springer, 2024. | Read more |
| Mainzer, Klaus | Grundlagen genetischer und evolutionärer Algorithmen. In Klaus Mainzer (Herausgeber), Philosophisches Handbuch Künstliche Intelligenz. pages 331-356. Springer, 2024. | Read more |
| Mainzer, Klaus | Maschinelle Sprachverarbeitung, Kognition und Sprachphilosophie. In Klaus Mainzer (Herausgeber), Philosophisches Handbuch Künstliche Intelligenz, 237-264. Springer, 2024. | Raed more |
| Mainzer, Klaus | Einführung. In Klaus Mainzer (Herausgeber), Philosophisches Handbuch Künstliche Intelligenz, 1-9. Springer, 2024. | Read more |
| Kahle, Reinhard | Grundlagen des logischen Schließens. In Klaus Mainzer (Herausgeber), Philosophisches Handbuch K¨unstliche Intelligenz. Springer, 2024. | Read more |
| Piecha, Thomas | Karl Popper on Deduction. In A. Piccolomini d’Aragona (Herausgeber), Perspectives on Deduction: Contemporary Studies in the Philosophy, History and Formal Theories of Deduction. Synthese Library, vol. 481, pages 201-321. Springer, 2024. | Read more |
2023
| Centrone, Stefania; Mainzer, Klaus | Temporal Logic - From Philosophy and Proof Theory to Artificial Intelligence and Quantum Computing. World Scientific, June 2023. | Read more |
| Kahle, Reinhard; Sommaruga, Giovanni | Paul Bernays: Eine Schlüsselfigur der Logik und Grundlagen der Mathematik. Hentrich & Hentrich, 2023. | Read more |
| Bartscherer, Sheena F. | Emotion in British politics – a mixed methods analysis of Conservative and Labour Party speeches from 1900–2019. European Politics and Society, 24(5):680-702, 2023. | Read more |
| Kahle, Reinhard | Die philosophische Bedeutung des Gödel-Universums. In Oliver Passon, Christoph Benzmüller und Brigitte Falkenburg (Herausgeber), On Gödel and the Nonexistence of Time – Gödel und die Nichtexistenz der Zeit. pages 27-35. Springer, 2023. | Read more |
| Kahle, Reinhard | The Philosophical Meaning of the Gödel Universe. In Oliver Passon, Christoph Benzmüller und Brigitte Falkenburg (Herausgeber), On Gödel and the Nonexistence of Time – Gödel und die Nichtexistenz der Zeit. pages 19-26. Springer, 2023. | Read more |
| Maurer, Harald | Connectionist Neuroarchitectures in Cognition and Consciousness Theory Based on Integrative (Synchronization) Mechanisms. In Pascal Hitzler, Md Kamruzzaman Sarker und Aaron Eberhart (Herausgeber), Compendium of Neurosymbolic Artificial Intelligence. Frontiers in Artificial Intelligence and Applications, vol. 369, pages 210-234. 2023. | Read more |
| Kahle, Reinhard | Zukunft der KI: Verantwortung und Vertrauen. In M. Klein, D. Krupka, C. Winter und V. Wohlgemuth (Herausgeber), INFORMATIK 2023. Lecture Notes in Informatics, pages 749-755. Gesellschaft für Informatik, 2023. | Read more |
2022
| Ferreira, Fernando; Kahle, Reinhard; Sommaruga, Giovanni | Axiomatic Thinking II. Springer Cham, 2022. | Read more |
| Ferreira, Fernando; Kahle, Reinhard; Sommaruga, Giovanni | Axiomatic Thinking I. Springer Cham, 2022. | Read more |
| Binder, David; Piecha, Thomas, Schroeder-Heister, Peter | The Logical Writings of Karl Popper. Trends in Logic. Springer Cham, 2022. | Read more |
| Kahle, Reinhard | Scheitern in der Mathematik. Scheitern in den Wissenschaften. Brill Mentis, 2022. | Read more |
| Kahle, Reinhard; Mainzer, Klaus | Grenzen der KI - theoretisch, praktisch, ethisch. Springer Berlin, 2022. | Read more |
| Sikimić, Vlasta; Stuart, Mike, and Jamie Shaw | Science funding policy and the COVID-19 pandemic. International Journal of Risk & Safety in Medicine, 2022. | Read more |
| Herud-Sikimić, Ole; Sikimić, Vlasta | Modelling efficient team structures in biology. Journal of Logic and Computation, 2022. | Read more |
| Bartscherer, Sheena F. | Emotion in British politics - a mixed methods analysis of Conservative and Labour Party speeches from 1900-2019. European Politics and Society, 2022. | Read more |
| Dal Lago, Ugo, Reinhard Kahle and Isabel Oitavem | Implicit recursion-theoretic characterizations of counting classes. Archive for Mathematical Logic, 2022. | Read more |
| Sikimić, Vlasta | How to Improve Research Funding in Academia? Lessons from the COVID-19 Crisis. Front. Res. Metr. Anal., 2022. | Read more |
| Cubellis, Lauren | Competing Responsibilities and the Distribution of Outcome through Dialogic Practice. Medical Anthropology: Cross-Cultural Studies in Health and Illness, 41 (1): 81-93, 2022. | Read more |
| Kahle, Reinhard | Verantwortung in den theoretischen Wissenschaften. In Reinhard Kahle und Niels Weidtmann (Herausgeber), Verantwortung. pages 177-188. Mentis Verlag, 2022. | Read more |
| Piecha, Thomas; Binder, David | Administrative Normal Form and Focusing for Lambda Calculi. In P. Materna und B. Jespersen (Herausgeber), Logically Speaking: A Festschrift for Marie Duží.Tributes, vol. 49, pages 149-186. College Publications, 2022. | Read more |
| Kahle, Reinhard; Weidtmann, Niels | Verantwortung. Mentis Verlag, 2022. | Read more |
| Bonacina, Roberta; Misselbeck-Wessel, Daniel | A formal approach to Menger’s theorem. Reports on Mathematical Logic, 57:45-51, 2022. | Read more |
2021
| Kahle, Reinhard; Santos, Paulo Guilhermo | Variants of Kreisel's Conjecture on a New Notion of Provability. The Bulletin of Symbolic Logic, 27(4): 337-350, 2021 | Read more |
| Kahle, Reinhard; Weidtmann, Niels | Verantwortung: Ein Begriff in seiner Aktualität. Brill Mentis, 2021. | Read more |
| Kahle, Reinhard | Default Negation as Explicit Negation plus Update. Логические исследования (Logical Investigations), 27(1):64-81, 2021. | Read more |
| Kahle, Reinhard; Oitavem, Isabel | Lorenzen between Gentzen and Schütte. In Gerhard Heinzmann and Gereon Wolters (editors): Paul Lorenzen—Mathematician and Logician. pages 61-73. Springer 2021. | Read more |
| Mainzer, Klaus; Schwichtenberg, Helmut (ed.) | Proof and Computation II. From Proof Theory and Univalent Mathematics to Program Extraction and Verification, World Scientific Singapore 2021. | Read more |
| Kahle, Reinhard; Dal Lago, Ugo; Oitavem, Isabel | A Recursion-Theoretic Characterization of the Probailistic Class PP. In Filippo Bonchi and Simon J. Puglisi (editors): 46th International Symposium on Mathematical Foundations of Computer Science (MFCS 2021). | Read more |
| Kahle, Reinhard | Gödel, mathematischer Realismus und Antireduktionismus. Wider den Reduktionismus, 145-150. Springer 2021. | Read more |
| Kahle, Reinhard; Santos, Paulo Guilherme | k-Provability in PA. Logica Universalis, 15: 477-516, 2021. (DOI 10.1007/s11787-021-00278-1). | Read more |
| Kneer, Markus; Stuart, Michael T | Playing the Blame Game with Robots. Companion of the 2021 ACM/IEEE International Conference on Human-Robot Interaction. DOI: 10.1145/3434074.3447202, 2021. | Read more |
| Kahle, Reinhard | Wozu (ver)führt uns die neue KI? In Anna Strasser, Wolfgang Sohst, Ralf Stapelfeldt, and Katja Stepec (Herausgeber): Künstliche Intelligenz: Die große Verheisung. Philosophische Kontexte, vol. 8, Xenomoi, 2021. | Read more |
| Kahle, Reinhard | Primzahlen als Herausforderung. In R. Reussner, A. Koziolek, and R. Heinrich (editors): INFORMATIK 2020. Lecture Notes in Informatics, Gesellschaft für Informatik, S. 719-727, 2021. | Read more |
| Mainzer, Klaus | Wie sicher ist KI? In R. Reussner, A. Koziolek, and R. Heinrich (editors): INFORMATIK 2020. Lecture Notes in Informatics, Gesellschaft für Informatik, S. 695-718, 2021. | Read more |
| Kahle, Reinhard; Mainzer, Klaus | Konzeptionelle Herausforderungen für die KI. In R. Reussner, A. Koziolek, and R. Heinrich (editors): INFORMATIK 2020. Lecture Notes in Informatics, Gesellschaft für Informatik, S. 693-694, 2021. | Read more |
| Kahle, Reinhard | The Intensional Structure of Epistemic Convictions. In Loek Cleophas and Mieke Massink (editors): Software Engineering and Formal Methods. SEFM 2020, Collocated Workshops. Lecture Notes in Computer Science, vol. 12524, Springer, 2021. | Read more |
| Angerer, Klaus | Vermittlungsarbeit: Zur Untersuchung und Verwertung biologischer Materialien in der kommerziellen Naturstoffchemie. Nomos, 2021. | Read more |
2020
| Kahle, Reinhard | Grundlagen des logischen Schließens. In: Philosophisches Handbuch Künstliche Intelligenz. Springer VS, Wiesbaden, 2020. | Read more |
| Mainzer, Klaus | Quantencomputer. Springer, 2020. | Read more |
| Kahle, Reinhard | Review of Gerhard Jäger and Wilfried Sieg, editors. Feferman on Foundations: Logic, Mathematics, Philosophy. Contributions to Logic, vol. 13, Springer, 2017. Philosophica Mathematica 28 (3): 421-425. | Read more |
| Sikimić, Vlasta.; Nikitović, Tijana.; Vasić; Miljan; Subotić, Vanja | Do Political Attitudes Matter for Epistemic Decisions of Scientists? Review of Philosophy and Psychology. 2020. | Read more |
| Kahle, Reinhard; Rathjen, Michael | The Legacy of Kurt Schütte. Springer, 2020. | Read more |
| Kahle, Reinhard | "Sehr geehrter Herr Professor!" Proof Theory in 1949 in a Letter from Schütte to Bernays. In R. Kahle and M. Rathjen (editors): The Legacy of Kurt Schütte, pages 3-19. Springer, 2020. | Read more |
| Mainzer, Klaus | Künstliche Intelligenz: "Post Corona". 2020. | Read more |
| Mainzer, Klaus | Grundlagen, Forschung und Philosophie: "Post Corona". 2020. | Read more |