ontolog-forum
[Top] [All Lists]

Re: [ontolog-forum] Axiomatic ontology

To: rick@xxxxxxxxxxxxxx, "[ontolog-forum]" <ontolog-forum@xxxxxxxxxxxxxxxx>
From: "Rob Freeman" <lists@xxxxxxxxxxxxxxxxxxx>
Date: Sun, 28 Sep 2008 14:34:39 +0800
Message-id: <7616afbc0809272334h4e60e367ga1e1ee6a0d2f0e85@xxxxxxxxxxxxxx>
Rick,    (01)

Thanks for the link to other work which relates Category Theory and
geometric physics. I'll check it out. Good to have independent
verification.    (02)

As I say, the actual solution using a geometric approach, whether in
physics, maths, or semantics, is not what interests me the most. What
I find interesting is that in all these domains of knowledge people
seem to be moving away from axiomatic/logical formulations, towards
formulation in terms of geometries, distortable continua, where
qualities in the system are not specified ab initio but as
distortions/mappings of something fundamentally indeterminate.    (03)

Which is not to say modeling semantics in terms of Category Theoretic
style "mappings" might not be useful, perhaps comparable to the move
from Newtonian to relativistic physics.    (04)

Best of all would be an approach which offers some underlying
explanation for this indeterminacy. That's why I like what Vitiello
talks about as "many-body theory". Vitiello talks about this as
"many-body theory" in physics, but more generally what we are talking
about would be the power of assemblies. Which gets us back to what
Chris Anderson was characterizing as the anti-Theory of Everything
"Google" approach to understanding the world: by directly assembling
data in different ways.    (05)

-Rob    (06)

On Sun, Sep 28, 2008 at 1:02 AM, Rick Murphy <rick@xxxxxxxxxxxxxx> wrote:
> Rob Freeman wrote:
>> Rick: Thanks for those Category Theory/semantics refs. Great! I hadn't
>> come across Goguen's work. You haven't seen anything relating Category
>> Theory with geometric theories in physics have you?
>
> Actually, I think I have seen that and I think you can find an active
> dialog on those things here ... http://golem.ph.utexas.edu/category/
>
> Rick    (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>