λ-Kalkül

Zusammenfassung

Im letzten Kapitel haben wir mit der Typentheorie eine Sichtweise eingeführt, die die Verbindung semantischer Kategorien als eine Beziehung zwischen einer Funktion und einem Argument begreift. Dabei haben wir Prädikatsausdrücke einem bestimmten Typ zugewiesen, den wir als Funktion interpretieren konnten. In diesem Kapitel wollen wir aus den Prädikatsausdrücken selbst Funktionen konstruieren. Diese Konstruktion soll durch ein systematisches Verfahren geschehen, welches erlaubt, aus beliebigen L₁-Ausdrücken Funktionen eindeutig zu bestimmen.