| 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 |
| 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 |
| 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 |
| 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 |
| 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 |
| 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 |
| 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 |
Our website uses cookies. Some of them are mandatory, while others allow us to improve your user experience on our website. The settings you have made can be edited at any time.
or
Essential
in2cookiemodal-selection
Required to save the user selection of the cookie settings.
3 months
be_lastLoginProvider
Required for the TYPO3 backend login to determine the time of the last login.
3 months
be_typo_user
This cookie tells the website whether a visitor is logged into the TYPO3 backend and has the rights to manage it.
Browser session
ROUTEID
These cookies are set to always direct the user to the same server.
Browser session
fe_typo_user
Enables frontend login.
Browser session
Videos
iframeswitch
Used to show all third-party contents.
3 months
yt-player-bandaid-host
Is used to display YouTube videos.
Persistent
yt-player-bandwidth
Is used to determine the optimal video quality based on the visitor's device and network settings.
Persistent
yt-remote-connected-devices
Saves the settings of the user's video player using embedded YouTube video.
Persistent
yt-remote-device-id
Saves the settings of the user's video player using embedded YouTube video.
Persistent
yt-player-headers-readable
Collects data about visitors' interaction with the site's video content - This data is used to make the site's video content more relevant to the visitor.
Persistent
yt-player-volume
Is used to save volume preferences for YouTube videos.
Persistent
yt-player-quality
Is used to save the quality settings for YouTube videos.
Persistent
yt-remote-session-name
Saves the settings of the user's video player using embedded YouTube video.
Browser session
yt-remote-session-app
Saves the settings of the user's video player using embedded YouTube video.
Browser session
yt-remote-fast-check-period
Saves the settings of the user's video player using embedded YouTube video.
Browser session
yt-remote-cast-installed
Saves the user settings when retrieving a YouTube video integrated on other web pages
Browser session
yt-remote-cast-available
Saves user settings when retrieving integrated YouTube videos.
Browser session
ANID
Used for targeting purposes to profile the interests of website visitors in order to display relevant and personalized Google advertising.
2 years
SNID
Google Maps - Google uses these cookies to store user preferences and information when you view pages with Google Maps.
1 month
SSID
Used to store information about how you use the site and what advertisements you saw before visiting this site, and to customize advertising on Google resources by remembering your recent searches, your previous interactions with an advertiser's ads or search results, and your visits to an advertiser's site.
6 months
1P_JAR
This cookie is used to support Google's advertising services.
1 month
SAPISID
Used for targeting purposes to profile the interests of website visitors in order to display relevant and personalized Google advertising.
2 years
APISID
Used for targeting purposes to profile the interests of website visitors in order to display relevant and personalized Google advertising.
6 months
HSID
Includes encrypted entries of your Google account and last login time to protect against attacks and data theft from form entries.
2 years
SID
Used for security purposes to store digitally signed and encrypted records of a user's Google Account ID and last login time, enabling Google to authenticate users, prevent fraudulent use of login credentials, and protect user data from unauthorized parties. This may also be used for targeting purposes to display relevant and personalized advertising content.
6 months
SIDCC
This cookie stores information about user settings and information for Google Maps.
3 months
NID
The NID cookie contains a unique ID that Google uses to store your preferences and other information.
6 months
CONSENT
This cookie tracks how you use a website to show you advertisements that may be of interest to you.
18 years
__Secure-3PAPISID
This cookie is used to support Google's advertising services.
2 years
__Secure-3PSID
This cookie is used to support Google's advertising services.
6 months
__Secure-3PSIDCC
This cookie is used to support Google's advertising services.
6 months