 The period from Boethius in the 6th century to Abelard in the 12th century remains for now quite understudied, in particular as a consequence of the scarcity of extant manuscript evidence. As far as we can tell, the approach to logic in the 8th and 9th centuries appears to have been largely Platonist and metaphysical in character (Wilks 2016). Subsequently, a more linguistic orientation began to emerge, including investigations into inferential relations between categorical and hypothetical statements (Wilks 2016). It seems fair to say, however, that none of these investigations count as fully-fledged theories of consequence. 