Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Circular definition of 'Generically dependent continuant' #208

Open
zhengj2007 opened this issue Jan 16, 2017 · 0 comments
Open

Circular definition of 'Generically dependent continuant' #208

zhengj2007 opened this issue Jan 16, 2017 · 0 comments

Comments

@zhengj2007
Copy link
Contributor

'Generically dependent continuant' has the following definition: “b is a generically dependent continuant = Def. b is a continuant that g-depends_on one or more other entities. (axiom label in BFO2 Reference: [074-001])” While technically a textual definition it uses language that is not used outside the context of BFO-ontologies ‘g- depends_on’ and insofar as ‘g-depends_on’ is an abbreviation for ‘generically- depends on’ it is a circular definition. A Generically dependent continuant is a continuant that generically depends on one or more other entities. 

Need to elucidate "generically depends on" and define "generically dependent continuant" in terms of "generically depends on" this is in good logical order. There is no circularity.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

No branches or pull requests

2 participants
@zhengj2007 and others