[Top] [All Lists]

Re: [ontolog-forum] Types of Formal (logical) Definitions in ontology

To: ontolog-forum@xxxxxxxxxxxxxxxx
From: John F Sowa <sowa@xxxxxxxxxxx>
Date: Mon, 23 Jun 2014 17:13:57 -0400
Message-id: <53A89895.1080604@xxxxxxxxxxx>
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)

<Prev in Thread] Current Thread [Next in Thread>