Wittgenstein and the formal sciences 3