Skip to main content

Formal vs. Informal Reasoning

Logical reasoning can be divided into two main categories: formal and informal reasoning. Both are important for critical thinking, but they have different areas of application and methods.

Formal Reasoning​

Formal reasoning is based on explicit rules and structures that are independent of the content of the arguments. It focuses on the form or structure of an argument and often uses symbolic notation.

Characteristics of formal reasoning:

  • Use of formal systems like predicate logic or propositional logic
  • Strict rules for valid conclusions
  • Independence from specific content
  • Precision and clarity
  • Possibility of formal proof

Example of formal reasoning (syllogism): Premise 1: All A are B. Premise 2: All B are C. Conclusion: All A are C.

This pattern of argumentation is valid regardless of the specific content. It doesn't matter what A, B, and C stand for – the conclusion necessarily follows from the premises.

Informal Reasoning​

Informal reasoning refers to arguments in natural language that are not fully formalized. It takes into account context, background knowledge, and implicit assumptions.

Characteristics of informal reasoning:

  • Use of natural language
  • Consideration of context and background knowledge
  • Inclusion of implicit premises
  • Flexibility and adaptability
  • Application in everyday discussions and debates

Example of informal reasoning: "The lawn is wet. It must have rained during the night."

This argument contains implicit assumptions (e.g., that rain is the most likely cause of a wet lawn) and is based on everyday knowledge and experience.

Differences and Areas of Application​

The main differences between formal and informal reasoning are:

  1. Precision vs. Flexibility: Formal reasoning is more precise but less flexible; informal reasoning is more flexible but potentially less precise.

  2. Explicitness vs. Implicitness: Formal reasoning makes all assumptions explicit; informal reasoning can contain implicit assumptions.

  3. Scope of application: Formal reasoning is often used in mathematics, formal logic, and theoretical computer science; informal reasoning predominates in everyday discussions, politics, ethics, and many other areas.

Both types of reasoning have their strengths and weaknesses:

  • Formal reasoning offers precision and clarity but can be too rigid in complex real-world situations.
  • Informal reasoning is more flexible and context-related but can be more susceptible to fallacies and ambiguities.

For critical thinking, it is important to understand both types of reasoning and use them appropriately depending on the context.