gentzen
Science Advisor
Gold Member
- 1,101
- 833
This is a tricky one, because those equivalence classes risk to reduce the usefulness of an ontology. On the other hand, sometimes equivalence classes are unavoidable in a strong sense. But one point of studying ontology is actually to identify such situations.Killtech said:Does the "ontic" stuff acknowledge that the objects of interest don't ever appear in a raw naturally unique form but there is always a layer of representation and convention of top such that you can never assign a property to one thing but always have to think of an equivalence class of closely related quantities?
In a certain sense, the equivalence classes similar to many-one reductions are unproblematic, but those similar to Turing reductions are risky.