Philosophy Lexicon of Arguments

Search  
 
Author Item Excerpt Meta data
Meixner, Uwe
 
Books on Amazon
Lambda Calculus I 90
Lambda operator / Meixner: "A (b1, ... bn)" is true if and only if b1, bN .. EXEM lo1 ... oN [A (O1 ... oN] - here stands "A (b1,. ..bN)" for any seentence with N different names - lO1 ... ON [A (O1 ... oN]: represents the name of an N-ary (predicative) universal - O1 the placeholder replaces the O1 b1 name wherever it occurs in A (b1, ... bn) - LO1 ... oN .: this prefix indicates that lo1 ... ON [A (O1 ... on] is not a complete expression. but just a name: lO1 ... oN binds all vacancies in [A (O1 ... oN] - the name "LO 1 [O1 is a human being."] corresponds to the characteristic of being human.

Mei I
U. Meixner
Einf├╝hrung in die Ontologie Darmstadt 2004


> Counter arguments against Meixner



back to list view | > Suggest your own contribution | > Suggest a correction
 
Ed. Martin Schulz, access date 2017-03-28