Implication (Palider-2019)

This is a definition of Implication that states "A logical transition from one theory to another."

This definition of Implication was formulated by Kye Palider in 2019.1

Scientonomic History

Acceptance Record

This definition has never been accepted.

Suggestions To Accept

Here are all the modifications where the acceptance of this definition has been suggested:

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

Question Answered

Implication (Palider-2019) is an attempt to answer the following question: What is implication? How should it be defined?

See Implication for more details.

Description

Implication aims to capture the idea of one theory "following" from another. Although this idea is usually associated with that of deduction, sometimes deduction is too strict. When a theory constitutes evidence for another theory, that theory may imply the other depending on the strength of the evidence. There is no cutoff point for how strong the evidence needs to be that is shared by all agents. Instead, each agent has some rules of implication which determine when a theory implies another. This may be rules of logical entailment, of Bayesian confirmation theory, or of a detective's instinct.

Having a notion of implication greatly clarifies an epistemic agent's theoretical thinking. Each agent may have their own rules of implication that differ from the modern concept of logical entailment or of deduction. Furthermore, implication clarifies what "deducible" means in The Third Law: a theory is deducible from another set of theories if it is implied by that set of theories.

Reasons

No reasons are indicated for this definition.

If a reason supporting this definition is missing, please add it here.

Questions About This Definition

There are no higher-order questions concerning this definition.

If a question about this definition is missing, please add it here.