@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}
}