Which of the Three Logics Do You Use in Everyday Reasoning?

People have asked for millennia how we can know that what we consider correct truly is; Joseph Mazur addresses this in *The Amazing Adventures of Mathematics* by examining the nature, origins, and limits of three kinds of logic.

Three Logics, Three Ways of Understanding the World

Classical logic traces back to ancient Greece. Euclid’s *Elements* builds geometry from five postulates using strict deductive steps, demanding that each inference follow directly from accepted premises. Its strength is rigor, but it struggles with concepts of infinity, as illustrated by the Pythagoreans’ difficulty with irrational numbers and Zeno’s paradoxes.

Infinite logic deals with the peculiarities of the infinite. Mazur describes how humanity gradually “tamed” infinity—from Euclid’s avoidance to Cantor’s set theory, which distinguishes countable from uncountable infinities. An example he gives is the bijection between natural numbers and even numbers, showing that both sets have the same cardinality (ℵ₀), contrary to the intuition that a whole should be larger than a part.

Plausible reasoning (often called probabilistic or “quasi‑truth” reasoning) is the logic most used in scientific practice. It relies on probability to draw general conclusions from limited observations, yielding statements that are “likely true” rather than certain. Mazur cites Francis Bacon’s advocacy of induction and modern medical statistics, such as a drug reducing disease incidence by 30 % with a certain confidence level.

Formal Frameworks for the Three Logics

From a modeling perspective, each logic has a formal expression.

Classical logic can be captured by propositional logic. A valid deductive argument takes the form:

Premise → true, Conclusion → true

Euclid’s axiomatic system exemplifies this framework: starting from five postulates, every theorem follows by a monotonic chain of deductions, meaning adding new premises never overturns existing conclusions.

Infinite logic depends on the language of set theory. Cantor’s cardinality theory states that if a bijection exists between two sets, they share the same size. The bijection between the natural numbers and the even numbers demonstrates equal cardinality (ℵ₀), while the diagonal argument shows that the real numbers have a larger cardinality.

Plausible reasoning centers on Bayesian updating. Let H be a hypothesis and E new evidence; Bayes’ theorem describes how to revise belief in H after observing E. This framework underlies hypothesis testing, clinical trial analysis, and other scientific inference, producing probabilistic rather than deterministic conclusions.

How Logical Mistakes Cause Misjudgments in Reality

Case 1: Confusing Deduction with Induction – Someone claims, “All the long‑lived elders I know drink tea, so tea extends lifespan.” This is inductive reasoning presented as a deductive conclusion, lacking systematic sampling and control groups. Plausible reasoning would demand assessment of sample representativeness, confounding variables, and confidence intervals.

Case 2: Misusing Infinity as an Analogy – Arguments such as “Time is infinite, therefore every event will eventually happen” misuse infinite logic in a plausible‑reasoning context; mathematically, infinite time does not guarantee occurrence without additional probabilistic assumptions.

Case 3: The Jordan Curve Theorem Trap – The theorem states that any simple closed curve divides the plane into an interior and exterior. Although the statement feels obvious, its first proof contained gaps and required decades of work to complete, illustrating the gap between intuitive “obviousness” and rigorous logical proof.

Logic Is Not Only a Tool, It Is an Honest Attitude

Mazur concludes that logical reasoning is not a purely mechanical process; it is guided by intuition, judgment, and creative insight. Mathematical proofs emerge from collective consensus, repeated failure, and moments of sudden insight, challenging the stereotype of mathematics as cold and detached.

Understanding which of the three logics applies to a problem helps modelers decide the reliability level of their conclusions and avoid common reasoning pitfalls.