Tractatus Logico-Philosophicus (English): Difference between revisions

no edit summary
No edit summary
No edit summary
Line 1,734: Line 1,734:
{{ParTLP|6.234}} Mathematics is a method of logic.
{{ParTLP|6.234}} Mathematics is a method of logic.


{{ParTLP|6.2341}} The essential of mathematical method is working with equations. On this method depends the fact that every proposition of mathematics must be self-evident.
{{ParTLP|6.2341}} The essential of mathematical method is working with equations. On this method depends the fact that every proposition of mathematics must be self-intelligible.


6.624 The method by which mathematics arrives at its equations is the method of substitution.
{{ParTLP|6.24}} The method by which mathematics arrives at its equations is the method of substitution.


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.
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.