@misc{Lexicon of Arguments, title = {Quotation from: Lexicon of Arguments – Concepts - Ed. Martin Schulz, 29 Mar 2024}, author = {Meixner,Uwe}, subject = {Lambda Calculus}, note = {I 90 Lambda operator/Meixner: "A (b1, ... bn)" is true if and only if b1, bN .. EXEM λo1 ... oN [A (O1 ... oN] - here stands "A (b1,. ..bN)" for any sentence with N different names. >Names, >Sentences. λO1 ... ON [A (O1 ... oN]: represents the name of an N-ary (predicative) universal. >Universals. O1 the placeholder replaces the O1 b1 name wherever it occurs in A (b1, ... bn). >Placeholder. λO1 ... oN .: this prefix indicates that λo1 ... ON [A (O1 ... on] is not a complete expression, but just a name: λO1 ... oN binds all vacancies in [A (O1 ... oN]. >Expressions/Meixner. The name "λO1 [O1 is a human being."] corresponds to the characteristic of being human. >Properties.}, note = { Mei I U. Meixner Einführung in die Ontologie Darmstadt 2004 }, file = {http://philosophy-science-humanities-controversies.com/listview-details.php?id=242923} url = {http://philosophy-science-humanities-controversies.com/listview-details.php?id=242923} }