[ontoiop-forum] DOL finalisation

[Till Mossakowski]

John,

Am 03.01.2018 um 20:25 schrieb John F Sowa:
>
> For defining a function, I agree that this syntax has no advantage over
> (forall (x y) (= (f x y) ("some expression that uses x and y")))
>
> But the lambda syntax is most useful when you want to use a function
> without giving it a name -- for example, when it's an argument of
> some other function or relation.
but then you are in a higher-order setting, and no-one prevents you from
writing

(lambda (p) (not (p p)))

which is a term that cannot have a denotation.

Best, Till