Katana VentraIP

Defeasible reasoning

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.

(from meaning postulate or axiom): if p then q (equivalent to q or not-p in classical logic, not necessarily in other logics)

Deductive

Defeasible (from authority): if p then (defeasibly) q

(from combinatorics and indifference): if p then (probably) q

Probabilistic

(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

Statistical

(theory formation; from data, coherence, simplicity, and confirmation): (inducibly) "if p then q"; hence, if p then (deducibly-but-revisably) q

Inductive

(from data and theory): p and q are correlated, and q is sufficient for p; hence, if p then (abducibly) q as cause

Abductive

Other kinds of non-demonstrative reasoning are probabilistic reasoning, inductive reasoning, statistical reasoning, abductive reasoning, and paraconsistent reasoning.


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:

History[edit]

Though Aristotle differentiated the forms of reasoning that are valid for logic and philosophy from the more general ones that are used in everyday life (see dialectics and rhetoric), 20th century philosophers mainly concentrated on deductive reasoning. At the end of the 19th century, logic texts would typically survey both demonstrative and non-demonstrative reasoning, often giving more space to the latter. However, after the blossoming of mathematical logic at the hands of Bertrand Russell, Alfred North Whitehead and Willard Van Orman Quine, latter-20th century logic texts paid little attention to the non-deductive modes of inference.


There are several notable exceptions. John Maynard Keynes wrote his dissertation on non-demonstrative reasoning, and influenced the thinking of Ludwig Wittgenstein on this subject. Wittgenstein, in turn, had many admirers, including the positivist legal scholar H. L. A. Hart and the speech act linguist John L. Austin, Stephen Toulmin and Chaïm Perelman in rhetoric, the moral theorists W. D. Ross and C. L. Stevenson, and the vagueness epistemologist/ontologist Friedrich Waismann.


The etymology of defeasible usually refers to Middle English law of contracts, where a condition of defeasance is a clause that can invalidate or annul a contract or deed. Though defeat, dominate, defer, defy, deprecate and derogate are often used in the same contexts as defease, the verbs annul and invalidate (and nullify, overturn, rescind, vacate, repeal, void, cancel, countermand, preempt, etc.) are more properly correlated with the concept of defeasibility than those words beginning with the letter d. Many dictionaries do contain the verb, to defease with past participle, defeased.


Philosophers in moral theory and rhetoric had taken defeasibility largely for granted when American epistemologists rediscovered Wittgenstein's thinking on the subject: John Ladd, Roderick Chisholm, Roderick Firth, Ernest Sosa, Robert Nozick, and John L. Pollock all began writing with new conviction about how appearance as red was only a defeasible reason for believing something to be red. More importantly Wittgenstein's orientation toward language-games (and away from semantics) emboldened these epistemologists to manage rather than to expurgate prima facie logical inconsistency.


At the same time (in the mid-1960s), two more students of Hart and Austin at Oxford, Brian Barry and David Gauthier, were applying defeasible reasoning to political argument and practical reasoning (of action), respectively. Joel Feinberg and Joseph Raz were beginning to produce equally mature works in ethics and jurisprudence informed by defeasibility.


By far the most significant works on defeasibility by the mid-1970s were in epistemology, where John Pollock's 1974 Knowledge and Justification popularized his terminology of undercutting and rebutting (which mirrored the analysis of Toulmin). Pollock's work was significant precisely because it brought defeasibility so close to philosophical logicians. The failure of logicians to dismiss defeasibility in epistemology (as Cambridge's logicians had done to Hart decades earlier) landed defeasible reasoning in the philosophical mainstream.


Defeasibility had always been closely related to argument, rhetoric, and law, except in epistemology, where the chains of reasons, and the origin of reasons, were not often discussed. Nicholas Rescher's Dialectics is an example of how difficult it was for philosophers to contemplate more complex systems of defeasible reasoning. This was in part because proponents of informal logic became the keepers of argument and rhetoric while insisting that formalism was anathema to argument.


About this time, researchers in artificial intelligence became interested in non-monotonic reasoning and its semantics. With philosophers such as Pollock and Donald Nute (e.g., defeasible logic), dozens of computer scientists and logicians produced complex systems of defeasible reasoning between 1980 and 2000. No single system of defeasible reasoning would emerge in the same way that Quine's system of logic became a de facto standard. Nevertheless, the 100-year headstart on non-demonstrative logical calculi, due to George Boole, Charles Sanders Peirce, and Gottlob Frege was being closed: both demonstrative and non-demonstrative reasoning now have formal calculi.


There are related (and slightly competing) systems of reasoning that are newer than systems of defeasible reasoning, e.g., belief revision and dynamic logic. The dialogue logics of Charles Hamblin and Jim Mackenzie, and their colleagues, can also be tied closely to defeasible reasoning. Belief revision is a non-constructive specification of the desiderata with which, or constraints according to which, epistemic change takes place. Dynamic logic is related mainly because, like paraconsistent logic, the reordering of premises can change the set of justified conclusions. Dialogue logics introduce an adversary, but are like belief revision theories in their adherence to deductively consistent states of belief.

Political and judicial use[edit]

Many political philosophers have been fond of the word indefeasible when referring to rights that were inalienable, divine, or indubitable.


For instance, the 1776 Virginia Declaration of Rights notes "community hath an indubitable, inalienable, and indefeasible right to reform, alter or abolish government..." (also attributed to James Madison); and John Adams, "The people have a right, an indisputable, unalienable, indefeasible, divine right to that most dreaded and envied kind of knowledge – I mean of the character and conduct of their rulers." Also, Lord Aberdeen: "indefeasible right inherent in the British Crown" and Gouverneur Morris: "the Basis of our own Constitution is the indefeasible Right of the People." Scholarship about Abraham Lincoln often cites these passages in the justification of secession.


Philosophers who use the word defeasible have historically had different world views from those who use the word indefeasible (and this distinction has often been mirrored by Oxford and Cambridge zeitgeist); hence it is rare to find authors who use both words.


In judicial opinions, the use of defeasible is commonplace. There is however disagreement among legal logicians whether defeasible reasoning is central, e.g., in the consideration of open texture, precedent, exceptions, and rationales, or whether it applies only to explicit defeasance clauses. H.L.A. Hart in The Concept of Law gives two famous examples of defeasibility: "No vehicles in the park" (except during parades); and "Offer, acceptance, and memorandum produce a contract" (except when the contract is illegal, the parties are minors, inebriated, or incapacitated, etc.).

 – Attempt to persuade or to determine the truth of a conclusion

Argument

 – Information science by discipline

Artificial intelligence and law

 – Estate created when land is transferred conditionally

Defeasible estate

 – Conclusion made on the basis of one or few instances of a phenomenon

Hasty generalization

 – long-term lease of bandwidth

Indefeasible rights of use

 – Use of reason to decide how to act

Practical reason

Defeater

Donald Nute, Lecture Notes in Computer Science, Springer, 2003.

Defeasible logic

Carlos Chesnevar, et al., ACM Computing Surveys 32:4, 2000.

Logical models of argument

Henry Prakken and Gerard Vreeswijk, in Handbook of Philosophical Logic, Dov M. Gabbay, Franz Guenthner, eds., Kluwer, 2002.

Logics for defeasible argumentation

Nicholas Rescher, SUNY Press, 1977.

Dialectics

John Pollock, Cognitive Science, 1987.

Defeasible reasoning

John Pollock, Princeton University Press, 1974.

Knowledge and Justification

Ronald Loui, Proc. 5th Intl. Conf. on AI and Law, 1995.

Hart's critics on defeasible concepts and ascriptivism

Brian Barry, Routledge & Kegan Paul, 1970.

Political argument

Stephen Toulmin, Cambridge University Press, 1958.

The uses of argument

Alex Lascarides and Nicholas Asher, Proc. of the 29th Meeting of the Assn. for Comp. Ling., 1991.

Discourse relations and defeasible knowledge

Alejandro Garcia and Guillermo Simari, Theory and Practice of Logic Programming 4:95–138, 2004.

Defeasible logic programming: an argumentative approach

Carlos Alchourron, in Deontic logic in computer science: normative system specification, J. Meyer, R. Wieringa, eds., Wiley, 1994.

Philosophical foundations of deontic logic and the logic of defeasible conditionals

Guillermo Simari, Ronald Loui, Artificial Intelligence, 53(2–3): 125–157 (1992). doi:10.1016/0004-3702(92)90069-A

A Mathematical Treatment of Defeasible Reasoning and its Implementation.

Lombrozo, Tania (2011). . Edge. Retrieved 6 June 2016.

"Defeasibility"

Hage, Jaap (2003). (PDF). Artificial Intelligence and Law. 11 (2/3): 221–243. doi:10.1023/B:ARTI.0000046011.13621.08. S2CID 12271954. Retrieved 6 June 2016.

"Law and defeasibility"

in the Stanford Encyclopedia of Philosophy

Article on Defeasible Reasoning

An example of defeasible reasoning in action