Wittgenstein and the formal sciences 2