Informal logic and argumentation theory study how people actually reason together—how claims are supported, challenged, and evaluated in ordinary language, outside the formal systems of mathematical or symbolic logic. Where formal logic analyzes arguments by translating them into artificial languages with precise rules, informal logic examines arguments as they occur in natural conversation, political debate, legal proceedings, scientific controversy, and everyday decision-making. The field asks not only whether an argument is valid in the abstract, but whether it is good in context: whether its premises are acceptable, whether its reasoning is relevant, whether it addresses the issue at hand, and whether it persuades or ought to persuade a reasonable audience.
To understand why informal logic emerged as a distinct enterprise, one must first see what formal logic cannot do. Formal logic, in the tradition descending from Aristotle through Frege and Russell, treats arguments as sequences of propositions whose validity depends entirely on their logical form. A syllogism like "All humans are mortal; Socrates is human; therefore Socrates is mortal" is valid because of its structure, regardless of what the terms mean. This approach achieved remarkable success in mathematics and the foundations of computer science, where arguments can be precisely specified and checked mechanically.
But most real-world arguments resist translation into formal systems without significant loss. Consider a political debate about healthcare policy. The participants do not state their premises in neat propositional form; they imply, hedge, appeal to shared values, cite statistics with contested interpretations, and respond to objections that were never explicitly raised. When one attempts to formalize such an argument, one must make choices about how to represent vague terms, implicit assumptions, and context-dependent claims. Different formalizations yield different verdicts about validity, and the choices themselves often reflect substantive disagreements about what the arguer meant. Formal logic, in other words, presupposes a clarity and completeness that natural arguments rarely possess.
Moreover, formal validity is a very demanding standard. An argument is formally valid only if it is impossible for the premises to be true and the conclusion false. By this standard, almost no real-world argument is valid, because almost every real-world argument relies on background assumptions, probabilistic reasoning, or defeasible generalizations. A doctor's argument that a patient has strep throat because they have a sore throat and fever is not formally valid—other conditions produce the same symptoms—but it may be a perfectly good argument given the evidence available. Formal logic offers no way to distinguish such reasonable but non-deductive arguments from fallacious ones.
Informal logic arose in the late twentieth century, primarily in North America and the United Kingdom, as a response to these limitations. Its immediate stimulus was pedagogical: university philosophy departments in the 1960s and 1970s were dissatisfied with teaching formal logic as the sole model of good reasoning, because students who mastered truth tables and quantifier rules often remained unable to identify weak arguments in newspaper editorials or political speeches. Instructors began developing materials that taught argument analysis directly, using real texts and everyday examples. The term "informal logic" was coined in this context, and the field gradually acquired institutional form through journals, conferences, and textbooks.
The central insight of informal logic is that argument evaluation requires attending to the argument's content, context, and purpose, not merely its form. An argument is not a static object but an act of communication: someone advances a claim, offers reasons for it, and anticipates or responds to objections. Evaluating that act requires asking what the arguer is trying to accomplish, what the audience already believes, what standards of evidence are appropriate to the subject matter, and what alternative explanations or conclusions are available.
This does not mean informal logic rejects formal logic entirely. Many practitioners see the two as complementary: formal logic provides tools for analyzing certain kinds of arguments, especially in mathematics and the sciences, while informal logic handles the broader range of human reasoning. The relationship is not one of replacement but of division of labor, though the boundaries are contested. Some formal logicians argue that informal logic is merely a collection of practical heuristics without theoretical foundations; some informal logicians respond that formal logic's precision is purchased at the cost of relevance.
One of the most influential developments in informal logic is the theory of argumentation schemes. An argumentation scheme is a stereotypical pattern of reasoning that occurs frequently in everyday discourse and carries with it a set of critical questions that must be answered for the argument to be acceptable. For example, the scheme "argument from expert opinion" has the form: "Expert E says that proposition P is true; therefore P is true." The associated critical questions include: Is E genuinely an expert in the relevant field? Is E reliable and unbiased? Does the claim fall within E's area of expertise? Is there disagreement among experts? An argument that fits the scheme and survives the critical questions is presumptively reasonable, though not guaranteed.
Other common schemes include argument from analogy, argument from consequences, argument from ignorance, argument from precedent, and slippery slope arguments. Each scheme captures a pattern that is sometimes legitimate and sometimes fallacious, depending on how it is used. The theory thus provides a middle ground between formal validity and complete skepticism: arguments can be evaluated as more or less strong, as acceptable or unacceptable, without demanding deductive certainty.
The scheme approach has been particularly useful in artificial intelligence and computer science, where researchers have used it to model argumentation in multi-agent systems, legal reasoning, and natural language processing. This has created an unusual interdisciplinary bridge: a field that began as a critique of formal methods has become a resource for computational modeling of reasoning. The relationship is not always comfortable, since computational models require formalization, but the schemes provide a vocabulary for describing patterns that purely logical formalisms miss.
A second major tradition, developed primarily in the Netherlands, is pragma-dialectics. This approach, associated with Frans van Eemeren and Rob Grootendorst, treats argumentation as a goal-directed activity aimed at resolving a difference of opinion. The theory specifies a set of rules that govern reasonable argumentative discourse, modeled on the idea of a critical discussion: a structured exchange in which participants attempt to resolve their disagreement through argument rather than force or manipulation.
The pragma-dialectical rules cover the entire process of argumentation, from the initial confrontation stage (where the difference of opinion is identified) through the opening stage (where the participants agree on common ground and rules of procedure), the argumentation stage (where reasons are exchanged), and the concluding stage (where the outcome is determined). Violations of these rules constitute fallacies. This approach redefines the traditional list of fallacies: a fallacy is not merely a bad argument form but any move that obstructs the resolution of the difference of opinion. Ad hominem attacks, for example, are fallacious not because they are always irrelevant but because they shift the discussion from the issue to the person, preventing resolution.
Pragma-dialectics is distinctive in its emphasis on the dialogical context of argumentation. It treats argumentation as a social activity governed by norms of interaction, not merely as a set of propositions to be evaluated. This has made it attractive to scholars of communication, rhetoric, and discourse analysis, who study how arguments function in real institutional settings such as courts, parliaments, and news media. The approach has also been extended to account for strategic maneuvering: the ways in which arguers try to advance their own positions while staying within the bounds of reasonable discussion.
A third strand of the field draws on the ancient tradition of rhetoric, which was largely excluded from modern logic. Rhetoric studies how arguments persuade audiences, attending to ethos (the character and credibility of the speaker), pathos (the emotional responses of the audience), and logos (the logical structure of the argument). Informal logic initially defined itself in opposition to rhetoric, emphasizing rational evaluation over emotional appeal. But this opposition has softened considerably.
The key insight is that persuasion and reasonableness are not always opposed. An argument that fails to persuade may still be reasonable, and an argument that persuades may still be flawed. But the relationship is complex: an argument that is reasonable in the abstract may be unreasonable in context if it ignores what the audience actually knows or cares about. Conversely, an argument that appeals to emotion may be perfectly reasonable if the emotion is appropriate to the situation—fear in response to a genuine threat, for example, or indignation at injustice.
Contemporary argumentation theory increasingly treats rhetoric as an essential component rather than a corrupting influence. The pragma-dialectical school has incorporated rhetorical considerations through its theory of strategic maneuvering, which examines how arguers balance the desire to persuade with the obligation to remain reasonable. Other theorists, particularly those influenced by the work of Chaim Perelman and Lucie Olbrechts-Tyteca, have argued that argumentation is fundamentally audience-directed: the standards of good argument vary with the audience being addressed, and universal standards of rationality are an illusion. This position, sometimes called "audience relativism," remains controversial, but it has forced the field to confront the question of whether argument evaluation can be context-independent.
The study of fallacies—common patterns of bad reasoning—has been central to informal logic from its beginning. The traditional list, inherited from Aristotle and medieval logic, includes ad hominem (attacking the person rather than the argument), ad baculum (appeal to force), ad populum (appeal to popularity), ad misericordiam (appeal to pity), straw man (misrepresenting an opponent's position), false dilemma (presenting only two options when more exist), and many others.
Early informal logic textbooks treated fallacies as a catalogue of errors to be memorized and avoided. But this approach proved unsatisfactory for several reasons. First, the same pattern of reasoning can be fallacious in one context and reasonable in another. An appeal to authority is fallacious when the authority is not genuinely expert, but reasonable when the authority is appropriate. An appeal to consequences is fallacious when predicting what will happen, but reasonable when evaluating what ought to be done. Second, the traditional list is heterogeneous: some "fallacies" are errors of relevance, others are errors of presumption, others are errors of ambiguity. Third, the list is incomplete; new fallacies are constantly being identified as new forms of communication emerge.
Contemporary fallacy theory has therefore moved from classification to explanation. The question is not merely "Is this a fallacy?" but "Why is this pattern of reasoning bad, and under what conditions might it be good?" This has led to a deeper understanding of the relationship between fallacies and argumentation schemes: a fallacy can be understood as an argumentation scheme used inappropriately, where the critical questions have not been adequately addressed. The study of fallacies has thus become integrated with the broader theory of argument evaluation rather than remaining a separate catalogue of errors.
The terms "informal logic" and "argumentation theory" are often used interchangeably, but they have somewhat different connotations. Informal logic is the narrower term, referring primarily to the philosophical study of argument evaluation, with roots in the North American philosophy curriculum. Argumentation theory is broader, encompassing work in communication studies, linguistics, psychology, law, and artificial intelligence, and including descriptive as well as normative questions. Argumentation theory asks not only how arguments ought to be evaluated but also how people actually argue, how argumentation functions in different institutional settings, and how it can be modeled computationally.
The relationship is one of overlap and mutual influence rather than identity. Informal logic provides normative standards and analytical tools; argumentation theory provides empirical findings about how those standards are applied or ignored in practice. The two enterprises are sometimes in tension: empirical research may show that people do not follow the norms that informal logicians prescribe, raising the question of whether the norms are too demanding or the research is measuring the wrong thing. But the tension is productive, forcing both sides to refine their claims.
Several questions continue to animate the field. One concerns the possibility of universal standards. Is there a single set of norms for good argumentation that applies across cultures, contexts, and subject matters? Or are standards always relative to some framework—a particular audience, a particular discipline, a particular set of values? This question has become more pressing with the growth of cross-cultural communication and the recognition that argumentation practices vary significantly across societies.
A second question concerns the relationship between argument and truth. Informal logic traditionally assumes that good arguments are those that provide good reasons for accepting their conclusions, and that good reasons are somehow connected to truth. But this assumption has been challenged from several directions. Some argue that the purpose of argumentation is not truth but justified belief, which may diverge from truth in cases where evidence is misleading. Others argue that argumentation is primarily a social practice aimed at coordination and consensus, not at discovering objective truth. The field has not resolved these challenges, and the relationship between argumentative success and truth remains contested.
A third question concerns the limits of argumentation. Are there topics on which argumentation is inappropriate or impossible? Some have argued that moral and religious disagreements are not amenable to argumentative resolution, because they rest on fundamental values that cannot be justified by reasons. Others respond that this position is itself a claim that can be argued for, and that the history of moral and political philosophy demonstrates the possibility of reasoned debate about values. The question of whether argumentation has limits—and if so, where they lie—remains open.
A fourth question concerns the role of emotion, embodiment, and social identity in reasoning. Traditional informal logic treated emotions as obstacles to good reasoning, but research in psychology and neuroscience has shown that emotions are integral to decision-making and that reasoning without emotion is often impaired. Similarly, social identity—gender, race, class, culture—shapes how people argue and how their arguments are received. An argument from a member of a marginalized group may be dismissed as "emotional" or "biased" when the same argument from a dominant group member is accepted as "reasonable." This has led to calls for a more inclusive argumentation theory that attends to power dynamics and epistemic injustice.
Informal logic and argumentation theory matter because argumentation is everywhere. Legal trials are structured arguments; scientific papers are arguments for the acceptance of claims; political deliberation is argumentation about collective action; even personal relationships involve constant negotiation through argument. The quality of argumentation affects the quality of decisions, and the quality of decisions affects human welfare.
The field also has direct practical applications. It informs the teaching of critical thinking in schools and universities, providing methods for analyzing and evaluating arguments that students encounter in their studies and their lives. It contributes to the design of argumentation support systems in artificial intelligence, which are used in legal research, medical diagnosis, and policy analysis. It provides frameworks for analyzing public discourse, from political debates to social media exchanges, helping citizens and journalists identify manipulation and misinformation.
These applications raise their own questions. Critical thinking education, for example, has been criticized for teaching generic skills that do not transfer to specific domains; the field has responded by developing domain-specific approaches that attend to the norms of particular disciplines. Argumentation support systems have been criticized for encoding the biases of their designers; the field has responded by studying how such systems can be made more transparent and accountable. The practical turn has thus enriched the theoretical agenda rather than merely applying it.
The field today is characterized by pluralism rather than consensus. The major approaches—argumentation schemes, pragma-dialectics, rhetorical analysis, and various hybrids—coexist and interact. Researchers trained in one tradition routinely draw on insights from others. The field's journals publish work from all perspectives, and its conferences bring together philosophers, communication scholars, computer scientists, and legal theorists.
This pluralism is a source of strength and weakness. It is a strength because different approaches illuminate different aspects of argumentation: schemes capture recurring patterns, pragma-dialectics captures the dialogical structure, rhetoric captures the persuasive dimension. It is a weakness because the field lacks a unified theoretical framework, and practitioners sometimes talk past one another. Attempts at synthesis have been made, but none has achieved general acceptance.
What unites the field is a shared commitment to the idea that argumentation can be studied systematically and evaluated rationally, without reducing it to formal logic on one hand or to mere rhetoric on the other. The field's practitioners believe that some arguments are better than others, that the difference can be articulated and taught, and that getting better at argumentation is a genuine human good. This commitment, rather than any particular theory, defines the field's identity.