A somewhat similar objection has been made by Locke and others, to the effect that the ordinary demonstrative syllogism is a petitio principii.