Philosophy Dictionary of ArgumentsHome
| |||
|
| |||
| Lambda abstraction: Lambda abstraction is a way of defining functions without using a function name. It is a key concept in functional programming. See also Lambda calculus._____________Annotation: The above characterizations of concepts are neither definitions nor exhausting presentations of problems related to them. Instead, they are intended to give a short introduction to the contributions below. – Lexicon of Arguments. | |||
| Author | Concept | Summary/Quotes | Sources |
|---|---|---|---|
|
M.J. Cresswell on Lambda-Abstraction - Dictionary of Arguments
I 169 Lambda abstraction/Cresswell: takes over the binding of the variable (instead of the existence quantifier). The idea is that every predicate has as many digits as possible which are also needed, so that their argument digits can be connected to one another that is the reason why, however it is only a one-digit predicate, we must form the two-digit predicate ‹λxy ‹a man, x››. This two-digit predicate determines the class of all pairs ‹a, b› in which b is a donkey. "Has ‹x, y›" determines the class of all pairs ‹a, b› in which a has b, and therefore a pair ‹a, b› can only then exist in all three relations if a is a man who has b and b is a donkey. II 97 λ-abstraction/lambda abstraction/logical form/everyday translation/Cresswell: Example - "is an x such that x does not whistle". - This can be regarded as a complex predicate. Abstraction operator: its main task is the formation of complex predicates. >Abstraction operator, >Predicates. II 98 λ-categorial language/syntactic categories/Cresswell: generic names/common nouns: are in category (0/1) intransitive verbs: (0/1) transitive verbs: (0/11) (Montague: (0/1(0/01) Adverbs: (0/1)/(0/1) some adverbs: (0/0) (also sentence operators like "not" and operators for the formation of time.) - adjectives: ((0/1 )/(0/1)) prepositions: (((0/1)/(0/1))1). Meaning of a functor: is a certain kind of function. --- II 99 Meaning of expressions in category (t/s1 ,,, sn): are functions whose arguments are derived from the meanings of s1, ... sn and their values from the meanings of t - meanings: are always intensions here. >Intensions._____________Explanation of symbols: Roman numerals indicate the source, arabic numerals indicate the page number. The corresponding books are indicated on the right hand side. ((s)…): Comment by the sender of the contribution. Translations: Dictionary of Arguments The note [Concept/Author], [Author1]Vs[Author2] or [Author]Vs[term] resp. "problem:"/"solution:", "old:"/"new:" and "thesis:" is an addition from the Dictionary of Arguments. If a German edition is specified, the page numbers refer to this edition. |
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 |
||
> Counter arguments against Cresswell
> Counter arguments in relation to Lambda-Abstraction
Ed. Martin Schulz, access date 2024-04-16