This article may be too technical for most readers to understand. Please help improve it to make it understandable to non-experts, without removing the technical details. (April 2012) (Learn how and when to remove this template message)
Self-refuting ideas or self-defeating ideas are ideas or statements whose falsehood is a logical consequence 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 is invalid. For these reasons, none of the ideas below are unambiguously or incontrovertibly self-refuting. These ideas are often used as axioms, 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 (circular reasoning) or exception (self-contradiction). It is important to know that the conclusion of an argument that is self-refuting is not necessarily false, since it could be supported by another, more valid, argument.
The Epimenides paradox 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 developed his "Theory of Types" to formalize a set of rules that would prevent such statements (more formally Russell's paradox) being made in symbolic logic.This work has led to the modern formulation of axiomatic set theory. While Russell's formalization did not contain such paradoxes, Kurt Gödel showed that it must contain independent statements. Any logical system 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 and consistent.
Objectivists define the fallacy of the stolen concept: the act of using a concept while ignoring, contradicting or denying the validity of the concepts on which it logically and genetically depends. An example of the stolen concept fallacy is anarchist Pierre-Joseph Proudhon's statement, "All property is theft".
While discussing the hierarchical nature of knowledge, Nathaniel Branden states, "Theft" is a concept that logically and genetically depends on the antecedent concept of "rightfully owned property"—and refers to the act of taking that property without the owner's consent. If no property is rightfully owned, that is, if nothing is property, there can be no such concept as "theft." Thus, the statement "All property is theft" has an internal contradiction: to use the concept "theft" while denying the validity of the concept of "property," is to use "theft" as a concept to which one has no logical right—that is, as a stolen concept.
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. Others point out that the difference between the two examples is that "slavery is murder", unlike "property is theft", does not make a statement that denies the validity of one of the concepts it utilizes. Proudhon does not actually say all property is theft—he is referring to a very specific kind of property rights. Proudhon favored another kind, which he called possession, based on occupancy and use, a sort of usufruct rights idea. In What is Property? he therefore says with the apparent contradiction "property is theft" to denote one sort he feels is this, "property is liberty", referring to the kind he favored, and "property is impossible" to make it clear any sort of property rights cannot be absolute. Separate concepts are therefore laid out in a way that can be confusing, especially if one is not familiar with them.
Self-refutation plays an important role in some inconsistency tolerant logics (e.g. paraconsistent logics and direct logic) that lack proof by contradiction. 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.
This section possibly contains original research . (August 2009) (Learn how and when to remove this template message)
Brain in a vat is a thought experiment in philosophy which is premised upon the skeptical hypothesis 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 and dream argument. Philosopher Hilary Putnam 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.
It has been argued, particularly by Christian apologists, that to call determinism a rational statement is doubly self-defeating.
The argument does not succeed against the compatibilistic view, since in the latter there is no conflict between determinism and free will. Moreover, the argument fails if one denies either of the above or its implicit implications. That is, one could avoid the argument by maintaining that free will is not required for rationality or for trying to change one's mind. The latter is a sensible position insofar as one could be determined to try to persuade someone of something, and the listener could be determined to accept it. There is no internal contradiction in that view.
One can also consider a deterministic computer algorithm which is able to make a correct conclusion, such as a mathematical calculation or fingerprint identification. However, on some notions of "rationality", such programs are themselves not rational because they simply follow a certain deterministic pre-programmed path and nothing more. This does not apply if one takes on a position with regards to rationality analogous to compatibilism, namely, one could simply view rationality as the property of correctly executing the laws of logic, in which case there simply is no contradiction with determinism. The contradiction would arise if one defines "rationality" in a manner that is incompatibilist. Some argue that machines cannot "think", and if rationality is defined so that it requires human-like thought, this might pose a problem. But the view that machines cannot "think" in principle is rejected by most[ citation needed ] philosophers who accept a computational theory of mind.
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. [ clarification needed ], 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.).However, the (unregulated) tragedy of the commons and the (one off) prisoner's dilemma 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
The philosopher Mary Midgley 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. [ page needed ] Several other philosophers also argue that eliminative materialism is self-refuting. [ page needed ]
However, other forms of materialism may escape this kind of argument because, rather than eliminating the mental, they seek to identify it with, or reduce it to, the material. [ page needed ]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 structure and activity. Christian apologist J.P. Moreland states that such arguments are based on semantics.
The first notable self-refuting idea is the Epimenides paradox, a statement attributed to Epimenides, a Cretan philosopher, that "All Cretans are liars". This cannot be true if uttered by a Cretan.
A more common example is the self-refuting statement "I am lying" (because the first statement allows the possibility "some Cretans do not speak the truth", the speaker being one of them). The second statement has no third alternative—the speaker's statement is either true or false.
Alvin Plantinga argues in his evolutionary argument against naturalism 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. [ page needed ] 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. [ page needed ] 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 article).
The philosopher Anthony Kenny argues that the idea, "common to theists like Aquinas and Descartes and to an atheist like Russell" that "Rational belief [is] either 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 impossibility of infinite regress 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 beliefs (modern foundationalism), or basic beliefs (reformed foundationalism).
Philosophical skeptics state that "nothing can be known". [ dead link ] 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: an exception is made for the skeptic's own statement. This leads to further debate about consistency and special pleading. Another response is to accept that nothing can be known cannot itself be known, so that it is not known whether anything is knowable or not. This is Pyrrhonic skepticism. However, the issue can be pressed further. To state that nothing can be known is itself unknowable, is to state that it is a fact that nothing can be known is unknowable while this may seem to lead to a contradiction this only applies to *one who holds* to the “Commitment Iteration Principle” or KK thesis the Pyrrhonian/Pyrrhonist skeptic need not hold to such principle and so eschew's all contradiction.
It is often stated that relativism about truth 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. 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 force over someone who has different basic beliefs.
On the face of it, a statement of solipsism is — at least performatively — self-defeating, because a statement assumes another person to whom the statement is made. (That is to say, an unexpressed private belief in solipsism is not self-refuting). This, of course, assumes the solipsist would not communicate with a hallucination, even if just for self-amusement.
One response is that the solipsist's interlocutor is in fact a figment of their imagination, but since their interlocutor knows they are not, they are not going to be convinced.
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.
The Tractatus Logico-Philosophicus is an unusual example of a self-refuting argument, in that Ludwig Wittgenstein explicitly admits to the issue at the end of the work:
My propositions are elucidatory in this way: he who understands me finally recognizes them as senseless, when he has climbed out through them, on them, over them. (He must so to speak throw away the ladder, after he has climbed up on it.) (6.54)[ page needed ]
However, this idea can be solved in the sense that, even if the argument itself is self-refuting, the effects of the argument elicit understandings that go beyond the argument itself. Søren Kierkegaard describes it as such:
[The reader] can understand that the understanding is a revocation--the understanding with him as the sole reader is indeed the revocation of the book. He can understand that to write a book and to revoke it is not the same as refraining from writing it, that to write a book that does not demand to be important for anyone is still not the same as letting it be unwritten.
Ethical naturalism is the meta-ethical view which claims that:
In metaphilosophy and ethics, meta-ethics is the study of the nature, scope, and meaning of moral judgment. It is one of the three branches of ethics generally studied by philosophers, the others being normative ethics and applied ethics.
Relativism is the idea that views are relative to differences in perception and consideration. There are a variety of different interpretations of the concept. The major categories of relativism vary in their degree of scope and controversy. Moral relativism encompasses the differences in moral judgments among people and cultures. Epistemic relativism holds that there are no absolute facts regarding norms of belief, justification, or rationality, and that there are only relative ones. Truth relativism is the doctrine that there are no absolute truths, i.e., that truth is always relative to some particular frame of reference, such as a language or a culture. Some forms of relativism also bear a resemblance to philosophical skepticism. Descriptive relativism seeks to describe the differences among cultures and people without evaluation, while normative relativism evaluates the morality or truthfulness of views within a given framework.
In epistemology, 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.
Coherentism is the name given to a few philosophical theories in modern epistemology. There are two distinct types of coherentism. One is the coherence theory of truth; the other, the coherence theory of justification.
Fideism is an epistemological theory which maintains that faith is independent of reason, or that reason and faith are hostile to each other and faith is superior at arriving at particular truths. The word fideism comes from fides, the Latin word for faith, and literally means "faith-ism". Philosophers have identified a number of different forms of fideism.
Fatalism is a family of related philosophical doctrines that stress the subjugation of all events or actions to fate or destiny, and is commonly associated with the consequent attitude of resignation in the face of future events which are thought to be inevitable.
Hard determinism is a view on free will which holds that determinism is true, and that it is incompatible with free will, and, therefore, that free will does not exist. Although hard determinism generally refers to nomological determinism, it can also be a position taken with respect to other forms of determinism that necessitate the future in its entirety. Hard determinism is contrasted with soft determinism, which is a compatibilist form of determinism, holding that free will may exist despite determinism. It is also contrasted with metaphysical libertarianism, the other major form of incompatibilism which holds that free will exists and determinism is false.
In the philosophy of religion, Reformed epistemology is a school of philosophical thought concerning the nature of knowledge (epistemology) as it applies to religious beliefs. The central proposition of Reformed epistemology is that beliefs can be justified by more than evidence alone, contrary to the positions of evidentialism, which argues that while belief other than through evidence may be beneficial, it violates some epistemic duty. Central to Reformed epistemology is the proposition that belief in God may be "properly basic" and not need to be inferred from other truths to be rationally warranted. William Lane Craig describes Reformed epistemology as "One of the most significant developments in contemporary Religious Epistemology ... which directly assaults the evidentialist construal of rationality."
Miracles is a book written by C. S. Lewis, originally published in 1947 and revised in 1960. Lewis argues that before one can learn from the study of history whether or not any miracles have ever occurred, one must first settle the philosophical question of whether it is logically possible that miracles can occur in principle. He accuses modern historians and scientific thinkers, particularly secular biblical scholars, of begging the question against miracles, insisting that modern disbelief in miracles is a cultural bias thrust upon the historical record and is not derivable from it.
A performative contradiction arises when the propositional content of a statement contradicts the presuppositions of asserting it. An example of a performative contradiction is the statement "I am dead" because the very act of proposing it presupposes the actor is alive.
Basic beliefs are, under the epistemological view called foundationalism, the axioms of a belief system.
The argument from a proper basis is an ontological argument for the existence of God related to fideism. Alvin Plantinga argued that belief in God is a properly basic belief, and so no basis for belief in God is necessary.
This glossary of philosophy is a list of definitions of terms and concepts relevant to philosophy and related disciplines, including logic, ethics, and theology.
The following outline is provided as an overview of and topical guide to philosophy:
Metaphysical naturalism is a philosophical worldview which holds that there is nothing but natural elements, principles, and relations of the kind studied by the natural sciences. Methodological naturalism is a philosophical basis for science, for which metaphysical naturalism provides only one possible ontological foundation. Broadly, the corresponding theological perspective is religious naturalism or spiritual naturalism. More specifically, metaphysical naturalism rejects the supernatural concepts and explanations that are part of many religions.
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 issues of interest to epistemologists, philosophers of mind, evolutionary biologists, and philosophers of religion". The EAAN argues that the combined belief in both evolutionary theory and naturalism is epistemically self-defeating. The argument for this is that if both evolution and naturalism are true, then the probability of having reliable cognitive faculties is low.
The argument from reason is an argument against metaphysical naturalism and for the existence of God. The best-known defender of the argument is C. S. Lewis. Lewis first defended the argument at length in his 1947 book, Miracles: A Preliminary Study. In the second edition of Miracles (1960), Lewis substantially revised and expanded the argument.
Alvin Plantinga's free-will defense is a logical argument developed by the American analytic philosopher Alvin Plantinga and published in its final version in his 1977 book God, Freedom, and Evil. Plantinga's argument is a defense against the logical problem of evil as formulated by the philosopher J. L. Mackie beginning in 1955. Mackie's formulation of the logical problem of evil argued that three attributes of God, omniscience, omnipotence, and omnibenevolence, in orthodox Christian theism are logically incompatible with the existence of evil. In 1982, Mackie conceded that Plantinga's defense successfully refuted his argument in The Miracle of Theism, though he did not claim that the problem of evil had been put to rest.
In philosophy, naturalism is the idea or belief that only natural laws and forces operate in the universe. Adherents of naturalism assert that natural laws are the rules that govern the structure and behavior of the natural universe, that the changing universe at every stage is a product of these laws.
Naturalism is not so much a special system as a point of view or tendency common to a number of philosophical and religious systems; not so much a well-defined set of positive and negative doctrines as an attitude or spirit pervading and influencing many doctrines. As the name implies, this tendency consists essentially in looking upon nature as the one original and fundamental source of all that exists, and in attempting to explain everything in terms of nature. Either the limits of nature are also the limits of existing reality, or at least the first cause, if its existence is found necessary, has nothing to do with the working of natural agencies. All events, therefore, find their adequate explanation within nature itself. But, as the terms nature and natural are themselves used in more than one sense, the term naturalism is also far from having one fixed meaning.
Determinism is self-defeating. A determinist insists that both determinists and non-determinists are determined to believe what they believe. However, determinists believe self-determinists are wrong and ought to change their view. But "ought to change" implies they are free to change, which, within the incompatibilist view, is contrary to determinism.
To the author a perfect correlation is identity. Two events that always occur together at the same time in the same place, without any temporal or spatial differentiation at all, are not two events but the same event. The mind-body correlations as formulated at present, do not admit of spatial correlation, so they reduce to matters of simple correlation in time. The need for identification is no less urgent in this case.
As against solipsism it is to be said, in the first place, that it is psychologically impossible to believe, and is rejected in fact even by those who mean to accept it. I once received a letter from an eminent logician, Mrs. Christine Ladd Franklin, saying that she was a solipsist, and was surprised that there were no others. Coming from a logician and a solipsist, her surprise surprised me.