Begriffs-Hierarchien und Lambda-Kalkül

In seiner umfangreichen Dissertation zeigt der Physiker Peter Ripota verschiedene M glichkeiten, Logik, Semantik und Sprache in Formeln zu packen und in Diagrammen anschaulich darzustellen. Dabei bedient er sich eines in der Mathematik kaum bekannten fundamentalen Systems, des (Lambda)- Kalk ls, mit dessen Hilfe abstrakte Beziehungen und ihre Konkretisierung ("Reduktion") auf einfache Weise dargestellt und berechnet werden k nnen. Zus tzlich werden logische und sprachliche Beziehungen durch mathematische Verb nde beschrieben und grafisch illustriert. In dieser Arbeit wird auch ein Programm vorgestellt, der Konzeptgenerator, mit dessen Hilfe aus Eigenschaften und deren Vertr glichkeiten rein mechanisch neue Begriffe geschaffen werden k nnen - eine Idee, die schon Leibniz hatte und die von Jonathan Swift in den Reisen seines Gulliver satirisch vorgef hrt wird. So k nnen Zwischenstufen von Begriffsfeldern generiert und bewertet werden, beispielsweise Lebensformen zwischen toter Materie und echtem Leben.