Re: TMRM: isa/sub - irreflexive relation vs. reflexive relation

Lars Heuer <[email protected]> Wed, 5 Oct 2011 22:00:06 +0200
Newsgroups gmane.text.xml.xtm.general
Organization Semagia
Message-ID <[email protected]>
Hi Murray,

> Sorry, this isn't meant to sound snide, but is there some reason
> why people are arguing over things that could be answered in any
> introductory book on logic?

Probably my wording and subject was misleading. I was referring to the
paragraph that "x isa x for no element of m". I wasn't proposing that
"x isa x for all elements of m" should be true. I was wondering why "x
isa x for some elements of m" shouldn't be true.

Thanks for the subtile, gentle hint, Murray. ;)

Best regards,
Lars
-- 
Semagia 
<http://www.semagia.com>

<http://www.topicmaps.de/mailinglist/> German Topic Maps mailing list
<http://tinytim.sourceforge.net/> Open Source Topic Maps engine
<http://mappa.semagia.com/> Mappa - Python Topic Maps engine