[Top] [All Lists]

Re: [ontolog-forum] Ontology-based database integration

To: "[ontolog-forum]" <ontolog-forum@xxxxxxxxxxxxxxxx>
From: rick <rick@xxxxxxxxxxxxxx>
Date: Fri, 09 Oct 2009 16:29:29 -0400
Message-id: <4ACF9D29.2090300@xxxxxxxxxxxxxx>
Christopher Menzel wrote:
And model theoretic semantics is entirely silent on those questions.    (01)

Sounds like model theoretic semantics is overdue for an update because 
the rich discussion of meaning is still ongoing in philosophy. Take for 
example Scott Soames' recent "The Unity of the Proposition."    (02)

http://www-rcf.usc.edu/~soames/forthcoming_papers/Unity.pdf    (03)

Given that model theory implies satisfying an interpretation based on 
structures which preserve truth implied by the assumption of material 
adequacy and signatures which lack enough symbols to represent meaning, 
I'm surprised that someone hasn't already proposed revising the 
definition of interpretation to include structures where *fully 
interpreted* requires meaning, not truth (or satisfaction) and complex 
enough signatures to include symbols that are interpretants, signs and 
objects.    (04)

Here's a piece I've been working on for a while that speaks to this 
issue and has a useful diagram that extends the Triangle of Meaning.    (05)

It's called Linked Data: Interpretants and Interpretation.    (06)

Of course there's more than a life time of work to be done to properly 
develop what I've proposed, but silence on these important questions 
won't last forever !    (07)

>     (08)

Rick    (09)

cell: 703-201-9129
web:  http://www.rickmurphy.org
blog: http://phaneron.rickmurphy.org    (010)

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
To Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx    (011)

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