> Well, what exactly are the constraints you wish you place on "capture". > Clearly humans can express the ideas so in some sense they are trivially > (say text and graphics) captured. :-) > > - samantha
Personally, the constraint that I want to satisfy is that the rules of manipulation should reflect the semantics. Regular higher-order logic does not satisfy this because the rules of manipulation for higher-order logics can be captured by a typed first-order logic (http://en.wikipedia.org/wiki/Second-order_logic#Semantics). I'll admit that the idea of "reflecting the semantics" is a bit vague. The strongest form of the statement would be "the logic must prove true what is true and prove false what is false", but this is too strong to be satisfiable. A weaker version would be "the logic must eventually converge to the truth", but even this is too strong (thanks to one of the examples I gave in my initial post). ------------------------------------------- agi Archives: http://www.listbox.com/member/archive/303/=now RSS Feed: http://www.listbox.com/member/archive/rss/303/ Modify Your Subscription: http://www.listbox.com/member/?member_id=8660244&id_secret=106510220-47b225 Powered by Listbox: http://www.listbox.com
