Tractatus Logico-Philosophicus · Chapter
6.01 explained
Wittgenstein defines the general form of the operation Ω'(η̄) as [ξ̄, N(ξ̄)]'(η̄) = [η̄, ξ̄, N(ξ̄)], establishing the most general form of transition from one proposition to another, which underpins the logical structure of language.
What happens
Wittgenstein defines the general form of the operation Ω'(η̄) as [ξ̄, N(ξ̄)]'(η̄) = [η̄, ξ̄, N(ξ̄)], establishing the most general form of transition from one proposition to another, which underpins the logical structure of language.
Themes in this chapter
Logic and Tautology
The general form of the operation is a logical construction that shows how propositions are generated, highlighting the tautological nature of logical transformations.
Characters to notice
- Mr. Wittgenstein
Author of the Tractatus, presenting the formal definition of the general operation.
Key passages
“The general form of the operation Ω ′ ( η ‾ ) is therefore: [ ξ ‾ , N ( ξ ‾ ) ] ′ ( η ‾ ) ( = [ η ‾ , ξ ‾ , N ( ξ ‾ ) ] ) . This is the most general form of transition from one proposition to another.”
The general pattern for applying an operation to a proposition is given by the formula [ξ̄, N(ξ̄)]'(η̄), which equals [η̄, ξ̄, N(ξ̄)], and this represents the most universal way to move from one proposition to another.
Wittgenstein encapsulates the logical operation that generates all propositions from elementary ones via negation and conjunction.