Argument from ignorance

Last updated

John Locke (1632-1704), the likely originator of the term. John Locke by John Greenhill.jpg
John Locke (1632–1704), the likely originator of the term.

Argument from ignorance (Latin : argumentum ad ignorantiam), or appeal to ignorance, [a] is an informal fallacy where something is claimed to be true or false because of a lack of evidence to the contrary.

Contents

The fallacy is committed when one asserts that a proposition is true because it has not yet been proven false or a proposition is false because it has not yet been proven true. If a proposition has not yet been proven true, one is not entitled to conclude, solely on that basis, that it is false, and if a proposition has not yet been proven false, one is not entitled to conclude, solely on that basis, that it is true. [1] [2] Another way of expressing this is that a proposition is true only if proven true, and a proposition is false only if proven false. If no proof is offered (in either direction), then the proposition can be called unproven, undecided, inconclusive, an open problem or a conjecture.

Use

The term was likely coined by philosopher John Locke in the late 17th century. [3] [4]

In debates, appealing to ignorance is sometimes an attempt to shift the burden of proof.

There is a debate over whether the argument from ignorance is always fallacious. It is generally accepted that there are only special circumstances in which this argument may not be fallacious. For example, with the presumption of innocence in legal cases, it would make sense to argue: [5]

It has not been proven that the defendant is guilty.
Therefore, the defendant is not guilty.

Logic

The argument has the form:

has not been proven true.
Therefore, is true. [5]

Its reverse:

has not been proven true.
Therefore, is true.

where is a proposition, i.e. a statement declaring that something is true, or that it is false.

Examples

"Simply because you do not have evidence that something exists does not mean that you have evidence that it doesn't exist." [7] [b]

Appeal to ignorance: the claim that whatever has not been proved false must be true, and vice versa. (e.g., There is no compelling evidence that UFOs are not visiting the Earth; therefore, UFOs exist, and there is intelligent life elsewhere in the Universe. Or: There may be seventy kazillion other worlds, but not one is known to have the moral advancement of the Earth, so we're still central to the Universe.) This impatience with ambiguity can be criticized in the phrase: absence of evidence is not evidence of absence. [9]

Job call example

They never called me back. I guess I didn't get the job. [10]

This would follow the second form of the argument:

(I got the job) has not been proven true (via lack of callback).
Therefore, (I didn't get the job) is true.

While both parts may be true (in this case, you actually didn't get the job), the reasoning is fallacious because there are cases, even if unlikely, where you could get the job, but don't receive a callback. For example, administrative delays, technical issues, or some kind of oversight from the hiring team.

Contraposition and transposition

Contraposition is a logically valid rule of inference that allows the creation of a new proposition from the negation and reordering of an existing one. The method applies to any proposition of the type "If A then B" and says that negating all the variables and switching them back to front leads to a new proposition i.e. "If Not-B then Not-A" that is just as true as the original one and that the first implies the second and the second implies the first.

Transposition is exactly the same thing as Contraposition, described in a different language.

Null result

Null result is a term often used in science to indicate evidence of absence . A search for water on the ground may yield a null result (the ground is dry); therefore, it probably did not rain.

Argument from self-knowing

Arguments from self-knowing take the form:

  1. If P were true then I would know it; in fact I do not know it; therefore P cannot be true.
  2. If Q were false then I would know it; in fact I do not know it; therefore Q cannot be false.

In practice these arguments are often unsound and rely on the truth of the supporting premise. For example, the claim that If I had just sat on a wild porcupine then I would know it is probably not fallacious and depends entirely on the truth of the first premise (the ability to know it).

See also

Notes

  1. "Ignorance" represents "a lack of contrary evidence".
  2. Though the authors here caution that this may not be an entirely appropriate use of the argument as the onus of providing proof for a substantive statement, like "there are WMDs in Iraq", lies with the party making the claim, not with those opposing it.

Related Research Articles

In classical logic, disjunctive syllogism is a valid argument form which is a syllogism having a disjunctive statement for one of its premises.

<span class="mw-page-title-main">Logical conjunction</span> Logical connective AND

In logic, mathematics and linguistics, and is the truth-functional operator of conjunction or logical conjunction. The logical connective of this operator is typically represented as or or (prefix) or or in which is the most modern and widely used.

In propositional logic, modus tollens (MT), also known as modus tollendo tollens and denying the consequent, is a deductive argument form and a rule of inference. Modus tollens is a mixed hypothetical syllogism that takes the form of "If P, then Q. Not Q. Therefore, not P." It is an application of the general truth that if a statement is true, then so is its contrapositive. The form shows that inference from P implies Q to the negation of Q implies the negation of P is a valid argument.

<span class="mw-page-title-main">Raven paradox</span> Paradox arising from the question of what constitutes evidence for a statement

The raven paradox, also known as Hempel's paradox, Hempel's ravens or, rarely, the paradox of indoor ornithology, is a paradox arising from the question of what constitutes evidence for the truth of a statement. Observing objects that are neither black nor ravens may formally increase the likelihood that all ravens are black even though, intuitively, these observations are unrelated.

<span class="mw-page-title-main">Fallacy</span> Argument that uses faulty reasoning

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 term was introduced in the Western intellectual tradition by the Aristotelian De Sophisticis Elenchis.

Denying the antecedent is a formal fallacy of inferring the inverse from an original statement. Phrased another way, denying the antecedent occurs in the context of an indicative conditional statement and assumes that the negation of the antecedent implies the negation of the consequent. It is a type of mixed hypothetical syllogism that takes on the following form:

In logic and mathematics, the converse of a categorical or implicational statement is the result of reversing its two constituent statements. For the implication PQ, the converse is QP. For the categorical proposition All S are P, the converse is All P are S. Either way, the truth of the converse is generally independent from that of the original statement.

Argument from fallacy is the formal fallacy of analyzing an argument and inferring that, since it contains a fallacy, its conclusion must be false. It is also called argument to logic, the fallacy fallacy, the fallacist's fallacy, and the bad reasons fallacy.

<span class="mw-page-title-main">Material conditional</span> Logical connective

The material conditional is an operation commonly used in logic. When the conditional symbol is interpreted as material implication, a formula is true unless is true and is false. Material implication can also be characterized inferentially by modus ponens, modus tollens, conditional proof, and classical reductio ad absurdum.

A complex question, trick question, multiple question, fallacy of presupposition, or plurium interrogationum is a question that has a complex presupposition. The presupposition is a proposition that is presumed to be acceptable to the respondent when the question is asked. The respondent becomes committed to this proposition when they give any direct answer. When a presupposition includes an admission of wrongdoing, it is called a "loaded question" and is a form of entrapment in legal trials or debates. The presupposition is called "complex" if it is a conjunctive proposition, a disjunctive proposition, or a conditional proposition. It could also be another type of proposition that contains some logical connective in a way that makes it have several parts that are component propositions.

<span class="mw-page-title-main">Affirming a disjunct</span> Formal fallacy

The formal fallacy of affirming a disjunct also known as the fallacy of the alternative disjunct or a false exclusionary disjunct occurs when a deductive argument takes the following logical form:

<span class="mw-page-title-main">Informal fallacy</span> Form of incorrect argument in natural language

Informal fallacies are a type of incorrect argument in natural language. The source of the error is not just due to the form of the argument, as is the case for formal fallacies, but can also be due to their content and context. Fallacies, despite being incorrect, usually appear to be correct and thereby can seduce people into accepting and using them. These misleading appearances are often connected to various aspects of natural language, such as ambiguous or vague expressions, or the assumption of implicit premises instead of making them explicit.

In logic, a categorical proposition, or categorical statement, is a proposition that asserts or denies that all or some of the members of one category are included in another. The study of arguments using categorical statements forms an important branch of deductive reasoning that began with the Ancient Greeks.

In philosophical logic, the masked-man fallacy is committed when one makes an illicit use of Leibniz's law in an argument. Leibniz's law states that if A and B are the same object, then A and B are indiscernible. By modus tollens, this means that if one object has a certain property, while another object does not have the same property, the two objects cannot be identical. The fallacy is "epistemic" because it posits an immediate identity between a subject's knowledge of an object with the object itself, failing to recognize that Leibniz's Law is not capable of accounting for intensional contexts.

Epistemic modal logic is a subfield of modal logic that is concerned with reasoning about knowledge. While epistemology has a long philosophical tradition dating back to Ancient Greece, epistemic logic is a much more recent development with applications in many fields, including philosophy, theoretical computer science, artificial intelligence, economics, and linguistics. While philosophers since Aristotle have discussed modal logic, and Medieval philosophers such as Avicenna, Ockham, and Duns Scotus developed many of their observations, it was C. I. Lewis who created the first symbolic and systematic approach to the topic, in 1912. It continued to mature as a field, reaching its modern form in 1963 with the work of Kripke.

Argument from incredulity, also known as argument from personal incredulity, appeal to common sense, or the divine fallacy, is a fallacy in informal logic. It asserts that a proposition must be false because it contradicts one's personal expectations or beliefs, or is difficult to imagine.

In logic and mathematics, contraposition, or transposition, refers to the inference of going from a conditional statement into its logically equivalent contrapositive, and an associated proof method known as § Proof by contrapositive. The contrapositive of a statement has its antecedent and consequent inverted and flipped.

Evidence of absence is evidence of any kind that suggests something is missing or that it does not exist. What counts as evidence of absence has been a subject of debate between scientists and philosophers. It is often distinguished from absence of evidence.

In argumentation theory, an argumentum ad populum is a fallacious argument which is based on claiming a truth or affirming something is good or correct because many people think so.

References

  1. Copi, Irving M (2016). Introduction to logic (14th ed.). Routledge Publication. p. 146. ISBN   9780205820375.
  2. Hurley, Patrick J (2012). A Concise Introduction to Logic (11th ed.). Boston, Mass.: Cengage Learning. p. 140. ISBN   9780840034175.
  3. Hansen, Hans V.; Pinto, Robert C., eds. (1995). Fallacies: Classical and Contemporary Readings. University Park, Pa.: Pennsylvania State University Press. ISBN   978-0271014166. OCLC   30624864.
  4. Locke, John (1690). "Book IV, Chapter XVII: Of Reason". An Essay Concerning Human Understanding. Retrieved 12 March 2015.
  5. 1 2 Walton, Douglas (1996). Arguments from Ignorance. University Park, PA: Pennsylvania State University Press. ISBN   0-271-01474-1.
  6. Bennett, Bo. "Argument from Ignorance". www.LogicallyFallacious.com. Retrieved 23 November 2016.
  7. Brown, Deborah; Key, Brian (22 April 2019). "You look but do not find: why the absence of evidence can be a useful thing". The Conversation. Archived from the original on 15 June 2021. Retrieved 20 June 2022.
  8. Daily Kos. "Logical Fallacies Bootcamp: Appeal to Ignorance".
  9. Sagan, Carl. "Chapter 12: The Fine Art of Baloney Detection". The Demon-Haunted World.
  10. "Appeal to Ignorance". Department of Philosophy - Texas State University.

Further reading