Principles of Logic: Aristotle, Reasoning, and Fallacies

Posted on May 20, 2026 in Philosophy and ethics

Aristotle’s Three Laws of Thought

  • Law of Identity: States that A is A; something can only be that which it is, and things cannot have more than one identity.
  • Law of Non-Contradiction: A proposition cannot be true AND false at the same time and in the same respect. For example, if it is true that Butch is married to Barb, it cannot simultaneously be true that Barb is not married to Butch.
  • Law of the Excluded Middle: A proposition is either true OR false; there is no middle ground. For example, “Sasha exists” must be either true or false; there is no third possibility.

Influential Philosophers

  • Peter Abelard: Combined Aristotle’s logic with Roman Catholic doctrine, helping create the Scholastic movement. In Sic et Non (Yes and No), he compared conflicting views on 158 questions, encouraging critical analysis.
  • Francis Bacon: Emphasized inductive reasoning, laying the foundation for the scientific method and evidence-based thinking.
  • George Boole: Developed Boolean logic, representing deductive reasoning through algebraic equations where values are reduced to true or false.
  • Gottlob Frege: Merged logic and mathematics, showing that all mathematics can be reduced to logical laws.
  • Kurt Gödel: Proved that some mathematical statements are true but unprovable, demonstrating that mathematics is not a “finished” discipline and defying closed logical systems.

Fuzzy Logic

Fuzzy logic is a type of computer logic that allows for degrees of truth rather than binary true or false answers. By considering context and approximations, it helps machines make decisions more like humans, commonly used in artificial intelligence and smart systems.

Reasoning and Arguments

  • Deduction: Arguments where true premises guarantee a true conclusion. A valid argument is logically structured; a sound argument is both valid and contains true premises.
  • Induction: The process of using specific observations to draw general, probable conclusions. A cogent argument is a strong inductive argument with true premises.

Key Terminology

  • Argument: A set of propositions taken as true.
  • Premise: Factual statements that lead to a conclusion.
  • Conclusion: The proposition argued as true based on premises.
  • Logical Consistency: Statements that do not contradict each other.
  • Logical Contradiction: Statements that cannot co-exist.
  • Syllogism: A basic form of argument containing two premises and a conclusion.

Types of Syllogisms

  • Categorical: Categorizes things as belonging or not belonging to groups.
  • Disjunctive: Uses either-or statements to express a choice.
  • Hypothetical: Uses if-then statements as a basis for reasoning.

Abductive Reasoning

Coined by Charles Sanders Peirce, abductive reasoning is a form of inductive reasoning similar to an educated guess, based on the best explanation for observed facts.

Logical Fallacies

Fallacies are faulty reasoning patterns that fail to provide logical support for conclusions.

  • Formal Fallacy: A structural error in deductive logic that makes a syllogism invalid.
  • Informal Fallacy: An argument that persuades through means other than reason, such as emotion.

Common Fallacies

  • Ad Hominem: Attacking the person rather than the argument.
  • Straw Man: Distorting an argument to make it easier to refute.
  • Appeal to Authority: Assuming a claim is true because a famous person said it.
  • Red Herring: Distracting from the topic with irrelevant information.
  • Slippery Slope: Claiming one action will automatically lead to extreme consequences.
  • False Analogy: Assuming that because two things are similar in one way, they are similar in all ways.
  • Hasty Generalization: Making broad conclusions based on limited evidence.
  • Appeal to Pity: Forcing a conclusion by evoking sympathy.

Rules for Valid Deductive Syllogisms

  1. Must contain exactly three terms: major, minor, and middle.
  2. The middle term must be distributed at least once in the premises.
  3. Any term distributed in the conclusion must be distributed in the premises.
  4. Two negative premises cannot produce a valid conclusion.
  5. If one premise is negative, the conclusion must be negative.
  6. Two affirmative premises cannot produce a negative conclusion.
  7. At least one premise must be universal; two particular premises cannot produce a valid conclusion.