Philosopher Ludwig Wittgenstein first applied the term to redundancies of propositional logic in 1921 .
The philosopher Ludwig Wittgenstein first applied the term to propositional logic in 1921 .