I try to bring up things such as the incoherence of trying to construct the notion of a set containing itself from the perspective of ontological engineering and get voted down on a non-ontological engineering basis. How can I best get these kind specific examples of ontological engineering questions answered?
Ideally I would like to see an ontological engineering tag on one or more of these forums.
Ontological engineering is comparable to the Richard Montague grammar of natural language semantics. They both provide the way for natural language semantics to be specified syntactically. Ontological engineering emphasizes the inheritance hierarchy compositional nature of natural language semantics. We can use these same things to stipulate formal language semantics. The Tarski meta-language can even specify its own semantics using itself.