Defeasible Reasoning

From GM-RKB
Jump to navigation Jump to search

A Defeasible Reasoning is a Reasoning Argument that is rationally compelling but not deductivelly valid.



References

2018

  • (Wikipedia, 2018) ⇒ https://en.wikipedia.org/wiki/Defeasible_reasoning#Overview Retrieved:2018-11-3.
    • In logic, defeasible reasoning is a kind of reasoning that is rationally compelling, though not deductively valid.
    • Defeasible reasoning is a particular kind of non-demonstrative reasoning, where the reasoning does not produce a full, complete, or final demonstration of a claim, i.e., where fallibility and corrigibility of a conclusion are acknowledged. In other words, defeasible reasoning produces a contingent statement or claim. Other kinds of non-demonstrative reasoning are probabilistic reasoning, inductive reasoning, statistical reasoning, abductive reasoning, and paraconsistent reasoning. Defeasible reasoning is also a kind of ampliative reasoning because its conclusions reach beyond the pure meanings of the premises.

      The differences between these kinds of reasoning correspond to differences about the conditional that each kind of reasoning uses, and on what premise (or on what authority) the conditional is adopted:

      • Deductive (from meaning postulate, axiom, or contingent assertion): if p then q (i.e., q or not-p)
      • Defeasible (from authority): if p then (defeasibly) q
      • Probabilistic (from combinatorics and indifference): if p then (probably) q
      • Statistical (from data and presumption): the frequency of qs among ps is high (or inference from a model fit to data); hence, (in the right context) if p then (probably) q
      • Inductive (theory formation; from data, coherence, simplicity, and confirmation): (inducibly) "if p then q"; hence, if p then (deducibly-but-revisably) q
      • Abductive (from data and theory): p and q are correlated, and q is sufficient for p; hence, if p then (abducibly) q as cause
    • Defeasible reasoning finds its fullest expression in jurisprudence, ethics and moral philosophy, epistemology, pragmatics and conversational conventions in linguistics, constructivist decision theories, and in knowledge representation and planning in artificial intelligence. It is also closely identified with prima facie (presumptive) reasoning (i.e., reasoning on the "face" of evidence), and ceteris paribus (default) reasoning (i.e., reasoning, all things "being equal").

2017