← All chapters

Tractatus Logico-Philosophicus · Chapter

6.126 explained

Wittgenstein explains that whether a proposition belongs to logic can be determined by calculating the logical properties of the symbol, and that logical propositions are proved by generating tautologies from other tautologies through symbo

What happens

Wittgenstein explains that whether a proposition belongs to logic can be determined by calculating the logical properties of the symbol, and that logical propositions are proved by generating tautologies from other tautologies through symbolic rules, though this method of proof is inessential to logic itself.

Free preview opens on this chapter — companions, themes, and character notes appear beside the text.

Narrative arc

Story tension across the book — this chapter sits in Falling action.

SetupAftermathClimax
  • Setup
  • Escalation
  • Breaking point
  • Aftermath
  • Closing

This passage marks the story’s dramatic climax because it presents the moment when the protagonist’s obsessive…

Full beat labels and climax notes unlock in the reader.

Follow the arc while reading

Themes in this chapter

  • Logic and Tautology

    The chapter discusses how logical propositions are tautologies and how they are generated from other tautologies by symbolic rules.

Characters to notice

  • Mr. Wittgenstein

    Author of the Tractatus, presenting the nature of logical propositions and proof.

Key passages

  • “Whether a proposition belongs to logic can be calculated by calculating the logical properties of the symbol.”

    We can determine if a proposition is logical by examining the logical features of its symbolic form.

    Emphasizes the formal, calculable nature of logical propositions.

  • “We prove a logical proposition by creating it out of other logical propositions by applying in succession certain operations, which again generate tautologies out of the first.”

    A logical proposition is proved by starting with other logical propositions and applying operations that yield tautologies.

    Describes the process of logical proof as a mechanical generation of tautologies.