Logic is the study of correct reasoning. It is not about what is true, but about what follows from what. A logician does not ask "Is this raining?" but rather "If it is raining, what must also be the case?" The discipline is ancient, patient, and surprisingly beautiful once you learn to see its contours.

Think of logic as the geography of thought. Just as mountains have ridgelines and valleys have watersheds, arguments have structures that determine where meaning flows. We are here to map that terrain together.

A proposition is a statement that is either true or false. "The mountain is tall" is a proposition. "Is the mountain tall?" is not -- questions lack truth values. Neither are commands nor exclamations. Propositions are the atoms of logical reasoning; everything else is built from them.

We represent propositions with letters: P, Q, R. This abstraction is not laziness but precision. By stripping away the content, we see the structure that remains. The shape of the argument, not its color.

P: "It is raining."
Q: "The ground is wet."

If P, then Q.
P.
Therefore, Q.

An argument can be valid even if its premises are false. Validity concerns structure, not content. If all cats are mountains, and all mountains are blue, then all cats are blue. The argument is valid. Its premises are absurd. Validity is the skeleton; truth is the flesh.

This distinction is perhaps the most important lesson in all of logic. It is the moment when the trail splits and most walkers take the wrong fork. Soundness is what we ultimately want -- validity plus true premises -- but understanding validity in isolation is essential.

Valid but unsound:
  All fish can fly.        (false)
  Salmon are fish.         (true)
  Therefore, salmon can fly. (valid!)

Sound:
  All mammals breathe air. (true)
  Dogs are mammals.        (true)
  Therefore, dogs breathe air. (valid + true = sound)

Modus Ponens is the most fundamental rule of inference. It says: if you know that P implies Q, and you know that P is true, then Q must be true. This is not a suggestion. It is a law etched into the bedrock of reasoning itself, as unyielding as the granite beneath a mountain trail.

Every chain of logical deduction, no matter how complex, eventually reduces to applications of this simple principle. Learn it not as a formula but as an instinct -- the way a mountaineer reads the angle of a slope without measuring.

Modus Ponens (affirming the antecedent):

  P -> Q    (if P then Q)
  P         (P is the case)
  --------
  Q         (therefore Q)

A fallacy is an argument that appears valid but is not. Fallacies are the false trails of logic -- paths that look like they lead somewhere but end at a cliff. Learning to recognize them is as important as learning the correct forms, because bad reasoning is far more common than good reasoning in the wild.

The most dangerous fallacies are the ones that feel right. Affirming the consequent feels like Modus Ponens but isn't. Ad hominem feels like a counter-argument but attacks the speaker, not the claim. Each broken circle below represents a fallacy: logic that almost closes but never quite does.

Affirming the Consequent (INVALID):

  P -> Q    (if P then Q)
  Q         (Q is the case)
  --------
  P         (therefore P?  NO.)

  "If it rains, the ground is wet.
   The ground is wet.
   Therefore it rained."  -- Not necessarily!

Induction moves from specific observations to general conclusions. Every swan I have seen is white; therefore all swans are white. It is the reasoning of science, of experience, of the mountain guide who reads weather by watching the clouds. Unlike deduction, induction never guarantees its conclusion -- it only makes it probable.

The strength of an inductive argument depends on the quantity and variety of observations. One black swan demolishes the conclusion, no matter how many white swans preceded it. Induction is the humble sibling of deduction: less certain, but far more useful in everyday life.

Inductive pattern:

  Observation 1: Swan A is white.
  Observation 2: Swan B is white.
  Observation 3: Swan C is white.
  ...
  Observation n: Swan N is white.
  --------------------------------
  Conclusion: All swans are white. (probable, not certain)

Logic is not a subject you complete. It is a practice you deepen. The stations we have passed -- propositions, validity, inference rules, fallacies, induction -- are the first switchbacks on a trail that ascends through predicate logic, modal logic, set theory, and beyond. Each elevation reveals a wider view.

The mountains do not end. The contour lines on the map keep going past the edge of the page. But now you have the tools to read them: the ability to distinguish structure from content, validity from truth, and deduction from induction. Walk slowly. Reason carefully. The gold fills the cracks.