 every instance of which is valid. We must say more to explain why some schemes count as properly formal (and hence a sufficient ground for logical consequence) and others do not. A general answer will articulate the notion of  logical form,  which is an important issue in its own right (involving the notion of  logical constants,  among other things). Instead of exploring the details of different candidates for logical form, we will mention different proposals about the point of the exercise.