Reasoning that is rationally compelling, though not deductively valid
This article has multiple issues. Please help improve it or discuss these issues on the talk page. (Learn how and when to remove these template messages)
This article needs additional citations for verification. Please help improve this article by adding citations to reliable sources. Unsourced material may be challenged and removed. Find sources: "Defeasible reasoning" – news · newspapers · books · scholar · JSTOR(April 2018) (Learn how and when to remove this message)
This article includes a list of general references, but it lacks sufficient corresponding inline citations. Please help to improve this article by introducing more precise citations.(April 2018) (Learn how and when to remove this message)
(Learn how and when to remove this message)
In philosophy of logic, defeasible reasoning is a kind of provisional reasoning that is rationally compelling, though not deductively valid.[1] It usually occurs when a rule is given, but there may be specific exceptions to the rule, or subclasses that are subject to a different rule. Defeasibility is found in literatures that are concerned with argument and the process of argument, or heuristic reasoning.
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. Defeasible reasoning is also a kind of ampliative reasoning because its conclusions reach beyond the pure meanings of the premises.
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").
According to at least some schools of philosophy, all reasoning is at most defeasible, and there is no such thing as absolutely certain deductive reasoning, since it is impossible to be absolutely certain of all the facts, or to know with certainty that nothing is unknown. Thus all deductive reasoning is in reality contingent and defeasible.
^""Defeasible Reasoning," Stanford Encyclopedia of Philosophy". Retrieved 1 July 2016.
and 27 Related for: Defeasible reasoning information
In philosophy of logic, defeasiblereasoning is a kind of provisional reasoning that is rationally compelling, though not deductively valid. It usually...
belief. Defeaters play a central role in modern developments of defeasiblereasoning. There are two types of defeaters: rebutting defeaters and undercutting...
presupposition to be cancelled Defeasiblereasoning, a type of convincing but not demonstrative philosophical reasoningDefeasible logic, a non-monotonic logic...
Non-deductive reasoning is ampliative and defeasible. Sometimes, the terms non-deductive reasoning, ampliative reasoning, and defeasiblereasoning are used...
partially formal treatises on argument and dialectic, systems based on defeasiblereasoning, and systems based on game semantics and dialogical logic. Since...
Defeasible logic is a non-monotonic logic proposed by Donald Nute to formalize defeasiblereasoning. In defeasible logic, there are three different types...
thinking – Analysis of facts to form a judgment Conclusion-making Defeasiblereasoning – Reasoning that is rationally compelling, though not deductively valid...
logic and paraconsistent logic.: 373–424 Building on theories of defeasiblereasoning (see John L. Pollock), systems have been built that define well-formedness...
ampliative reasoning is defeasible: it may become necessary to retract an earlier conclusion upon receiving new related information. Ampliative reasoning is very...
lead to the conclusion (non-monotonic reasoning). This type of reasoning is referred to as defeasiblereasoning. For instance we consider the famous Tweety...
problems Critical thinking – Analysis of facts to form a judgment Defeasiblereasoning – Reasoning that is rationally compelling, though not deductively valid...
Companion to Philosophy. Oxford University Press. Koons, Robert (2017). "DefeasibleReasoning". The Stanford Encyclopedia of Philosophy. Metaphysics Research Lab...
supposed defeasibility of legal rules." Current Legal Problems 51.1 (1998): 223. Prakken, Henry, and Giovanni Sartor. "The three faces of defeasibility in the...
Although reasoning systems widely support deductive inference, some systems employ abductive, inductive, defeasible and other types of reasoning. Heuristics...
Defeasible-Inference Platform (DIP) is an Web Ontology Language reasoner and Protégé desktop plugin for representing and reasoning with defeasible subsumption...
it also seems to cut out almost everything else as well." Defeasiblereasoning – Reasoning that is rationally compelling, though not deductively valid...
limits. Look up prima facie in Wiktionary, the free dictionary. Defeasiblereasoning List of Latin phrases Probable cause Proximate cause "prima facie"...
A fallacy is the use of invalid or otherwise faulty reasoning in the construction of an argument that may appear to be well-reasoned if unnoticed. The...
tests provided by the rule of recognition," whereby reliance upon defeasiblereasoning as justification that a rule has passed "...all the tests provided...
Handbook of DefeasibleReasoning and Uncertainty Management Systems, Dordrecht: Volume 5: Algorithms for Uncertainty and DefeasibleReasoning, Kluwer, pp...
Transaction Logic was extended in various ways, including concurrency, defeasiblereasoning, partially defined actions, and other features. In 2013, the original...
Deductive reasoning fails catastrophically when faced with inconsistency, because "anything follows from a contradiction". Defeasiblereasoning and paraconsistent...
knowledge representation and reasoning system based on F-logic and incorporates HiLog, Transaction logic, and defeasiblereasoning. Logtalk is an object-oriented...