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 question was first formulated by Kye Palider in 2019.

Scientonomic History

Acceptance Record

Our records state that this term has never been accepted by any community.

All Theories

The following definitions of the term have been suggested:

Theory	Formulation	Formulated In
Implication (Palider-2019)	A logical transition from one theory to another.	2019

If a definition of this term is missing, please click here to add it.

Accepted Theories

According to our records, no definition of the term has ever been accepted.

Suggested Modifications

Here is a list of modifications concerning this term:

Modification	Community	Date Suggested	Summary	Verdict	Verdict Rationale	Date Assessed
Sciento-2019-0009	Scientonomy	23 December 2019	Accept the definition of implication as a logical transition from one theory to another.	Open

Current Definition

There is currently no accepted definition of the term.

Ontology

Existence

There is currently no accepted view concerning the existence of implications.

Disjointness

No classes are currently accepted as being disjoint with this class.

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.

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.