Logic in the Tractatus