43
edits
Changes
Jump to navigation
Jump to search
no edit summary
|Formulation Text=A logical transition from one theory to another.
|Formulation File=Implication (Palider-2019).png
|Authors List=Kye Palider,
|Formulated Year=2019
|Description=TODOImplication 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.
|Resource=Palider (2019)
|Prehistory=
|History=
|Page Status=Stub
}}
