HOME

TheInfoList



OR:

A self-refuting idea or self-defeating idea is an idea or statement whose falsehood is a
logical consequence Logical consequence (also entailment) is a fundamental concept in logic, which describes the relationship between statements that hold true when one statement logically ''follows from'' one or more statements. A valid logical argument is on ...
of the act or situation of holding them to be true. Many ideas are called self-refuting by their detractors, and such accusations are therefore almost always controversial, with defenders stating that the idea is being misunderstood or that the
argument An argument is a statement or group of statements called premises intended to determine the degree of truth or acceptability of another statement called conclusion. Arguments can be studied from three main perspectives: the logical, the dialecti ...
is invalid. For these reasons, none of the ideas below are unambiguously or incontrovertibly self-refuting. These ideas are often used as
axioms An axiom, postulate, or assumption is a statement that is taken to be true, to serve as a premise or starting point for further reasoning and arguments. The word comes from the Ancient Greek word (), meaning 'that which is thought worthy or f ...
, which are definitions taken to be true ( tautological assumptions), and cannot be used to test themselves, for doing so would lead to only two consequences:
consistency In classical deductive logic, a consistent theory is one that does not lead to a logical contradiction. The lack of contradiction can be defined in either semantic or syntactic terms. The semantic definition states that a theory is consistent ...
(
circular reasoning Circular may refer to: * The shape of a circle * ''Circular'' (album), a 2006 album by Spanish singer Vega * Circular letter (disambiguation) ** Flyer (pamphlet), a form of advertisement * Circular reasoning, a type of logical fallacy * Circula ...
) or exception (self-
contradiction In traditional logic, a contradiction occurs when a proposition conflicts either with itself or established fact. It is often used as a tool to detect disingenuous beliefs and bias. Illustrating a general tendency in applied logic, Aristotle's ...
).


Variations


Directly self-denying statements

Directly self-denying statements are characterised by being necessarily (or inherently) false. The
Epimenides paradox The Epimenides paradox reveals a problem with self-reference in logic. It is named after the Cretan philosopher Epimenides of Knossos (alive circa 600 BC) who is credited with the original statement. A typical description of the problem is given ...
is a statement of the form "this statement is false". Such statements troubled philosophers, especially when there was a serious attempt to formalize the foundations of logic.
Bertrand Russell Bertrand Arthur William Russell, 3rd Earl Russell, (18 May 1872 – 2 February 1970) was a British mathematician, philosopher, logician, and public intellectual. He had a considerable influence on mathematics, logic, set theory, linguistics, a ...
developed his " Theory of Types" to formalize a set of rules that would prevent such statements (more formally
Russell's paradox In mathematical logic, Russell's paradox (also known as Russell's antinomy) is a set-theoretic paradox discovered by the British philosopher and mathematician Bertrand Russell in 1901. Russell's paradox shows that every set theory that contains ...
) being made in symbolic logic. This work has led to the modern formulation of
axiomatic set theory Set theory is the branch of mathematical logic that studies sets, which can be informally described as collections of objects. Although objects of any kind can be collected into a set, set theory, as a branch of mathematics, is mostly concern ...
. While Russell's formalization did not contain such paradoxes,
Kurt Gödel Kurt Friedrich Gödel ( , ; April 28, 1906 – January 14, 1978) was a logician, mathematician, and philosopher. Considered along with Aristotle and Gottlob Frege to be one of the most significant logicians in history, Gödel had an imm ...
showed that it must contain
independent Independent or Independents may refer to: Arts, entertainment, and media Artist groups * Independents (artist group), a group of modernist painters based in the New Hope, Pennsylvania, area of the United States during the early 1930s * Independe ...
statements. Any
logical system A formal system is an abstract structure used for inferring theorems from axioms according to a set of rules. These rules, which are used for carrying out the inference of theorems from axioms, are the logical calculus of the formal system. A for ...
that is rich enough to contain elementary arithmetic contains at least one proposition whose interpretation is ''this proposition is unprovable'' (from within the logical system concerned), and hence no such system can be both
complete Complete may refer to: Logic * Completeness (logic) * Completeness of a theory, the property of a theory that every formula in the theory's language or its negation is provable Mathematics * The completeness of the real numbers, which implies t ...
and
consistent In classical deductive logic, a consistent theory is one that does not lead to a logical contradiction. The lack of contradiction can be defined in either semantic or syntactic terms. The semantic definition states that a theory is consistent ...
.


Indirectly self-denying statements

One form of an indirect self-denying statement is the 'Stolen Concept': the act of using a concept while ignoring, contradicting or denying the validity of the concepts on which it logically and/or genetically depends. The idea of the 'Stolen Concept' is generally attributed to be first noted by
Ayn Rand Alice O'Connor (born Alisa Zinovyevna Rosenbaum;, . Most sources transliterate her given name as either ''Alisa'' or ''Alissa''. , 1905 – March 6, 1982), better known by her pen name Ayn Rand (), was a Russian-born American writer and p ...
and then later supported by followers of
Objectivism Objectivism is a philosophical system developed by Russian-American writer and philosopher Ayn Rand. She described it as "the concept of man as a heroic being, with his own happiness as the moral purpose of his life, with productive achievemen ...
. Much like Objectivism the idea of the 'Stolen Concept' does not have mainstream acceptance in academia. An example of the stolen concept fallacy is anarchist
Pierre-Joseph Proudhon Pierre-Joseph Proudhon (, , ; 15 January 1809, Besançon – 19 January 1865, Paris) was a French socialist,Landauer, Carl; Landauer, Hilde Stein; Valkenier, Elizabeth Kridl (1979) 959 "The Three Anticapitalistic Movements". ''European Socia ...
's statement, "All property is theft". Others have said the statement is fallacious only on a superficial reading of Proudhon, devoid of context. Proudhon used the term "property" with reference to claimed ownership in land, factories, etc. He believed such claims were illegitimate, and thus a form of theft from the commons. Proudhon explicitly states that the phrase "property is theft" is analogous to the phrase "slavery is murder". According to Proudhon, the slave, though biologically alive, is clearly in a sense "murdered". The "theft" in his terminology does not refer to ownership any more than the "murder" refers directly to physiological death, but rather both are meant as terms to represent a denial of specific rights.


In logic

Self-refutation plays an important role in some inconsistency tolerant logics (e.g. paraconsistent logics and direct logic) that lack
proof by contradiction In logic and mathematics, proof by contradiction is a form of proof that establishes the truth or the validity of a proposition, by showing that assuming the proposition to be false leads to a contradiction. Proof by contradiction is also known ...
. For example, the negation of a proposition can be proved by showing that the proposition implies its own negation. Likewise, it can be inferred that a proposition cannot be proved by (1) showing that a proof would imply the negation of the proposition or by (2) showing a proof would imply that the negation of the proposition can be proved.


Examples


Brain in a vat

Brain in a vat In philosophy, the brain in a vat (BIV) is a scenario used in a variety of thought experiments intended to draw out certain features of human conceptions of knowledge, reality, truth, mind, consciousness, and meaning. It is a modern incar ...
is a
thought experiment A thought experiment is a hypothetical situation in which a hypothesis, theory, or principle is laid out for the purpose of thinking through its consequences. History The ancient Greek ''deiknymi'' (), or thought experiment, "was the most anc ...
in philosophy which is premised upon the
skeptical hypothesis Philosophical skepticism ( UK spelling: scepticism; from Greek σκέψις ''skepsis'', "inquiry") is a family of philosophical views that question the possibility of knowledge. It differs from other forms of skepticism in that it even reject ...
that one could actually be a brain in a vat receiving electrical input identical to that which would be coming from the nervous system. Similar premises are found in Descartes's
evil demon The evil demon, also known as Descartes' demon, malicious demon and evil genius, is an epistemological concept that features prominently in Cartesian philosophy. In the first of his 1641 '' Meditations on First Philosophy'', Descartes imagine ...
and
dream argument The dream argument is the postulation that the act of dreaming provides preliminary evidence that the senses we trust to distinguish reality from illusion should not be fully trusted, and therefore, any state that is dependent on our senses should ...
. Philosopher
Hilary Putnam Hilary Whitehall Putnam (; July 31, 1926 – March 13, 2016) was an American philosopher, mathematician, and computer scientist, and a major figure in analytic philosophy in the second half of the 20th century. He made significant contributions ...
argues that some versions of the thought experiment would be inconsistent due to semantic externalism. For a brain in a vat that had only ever experienced the simulated world, the statement "I'm not a brain in a vat" is true. The only possible brains and vats it could be referring to are simulated, and it is true that it is not a simulated brain in a simulated vat. By the same argument, saying "I'm a brain in a vat" would be false.


Determinism

It has been argued, particularly by
Christian apologists Christian apologetics ( grc, ἀπολογία, "verbal defense, speech in defense") is a branch of Christian theology that defends Christianity. Christian apologetics has taken many forms over the centuries, starting with Paul the Apostle in ...
, that to call
determinism Determinism is a philosophical view, where all events are determined completely by previously existing causes. Deterministic theories throughout the history of philosophy have developed from diverse and sometimes overlapping motives and cons ...
a rational statement is doubly self-defeating. #To count as rational, a belief must be ''freely'' chosen, which according to the determinist is impossible #Any kind of debate seems to be posited on the idea that the parties involved are trying to change each other's minds.


Ethical egoism

It has been argued that extreme ethical egoism is self-defeating. Faced with a situation of limited resources, egoists would consume as much of the resource as they could, making the overall situation worse for everybody. Egoists may respond that if the situation becomes worse for everybody, that would include the egoist, so it is not, in fact, in his or her rational self-interest to take things to such extremes. However, the (unregulated)
tragedy of the commons Tragedy (from the grc-gre, τραγῳδία, ''tragōidia'', ''tragōidia'') is a genre of drama based on human suffering and, mainly, the terrible or sorrowful events that befall a main character. Traditionally, the intention of tragedy i ...
and the (one off)
prisoner's dilemma The Prisoner's Dilemma is an example of a game analyzed in game theory. It is also a thought experiment that challenges two completely rational agents to a dilemma: cooperate with their partner for mutual reward, or betray their partner ("def ...
are cases in which, on the one hand, it is rational for an individual to seek to take as much as possible ''even though'' that makes things worse for everybody, and on the other hand, those cases are not self-refuting since that behaviour remains rational ''even though'' it is ultimately self-defeating, i.e. self-defeating does not imply self-refuting. Egoists might respond that a tragedy of the commons, however, assumes some degree of public land. That is, a commons forbidding homesteading requires regulation. Thus, an argument against the tragedy of the commons, in this belief system, is fundamentally an argument for private property rights and the system that recognizes both property rights and rational self-interest—capitalism. More generally, egoists might say that an increasing respect for individual rights uniquely allows for increasing wealth creation and increasing usable resources despite a fixed amount of raw materials (e.g. the West pre-1776 versus post-1776, East versus West Germany, Hong Kong versus mainland China, North versus South Korea, etc.).


Eliminative materialism

The philosopher
Mary Midgley Mary Beatrice Midgley (' Scrutton; 13 September 1919 – 10 October 2018) was a British philosopher. A senior lecturer in philosophy at Newcastle University, she was known for her work on science, ethics and animal rights. She wrote her first b ...
states that the idea that ''nothing exists except matter'' is also self-refuting because if it were true neither it, nor any other idea, would exist, and similarly that an argument to that effect would be self-refuting because it would deny its own existence. Several other philosophers also argue that
eliminative materialism Eliminative materialism (also called eliminativism) is a materialist position in the philosophy of mind. It is the idea that majority of the mental states in folk psychology do not exist. Some supporters of eliminativism argue that no coherent ...
is self-refuting. However, other forms of
materialism Materialism is a form of philosophical monism which holds matter to be the fundamental substance in nature, and all things, including mental states and consciousness, are results of material interactions. According to philosophical materialis ...
may escape this kind of argument because, rather than eliminating the mental, they seek to identify it with, or reduce it to, the material. For instance, identity theorists such as J. J. C. Smart, Ullin Place and E. G. Boring state that ideas exist materially as patterns of
neural In biology, the nervous system is the highly complex part of an animal that coordinates its actions and sensory information by transmitting signals to and from different parts of its body. The nervous system detects environmental changes ...
structure and activity. Christian apologist J.P. Moreland states that such arguments are based on semantics.


Evolutionary naturalism

Alvin Plantinga Alvin Carl Plantinga (born November 15, 1932) is an American analytic philosopher who works primarily in the fields of philosophy of religion, epistemology (particularly on issues involving epistemic justification), and logic. From 1963 to 198 ...
argues in his
evolutionary argument against naturalism The evolutionary argument against naturalism (EAAN) is a philosophical argument asserting a problem with believing both evolution and philosophical naturalism simultaneously. The argument was first proposed by Alvin Plantinga in 1993 and "raises is ...
that the combination of naturalism and evolution is "in a certain interesting way self-defeating" because if it were true there would be insufficient grounds to believe that human cognitive faculties are reliable. Consequently, if human cognitive abilities are unreliable, then any human construct, which by implication utilizes cognitive faculties, such as evolutionary theory, would be undermined. In this particular case, it is the confluence of evolutionary theory and naturalism that, according to the argument, undermine the reason for believing themselves to be true. Since Plantinga originally formulated the argument, a few theistic philosophers and Christian apologists have agreed. There has also been a considerable backlash of papers arguing that the argument is flawed in a number of ways, one of the more recent ones published in 2011 by Feng Ye (see also the references in the ''
Evolutionary argument against naturalism The evolutionary argument against naturalism (EAAN) is a philosophical argument asserting a problem with believing both evolution and philosophical naturalism simultaneously. The argument was first proposed by Alvin Plantinga in 1993 and "raises is ...
'' article).


Foundationalism

The philosopher
Anthony Kenny Sir Anthony John Patrick Kenny (born 16 March 1931) is a British philosopher whose interests lie in the philosophy of mind, ancient and scholastic philosophy, the philosophy of religion, and the philosophy of Wittgenstein of whose literary ...
argues that the idea, "common to theists like
Aquinas Thomas Aquinas, OP (; it, Tommaso d'Aquino, lit=Thomas of Aquino; 1225 – 7 March 1274) was an Italian Dominican friar and priest who was an influential philosopher, theologian and jurist in the tradition of scholasticism; he is known ...
and Descartes and to an atheist like Russell" that "Rational belief seither self-evident or based directly or indirectly on what is evident" (which he termed "foundationalism" following Plantinga) is self-refuting on the basis that this idea is itself neither self-evident nor based directly or indirectly on what is evident and that the same applies to other formulations of such foundationalism. However, the
self-evident In epistemology (theory of knowledge), a self-evident proposition is a proposition that is known to be true by understanding its meaning without proof, and/or by ordinary human reason. Some epistemologists deny that any proposition can be self- ...
impossibility of
infinite regress An infinite regress is an infinite series of entities governed by a recursive principle that determines how each entity in the series depends on or is produced by its predecessor. In the epistemic regress, for example, a belief is justified bec ...
can be offered as a justification for foundationalism. Following the identification of problems with "naive foundationalism", the term is now often used to focus on
incorrigible Incorrigible may refer to: * Incorrigibility * Incorrigible (1946 film) * Incorrigible (1975 film) ''Incorrigible'' ( French: ''L'Incorrigible'') is a 1975 French comedy film directed by Philippe de Broca and starring Jean-Paul Belmondo, Genevi� ...
beliefs (modern foundationalism), or basic beliefs ( reformed foundationalism).


Philosophical skepticism

Philosophical skeptics state that "nothing can be known". This has caused some to ask if nothing can be known then can that statement itself be known, or is it self-refuting. One very old response to this problem is
academic skepticism Academic skepticism refers to the skeptical period of ancient Platonism dating from around 266 BCE, when Arcesilaus became scholarch of the Platonic Academy, until around 90 BCE, when Antiochus of Ascalon rejected skepticism, although indi ...
: an exception is made for the skeptic's own statement. This leads to further debate about consistency and special pleading.


Relativism

It is often stated that
relativism Relativism is a family of philosophical views which deny claims to objectivity within a particular domain and assert that valuations in that domain are relative to the perspective of an observer or the context in which they are assessed. Ther ...
about
truth Truth is the property of being in accord with fact or reality.Merriam-Webster's Online Dictionarytruth 2005 In everyday language, truth is typically ascribed to things that aim to represent reality or otherwise correspond to it, such as belief ...
must be applied to itself. The cruder form of the argument concludes that since the relativist is calling relativism an absolute truth, it leads to a
contradiction In traditional logic, a contradiction occurs when a proposition conflicts either with itself or established fact. It is often used as a tool to detect disingenuous beliefs and bias. Illustrating a general tendency in applied logic, Aristotle's ...
. Relativists often rejoin that in fact relativism is only relatively true, leading to a subtler problem: the absolutist, the relativist's opponent, is perfectly entitled, by the relativist's ''own'' standards, to reject relativism. That is, the relativist's arguments can have no
normative Normative generally means relating to an evaluative standard. Normativity is the phenomenon in human societies of designating some actions or outcomes as good, desirable, or permissible, and others as bad, undesirable, or impermissible. A norm in ...
force over someone who has different
basic beliefs Basic beliefs (also commonly called foundational beliefs or core beliefs) are, under the epistemological view called foundationalism, the axioms of a belief system. Categories of beliefs Foundationalism holds that all beliefs must be justified ...
.


Verification and falsification principles

The statements "statements are meaningless unless they can be empirically verified" and "statements are meaningless unless they can be empirically falsified" have both been called self-refuting on the basis that they can neither be empirically verified nor falsified. Similar arguments have been made for statements such as "no statements are true unless they can be shown empirically to be true", which was a problem for
logical positivism Logical positivism, later called logical empiricism, and both of which together are also known as neopositivism, is a movement in Western philosophy whose central thesis was the verification principle (also known as the verifiability criterion o ...
.See e.g.
Keith Ward Keith Ward (born 1938) is an English philosopher, and theologian. He is a fellow of the British Academy and a Anglican priest, priest of the Church of England. He was a canon of Christ Church, Oxford, until 2003. Comparative theology and the rela ...
, '' Is Religion Dangerous?'' p. 86.


See also

*'' Peritrope'' *
Paradox A paradox is a logically self-contradictory statement or a statement that runs contrary to one's expectation. It is a statement that, despite apparently valid reasoning from true premises, leads to a seemingly self-contradictory or a logically u ...
* Performative contradiction *
Self-defeating prophecy A self-defeating prophecy (''self-destroying'' or ''self-denying'' in some sources) is the complementary opposite of a self-fulfilling prophecy; a prediction that prevents what it predicts from happening. This is also known as the prophet's dilemma ...


References

{{DEFAULTSORT:Self-Refuting Idea Philosophical arguments Logic