A deductive method in linguistic reasoning