All chapters

Tractatus Logico-Philosophicus · Chapter

6.24 explained

Wittgenstein describes the method of mathematics as one of substitution, where equations express the substitutability of expressions, and new equations are derived by replacing expressions according to existing equations.

What happens

Wittgenstein describes the method of mathematics as one of substitution, where equations express the substitutability of expressions, and new equations are derived by replacing expressions according to existing equations.

Themes in this chapter

  • Logic and Tautology

    The method of substitution in mathematics aligns with the tautological nature of logical propositions, as equations are derived through formal transformations.

Characters to notice

  • Mr. Wittgenstein

    Author of the proposition; explains the method of mathematics as substitution.

Key passages

  • The method by which mathematics arrives at its equations is the method of substitution.

    Mathematics derives its equations through the process of substituting one expression for another.

    Highlights the formal, rule-governed nature of mathematical reasoning.

  • For equations express the substitutability of two expressions, and we proceed from a number of equations to new equations, replacing expressions by others in accordance with the equations.

    Equations show that two expressions can be swapped, and we generate new equations by swapping expressions based on existing equations.

    Explains the iterative, mechanical process of mathematical derivation.