Publikationen

Highlights

Kahle, Reinhard	Ein Lob der Habilitation. NTM Zeitschrift für Geschichte, Wissenschaften, Technik und Medizin. Springer, 2024.	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

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

Archiv

Privacy settings