[<<][compsci][>>][..]

Sun Sep 27 17:28:14 CEST 2009

Logic

If first order logic can be used to create structured domains (the
space where the predicate parameters live), propositional logic
represents just structure, and isn't `about' anything.

What does higher order logic represent?  It allows quatification over
predicates and higher order types.

[1] http://en.wikipedia.org/wiki/First_order_logic




[Reply][About]
[<<][compsci][>>][..]