[<<][compsci][>>][..]Sun Sep 27 17:28:14 CEST 2009

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][>>][..]