The Stoic Order

Fundamentals of Logic

Introduction

Logic is the backbone of clear thinking. It’s the difference between reacting to the world and actually understanding it. In The Stoic Order, we don’t chase feelings, trends, or clever arguments that fall apart under pressure. We chase truth. And truth has rules. Logic is how we find them, test them, and hold onto them when everything else gets noisy.

Most people don’t suffer from a lack of intelligence, they suffer from sloppy thinking. Contradictions go unnoticed. Assumptions go unchallenged. Conclusions get drawn long before the evidence shows up. That’s how people end up confused, reactive, and easy to manipulate. These fundamentals exist to fix that. They sharpen your mind, anchor your judgment, and give you a framework to cut through nonsense, including your own.

This isn’t about becoming a philosopher sitting in a corner arguing abstract ideas. This is about becoming dangerous in the best possible way, a person who can see clearly, think straight, and act with precision. Because once your thinking is clean, your actions tend to follow.

Fundamentals of Logical Thought

  1. Law of Identity (Sometimes, a cigar is just a cigar) — A = A. Everything is identical to itself.
  2. Law of Non-contradiction (You can’t have your cake and eat it too) — ¬(P ∧ ¬P). It is not the case that (P and not P) are the same.
  3. Law of Excluded Middle (They’re hot or not) — P ∨ ¬P. Either P is true, or its negation (not-P) is true.
  4. Law of Sufficient Reason (Every ‘why’ has a ‘because’) — ∀x ∃y (y explains x). For every x, there exists a y that explains x.
  5. Law of Syllogism (Domino effect) — If A → B, and B → C, then A → C.
  6. Law of Contraposition (No shoes, no service) — If P → Q, then ¬Q → ¬P.
  7. Principle of Bivalence (Hot or Cold) — P is true or P is false.
  8. Law of Transitivity (Friend of a friend) — If A = B and B = C, then A = C.
  9. Principle of Explosion (Liars gonna lie) — From a contradiction, anything follows.
  10. Modus Ponens (If it barks, it’s a dog) — (P → Q) ⊢ Q.
  11. Modus Tollens (No smoke without fire).
  12. Hypothetical Syllogism (A friend of a friend is a friend) — (Q → R).
  13. Disjunctive Syllogism (Process of elimination).
  14. Conjunction (Two truths make a truth).
  15. Disjunction (Either/or).
  16. De Morgan’s Laws (Flipping the script) — ≡ (.

17. Inductive Reasoning (Pattern recognition)

Drawing general conclusions from specific observations.

  • 17.1 Enumerative Induction: Observing numerous instances and inferring a general rule.
  • 17.2 Statistical Generalization: Using statistical data to make generalizations about a population.
  • 17.3 Analogical Reasoning: Inferring similarity based on previous shared characteristics.
  • 17.4 Causal Inference: Inferring a causal relationship based on observation.
  • 17.5 Hypothetical Induction (Abduction): Formulating the most probable explanation.
  • 17.6 Prediction Based on Trends: Using observed patterns to predict future events.
  • 17.7 Eliminative Induction: Eliminating impossible explanations to find the plausible one.
  • 17.8 Bayesian Inference: Updating the probability of a hypothesis based on new evidence.
  • 17.9 Scientific Induction: Deriving general laws from repeated experimental observations.
  • 17.10 Specific Cases to General Principles: Formulating broad principles based on specific instances.
  • 17.11 Inference to the Best Explanation: Choosing the hypothesis that best explains the data.
  • 17.12 Pattern Recognition in Data: Identifying patterns to form generalizations.
  • 17.13 Statistical Syllogism: Applying statistical information to a specific case.
  • 17.14 Reasoning by Enumeration: Listing all possible cases and concluding based on enumeration.
  • 17.15 Empirical Generalization: Forming generalizations based on empirical observations.

18. Deductive Reasoning (From general to specific)

Drawing specific conclusions from general premises.

  • 18.1 Syllogistic Reasoning: Premise 1: All men are mortal. Premise 2: Socrates is a man. Conclusion: Socrates is mortal.
  • 18.6 Constructive Dilemma: (R → S) → S.
  • 18.7 Destructive Dilemma: ¬R.
  • 18.8 Reductio ad Absurdum: Assuming the opposite leads to a contradiction, proving the original true.
  • 18.9 Universal Instantiation: From ∀x P(x), infer P(a) for any specific a.
  • 18.10 Existential Generalization: From P(a), infer ∃x P(x).
  • 18.11 Chain of Conditionals: P → Q and Q → R and R → S, then P → S.
  • 18.16 Biconditional Elimination: From P ↔ Q, infer P → Q and Q → P.
  • 18.17 Proof by Cases: P → R, and Q → R, and P ∨ Q, then R.
  • 18.20 Double Negation Elimination: From ¬(¬P), infer P.

19. Abductive Reasoning (Best guess)

Inferring the most likely explanation from an observation.

  • 19.1 Inference to the Best Explanation: Selecting the hypothesis that best explains the data.
  • 19.3 Occam’s Razor: Preferring the simplest explanation that accounts for all observations.
  • 19.12 Bayesian Abduction: Updating likelihoods as new data emerges.
  • 19.17 Consilience of Inductions: Combining multiple lines of evidence that point to the same conclusion.

Advanced Concepts

  • 20. Necessary vs. Sufficient Conditions: Necessary is required; Sufficient is enough.
  • 22. Universal Quantifier: ∀x P(x): For all x, P(x) is true.
  • 23. Existential Quantifier: ∃x P(x): There exists at least one x for which P(x) is true.
  • 24. Conditional Statements: If P, then Q (P → Q).
  • 25. Biconditional Statements: P if and only if Q (P ↔ Q).