Implication
What is implication? How should it be defined?
The notion of implication figures prominently in many scientonomic discussions. A proper definition of the term is required.
In the scientonomic context, this term was first used by Kye Palider in 2019.
Contents
Scientonomic History
Acceptance Record
All Theories
Theory | Formulation | Formulated In |
---|---|---|
Implication (Palider-2019) | A logical transition from one theory to another. | 2019 |
Accepted Theories
Suggested Modifications
Modification | Community | Date Suggested | Summary | Date Assessed | Verdict | Verdict Rationale |
---|---|---|---|---|---|---|
Sciento-2019-0009 | Scientonomy | 23 December 2019 | Accept the definition of implication as a logical transition from one theory to another. | Open |
Current Definition
The term currently has no accepted definition.
Ontology
Existence
There is currently no accepted view concerning the existence of implications.
Subtypes
No classes are currently accepted as subtypes of an implication.
Supertypes
No classes are currently accepted as supertypes of an implication.
Associations
No associations of an implication are currently accepted.
Disjointness
No classes are currently accepted as being disjoint with this class.
If a question concerning the ontology of an implication is missing, please add it here.
Dynamics
If a question concerning the dynamics of an implication is missing, please add it here.