| http://www.w3.org/ns/prov#value | - Of course maybe definition can predicate on metalevel (second order predicates) but it seems to me that it can not???Frege???s point seems to be such that it cannot??????.Definition presents set of predicates and gives it a ???name?????????.Whether this set is exemplified , and on what conditions is a different matter???.
|
