Re: SUO: OpenCyc Motion Open for Discussions
On Fri, Apr 11, 2003 at 08:45:19PM -0400, John Sowa wrote:
> Although I usually agree with Chris Menzel about technical issues in
> logic, I think that Chris is taking too narrow a view about how
> language, logic, and ontology are related:
>
> CM> How does a "lexical" axiom differ from an
> >"ontological" axiom? Doesn't a lexical axiom -- indeed, any
> >nontrivial axiom -- "encode meaning"? If so, it belongs in an
> >ontology, according to your characterization above, and we've lost
> >the distinction between lexical and ontological axioms.
Hm, well, the question was simply about the meaning of Eric's
terminology, John; it wasn't meant to express my own views about how
language, logic, and ontology are related!
-chris