The logical grammar of Abelard