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