Wolfgang Lenski Livres

The book addresses the overwhelming growth of publications in scientific fields, particularly mathematical logic, highlighting the challenges faced by researchers and educators in navigating this vast literature. It serves as a comprehensive bibliography, organized into six volumes, each focusing on different aspects of logic, including classical logic, non-classical logics, model theory, recursion theory, set theory, and proof theory. This structured approach aims to provide clarity and accessibility to those seeking relevant information in a rapidly evolving academic landscape.

The increasing complexity and specialization in the field of mathematical logic pose challenges for researchers, students, and educators seeking to navigate the vast literature. This Bibliography addresses that need by compiling six volumes, each focusing on different areas of logic, including Classical Logic, Non-classical Logics, Model Theory, Recursion Theory, Set Theory, and Proof Theory. Edited by experts in their respective fields, this comprehensive resource aims to help individuals find relevant publications and gain a clearer understanding of the existing literature.

Das Programm „Wissenschaft als Logik“ kann als gescheitert gelten. Das wirft die Frage auf, welcher Zusammenhang zwischen Logik und Wissenschaft überhaupt besteht. Zu dieser Problemlage entwerfen die Autoren dieses Bandes, Philosophen, Logiker und Mathematiker, ein Bild aus verschiedenen Perspektiven. Sie blicken hinter die Logik-Systeme und fragen: Was macht diese erst zu Systemen der Logik? Sie beleuchten spannende Phasen der Logik-Entwicklung, in deren Folge Logik zumindest als Grundlage für einige Wissenschaftsdisziplinen tauglich zu sein scheint. Was ist an dieser Stelle passiert, welche Facetten weist dieser Übergang auf? Weiter spezifizieren sie, worin Logik als Grundlagenwissenschaft eigentlich überhaupt bestehen kann, und welche Bedeutung Logik für eine generelle Theorie der Wissenschaften einnimmt. Die Diskussion der Reichweite logischer Fundierung in der Wissenschaft beschließt den Band, wobei die Fundamente einer andersartigen Grundlegung entwickelt und kritisch beleuchtet werden.

Nowadays knowledge-based systems research and development essentially employs two paradigms of reasoning. There are on the one hand the logic-based approaches where logic is to be understood in a rather broad sense; usually these approaches are used in symbolic domains where numerical calculations are not the core challenge. On the other hand we find approximation oriented reasoning; methods of these kinds are mainly applied in numerical domains where approximation is part of the scientific methodology itself. However, from an abstract level all these approaches do focus on similar topics and arise on various levels such as problem modeling, inference and problem solving techniques, algorithms and mathematical methods, mathematical relations between discrete and continuous properties, and are integrated in tools and applications. In accordance with the unifying vision and research interest of Michael M. Richter and in correspondence to his scientific work, this book presents 13 revised full papers advocating the integration of logic-based and approximation-oriented approaches in knowledge processing.