 Abelard was the greatest logician since Antiquity: he devised a purely truth-functional propositional logic, recognizing the distinction between force and content we associate with Frege, and worked out a complete theory of entailment as it functions in argument (which we now take as the theory of logical consequence). His logical system is flawed in its handling of topical inference, but that should not prevent our recognition of Abelard’s achievements.