[Top] [All Lists]

Re: [ontolog-forum] Axiomatic ontology

To: "[ontolog-forum]" <ontolog-forum@xxxxxxxxxxxxxxxx>
From: "Rob Freeman" <lists@xxxxxxxxxxxxxxxxxxx>
Date: Sun, 28 Sep 2008 14:33:46 +0800
Message-id: <7616afbc0809272333k108310b8t48e0424aa77e6a8d@xxxxxxxxxxxxxx>
John,    (01)

On Sun, Sep 28, 2008 at 4:16 AM, John F. Sowa <sowa@xxxxxxxxxxx> wrote:
> RF> The work of Schmidhuber and Hutter avoid these "pitfalls"
>  > [of logic] by ignoring formal logic and seeking a basis for
>  > meaning in prediction/probability.
> That's like a carpenter who struck his thumb with a hammer and
> later avoids the pitfalls of hammers by using nothing but saws.    (02)

I think of it in terms of a different metaphor. I think of it as a
cartographer who finds projections to a plane are always distorted,
and so decides not to limit herself to flat maps.    (03)

Which is not to say specific flat maps are not useful, just that we
must recognize their limitations when plotting the whole world.    (04)

This might not be important when you travel around the corner to buy
bread, but it becomes important when you fly from London to NY.    (05)

Thanks for the extra refs. on geometric approaches.    (06)

-Rob    (07)

Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/  
Subscribe/Config: http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/  
Unsubscribe: mailto:ontolog-forum-leave@xxxxxxxxxxxxxxxx
Shared Files: http://ontolog.cim3.net/file/
Community Wiki: http://ontolog.cim3.net/wiki/ 
To Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx    (08)

<Prev in Thread] Current Thread [Next in Thread>