Tag: Symbolic Logic

Compilers vs. Conversation: Formal vs. Informal Logic

For the latest entry on iversonsoftware.com, we are looking under the hood of human reasoning to examine the two primary “engines” that drive our conclusions: Formal vs. Informal Logic. While one operates like a strict mathematical compiler, the other functions like a flexible natural language processor. Understanding the difference is the key to both writing perfect code and winning a high-stakes debate.

At Iverson Software, we deal with both strict syntax and user intent. In the world of philosophy, this same divide exists in how we process arguments. Formal Logic is the study of the structure of arguments, while Informal Logic is the study of arguments as they are used in everyday communication.

1. Formal Logic: The Mathematical Syntax

Formal logic (often called Symbolic Logic) is concerned entirely with the form or structure of an argument, rather than its specific content.

    • The Logic of Variables: It replaces words with symbols ($P$, $Q$, $\rightarrow$). It doesn’t care if $P$ stands for “The server is down” or “The moon is made of cheese”; it only cares if the relationship between $P$ and $Q$ is valid.

    • Deductive Certainty: If a formal argument is valid and the premises are true, the conclusion is 100% certain. There is no “opinion” involved—it is a mathematical necessity.

    • The Truth Table: In formal logic, we use tools like truth tables to map out every possible scenario for a set of propositions to ensure the logic never “breaks.”

Shutterstock

2. Informal Logic: The Semantic Processor

Informal logic deals with “Natural Language Arguments.” It’s the logic we use in legal cases, political debates, and business meetings.

  • The Power of Context: Unlike formal logic, informal logic cares deeply about the content, the tone, and the context of the speaker. It deals with nuances that symbols can’t capture.

  • Inductive Probability: Most informal arguments aren’t meant to be “certain”; they are meant to be cogent or persuasive. They provide a high degree of probability rather than an absolute proof.

  • Practical Application: Informal logic is where we study “Fallacies”—common errors in reasoning like the Straw Man or Slippery Slope—which occur because of how language is used, not just how it’s structured.

3. Key Differences: Accuracy vs. Utility

Feature Formal Logic Informal Logic
Medium Symbols and Math Natural Language
Focus Structural Validity Persuasive Strength
Output Certainty (True/False) Probability (Strong/Weak)
Environment Math, CS, Philosophy Law, Media, Daily Life

4. Which One Should You Use?

  • Use Formal Logic when “Bugs” are Fatal: When you are designing an algorithm, building a database schema, or constructing a mathematical proof, you need the absolute rigour of formal logic. A single “syntax error” in your logic can crash the entire system.

  • Use Informal Logic when “Nuance” is King: When you are negotiating a contract, leading a team, or analyzing a news report, you need informal logic. You must be able to detect emotional manipulation, evaluate the credibility of sources, and understand the “implied” meanings that symbols miss.

Why This Matters Today

In 2025, the gap between these two is closing. Neurosymbolic AI is the attempt to build machines that use Formal Logic (to be accurate) and Informal Logic (to understand human intent) simultaneously. By mastering both, you become a “Full-Stack Thinker”—someone who can build rigorous systems and navigate complex human environments with equal skill.