section_path: Related concepts/Inductive logic proofs and Bayesian analysis
section_name: Inductive logic proofs and Bayesian analysis
paragraph_text: Inductive logic proofs and Bayesian analysis
  
  Proofs using inductive logic, while considered mathematical in nature, seek to establish propositions with a degree of certainty, which acts in a similar manner to probability, and may be less than full certainty. Inductive logic should not be confused with mathematical induction.
  
  Bayesian analysis uses Bayes' theorem to update a person's assessment of likelihoods of hypotheses when new evidence or information is acquired.