Implication

From Encyclopedia of Scientonomy
Jump to navigation Jump to search

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:
TheoryFormulationFormulated 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:
ModificationCommunityDate SuggestedSummaryVerdictVerdict RationaleDate Assessed
Sciento-2019-0009Scientonomy23 December 2019Accept 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.