Publikationen
Highlights
| Stafford, Will; Piecha, Thomas; Schroeder-Heister, Peter | Logics of Proof-Theoretic Validity. Topoi, 2025. | Zur Publikation |
| Kahle, Reinhard; Oitavem, Isabel; Santos, Paulo Guilherme | Numeral completeness of weak theories of arithmetic. Journal of Logic and Computation, 35(1):172-193, 2025. | Zur Publikation |
| 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. | Zur Publikation |
| Kahle, Reinhard; Oitavem, Isabel; Santos, Paulo Guilherme | Numeral completeness of weak theories of arithmetic. Journal of Logic and Computation, 35(1):172-193, 2025. | Zur Publikation |
Archiv
2025
| Stafford, Will; Piecha, Thomas; Schroeder-Heister, Peter | Logics of Proof-Theoretic Validity. Topoi, 2025. | Zur Publikation |
| 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. | Zur Publikation |
| Kahle, Reinhard; Oitavem, Isabel; Santos, Paulo Guilherme | Numeral completeness of weak theories of arithmetic. Journal of Logic and Computation, 35(1):172-193, 2025. | Zur Publikation |
2024
| Kahle, Reinhard | Ein Lob der Habilitation. NTM Zeitschrift für Geschichte, Wissenschaften, Technik und Medizin. Springer, 2024. | Zur Publikation |
| Piecha, Thomas; Wehmeier, Kai F. | Peter Schroeder-Heister on Proof-Theoretic Semantics. Outstanding Contributions to Logic 29. Springer, 2024. | Zur Publikation |
| Kahle, Reinhard; Mainzer, Klaus | Limits of AI - theoretical, practical, ethical. Technik im Fokus, Springer, 2024. | Zur Publikation |
| 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. | Zur Publikation |
| Duerr, Patrick; Read, James | An invitation to conventionalism: a philosophy for modern (space-) times. Synthese, 204, 2024. | Zur Publikation |
| Wolf, William J.; Duerr, Patrick | Promising stabs in the Dark: theory virtues and pursuitworthiness in the Dark Energy problem. Synthese, 204, 2024. | Zur Publikation |
| 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. | Zur Publikation |
| Skapinakis, Eduardo | Secretive interaction: Players and strategies. Information and Computation, 300:105-196, 2024. | Zur Publikation |
| 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. | Zur Publikation |
| Goranko, Valentin; Rumberg, Antje | Temporal Logic. In E. N. Zalta und U. Nodelman (Herausgeber), The Stanford Encyclopedia of Philosophy, 2024. | Zur Publikation |
| 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. | Zur Publikation |
| Mainzer, Klaus; Küchlin, Wolfgang | Logische Grundlagen der klassischen KI. In Klaus Mainzer (Herausgeber), Philosophisches Handbuch Künstliche Intelligenz, 125-141. Springer, 2024. | Zur Publikation |
| 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. | Zur Publikation |
| Mainzer, Klaus | Von der Beweistheorie zu maschinellen Beweisassistenten. In Klaus Mainzer (Herausgeber), Philosophisches Handbuch Künstliche Intelligenz. pages 179-212. Springer, 2024. | Zur Publikation |
| Mainzer, Klaus | Chatbots und Künstliche Intelligenz. In Klaus Mainzer (Herausgeber), Philosophisches Handbuch Künstliche Intelligenz. pages 265-283. Springer, 2024. | Zur Publikation |
| Mainzer, Klaus | Grundlagen zellulärer Automaten. In Klaus Mainzer (Herausgeber), Philosophisches Handbuch Künstliche Intelligenz. pages 307-330. Springer, 2024. | Zur Publikation |
| 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. | Zur Publikation |
| Mainzer, Klaus | Statistisches und kausales Lernen im Machine Learning. In Klaus Mainzer (Herausgeber), Philosophisches Handbuch Künstliche Intelligenz. pages 411-431. Springer, 2024. | Zur Publikation |
| Mainzer, Klaus | Neuromorphe Computer und Künstliche Intelligenz. In Klaus Mainzer (Herausgeber), Philosophisches Handbuch Künstliche Intelligenz. pages 433-455. Springer, 2024. | Zur Publikation |
| Mainzer, Klaus | Superintelligenz durch Quantencomputer?. In Klaus Mainzer (Herausgeber), Philosophisches Handbuch Künstliche Intelligenz. pages 457-504. Springer, 2024. | Zur Publikation |
| Mainzer, Klaus | Grundlagen genetischer und evolutionärer Algorithmen. In Klaus Mainzer (Herausgeber), Philosophisches Handbuch Künstliche Intelligenz. pages 331-356. Springer, 2024. | Zur Publikation |
| Mainzer, Klaus | Maschinelle Sprachverarbeitung, Kognition und Sprachphilosophie. In Klaus Mainzer (Herausgeber), Philosophisches Handbuch Künstliche Intelligenz, 237-264. Springer, 2024. | Zur Publikation |
| Mainzer, Klaus | Einführung. In Klaus Mainzer (Herausgeber), Philosophisches Handbuch Künstliche Intelligenz, 1-9. Springer, 2024. | Zur Publikation |
| Kahle, Reinhard | Grundlagen des logischen Schließens. In Klaus Mainzer (Herausgeber), Philosophisches Handbuch K¨unstliche Intelligenz. Springer, 2024. | Zur Publikation |
| 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. | Zur Publikation |
2023
| Centrone, Stefania; Mainzer, Klaus | Temporal Logic - From Philosophy and Proof Theory to Artificial Intelligence and Quantum Computing. World Scientific, June 2023. | Zur Publikation |
| Kahle, Reinhard; Sommaruga, Giovanni | Paul Bernays: Eine Schlüsselfigur der Logik und Grundlagen der Mathematik. Hentrich & Hentrich, 2023. | Zur Publikation |
| 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. | Zur Publikation |
| 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. | Zur Publikation |
| 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. | Zur Publikation |
| 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. | Zur Publikation |
| 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. | Zur Publikation |
2022
| Ferreira, Fernando; Kahle, Reinhard; Sommaruga, Giovanni | Axiomatic Thinking II. Springer Cham, 2022. | Zur Publikation |
| Ferreira, Fernando; Kahle, Reinhard; Sommaruga, Giovanni | Axiomatic Thinking I. Springer Cham, 2022. | Zur Publikation |
| Binder, David; Piecha, Thomas, Schroeder-Heister, Peter | The Logical Writings of Karl Popper. Trends in Logic. Springer Cham, 2022. | Zur Publikation |
| Kahle, Reinhard | Scheitern in der Mathematik. Scheitern in den Wissenschaften. Brill Mentis, 2022. | Zur Publikation |
| Kahle, Reinhard; Mainzer, Klaus | Grenzen der KI - theoretisch, praktisch, ethisch. Springer Berlin, 2022. | Zur Publikation |
| Sikimić, Vlasta; Stuart, Mike, and Jamie Shaw | Science funding policy and the COVID-19 pandemic. International Journal of Risk & Safety in Medicine, 2022. | Zur Publikation |
| Herud-Sikimić, Ole; Sikimić, Vlasta | Modelling efficient team structures in biology. Journal of Logic and Computation, 2022. | Zur Publikation |
| 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. | Zur Publikation |
| Dal Lago, Ugo, Reinhard Kahle and Isabel Oitavem | Implicit recursion-theoretic characterizations of counting classes. Archive for Mathematical Logic, 2022. | Zur Publikation |
| Sikimić, Vlasta | How to Improve Research Funding in Academia? Lessons from the COVID-19 Crisis. Front. Res. Metr. Anal., 2022. | Zur Publikation |
| 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. | Zur Publikation |
| Kahle, Reinhard | Verantwortung in den theoretischen Wissenschaften. In Reinhard Kahle und Niels Weidtmann (Herausgeber), Verantwortung. pages 177-188. Mentis Verlag, 2022. | Zur Publikation |
| 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. | Zur Publikation |
| Kahle, Reinhard; Weidtmann, Niels | Verantwortung. Mentis Verlag, 2022. | Zur Publikation |
| Bonacina, Roberta; Misselbeck-Wessel, Daniel | A formal approach to Menger’s theorem. Reports on Mathematical Logic, 57:45-51, 2022. | Zur Publikation |
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 | Zur Publikation |
| Kahle, Reinhard; Weidtmann, Niels | Verantwortung: Ein Begriff in seiner Aktualität. Brill Mentis, 2021. | Zur Publikation |
| Kahle, Reinhard | Default Negation as Explicit Negation plus Update. Логические исследования (Logical Investigations), 27(1):64-81, 2021. | Zur Publikation |
| 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. | Zur Publikation |
| Mainzer, Klaus; Schwichtenberg, Helmut (ed.) | Proof and Computation II. From Proof Theory and Univalent Mathematics to Program Extraction and Verification, World Scientific Singapore 2021. | Zur Publikation |
| 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). | Zur Publikation |
| Kahle, Reinhard | Gödel, mathematischer Realismus und Antireduktionismus. Wider den Reduktionismus, 145-150. Springer 2021. | Zur Publikation |
| Kahle, Reinhard; Santos, Paulo Guilherme | k-Provability in PA. Logica Universalis, 15: 477-516, 2021. (DOI 10.1007/s11787-021-00278-1). | Zur Publikation |
| 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. | Zur Publikation |
| 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. | Zur Publikation |
| 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. | Zur Publikation |
| 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. | Zur Publikation |
| 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. | Zur Publikation |
| 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. | Zur Publikation |
| Angerer, Klaus | Vermittlungsarbeit: Zur Untersuchung und Verwertung biologischer Materialien in der kommerziellen Naturstoffchemie. Nomos, 2021. | Zur Publikation |
2020
| Kahle, Reinhard | Grundlagen des logischen Schließens. In: Philosophisches Handbuch Künstliche Intelligenz. Springer VS, Wiesbaden, 2020. | Zur Publikation |
| Mainzer, Klaus | Quantencomputer. Springer, 2020. | Zur Publikation |
| 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. | Zur Publikation |
| Sikimić, Vlasta.; Nikitović, Tijana.; Vasić; Miljan; Subotić, Vanja | Do Political Attitudes Matter for Epistemic Decisions of Scientists? Review of Philosophy and Psychology. 2020. | Zur Publikation |
| Kahle, Reinhard; Rathjen, Michael | The Legacy of Kurt Schütte. Springer, 2020. | Zur Publikation |
| 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. | Zur Publikation |
| Mainzer, Klaus | Künstliche Intelligenz: "Post Corona". 2020. | Zur Publikation |
| Mainzer, Klaus | Grundlagen, Forschung und Philosophie: "Post Corona". 2020. | Zur Publikation |