ontolog-forum
[Top] [All Lists]

Re: [ontolog-forum] axiom

To: "Dr. Richard H. McCullough" <rhm@xxxxxxxxxxxxx>, "[ontolog-forum]" <ontolog-forum@xxxxxxxxxxxxxxxx>
From: Alex Shkotin <alex.shkotin@xxxxxxxxx>
Date: 2014年4月23日 13:11:16 +0400
Message-id: <CAFxxROTYkKLCtk-CkNFemvRk2ZBS-7Puno=7EeX07no6vqTBTw@xxxxxxxxxxxxxx>
Or using operator

(∀x:body 0 ≤ VPC(biotite)(x) ≤ 100)

Here biotite is an unary predicate. biotite(x) means "x is a biotite".
VPC - operator. It takes unary predicate and returns unary function from body to number. 
So if we apply VPC to biotite() we get full function of VPC of biotite in any particular body.



2014年04月21日 9:47 GMT+04:00 Richard H. McCullough <rhmccullough@xxxxxxxxx>:
The New Shorter Oxford English Dictionary gives three definitions.

1) a) An established or generally accepted principle;
b) a maxim;
c) a rule.

2) Logic. A proposition (true or false).

3) Math.
a) A self-evident truth;
b) a proposition on which an abstractly defined structure
is based.

Rand:axiom is 3a;
McCullough:axiom is 3b;
Ontolog Forum:axiom is ?;

 
Dick McCullough
Context Knowledge Systems
Name your propositions !



_________________________________________________________________
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
 

_________________________________________________________________
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  (01)
<Prev in Thread] Current Thread [Next in Thread>
Previous by Date: Re: [ontolog-forum] axiom , Alex Shkotin
Next by Date: [ontolog-forum] Toward Human-Level Artificial Intelligence , John F Sowa
Previous by Thread: Re: [ontolog-forum] axiom , Alex Shkotin
Next by Thread: Re: [ontolog-forum] axiom , Bruce Schuman
Indexes: [Date] [Thread] [Top] [All Lists]

AltStyle によって変換されたページ (->オリジナル) /