ontolog-forum
[Top] [All Lists]

Re: [ontolog-forum] Intensional relation

To: "[ontolog-forum]" <ontolog-forum@xxxxxxxxxxxxxxxx>
From: William Frank <williamf.frank@xxxxxxxxx>
Date: Thu, 3 Jan 2013 18:43:52 -0500
Message-id: <CALuUwtCmOwHoRj74K_XPhDT+boMGGYRSBDQghCWM_FOXj0pDpw@xxxxxxxxxxxxxx>
Surely, Leo's conclusion 

"One can use good English and formal definition together."

Is the only reasonable one.
What could really be argued about here?

Me, I was accustomed to getting an intuitive explanation of a concept, **then** a formal exposition, and then an informal conclusion, and writing that way.  But I had a great teacher.

For example, on the current topic of intension, I have always though of intension as the rules for the use of an _expression_, while its extension being the set of phenomena to which it happens to apply.  So, I have thought to relate the two by saying that the meaning or intension of an _expression_ in a theory can be explicated (or modeled) as the equivelence class of all the extensions of the _expression_ in all the true interpretations (or models) of the theory.   When you take this approach,interesting properties of the space of models partitoned by the extensions of the terms in the theory might arise.  This model of the meaning of 'intension' might then seem to some to provide insight into the intuitive meaning of 'intension.'   From intution, to formal theory, back to insight.  Formal mathematics is critical part of this process.  And, without it, the arguments about the fine points of the English will be endless.

I do also agree with JS someone defines an intensional class in some elegant mathematical way, and does not explain how that relates to any wider interests, or spell out some of the notation, something is motivational suspect. 





--
William Frank

413/376-8167


This email is confidential and proprietary, intended for its addressees only.
It may not be distributed to non-addressees, nor its contents divulged,
without the permission of the sender.

_________________________________________________________________
Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/  
Config Subscr: 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 join: http://ontolog.cim3.net/cgi-bin/wiki.pl?WikiHomePage#nid1J    (01)

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