On Tue, 11 Mar 2008, Pat Hayes wrote:
> At 7:01 PM -0500 3/11/08, John F. Sowa wrote:
>> My ideal for an upper-level ontology would be the barest minimum
>> number of axioms -- and the ideal number is 0.
> ... I guess I don't understand this. All an ontology is, is axioms.
> What does it mean to have zero axioms? (01)
I took him to mean no *proper* axioms, i.e., the ideal upper-level
ontology is predicate logic (or whatever your base logic is). I'm not
really sure what it means to say that. :-) (02)
Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/
Shared Files: http://ontolog.cim3.net/file/
Community Wiki: http://ontolog.cim3.net/wiki/
To Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx (04)