Ed, (01)
Our notes crossed in the mail. (02)
> To start the process, there must somewhere be 'primitive concepts'
> -- things you can't formally "define". In ISO 1087 terms, such
> things have 'descriptions' (03)
Every NL description that is precise enough to be implemented
in a digital computer can be specified in some formal logic. (04)
But it's not possible to specify all predicates by closed-form
definitions. However, it is possible to specify them by axioms
that relate them to one another. (05)
Any term, such as 'primitive concept' or 'description' that is
not specified in terms of logic does not belong in a standard
-- except as an informal (non-normative) comment. (06)
John (07)
_________________________________________________________________
Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/
Config Subscr: http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/
Unsubscribe: mailto:ontolog-forum-leave@xxxxxxxxxxxxxxxx
Shared Files: http://ontolog.cim3.net/file/
Community Wiki: http://ontolog.cim3.net/wiki/
To join: http://ontolog.cim3.net/cgi-bin/wiki.pl?WikiHomePage#nid1J (08)
|