[Top] [All Lists]

Re: [ontolog-forum] OWL Well Defined Semantics (was: Terminology...)

To: Ontolog-forum <ontolog-forum@xxxxxxxxxxxxxxxx>
From: Christopher Menzel <cmenzel@xxxxxxxx>
Date: Thu, 26 Jan 2012 21:22:01 +0100
Message-id: <CAO_JD6M4ZLXjX6DQ3cCzYNmqOr+db19w1_SeDa4R+G+61_c2gA@xxxxxxxxxxxxxx>
2012/1/26 Adrian Walker <adriandwalker@xxxxxxxxx>
Hi Chris,

Thanks, yes I think that for current practical purposes what you say answers my question.

However, this seems to be an area in which some further deep thinking is going on, for example:

What is Modeled by Truth in All Models?
John MacFarlane

Yes, of course, there are certainly heavy philosophical issues in the neighborhood here, but I took your question to be essentially a technical one, viz., whether the fact that a set of sentences is subject to different formal interpretations implies some sort of ambiguity concerning what is formally deducible from that set. That has a very clear answer. Such questions as the one above concerning the connection between formal notions and the informal notions they purport to represent are another matter entirely.


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>