Begriffs-Hierarchien und Lambda-Kalkl

In seiner umfangreichen Dissertation zeigt der Physiker Peter Ripota verschiedene Mglichkeiten, 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)- Kalkls, mit dessen Hilfe abstrakte Beziehungen und ihre Konkretisierung ("Reduktion") auf einfache Weise dargestellt und berechnet werden knnen. Zustzlich werden logische und sprachliche Beziehungen durch mathematische Verbnde beschrieben und grafisch illustriert.
In dieser Arbeit wird auch ein Programm vorgestellt, der Konzeptgenerator, mit dessen Hilfe aus Eigenschaften und deren Vertrglichkeiten rein mechanisch neue Begriffe geschaffen werden knnen - eine Idee, die schon Leibniz hatte und die von Jonathan Swift in den Reisen seines Gulliver satirisch vorgefhrt wird. So knnen Zwischenstufen von Begriffsfeldern generiert und bewertet werden, beispielsweise Lebensformen zwischen toter Materie und echtem Leben.