The Logical Grammar of Abelard