Table of Contents

What Is Logic?

Logic is the systematic study of valid reasoning — the principles that determine whether an argument’s conclusion actually follows from its premises. It’s the difference between “that sounds right” and “that is right, and here’s exactly why.”

Humans have been studying logic formally for about 2,400 years, starting with Aristotle in ancient Greece. In that time, it’s become foundational to philosophy, mathematics, computer science, law, and any field where getting the reasoning right matters more than getting the audience’s applause.

The Basics: Arguments and Validity

In logic, an “argument” isn’t a shouting match. It’s a structured set of statements: one or more premises (the starting claims) and a conclusion (what supposedly follows from them).

Here’s a valid argument:

1. All mammals breathe air. (Premise)
2. Whales are mammals. (Premise)
3. Therefore, whales breathe air. (Conclusion)

“Valid” means the conclusion follows necessarily from the premises — if the premises are true, the conclusion must be true. You can’t accept premises 1 and 2 and deny the conclusion without contradicting yourself.

Here’s an invalid argument that might look valid:

1. All dogs are animals.
2. All cats are animals.
3. Therefore, all dogs are cats.

The premises are true. The conclusion is obviously false. The argument is invalid because the conclusion doesn’t follow from the premises — they share a category (animals) but that doesn’t make them identical.

A key distinction: an argument can be valid but have false premises. “All fish can fly. Salmon are fish. Therefore, salmon can fly.” That’s logically valid — the structure is correct — but the first premise is false, so the conclusion is worthless. When an argument is both valid and has true premises, logicians call it sound.

Deductive Logic

Deductive reasoning is the gold standard. You start with general principles and derive specific conclusions with absolute certainty. If your premises are true and your logic is valid, the conclusion is guaranteed.

Aristotle formalized deductive logic through syllogisms — three-statement arguments with two premises and a conclusion. His system dominated Western logic for nearly 2,000 years and is still taught as an introduction to logical reasoning.

Modern deductive logic goes far beyond syllogisms. Propositional logic uses symbols to represent statements and logical connectives (AND, OR, NOT, IF…THEN). Predicate logic adds variables and quantifiers (“for all x” and “there exists an x”). These formal systems can express reasoning too complex for Aristotle’s framework.

Deductive logic is the foundation of mathematics. Every mathematical proof is a deductive argument — starting from axioms and definitions, proceeding through valid steps to a conclusion that must be true.

Inductive Logic

Inductive reasoning moves in the opposite direction — from specific observations to general conclusions. Unlike deduction, induction never produces certainty. It produces probability.

You observe 10,000 sunrises. You conclude that the sun will rise tomorrow. That’s inductive reasoning, and it’s extremely strong — but it’s not logically guaranteed the way a deductive conclusion is. David Hume pointed this out in the 18th century, creating the “problem of induction” that philosophers still wrestle with.

Science runs largely on induction. You observe patterns, form hypotheses, test them, and build theories. The theories are well-supported but never proven in the mathematical sense. Newton’s laws of motion were “confirmed” by centuries of observation before Einstein showed they were incomplete.

Logical Fallacies

Fallacies are errors in reasoning — arguments that look persuasive but actually prove nothing. They’re everywhere, and learning to spot them is one of the most practical benefits of studying logic.

Ad hominem — attacking the person making the argument rather than the argument itself. “You can’t trust Dr. Smith’s climate research because she drives an SUV.” Her driving habits are irrelevant to her data quality.

Straw man — misrepresenting someone’s argument to make it easier to attack. “She wants to reduce military spending? So she wants our country defenseless!” That’s not what she said.

False dilemma — presenting only two options when more exist. “You’re either with us or against us.” There’s a whole spectrum of positions between those extremes.

Appeal to popularity — assuming something is true because many people believe it. Millions of people believed the Earth was flat. They were wrong.

Slippery slope — claiming one event will inevitably lead to extreme consequences without evidence for the chain of causation. “If we allow students to use calculators in math class, they’ll never learn to think and society will collapse.” That’s a lot of unsupported steps.

Post hoc ergo propter hoc — “after this, therefore because of this.” Assuming that because B followed A, A caused B. You wore a lucky shirt and your team won. Correlation isn’t causation.

Formal Logic and Symbolic Systems

Starting in the 19th century, logicians developed formal symbolic systems that express logical relationships with mathematical precision. George Boole created Boolean algebra (the basis of digital circuits). Gottlob Frege developed predicate logic. Bertrand Russell and Alfred North Whitehead attempted to ground all of mathematics in logic with Principia Mathematica.

Kurt Godel then proved, in 1931, that any sufficiently powerful logical system contains true statements that can’t be proven within the system — one of the most profound results in the history of thought. Godel’s incompleteness theorems set fundamental limits on what logic and mathematics can achieve.

These formal systems aren’t just theoretical curiosities. Boolean logic is the foundation of every digital computer. Programming languages are formal logical systems. Database queries use logical operators. Artificial intelligence systems reason using formal logic. The computer you’re reading this on is, at bottom, a logic machine.

Logic in Everyday Life

You don’t need to know predicate calculus to benefit from logical thinking. The practical applications are immediate:

• Evaluating arguments in news, politics, and advertising
• Spotting manipulation and propaganda
• Making better decisions by thinking through consequences systematically
• Communicating more clearly by structuring your reasoning
• Debugging — in code and in life — by tracing chains of reasoning to find where they break

The world is full of bad arguments — in political speeches, advertisements, social media posts, and casual conversations. Logic doesn’t make you immune to being fooled, but it gives you tools to catch errors in reasoning — including your own.

That last part is the hardest. We’re all better at spotting fallacies in other people’s arguments than in our own. Honest self-examination of your own reasoning is the most demanding application of logic, and arguably the most valuable.

Frequently Asked Questions

What is the difference between deductive and inductive logic?

Deductive logic moves from general premises to specific conclusions with certainty — if the premises are true and the form is valid, the conclusion must be true. Inductive logic moves from specific observations to general conclusions with probability — strong evidence makes the conclusion likely but never certain. 'All humans are mortal; Socrates is human; therefore Socrates is mortal' is deductive. 'Every swan I've seen is white; therefore all swans are probably white' is inductive.

What is a logical fallacy?

A logical fallacy is an error in reasoning that makes an argument invalid or misleading. Formal fallacies violate the structural rules of logic (like affirming the consequent). Informal fallacies involve flawed reasoning in everyday arguments — ad hominem (attacking the person instead of the argument), straw man (misrepresenting someone's position), and appeal to authority are common examples.

Is logic the same as common sense?

No. Common sense is intuitive, culturally influenced, and often wrong. Logic is systematic, rule-governed, and — when applied correctly — reliable. Many logical conclusions are counterintuitive, and many common-sense beliefs fail logical scrutiny. Logic is a tool for checking whether reasoning is sound, regardless of whether the conclusion 'feels' right.

Further Reading

• Stanford Encyclopedia of Philosophy: Logic
• Internet Encyclopedia of Philosophy: Logic
• MIT OpenCourseWare: Logic