On Oct 12, 2010, at 9:29 AM, Rich Cooper wrote:
> I didn't realize your only interest is in the dogmatic. (01)
As with "higher-order logic", you appear to be confused about the meaning of
"dogmatic". I think you meant "theoretical", in which case you are
overgeneralizing -- I am certainly more interested in theory than applications
but it's certainly not my only interest and I've done my share of real world
programming and knowledge engineering. (02)
> Sorry to confuse you with practical considerations. (03)
That's rather ironic. The entire problem with your post is its confusion of
"practical" issues with theoretical issues. My response was designed simply to
clean up some of the mess by clearly separating the latter from the former. (04)
> -----Original Message-----
> From: ontolog-forum-bounces@xxxxxxxxxxxxxxxx
> [mailto:ontolog-forum-bounces@xxxxxxxxxxxxxxxx] On Behalf Of Christopher
> Sent: Monday, October 11, 2010 8:04 PM
> To: [ontolog-forum]
> Subject: Re: [ontolog-forum] using SKOS for controlled values for
> On Mon, 2010-10-11 at 12:41 -0700, Rich Cooper wrote:
>> That may be true from a purely logical sense, but only for that sense.
> Well, that's just fine, as that's the only sense I had in mind.
>> HOLs have a long and valued history, from Fortran I through SQL and
>> further, and they do much more than mere logic.
> Mere logic? You do realize what the "L" in "HOL" stands for, right?
>> They represent aspects of reality that model what we believe to be
>> valid, real world mechanisms.
> You are using "Higher-order logic" in what appears to be your own
> idiomatic sense. The expression has a very clear meaning among
> mathematical logicians and theoretical computer scientists. And it is
> in no wise part of the definition of higher-order logic that it
> "represents aspects of reality that model what we believe to be valid,
> real world mechnisms." Logics of many different kinds have been used to
> represent aspects of reality. Higher-order systems have no monopoly
> on this.
>> For example, global warmers are using simulation of weather processes
>> that would be completely meaningless to observers in a pure FOL
> This remark is so confused on so many levels that it is hard to know
> where to begin.
>> A well developed HOL is far more expressive than logic, more readable,
>> communicable, and therefore more able to be tested for validity in
>> reality as compared to simple expression of theories that may or may
>> not be validated by experience.
> Again, it is apparent that you are simply using "higher-order logic"
> in a sense all your own.
>> Pure FOL, in its original, very limited form, is fit for mathematical
>> expositions of very small issues. And yes, theoretically it can do
>> anything that the other languages above can do.
> Well, I'm not sure what you mean by what a logic can "do", but there are
> clear senses in which FOL cannot "do" what higher order logics can "do".
>> But that is not the reason to stick to FOL when more expressive and
>> communicable languages abound.
> Higher-order languages are indeed more expressive. As a consequence,
> they are not even partially decidable.
>> So, strictly speaking, the "subset" isn't well chosen as a description
>> of the difference, as you mentioned and explored in your email. But
>> very, very little work is done in pure FOL anymore.
> I have no idea what you mean by "pure" FOL, but the fact is that much of
> what is going on in Semantic Web research is done in FOL or a fragment
> thereof -- notably, everything for which OWL is used. This doesn't
> count as "work" for you?
>> A better description would be "FOL is less expressive than many HOLs".
> It's less expressive than all of them under standard semantics.
> HTH? Not likely.
> Chris Menzel (06)
Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/
Config Subscr: http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/
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 (07)