Re: SUO: Multi-Source Ontology (MSO) Draft Ballot Question
John F. Sowa wrote:
> Murray,
>
> I think that we violently agree, but you just
> interchanged the subset relation when you read
> my sentence:
>
> JS> ... first-order logic is a subset of every
> > natural language....
>
> MA> ... the idea that *natural* language is somehow
> > a subset of FOL requires a belief system so extensive
> > and profoundly different from mine as to be
> > virtually inconceivable...
>
> Yes, of course. FOL is a tiny subset of every NL.
> But every NL is so much bigger and richer than FOL
> that the difference is absolutely enormous.
Ahh, yes. When I read that (wrongly), about twenty neurons
fired a blit, causing my left eye to twitch until I found
the bottle of Clear Eyes...
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