Thread Links Date Links
Thread Prev Thread Next Thread Index Date Prev Date Next Date Index

Re: SUO: Multi-Source Ontology (MSO) Draft Ballot Question




Murray Altheim wrote:
> John F. Sowa wrote:
> 
>>Adam, Murray, and Bill,
>>
>>The distinction of logic-based vs. language-based
>>is meaningless because first-order logic is a
>>subset of every natural language.  [...]
> 
> 
> John,
> 
> Before we begin to discuss the rest of these issues, you
> have to understand that there are some of us who simply
> don't believe all of your underlying assumptions, no matter
> how many times they're repeated. 
[...]

I went back and read what I wrote and realized that there's
no way to have this discussion without it resulting in some
kind of emotional upset.

My only point (really) was that statements such as the above
are required to be true to remove the logical barriers between
logic-based and language-based ontologies, and the only proof
of that would require a number of fundamental assumptions that
we don't all hold. *AND* that we don't need to all share a
common set of epistemological assumptions in order to work
together. We just need to carefully look at things using the
available expertise, which around here is very substantial.

No insult was intended.

Murray

......................................................................
Murray Altheim                    http://kmi.open.ac.uk/people/murray/
Knowledge Media Institute
The Open University, Milton Keynes, Bucks, MK7 6AA, UK               .

     "Iraqi sovereignty will be established by appointees
      appointing appointees to select appointees to select
      appointees. Add the fact that Bremer was appointed to
      his post by President Bush and Bush to his by the US
      Supreme Court, and you have the glorious new democratic
      tradition of the appointocracy: rule by an appointee's
      appointee's appointees' appointees' appointees' selectees."
      http://www.guardian.co.uk/comment/story/0,3604,1130138,00.html