[sc34wg3] Need definition of "Assertion" in Reference Model

[Sam Hunting]

[lars]
> I think that "assertion" as used in the RM is much the same term as
> "assertion" or "proposition" used in logic. That is, it is a statement
> or claim, which is true or false.

FWIW (and I know as much about formal logic as I do about Japanese) I'd be
very reluctant to make this claim except on the grounds of connotation,
rather than denotation. At least, the RM has no notion of truth value
(though applications might).

Sam Hunting
eTopicality, Inc.

---------------------------------------------------------------------------
"Turn your searching experience into a finding experience."(tm)

Topic map consulting and training: www.etopicality.com
Free open source topic map tools:  www.goose-works.org

XML Topic Maps: Creating and Using Topic Maps for the Web.
Addison-Wesley, ISBN 0-201-74960-2.
---------------------------------------------------------------------------