Logic

Logic is the study of valid reasoning—the principles that distinguish good arguments from bad ones. It asks: What makes an argument sound? When does one thing follow from another? What are the rules that govern rational thought? Logic provides the framework for all philosophical inquiry, all scientific reasoning, and indeed all careful thinking. Without logic, we’re lost in a sea of confusion; with it, we can navigate from premises to conclusions with rigor.

But logic is more than a tool. It’s a window into the nature of truth itself. When we reason logically, we’re not merely manipulating symbols—we’re engaging with the logical structure of reality. The laws of logic seem to hold in any possible world. They constrain what we can think. This makes logic both foundational and mysterious: Why are the laws of logic what they are? Are they conventions, or truths about the world?

The history of logic stretches back to Aristotle, who systematized syllogistic reasoning in the 4th century BCE. But logic has come far since then. Modern formal logic—predicate logic, modal logic, set theory—can represent intricate patterns of inference invisible to classical syllogisms. And logic continues to evolve, engaging with paradoxes, the foundations of mathematics, and the limits of computability.

Core Questions

These questions define the field. They probe both the practice and the foundations of reasoning.

• What makes an argument valid? — An argument is valid when the conclusion follows from the premises—if the premises are true, the conclusion must be true. But what does “follow” mean? And how do we distinguish valid arguments from invalid ones?

• What is logical consequence? — When does one statement entail another? What is the relationship between premises and conclusion? These questions lead to the definition of validity itself.

• Are there universal laws of logic? — Do the laws of logic hold in every possible world? Are they contingent (could have been different), or necessary (cannot be otherwise)? What explains their necessity?

• What are the limits of logic? — What can logic not do? Are there truths that logical reasoning cannot reach? How does logic relate to mathematical reasoning? To empirical reasoning?

• How do we reason about possibility and necessity? — Modal logic studies reasoning about what’s possible and necessary. But what is modality itself? Are possible worlds real, or merely useful fictions?

• What is the relationship between logic and language? — Logic seems to require formal language—a precise notation that removes ambiguity. But how does formal language relate to ordinary language? Can ordinary arguments be captured in formal logic?

Key Concepts

These concepts structure logical analysis. Understanding them is essential to reasoning well.

• Argument: A set of statements where some (premises) support another (conclusion). Arguments can be good or bad, valid or invalid.

• Validity: An argument is valid when the conclusion follows necessarily from the premises—if the premises are true, the conclusion cannot be false. Note: validity says nothing about whether premises are actually true.

• Soundness: An argument is sound when it’s valid AND its premises are true. Only sound arguments guarantee true conclusions.

• Logical form: The structure of an argument, abstracting away content to reveal the pattern. Arguments are valid in virtue of their form, not content.

• Deductive vs. inductive: Deductive arguments aim for certainty (conclusion follows necessarily); inductive arguments aim for probability (conclusion probably follows). Logic traditionally focuses on deduction.

• Fallacy: A pattern of reasoning that appears valid but isn’t. Common fallacies include: ad hominem, straw man, false dilemma, appeal to authority, slippery slope.

• Logical constants: Words like “and,” “or,” “not,” “if…then” that govern logical relations. The study of these is at the heart of formal logic.

Traditional Logic

For over two millennia, Aristotelian logic dominated. It focused on syllogisms—arguments with two premises and a conclusion, containing a subject, predicate, and middle term.

The Syllogism

A syllogism consists of:

• Major premise: All B are A.
• Minor premise: All C are B.
• Conclusion: All C are A.

This is valid in virtue of its form—the content doesn’t matter. The logical analysis reveals the pattern.

Limits of Syllogistic

Aristotelian logic handles a limited range of arguments. It can’t handle:

• Relations (John loves Mary)
• Multiple quantifiers (someone loves everyone)
• Complex sentences

Modern logic was developed to overcome these limitations.

Modern Formal Logic

The 19th and 20th centuries saw a revolution in logic—the development of formal systems capable of representing ever more complex reasoning.

Propositional Logic

The logic of truth-functional connectives: and (∧), or (∨), not (¬), if…then (→), if and only if (↔). This logic can evaluate arguments like:

• If it’s raining, the ground is wet. It’s raining. Therefore, the ground is wet.

Validity is checked via truth tables—determining whether there’s any possible case where premises are true and conclusion false.

Predicate Logic

Adds quantifiers (∀ for “all,” ∃ for “some”) and predicates (properties and relations). This can handle arguments syllogistic logic can’t:

• Someone loves everyone. Therefore, everyone is loved by someone.

Symbolization: ∃x∀yLxy → ∀y∃xLxy

Modal Logic

Adds operators for possibility (◇) and necessity (□). This enables reasoning about what’s possible or necessary:

• □(p → q) → (◇p → ◇q)
• “If it’s necessarily the case that if p then q, then if p is possible, q is possible”

Modal logic is crucial in metaphysics (possible worlds) and ethics (obligations).

Set Theory

The theory of collections—sets and their members. Set theory provides the foundation for nearly all modern mathematics. Key concepts:

• Membership (∈): x ∈ S means x is in set S.
• Subset (⊆): A ⊆ B means all A’s members are also B’s members.
• Operations: union (∪), intersection (∩), complement

Paradoxes (Russell’s paradox: the set of all sets that don’t contain themselves) led to axiomatized set theory (ZFC).

Logical Paradoxes

Paradoxes challenge our understanding of logic itself. They reveal hidden assumptions and force conceptual revision.

The Liar Paradox

“This statement is false.” If it’s true, it’s false; if it’s false, it’s true. This threatens the law of non-contradiction.

Russell’s Paradox

Let R be “the set of all sets that don’t contain themselves.” Does R contain itself? If yes, no; if no, yes. Contradiction.

The Sorites Paradox

A heap of sand minus one grain is still a heap. Repeat: one grain is still a heap? But at some point, it isn’t. When does “heap” change?

Philosophy of Logic

These meta-questions probe the nature and foundations of logic itself.

Logical Truth

Are logical truths true by convention (logical conventionalism), or do they describe objective facts about logical structure (logical realism)? The question matters: if logic is conventional, we could change it; if it’s real, we must discover it.

The Source of Logical Laws

Where do the laws of logic come from? Are they empirical generalizations (we’ve noticed certain inferences always work)? Are they a priori (known independently of experience)? Are they norms (rules we ought to follow)?

The Limits of Logic

Can logical reasoning reach all truths? Gödel showed that any sufficiently powerful formal system has truths it can’t prove. Turing showed that some problems are undecidable. Logic has inherent limits.

Logic and Mathematics

What’s the relationship? Are mathematical truths logical truths (logicism)? Are they a separate category? Does mathematics reduce to logic?

Contemporary Debates

• Free logic: Logic without existence assumptions—what happens if we drop the assumption that terms refer to existing things?

• Quantum logic: The suggestion that quantum mechanics requires a non-classical logic—perhaps the lattice of subspaces of Hilbert space.

• Intuitionistic logic: Rejects the law of excluded middle (p or not p)—useful in constructive mathematics.

• Relevant logic: Stresses that premises should be “relevant” to conclusions—the classical notion of validity may be too permissive.

• Logical pluralism: There isn’t one logic—different contexts may require different logics.

---

“Logic is the foundation of rational discourse. Without it, we’re merely shouting in the dark.”

Logic is indispensable—yet it doesn’t answer all questions. Some truths are not logical. Some reasoning is not valid. Logic provides tools, not solutions. It disciplines thought but doesn’t replace wisdom. In the end, logic serves philosophy—and philosophy serves the examined life.