ontolog-forum
[Top] [All Lists]

Re: [ontolog-forum] Axiomatic ontology

To: rick@xxxxxxxxxxxxxx, "[ontolog-forum] " <ontolog-forum@xxxxxxxxxxxxxxxx>
From: Pat Hayes <phayes@xxxxxxx>
Date: Sun, 21 Sep 2008 16:47:08 -0500
Message-id: <60A76CC2-DB05-43AA-9062-E72E6306B458@xxxxxxx>

On Sep 21, 2008, at 11:12 AM, Rick Murphy wrote:

Pat & Rob:

Although not as well known as much of what is discussed regularly here,
Joseph Goguen's work included institutions, algebraic semiotics and
semiotic morphisms that relate category theory to semantics.

Well, he used category theory to build a very general theory of logics ('institutions'), yes. BUt that is something rather different. After all, category theory is a very general framework that can be applied to a broad range of subject-matters. (Which is why it is so widely used, of course.) Institution theory is kind of super-general mathematical approach to describing logical syntax and relating different logics to one another, and it extends to relationships defined semantically. But its not really an alternative to Tarski, so much as a very abstract generalization of it. 

The notional connections might go something like:

develop semiotics from semantics
define algebraic semiotics
develop semiotic morphisms from structure preserving morphisms

http://www-cse.ucsd.edu/~goguen/

I know the general idea, though admit to not having followed through on all the details. (Rod Burstall, an active collaborator with Goguen on much of this, was one of my graduate supervisors.) 

Goguen, the author of the Categorical Manifesto, left a legacy that will
take a few generations to fully develop. Institutions are a pretty a
pretty good place to start ...

http://www-cse.ucsd.edu/~goguen/projs/inst.html

I have to admit, I havnt yet seen any actual utility in this stuff, and I find the high level of abstraction rather off-putting. Though the UCSD folk are doing some interesting work in 'algebraic semiotics' based on Goguen's stuff, I will agree. 


Also note, the work on the Heterogeneous Tool Set (HETS) here ...

http://www.informatik.uni-bremen.de/agbkb/forschung/formal_methods/CoFI/hets/index_e.htm

seems to be nicely developing a framework for Goguen's institutions ...

but in practice, is it anything more than a kind of organized catalog of conventional theorem=provers? What is gained by all this terminology of 'institutions'? 

Pat




Rick

Pat Hayes wrote:
On Sep 20, 2008, at 8:47 AM, Rob Freeman wrote:

I would welcome comments on a possible relationship between gauge
theories in physics, Category Theory in maths, and semantics.


Well, you did ask. These three topics have absolutely nothing whatever  
to do with one another. Gauge theories focus on symmetries in physical  
theory: that is, ways in which theories are invariant under various  
mathematical transformations. Category theory is a branch of pure  
mathematics, a kind of ultimate abstraction of algebra, which focusses  
on systems ('categories') defined by mappings . Semantics is concerned  
with the relationship between representations and what it is that they  
represent. One might as well ask for comments on a possible  
relationship between botany, music and gardening.

Let me ask in return, what was it that  suggested to you that these  
three topics might have any relationship?

Pat


_________________________________________________________________
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




_________________________________________________________________
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




------------------------------------------------------------
IHMC                                     (850)434 8903 or (650)494 3973   
40 South Alcaniz St.           (850)202 4416   office
Pensacola                            (850)202 4440   fax
FL 32502                              (850)291 0667   mobile
phayesAT-SIGNihmc.us       http://www.ihmc.us/users/phayes





_________________________________________________________________
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    (01)

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