Re: Axiomatic ontology
John,
> But even that won't get us very far toward an ontology that
> people can actually use in knowledge-based systems.
This is true, no doubt about it.
> AS> This is just a raw example, but it is not hard to see the
> > overwhelming success of axiomatic ontology.
>
> That argument will not convince anyone to go learn logic in
> order to write axioms for a knowledge-based system.
No, but this is welcome in philosophy, where there the knowledge
soup is at least as sticky as in cs. The axiomatic method can,
and does, actually simplify things.
Avril