Philosophie Lexikon der Argumente

Suche  
Autor/Titel Begriff Exzerpt Metadaten
Cresswell, M.J.
 
Bücher bei Amazon
Lambda-Abstraktion I 169
Lambda-Abstraktion/Cresswell: ü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 b ein Esel ist - hat: 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.
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: 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: sind hier immer Intensionen (s.o.).

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

> Gegenargumente gegen Cresswell



> Eigenen Beitrag vorschlagen | > Haben Sie einen Fehler entdeckt? | > Export als BibTeX Datei
 
Hg. Martin Schulz, Abfragedatum 24.04.2017