What is the nature of the Cn(F)? A subset of formulas F' from the set F? Not obvious that Cn(Cn(F) = Cn(F).
Cheers, Gene On 1/19/2014 9:13 PM, YKY (Yan King Yin, 甄景贤) wrote:
On Mon, Jan 20, 2014 at 9:18 AM, Sergio Donal <[email protected] <mailto:[email protected]>> wrote: Regarding the emergent point issue in the induction mapping, does not a simple matrix product operation do something like that? I mean, if the facts lie in a R^M space the induction could lead to R^N, where M>N, is that what you mean? Another related algebraic idea, let us have facts in some space F, and hypothesis in space H, is there a 'suitable' projection from F to M that validates the hypothesis? Whatever suitable means in this case. Perhaps, once we learn the same kind of projector, it can be used/extended to link other spaces. Best Sergio What I meant by deduction operator is more standardly known as the "consequence operator" and is usually denoted Cn(F) where F is a set of formulas. The consequence operator seems more complex than matrix multiplication... but perhaps it could be approximated by such...? Projection is interesting here, since the Cn of a Cn stays the same, ie, Cn(Cn(F)) = Cn(F), which makes Cn a projection by definition... I'll think more about why Cn can or cannot be a matrix multiplication... =) *AGI* | Archives <https://www.listbox.com/member/archive/303/=now> <https://www.listbox.com/member/archive/rss/303/12987897-64924e57> | Modify <https://www.listbox.com/member/?&;> Your Subscription [Powered by Listbox] <http://www.listbox.com>
------------------------------------------- AGI Archives: https://www.listbox.com/member/archive/303/=now RSS Feed: https://www.listbox.com/member/archive/rss/303/21088071-f452e424 Modify Your Subscription: https://www.listbox.com/member/?member_id=21088071&id_secret=21088071-58d57657 Powered by Listbox: http://www.listbox.com
