Circular reasoning

Last updated
An example of circular reasoning Circular reasoning.svg
An example of circular reasoning

Circular reasoning (Latin : circulus in probando, "circle in proving"; [1] also known as circular logic) is a logical fallacy in which the reasoner begins with what they are trying to end with. [2] Circular reasoning is not a formal logical fallacy, but a pragmatic defect in an argument whereby the premises are just as much in need of proof or evidence as the conclusion. As a consequence, the argument becomes a matter of faith and fails to persuade those who don't already accept it. Other ways to express this are that there is no reason to accept the premises unless one already believes the conclusion, or that the premises provide no independent ground or evidence for the conclusion. [3] Circular reasoning is closely related to begging the question, and in modern usage the two generally refer to the same thing. [4]

Contents

Circular reasoning is often of the form: "A is true because B is true; B is true because A is true." Circularity can be difficult to detect if it involves a longer chain of propositions.

An example of circular reasoning is: "Alkaline water is healthy because it results in health benefits, and it has health benefits because it is healthy".

History

The problem of circular reasoning has been noted in Western philosophy at least as far back as the Pyrrhonist philosopher Agrippa who includes the problem of circular reasoning among his Five Tropes of Agrippa. The Pyrrhonist philosopher Sextus Empiricus described the problem of circular reasoning as "the reciprocal trope":

The reciprocal trope occurs when what ought to be confirmatory of the object under investigation needs to be made convincing by the object under investigation; then, being unable to take either in order to establish the other, we suspend judgement about both. [5]

The problem of induction

Joel Feinberg and Russ Shafer-Landau note that "using the scientific method to judge the scientific method is circular reasoning". Scientists attempt to discover the laws of nature and to predict what will happen in the future, based on those laws. The laws of nature are arrived at through inductive reasoning. David Hume's problem of induction demonstrates that one must appeal to the principle of the uniformity of nature if they seek to justify their implicit assumption that laws which held true in the past will also hold true in the future. Since the principle of the uniformity of nature is itself an inductive principle, any justification for induction must be circular. But as Bertrand Russell observed, "The method of 'postulating' what we want has many advantages; they are the same as the advantages of theft over honest toil". [6]

See also

Related Research Articles

In classical rhetoric and logic, begging the question or assuming the conclusion is an informal fallacy that occurs when an argument's premises assume the truth of the conclusion. Historically, begging the question refers to a fault in a dialectical argument in which the speaker assumes some premise that has not been demonstrated to be true. In modern usage, it has come to refer to an argument in which the premises assume the conclusion without supporting it. This makes it an example of circular reasoning.

<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.

Deductive reasoning is the process of drawing valid inferences. An inference is valid if its conclusion follows logically from its premises, meaning that it is impossible for the premises to be true and the conclusion to be false. For example, the inference from the premises "all men are mortal" and "Socrates is a man" to the conclusion "Socrates is mortal" is deductively valid. An argument is sound if it is valid and all its premises are true. One approach defines deduction in terms of the intentions of the author: they have to intend for the premises to offer deductive support to the conclusion. With the help of this modification, it is possible to distinguish valid from invalid deductive reasoning: it is invalid if the author's belief about the deductive support is false, but even invalid deductive reasoning is a form of deductive reasoning.

<span class="mw-page-title-main">Problem of induction</span> Question of whether inductive reasoning leads to definitive knowledge

The problem of induction is a philosophical problem that questions the rationality of predictions about unobserved things based on previous observations. These inferences from the observed to the unobserved are known as "inductive inferences". David Hume, who first formulated the problem in 1739, argued that there is no non-circular way to justify inductive inferences, while acknowledging that everyone does and must make such inferences.

Philosophical skepticism is a family of philosophical views that question the possibility of knowledge. It differs from other forms of skepticism in that it even rejects very plausible knowledge claims that belong to basic common sense. Philosophical skeptics are often classified into two general categories: Those who deny all possibility of knowledge, and those who advocate for the suspension of judgment due to the inadequacy of evidence. This distinction is modeled after the differences between the Academic skeptics and the Pyrrhonian skeptics in ancient Greek philosophy. Pyrrhonian skepticism is a practice of suspending judgement, and skepticism in this sense is understood as a way of life that helps the practitioner achieve inner peace. Some types of philosophical skepticism reject all forms of knowledge while others limit this rejection to certain fields, for example, knowledge about moral doctrines or about the external world. Some theorists criticize philosophical skepticism based on the claim that it is a self-refuting idea since its proponents seem to claim to know that there is no knowledge. Other objections focus on its implausibility and distance from regular life.

A faulty generalization is an informal fallacy wherein a conclusion is drawn about all or many instances of a phenomenon on the basis of one or a few instances of that phenomenon. It is similar to a proof by example in mathematics. It is an example of jumping to conclusions. For example, one may generalize about all people or all members of a group from what one knows about just one or a few people:

Inferences are steps in reasoning, moving from premises to logical consequences; etymologically, the word infer means to "carry forward". Inference is theoretically traditionally divided into deduction and induction, a distinction that in Europe dates at least to Aristotle. Deduction is inference deriving logical conclusions from premises known or assumed to be true, with the laws of valid inference being studied in logic. Induction is inference from particular evidence to a universal conclusion. A third type of inference is sometimes distinguished, notably by Charles Sanders Peirce, contradistinguishing abduction from induction.

Inductive reasoning is any of various methods of reasoning in which broad generalizations or principles are derived from a body of observations. This article is concerned with the inductive reasoning other than deductive reasoning, where the conclusion of a deductive argument is certain given the premises are correct; in contrast, the truth of the conclusion of an inductive argument is at best probable, based upon the evidence given.

<span class="mw-page-title-main">Logical reasoning</span> Process of drawing correct inferences

Logical reasoning is a mental activity that aims to arrive at a conclusion in a rigorous way. It happens in the form of inferences or arguments by starting from a set of premises and reasoning to a conclusion supported by these premises. The premises and the conclusion are propositions, i.e. true or false claims about what is the case. Together, they form an argument. Logical reasoning is norm-governed in the sense that it aims to formulate correct arguments that any rational person would find convincing. The main discipline studying logical reasoning is logic.

Pyrrhonism is an Ancient Greek school of philosophical skepticism which rejects dogma and advocates the suspension of judgement over the truth of all beliefs. It was founded by Aenesidemus in the first century BCE, and said to have been inspired by the teachings of Pyrrho and Timon of Phlius in the fourth century BCE. Pyrrhonism is best known today through the surviving works of Sextus Empiricus, writing in the late second century or early third century CE. The publication of Sextus' works in the Renaissance ignited a revival of interest in Skepticism and played a major role in Reformation thought and the development of early modern philosophy.

Agrippa was a Pyrrhonist philosopher who probably lived towards the end of the 1st century CE. He is regarded as the author of "The Five Tropes of Agrippa", which are purported to establish the necessity of suspending judgment (epoché). Agrippa's arguments form the basis of the Agrippan trilemma.

In logic and philosophy, a formal fallacy is a pattern of reasoning rendered invalid by a flaw in its logical structure that can neatly be expressed in a standard logic system, for example propositional logic. It is defined as a deductive argument that is invalid. The argument itself could have true premises, but still have a false conclusion. Thus, a formal fallacy is a fallacy in which deduction goes wrong, and is no longer a logical process. This may not affect the truth of the conclusion, since validity and truth are separate in formal logic.

<span class="mw-page-title-main">Münchhausen trilemma</span> A thought experiment used to demonstrate the impossibility of proving any truth

In epistemology, the Münchhausen trilemma is a thought experiment intended to demonstrate the theoretical impossibility of proving any truth, even in the fields of logic and mathematics, without appealing to accepted assumptions. If it is asked how any given proposition is known to be true, proof in support of that proposition may be provided. Yet that same question can be asked of that supporting proof, and any subsequent supporting proof. The Münchhausen trilemma is that there are only three ways of completing a proof:

Epistemology or theory of knowledge is the branch of philosophy concerned with the nature and scope (limitations) of knowledge. It addresses the questions "What is knowledge?", "How is knowledge acquired?", "What do people know?", "How do we know what we know?", and "Why do we know what we know?". Much of the debate in this field has focused on analyzing the nature of knowledge and how it relates to similar notions such as truth, belief, and justification. It also deals with the means of production of knowledge, as well as skepticism about different knowledge claims.

An argument is a series of sentences, statements, or propositions some of which are called premises and one is the conclusion. The purpose of an argument is to give reasons for one's conclusion via justification, explanation, and/or persuasion.

<span class="mw-page-title-main">Informal logic</span> Branch of logic

Informal logic encompasses the principles of logic and logical thought outside of a formal setting. However, the precise definition of "informal logic" is a matter of some dispute. Ralph H. Johnson and J. Anthony Blair define informal logic as "a branch of logic whose task is to develop non-formal standards, criteria, procedures for the analysis, interpretation, evaluation, criticism and construction of argumentation." This definition reflects what had been implicit in their practice and what others were doing in their informal logic texts.

<span class="mw-page-title-main">Logic</span> Study of correct reasoning

Logic is the study of correct reasoning. It includes both formal and informal logic. Formal logic is the study of deductively valid inferences or logical truths. It examines how conclusions follow from premises based on the structure of arguments alone, independent of their topic and content. Informal logic is associated with informal fallacies, critical thinking, and argumentation theory. Informal logic examines arguments expressed in natural language whereas formal logic uses formal language. When used as a countable noun, the term "a logic" refers to a specific logical formal system that articulates a proof system. Logic plays a central role in many fields, such as philosophy, mathematics, computer science, and linguistics.

As the study of argument is of clear importance to the reasons that we hold things to be true, logic is of essential importance to rationality. Arguments may be logical if they are "conducted or assessed according to strict principles of validity", while they are rational according to the broader requirement that they are based on reason and knowledge.

References

  1. Chisholm, Hugh, ed. (1911). "Circulus in Probando"  . Encyclopædia Britannica . Vol. 6 (11th ed.). Cambridge University Press. p. 389.
  2. Dowden, Bradley (27 March 2003). "Fallacies". Internet Encyclopedia of Philosophy. Archived from the original on 9 October 2014. Retrieved April 5, 2012.
  3. Nolt, John Eric; Rohatyn, Dennis; Varzi, Achille (1998). Schaum's outline of theory and problems of logic . McGraw-Hill Professional. p.  205. ISBN   9780070466494.
  4. Walton, Douglas (2008). Informal Logic: A Pragmatic Approach . Cambridge University Press. ISBN   9780521886178.
  5. Sextus Empiricus, Pyrrhōneioi hypotypōseis i., from Annas, J., Outlines of Scepticism Cambridge University Press. (2000).
  6. Feinberg, Joel; Shafer-Landau, Russ (2008). Reason and responsibility: readings in some basic problems of philosophy. Cengage Learning. pp. 257–58. ISBN   9780495094920.