In reasoning and argument mapping, a counterargument is an objection to an objection. A counterargument can be used to rebut an objection to a premise, a main contention or a lemma. Synonyms of counterargument may include rebuttal, reply, counterstatement, counterreason, comeback and response. The attempt to rebut an argument may involve generating a counterargument or finding a counterexample. [1]
To speak of counterarguments is not to assume that there are only two sides to a given issue nor that there is only one type of counterargument. [2] For a given argument, there are often a large number of counterarguments, some of which are not compatible with each other. [2]
A counterargument might seek to cast doubt on facts of one or more of the first argument's premises, to show that the first argument's contention does not follow from its premises in a valid manner, or the counterargument might pay little attention to the premises and common structure of the first argument and simply attempt to demonstrate that the truth of a conclusion is incompatible with that of the first argument.
A counterargument can be issued against an argument retroactively from the point of reference of that argument. This form of counterargument — invented by the presocratic philosopher Parmenides – is commonly referred to as a retroactive refutation. [3]
In a debate or in speaking contextual evidence, a counterargument can be handled in a variety of ways.
Responding to a counterargument does not mean utterly obliterating it. You may concede it, minimise it, dismiss it as irrelevant, or attack the supporting evidence or underlying premise. Even if you grant the existence of a problem, you can differ from your audience on the best solution. [4]
— Jo Sprague and Douglas Stuart, The Speaker's Handbook
A straw man fallacy is the informal fallacy of refuting an argument different from the one actually under discussion, while not recognizing or acknowledging the distinction. One who engages in this fallacy is said to be "attacking a straw man".
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 more or less synonymous with circular 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 mental process of drawing deductive inferences. An inference is deductively valid if its conclusion follows logically from its premises, i.e. it is impossible for the premises to be true and the conclusion to be false.
Melissus of Samos was the third and last member of the ancient school of Eleatic philosophy, whose other members included Zeno and Parmenides. Little is known about his life, except that he was the commander of the Samian fleet in the Samian War. Melissus’ contribution to philosophy was a treatise of systematic arguments supporting Eleatic philosophy. Like Parmenides, he argued that reality is ungenerated, indestructible, indivisible, changeless, and motionless. In addition, he sought to show that reality is wholly unlimited, and infinitely extended in all directions; and since existence is unlimited, it must also be one.
Procatalepsis, also called prolepsis or prebuttal, is a figure of speech in which the speaker raises an objection to their own argument and then immediately answers it. By doing so, the speaker hopes to strengthen the argument by dealing with possible counterarguments before the audience can raise them.
An enthymeme is an argument with a hidden premise. Enthymemes are usually developed from premises that accord with the audience's view of the world and what is taken to be common sense. However, where the general premise of a syllogism is supposed to be true, making the subsequent deduction necessary, the general premise of an enthymeme is merely probable, which leads only to a tentative conclusion. Originally theorized by Aristotle, there are four types of enthymeme, at least two of which are described in Aristotle's work.
The Eleatics were a group of pre-Socratic philosophers and school of thought in the 5th century BC centered around the ancient Greek colony of Elea, located in present-day Campania in southern Italy, then known as Magna Graecia.
Parmenides is one of the dialogues of Plato. It is widely considered to be one of the most challenging and enigmatic of Plato's dialogues. The Parmenides purports to be an account of a meeting between the two great philosophers of the Eleatic school, Parmenides and Zeno of Elea, and a young Socrates. The occasion of the meeting was the reading by Zeno of his treatise defending Parmenidean monism against those partisans of plurality who asserted that Parmenides' supposition that there is a one gives rise to intolerable absurdities and contradictions. The dialogue is set during a supposed meeting between Parmenides and Zeno of Elea in Socrates' hometown of Athens. This dialogue is chronologically the earliest of all as Socrates is only nineteen years old here. It is also notable that he takes the position of the student here while Parmenides serves as the lecturer.
Argumentation theory is the interdisciplinary study of how conclusions can be supported or undermined by premises through logical reasoning. With historical origins in logic, dialectic, and rhetoric, argumentation theory includes the arts and sciences of civil debate, dialogue, conversation, and persuasion. It studies rules of inference, logic, and procedural rules in both artificial and real-world settings.
In logic and philosophy, a formal fallacy, deductive fallacy, logical fallacy or non sequitur 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 where 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.
A defeater of a belief is evidence that this belief is false. Defeaters are of particular interest to epistemology because they affect whether a belief is justified. An important distinction is between undercutting and rebutting defeaters. Undercutting defeaters remove evidential support for a belief while rebutting defeaters provide evidential support for the opposite thesis of the belief. Defeaters play a central role in modern developments of defeasible reasoning.
An argument map or argument diagram is a visual representation of the structure of an argument. An argument map typically includes all the key components of the argument, traditionally called the conclusion and the premises, also called contention and reasons. Argument maps can also show co-premises, objections, counterarguments, rebuttals, and lemmas. There are different styles of argument map but they are often functionally equivalent and represent an argument's individual claims and the relationships between them.
In argumentation, an objection is a reason arguing against a premise, argument, or conclusion. Definitions of objection vary in whether an objection is always an argument or may include other moves such as questioning.
The paradoxes of material implication are a group of true formulae involving material conditionals whose translations into natural language are intuitively false when the conditional is translated as "if ... then ...". A material conditional formula is true unless is true and is false. If natural language conditionals were understood in the same way, that would mean that the sentence "If the Nazis had won World War Two, everybody would be happy" is vacuously true. Given that such problematic consequences follow from a seemingly correct assumption about logic, they are called paradoxes. They demonstrate a mismatch between classical logic and robust intuitions about meaning and reasoning.
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.
In logic, specifically in deductive reasoning, an argument is valid if and only if it takes a form that makes it impossible for the premises to be true and the conclusion nevertheless to be false. It is not required for a valid argument to have premises that are actually true, but to have premises that, if they were true, would guarantee the truth of the argument's conclusion. Valid arguments must be clearly expressed by means of sentences called well-formed formulas.
Araucaria is an argument mapping software tool developed in 2001 by Chris Reed and Glenn Rowe, in the Argumentation Research Group at the School of Computing in the University of Dundee, Scotland. It is designed to visually represent arguments through diagrams that can be used for analysis and stored in Argument Markup Language (AML), based on XML. As free software, it is available under the GNU General Public License and may be downloaded for free on the internet.
In argumentation theory, an argumentation scheme or argument scheme is a template that represents a common type of argument used in ordinary conversation. Many different argumentation schemes have been identified. Each one has a name and presents a type of connection between premises and a conclusion in an argument, and this connection is expressed as a rule of inference. Argumentation schemes can include inferences based on different types of reasoning—deductive, inductive, abductive, probabilistic, etc.