Philosophie Lexikon der ArgumenteHome | |||
| |||
Lambda-Abstraktion: Die Lambda-Abstraktion ist eine Möglichkeit, Funktionen zu definieren, ohne einen Funktionsnamen zu verwenden. Sie ist ein Schlüsselkonzept in der funktionalen Programmierung. Siehe auch Lambda-Kalkül._____________Anmerkung: Die obigen Begriffscharakterisierungen verstehen sich weder als Definitionen noch als erschöpfende Problemdarstellungen. Sie sollen lediglich den Zugang zu den unten angefügten Quellen erleichtern. - Lexikon der Argumente. | |||
Autor | Begriff | Zusammenfassung/Zitate | Quellen |
---|---|---|---|
Maxwell J. Cresswell über Lambda-Abstraktion – Lexikon der Argumente
I 169 Lambda-Abstraktion/Cresswell: Die Lambdaabstraktion übernimmt das Binden der Variablen (statt Existenzquantor. - Die Idee ist, dass jedes Prädikat möglichst viele Stellen hat die auch gebraucht werden, so dass ihre Argumentstellen miteinander verbunden werden können. Das ist der Grund warum, obwohl λ nur ein ein-stelliges Prädikat ist, wir das zwei-stellige Prädikat ‹λxy ‹ein Mann, x›› bilden müssen. - Dieses zwei-stellige Prädikat bestimmt die Klasse aller Paare ‹a,b› in denen z.B. b ein Esel ist. >Eselssätze, >Geachs Esel. "Hat ‹x,y›" bestimmt die Klasse aller Paare ‹a,b› in denen a b hat, und daher kann ein Paar ‹a,b› nur dann in allen drei Relationen existieren, wenn a ein Mann ist, der b hat und b ein Esel ist. - - - II 97 λ-Abstraktion/Lambda-Abstraktion/logische Form/alltagssprachliche Übersetzung/Cresswell: Bsp "ist ein x sodass x nicht pfeift" - kann als komplexes Prädikat angesehen werden. Abstraktionsoperator: seine Hauptaufgabe ist die Bildung komplexer Prädikate. >Abstraktionsoperator, >Prädikate. II 98 λ-kategoriale Sprache/syntaktische Kategorien/Cresswell: Gattungsnamen/common nouns: sind in Kategorie (0/1) intransitive Verben: (0/1) transitive Verben: (0/11) (Montague: (0/1(0/01)) Adverbien: ((0/1)/(0/1) Einige Adverbien: (0/0) (auch Satzoperatoren wie "nicht" und Operatoren für die Zeitenbildung) - Adjektive: ((0/1)/(0/1)) Präpositionen: (((0/1)/(0/1))1). Bedeutung eines Funktors: Die Bedeutung eines Funktors ist eine bestimmte Art von Funktion. II 99 Bedeutung von Ausdrücken in Kategorie (t/s1,,,sn): sind dann Funktionen, deren Argumente aus den Bedeutungen von s1,...sn stammen und deren Werte aus den Bedeutungen von t. Bedeutungen: Bedeutungen sind hier immer Intensionen (s.o.). >Intensionen._____________ Zeichenerklärung: Römische Ziffern geben die Quelle an, arabische Ziffern die Seitenzahl. Die entsprechenden Titel sind rechts unter Metadaten angegeben. ((s)…): Kommentar des Einsenders. Übersetzungen: Lexikon der ArgumenteDer Hinweis [Begriff/Autor], [Autor1]Vs[Autor2] bzw. [Autor]Vs[Begriff] bzw. "Problem:"/"Lösung", "alt:"/"neu:" und "These:" ist eine Hinzufügung des Lexikons der Argumente. |
Cr I M. J. Cresswell Semantical Essays (Possible worlds and their rivals) Dordrecht Boston 1988 Cr II M. J. Cresswell Structured Meanings Cambridge Mass. 1984 |